c - 位域在 union 中未按预期工作

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

看起来你想要

uint16 _8l : 8,
       _8h : 8;

是 16 位整数的低位和高位。

但是这些在一个 union 中，并且 union 的每个元素实际上代表整个 union 。所以它们都指向相同的 8 位。

您需要将它们包装在一个结构中:

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

然后将这个结构放入 union 中。