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

Question

厳密なエイリアシング警告を取り除く最も簡単な方法はどれですか？

コードは：

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)); 

bytesToReadはuint16_t値として渡されます。

一方、残りのデータが処理される前に、イベントタイプ（この場合はINT_READ_EVENT）を認識するために1バイトを受け取る読み取りがあります。

warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] 
    *((uint16_t *) &msg[1]) = bytesToRead; 
    ^

：

警告を取り除くためにどの素早く、簡単な方法はありますか？

Answer 1

charバッファを使用する代わりに、構造体を定義することができます。

struct message 
{ 
    uint8_t code; 
    uint16_t payload; 
}; 

struct message msg; 

msg.code = INT_READ_EVENT; 
msg.value = bytesToRead; 

マルチプラットフォーム/ポータブルコードでは、アラインメントとエンディアンを考慮する必要があります。

また、rawモードで構造体のデータにアクセスしたい場合は次のことができます。このよう

union message_with_raw 
{ 
    struct message msg; 
    uint8_t rawdata[sizeof(struct message)]; 
} 

Answer 2

、それはあなたが16ビットの値として表現されるべきであるとエンディアンを決めるん強制以来：

// Little-endian. 
msg[1] = bytesToRead & 0xff; 
msg[2] = (bytesToRead >> 8) & 0xff; 

ビッグエンディアンの場合、右側の順序を逆にします。

Answer 3

あなたは、プロトコルのいくつかの並べ替えをデコードしているようですね、その一つの方法は、プロトコルデータに対応する構造体を宣言することです：

typedef struct 
{ 
    uint8_t something; 
    uint16_t bytes_to_read; 
} prot_data_t; 

次に便宜のために、とかわすのエイリアシングの問題には、あなたはこれを置くことができます

typedef union 
{ 
    prot_data_t named_data; 
    uint8_t  raw_data [sizeof(prot_data_t)]; 
} protocol_t; 

今、あなたはraw_dataを通じてデータを1バイトごとに送信/受信が、named_dataによって異なる値にアクセスすることができます：組合インチ

---

考慮すべきいくつかの点：

このコードだけでなく、すべてのソリューションは、ビットシフトを使用していないことに注意してくださいは、エンディアンに依存になります。

このようなコードは、整列と構造体/共用体パディングの問題を起こす可能性があります。移植性を最大限に高めるために、シリアライズ/デシリアライゼーションルーチンと組み合わせて使用​​しない限り、構造体/共用体は実際にはお勧めできません。

Answer 4

そのような警告が理由であります。 msgが16ビット境界で開始する場合は、msg[1]はありません。したがって、そのフィールドのアドレスから始まる16ビットの値を書き込もうとすると、無効なメモリへの書き込みのトラップが発生し、クラッシュが発生する可能性があります。

代わりに、バイトを1つずつ書き込む必要があります。ビッグエンディアン形式（ネットワークバイトオーダーとも呼ばれます）でバイトを使用すると仮定すると、次のようになります。

msg[1] = (uint8_t)(bytesToRead >> 8); 
msg[2] = (uint8_t)(bytesToRead);