__attribute__((packed))强制结构体按最小字节布局排列,取消对齐填充,适用于硬件寄存器映射等需精确内存布局的场景,但会导致非对齐访问风险及性能下降。
__attribute__((packed)) 是用来取消结构体成员对齐填充的
它强制编译器按最小可能的字节布局排列结构体成员,不插入任何 padding 字节。这在需要精确控制内存布局的场景(比如硬件寄存器映射、网络协议打包、二进制文件解析)中很关键——否则默认对齐会导致结构体大小膨胀,且跨平台时行为不可靠。
例如:struct { uint8_t a; uint32_t b; } 在 x86_64 上通常占 8 字节(a 后补 3 字节 padding),加 __attribute__((packed)) 后就变成 5 字节。
不加 packed 时对齐规则怎么起作用
每个成员按自身大小对齐(uint16_t 对齐到 2 字节边界,uint32_t 对齐到 4 字节边界),编译器在前一个成员后插入必要 padding,使下一个成员地址满足其对齐要求;整个结构体总大小还会向上对齐到最大成员对齐值。
- 对齐值由
alignof(T)决定,通常等于sizeof(T),但可被aligned属性覆盖 - 结构体首地址天然满足对齐要求(栈/堆分配保证)
- 不同编译器(GCC/Clang/MSVC)默认行为一致,但 packed 是 GCC/Clang 扩展,MSVC 用
#pragma pack(1)
packed 的代价和风险必须清楚
它让 CPU 访问非对齐地址,某些架构(如 ARMv7 默认配置、部分 RISC-V 实现)会直接触发硬件异常;x86/x86_64 虽支持但性能下降明显(可能多一倍访存周期)。更隐蔽的问题是: