ユニフォームでビットフィールドが正常に動作しない

Question

誰もがアサートに失敗した理由を教えてください。

参考：64ビットLinuxマシンでgcc 4.6.1を使用してこれをコンパイルします。

typedef union cpu_register { 
    uint64 _64; 
    uint32 _32; 
    uint16 _16; 
    uint16 _8l : 8, 
      _8h : 8; 
} __attribute__((packed)) cpu_register; 

int main() 
{ 
    cpu_register reg; 
    reg._64 = 1; 
    assert(reg._8h != reg._8l); 
    return 0; 
} 

reg._8hに期待される値は0ですが、reg._8l（== 1）の値と同じです。

私はこの問題を克服するための解決策を得ましたが、何が間違っているかを知りたいですか？

Answer 1

あなたは16ビット整数の低および高ビットに

uint16 _8l : 8, 
     _8h : 8; 

を望んでいたように見えます。

しかし、これらは組合に含まれ、組合の各要素は効果的に組合全体を表します。したがって、それぞれ同じ8ビットを参照します。

あなたは構造でそれらをラップする必要があります。その後、

struct { 
    uint16 _8l : 8, 
      _8h : 8; 
} 

と組合に、この構造を置きます。