bitfields funktioniert nicht wie erwartet in einer Union

Question

Könnte mir bitte jemand sagen, warum ist die Assert fehlgeschlagen?

FYI: Ich kompiliere dies mit gcc 4.6.1 auf einem 64-Bit-Linux-Rechner.

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

Der Wert für reg._8h erwarten ist 0, aber es ist gleich der reg._8l (== 1).

Ich habe eine Lösung, um dieses Problem zu überwinden, aber ich möchte wissen, was los ist?

Answer 1

Es sieht aus wie Sie

uint16 _8l : 8, 
     _8h : 8; 

wollten die niedrigen und hohen Bits eines 16-Bit-Integer sein.

Aber diese sind in einer Vereinigung, und jedes Element einer Vereinigung in-Effekt steht für die gesamte Union. Sie beziehen sich also jeweils auf die gleichen 8 Bits.

Sie müssen sie in einer Struktur wickeln:

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

und dann in die Union diese Struktur setzen.