GCC C++ __attribute__((packed))用法及C++20等效打包实现方案问询

1. __attribute__((packed)) 放置位置结论 #

针对你这个硬件适配场景，仅修饰外层 properties 联合体即可完全实现无padding的需求。
如果你的内部位域结构体还有可能在该联合体之外单独定义使用，才需要同时给内部结构体加上packed属性，否则没有必要重复添加。

2. GCC packed 属性核心规则 #

• 修饰结构体/联合体整体时：禁止编译器在成员之间插入填充字节，同时将整个类型的对齐要求设置为1字节对齐，也不会在类型尾部添加填充字节。
• 修饰单个结构体/联合体成员时：仅取消当前成员的对齐要求，不会影响其他成员和整体类型的布局。

对你的代码来说，内部位域结构体的所有位域总长度为7位，本身就可容纳在1个uint8_t的空间内，只要外层联合体被packed修饰，编译器就不会在bits和raw两个成员之间插入填充，也不会给联合体整体加尾部填充，完全满足硬件寄存器映射的要求。
如果仅修饰内部bits结构体，外层联合体仍可能遵循默认对齐规则插入填充，无法保证内存布局完全符合预期。

3. 等效实现方案与C++20标准支持 #

__attribute__((packed)) 不是唯一的打包方式：

• 跨编译器兼容的通用写法是使用#pragma pack指令，GCC、Clang、MSVC均支持该语法，示例如下：

#pragma pack(push, 1) // 保存当前pack设置，强制按1字节对齐
union properties {
    struct {
        uint8_t b0 : 1;
        uint8_t b1 : 1;
        uint8_t b2 : 1;
        uint8_t v0 : 3;
        uint8_t b4 : 1;
    } bits;
    uint8_t raw : 7;
};
#pragma pack(pop) // 恢复之前的pack设置

• C++20之后有了标准层面的布局保证：标准明确规定了位域在可寻址存储单元中的分配顺序与平台字节序匹配，同时你也可以使用标准属性写法[[gnu::packed]]替代GCC专属的__attribute__语法，代码可读性更好。
• 如果不想依赖编译器扩展，你也可以通过位操作宏直接操作uint8_t类型的变量，完全避免位域和编译器布局差异的问题，这也是很多硬件驱动代码的通用实现方式。

内容的提问来源于stack exchange，提问作者Martin Kopecký