32位机器下C结构体中char后为何仅需1个填充字节而非3个？

先纠正常见的认知偏差 #

很多人对内存对齐的误解，都是默认“后续成员必须凑到4字节整字边界才能存放”——这个规则从根上就错了。内存填充从来不是为了硬凑4字节整数长度，它的核心作用只有两个：

• 让每个成员的起始地址满足对应类型的硬件对齐要求，既避免未对齐访问触发异常，也减少不必要的额外访存开销
• 让整个结构体的总大小能被内部最大的对齐系数整除，保证连续存放结构体数组时，每个数组元素的起始地址都满足对齐要求

场景对应的基础对齐规则 #

32位系统下，这次涉及的几个基础类型的硬件对齐要求很明确，是计算填充长度的核心依据：

• int：对齐系数为4，起始地址必须是4的整数倍
• char：对齐系数为1，任意地址都可以放，没有额外限制
• short：对齐系数为2，起始地址只要是2的整数倍即可，不需要强制对齐到4字节边界

逐地址推导布局过程 #

我们可以把结构体的起始地址设为0（只要保证结构体本身的起始地址是4的倍数，实际地址偏移不会影响计算），一步步算内存排布：

1. 首成员int i：占地址0、1、2、3，共4字节。放完之后下一个可分配的空闲地址是4。
2. 次成员char c：对齐要求为1，直接放在地址4，占1字节。放完之后下一个可分配的空闲地址是5。
3. 这里就是疑问的核心：轮到放short s的时候，到底要填多少填充？
   • 之所以会有人觉得要填3个字节，是默认s的对齐要求是4——但实际上s只需要满足2字节对齐就行。
   • 当前待分配的空闲地址是5，离最近的2的整数倍地址只差1个字节：只要在地址5的位置填1个字节的占位，下一个可分配地址就变成6，这个地址完全满足s的2字节对齐要求，根本没必要再多填2个字节凑到8。
4. 最后放short s：占地址6、7，共2字节。此时整个结构体总长度是8，刚好能被内部最大的对齐系数4整除，满足结构体整体的对齐要求，不需要再加尾部填充。

为什么放在地址6的short不会有访存问题？ #

32位CPU虽然单次访存宽度是4字节，但硬件的对齐校验是和访问的类型绑定的，不是一刀切要求所有访问都对齐到4字节边界：

• 从地址6开始读2字节的short，对应的内存范围是6、7，刚好落在起始地址为4的那个32位内存字（地址4-7）的范围内，CPU只需要从这个字里截取低16位，就能拿到完整的short值——既不会触发未对齐异常，也不需要拆成两次访存，完全没有性能损失。
• 可以做个对比：如果c后面跟的不是short，而是另一个int类型的成员，那这个int要求起始地址必须是4的倍数，当前待分配地址是5，离最近的4的倍数是8，这时候才需要在5、6、7三个地址位置填3个字节的填充，让int落在地址8的位置。
• 本质上，填充的长度从来不是固定值，永远是“当前空闲地址”到“下一个成员的对齐要求对应的最近合法地址”的差值，算出来是多少就填多少，没有硬凑4字节边界的强制要求。

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