strict-aliasing

0熱

1答えて

#include "stdio.h" /* array to store data receeived from CAN Bus */ unsigned char a[8] = {0xCD, 0xEF, 0x12, 0x34, 0x50, 0x00, 0x00, 0x00}; typedef struct { unsigned int a:12; unsigned

4熱

1答えて

厳密なエイリアシング規則でこれはいいですか？

struct Test { void doAction() {} }; // Create and save into a void* void *ptr = new Test; // Real use through a Test* Test *t = static_cast<Test *>(ptr); t->doAction(); // Delete delet

6熱

2答えて

厳密なエイリアス違反

以下のプログラムは厳密なエイリアシング規則に違反していますか？ #include <cstdint> int main() { double d = 0.1; //std::int64_t n = *reinterpret_cast<std::int64_t*>(&d); // aliasing violation //auto n{*reinterpret

7熱

2答えて

UBを発生させずに一連のバイトをPOD構造として再解釈する方法は？

いくつかのデータを一連のバイトとして取得し、そのシーケンスを構造体として再解釈したいとします（データが実際に正しい形式であることをいくらか保証します）。例えば：それは厳しいエイリアシング規則を破るため、UBの原因となるので、 #include <fstream> #include <vector> #include <cstdint> #include <cstdlib> #include

7熱

1答えて

Visual C++は "厳密なエイリアシング"をサポートしていますか？

私は最近、CおよびC++言語標準が「厳密なエイリアシング」ルールを持っていることに驚きました。本質的に、このルールは、異なるタイプの変数が同じメモリ位置を参照することを禁じている。一例として、： char buffer[4] = { 0x55, 0x66, 0x77, 0x88 }; int32 *p = (int32*)&buffer[0]; // illegal because buffe

2熱

4答えて

c - 厳密なエイリアシング警告の処理方法

厳密なエイリアシング警告を取り除く最も簡単な方法はどれですか？コードは： uint8_t msg[3]; int retval; msg[0] = (uint8_t) INT_READ_EVENT; *((uint16_t *) &msg[1]) = bytesToRead; retval = write(intPipe[1], msg, sizeof(msg)); bytesT

3熱

2答えて

C++ 11での厳密なエイリアシングでは、char *に_write_、エイリアスの非文字*から_read_に定義されていますか？

厳密なエイリアシング（特に "What is the strict aliasing rule?"と "Strict aliasing rule and 'char *' pointers"）については多くの議論がありますが、これは明示的に対処されていないコーナーケースです。は、このコードを考えてみましょう： int x; char *x_alias = reinterpret_cast<ch

0熱

2答えて

厳格なエイリアシング規則と配置の新

IsoCpp.orgが新たな配置に関するFAQを提供しています：それらが提供する例は次のとおりです。 #include <new> // Must #include this to use "placement new" #include "Fred.h" // Declaration of class Fred void someCode() { char memory[s

6熱

1答えて

char配列から*をキャストするときの厳密なエイリアシング規則は何ですか？

文字配列を他の型にキャストする場合、厳密なエイリアシング規則が混乱します。私はどのオブジェクトをキャストすることが許可されていることを知っているは、文字の配列ですが、私は別の方法で起こるか分からない。は、このを見てみましょう：G ++使用してコンパイルする #include <type_traits> using namespace std; struct{ alignas (

5熱

2答えて

厳密なエイリアシングは矛盾しているようです

厳密なエイリアシングから2つのバグがあり、すべてを修正しようと思っていました。それが何であるかを詳しく見てみると、GCCは警告を出しませんし、実装が不可能なものもあるようです。少なくとも私の理解では、以下のすべてが壊れています。私の理解は間違っているか、これらのことを行う正しい方法があるのでしょうか、あるいは技術的にルールを破ってシステムテストで十分にカバーしなければならないコードがありますか？