C++带位域的结构体sizeof值不符合预期，如何压缩至3字节？

核心原因 #

出现该现象是C/C++的结构体成员对齐规则和位域分配限制共同导致的：

1. 成员对齐要求
   结构体的每个成员都需要按照自身类型的默认对齐规则分配首地址：uint16_t的对齐要求是2字节（即首地址必须是2的整数倍），uint8_t的对齐要求是1字节。
   你定义的两个结构体第一个成员都是uint8_t x:4，占第0字节的4位；下一个成员y是uint16_t类型，编译器为了满足它的2字节对齐要求，会在第1字节的位置填充1字节空白，从第2字节开始分配y的空间，直接产生了1字节的额外开销。这也符合你提到的「全部使用uint8_t的话可以得到3字节大小」的现象，因为所有成员对齐要求都是1字节，没有额外填充，位域可以连续分配。
2. 位域跨单元限制
   位域不能跨越自身基础类型的存储空间边界：

• 对test来说，y占8位、z占8位，刚好可以塞进同一个uint16_t（2字节）的存储空间里，加上前面的1字节（x）+1字节填充，总大小刚好是4字节。
• 对test2来说，y占10位、z占10位，总位宽虽然只有24位（3字节），但默认规则下uint16_t类型的位域不能跨2字节边界，加上前面的1字节填充后，总大小也会对齐到4字节。

压缩test2到3字节的解决方案 #

你可以通过编译器的强制对齐指令关闭默认对齐规则，主流编译器都支持对应配置：

方案1：通用pack指令（兼容MSVC、GCC、Clang） #

在结构体定义前后添加pack指令，强制按1字节对齐，使用后要记得恢复默认对齐避免影响其他代码：

#pragma pack(push, 1) // 保存当前对齐设置，强制按1字节对齐
struct test2 {
    uint8_t x : 4;
    uint16_t y : 10;
    uint16_t z : 10;
};
#pragma pack(pop) // 恢复之前的对齐设置

方案2：GCC/Clang专属属性 #

如果仅使用GCC或Clang编译器，也可以直接给结构体添加packed属性：

struct test2 {
    uint8_t x : 4;
    uint16_t y : 10;
    uint16_t z : 10;
} __attribute__((packed));

注意事项 #

• 强制对齐会让部分平台上的成员访问性能下降，部分精简指令集架构甚至不支持未对齐的内存访问，使用前需要确认目标运行环境。
• 位域的内存布局（位的分配顺序、字节序）和编译器、平台强相关，如果是用于跨平台的二进制协议场景，需要额外做兼容性验证，避免不同平台解析结果不一致。

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