为何仅含char成员的struct与单独char变量栈对齐行为不同？

你观察到的现象本质是编译器栈上独立变量的布局策略差异，而非结构体本身的对齐要求导致的填充，具体原因拆解如下：

1. 标准规则的边界 #

C++标准仅约束结构体内部的成员布局（比如成员顺序、内部对齐逻辑），但栈上独立变量之间的内存间隔完全由编译器自主决定——只要满足每个变量的对齐要求即可。你的实验中alignof(Data)=1，说明Data类型的对齐要求仅为1字节，理论上可以放在任意内存地址，不存在强制填充的硬性规则。

2. Data变量间填充的原因 #

编译器分配栈上结构体变量时，通常会出于性能或管理便利选择更宽松的对齐粒度：

• 栈帧整体对齐优化：x86平台的现代编译器普遍会将栈帧对齐到16字节，以此提升内存访问效率。对于结构体变量，编译器可能直接将其分配到对齐后的地址上，导致相邻变量间出现额外填充。从你的输出看，a和b的地址差为16（二进制最后四位从1000到0000，差值为0x10），正好匹配16字节的对齐粒度。
• 简化栈帧管理：即使结构体当前仅含一个char，编译器也可能默认给结构体变量预留更大的对齐空间，避免后续结构体扩展（比如添加成员）时需要调整布局，同时简化栈帧的分配与回收逻辑。

3. char变量无填充的原因 #

char类型的对齐要求为1字节，编译器可以完全紧凑地分配相邻char变量——这既符合对齐要求，也能最大化利用栈空间，因此编译器会直接将它们的地址设置为连续的（你的输出中c和d地址差1，正好验证了这一点）。

额外验证建议 #

如果将Data变量改为数组形式（Data arr[2];），你会发现两个元素的地址差为1。因为C++标准强制要求数组元素必须紧凑排列，编译器不能在数组元素间添加填充，这进一步证明问题出在独立变量的栈布局策略，而非结构体本身的对齐规则。

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