为什么不能在不同的基础类型之间拆分位字段？

Question

为什么这两个结构的大小不同？

#pragma pack(push, 1)
    struct WordA
    {
        uint32_t address           : 8;
        uint32_t data             : 20;
        uint32_t sign              : 1;
        uint32_t stateMatrix : 2;
        uint32_t parity            : 1;
    };

    struct WordB
    {
        uint8_t address;
        uint32_t data             : 20;
        uint8_t sign              : 1;
        uint8_t stateMatrix : 2;
        uint8_t parity            : 1;
    };
#pragma pack(pop)

不知何故，WordB 占用 6 个字节而不是 4 个字节，而 WordA 恰好占用 32 位。 我假设给定结构内已使用位的总和将使两个结构具有相同的大小。显然我错了，但我找不到原因。 Bit fields 页面仅显示所有结构成员都属于同一类型的示例，这是WordA 的情况。

谁能解释一下，为什么尺寸不匹配，是否符合标准或实现定义？

Answer 1

为什么不能在不同的底层类型之间拆分位域？

在标准允许的意义上可以。

它不是，因为这是语言实现者（或者更确切地说，ABI 的设计者）选择的。这个决定可能是首选，因为它可以使程序更快或编译器更容易实现。

这是标准报价：

[class.bit]

... 类对象内的位域分配是实现定义的。 位域的对齐是实现定义的。 位域被打包到一些可寻址的分配单元中。