不同数据类型位域的Union行为差异原因咨询

问题描述 #

我声明了两个联合类型：

typedef union
{
    struct
    {
        unsigned short n1 : 4;
        unsigned int n2 : 4;
    } s;
    unsigned int val;

} unionA;


typedef union
{
    struct
    {
        unsigned int n1 : 4;
        unsigned int n2 : 4;
    } s;
    unsigned int val;

} unionB;

为两者的val成员赋了相同的值：

unionA uA;
unionB uB;
uA.val = 0xba;
uB.val = 0xba;

我预期两个联合中，第一个半字节（由n1表示）的值都是0xa，第二个半字节（由n2表示）的值都是0xb。但实际只有unionB符合预期，unionA中的n2值为0xc。

我使用的是Windows 11系统下的Visual Studio 2019。原本认为无论位域的数据类型如何，行为都应该一致，请问是什么导致了这种差异？

原因分析 #

核心原因是C标准对位域的跨类型布局没有强制统一的规定，不同编译器可以有不同实现逻辑，而你使用的MSVC（Visual Studio 2019的编译器）对跨类型位域的处理规则导致了这个差异：

1. unionB的位域布局（符合预期） #

unionB中n1和n2的基础类型都是unsigned int，MSVC会将它们紧凑排布在同一个4字节的unsigned int存储单元中：

• n1占用存储单元的低4位（对应0xba的二进制10111010的低4位1010，即0xa）
• n2紧接着占用存储单元的第4到7位（对应二进制的1011，即0xb）
  完全符合预期。

2. unionA的位域布局（不符合预期） #

unionA中n1的基础类型是unsigned short（2字节），n2是unsigned int（4字节），MSVC的处理规则是：

• 不同基础类型的位域会被分配到独立的存储单元，且存储单元会按照对应类型的对齐要求对齐。
• n1会占用第一个2字节存储单元的低4位，对应0xba的低4位0xa，这部分和预期一致。
• n2需要使用4字节的存储单元，该单元会被对齐到4字节边界。由于unionA的大小由最大成员val（4字节）决定，struct的布局会导致n2的存储单元与val的低4字节不重叠（或处于未被赋值的内存区域），因此读取到的n2是未初始化的垃圾值（你看到的0xc就是随机的垃圾值），而非预期的0xb。

解决方案 #

如果需要位域连续紧凑排布，保证读取结果符合预期，必须确保所有位域的基础数据类型一致，比如将unionA中的n1也改为unsigned int类型，和unionB保持一致。

内容的提问来源于stack exchange，提问作者torres