C++中struct的内存打包与填充的具体工作机制是什么？

核心结论 #

• 你提到的「成员起始地址为自身大小整数倍、不满足则插入填充字节」的规则，是现代x86/x86_64/ARM架构PC、移动设备上的通用默认实现，GCC、Clang、MSVC三大主流编译器在默认配置下均遵循该逻辑，日常开发无特殊编译配置时，完全可以按该规则推导struct的内存排布。
• 但该规则确实不是C++标准的强制要求，仅属于当前主流平台、默认编译配置下的事实标准，存在大量不生效的例外场景，不能当做100%普适的既定规则。

主流默认对齐规则的实现逻辑 #

默认配置下，struct内存排布通常遵循三个可落地的规则：

1. 每个成员的起始偏移量必须是自身对齐值（基础类型通常等于自身大小，比如char为1、int为4、double为8）的整数倍，不满足则在前一个成员末尾插入填充字节
2. struct整体的大小必须是内部最大成员对齐值的整数倍，不满足则在struct末尾补填充字节
3. 若struct嵌套其他struct作为成员，嵌套struct的起始偏移量为其内部最大对齐值的整数倍，整体大小计算也要将嵌套struct的最大对齐值纳入统计

可参考如下示例：

struct Test {
    char a;    // 占1字节，偏移0
    int b;     // 自身对齐值为4，偏移1不符合要求，前面插入3字节填充，b从偏移4开始，占4字节到偏移7
    char c;    // 占1字节到偏移8，整体最大对齐值为4，末尾补3字节填充，总大小为12
};

上述代码在三大编译器默认配置下，sizeof(Test)的结果均为12，和规则推导结果完全一致。

规则不生效的常见场景 #

以下场景中通用对齐规则会失效，不能直接套用：

• 手动修改了全局编译器对齐选项：比如给GCC加-fpack-struct=2参数、给MSVC开/Zp2选项，会将全局最大对齐值限制为2，所有成员的对齐上限不能超过该值
• 加入了编译器专属打包指令：比如GCC/Clang的__attribute__((packed))、MSVC的#pragma pack(push, 1)等指令，会强制取消填充，struct成员紧挨着排布，完全不遵循默认对齐规则
• 运行在特殊架构设备上：比如部分老旧嵌入式架构、DSP平台，编译器默认对齐规则可能和PC端差异极大，甚至存在要求所有成员对齐到2字节的情况
• struct包含特殊类型成员：比如SIMD向量类型（__m128、__m256等），这类类型的默认对齐值为16/32，远大于常规基础类型的对齐逻辑，会改变整个struct的对齐规则

如果你的代码需要跨平台运行、或者会被其他开发者用不同编译选项编译，不要强依赖默认对齐的内存布局；如果需要固定内存排布，一定要手动添加编译指令明确指定对齐规则，避免出现兼容性问题。

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