结构体大小为何能非4的倍数？GCC下结构体大小计算困惑求助

嘿，我来帮你搞懂这个问题！你对内存填充的理解方向是对的，但误解了结构体整体对齐的规则——不是所有情况都要对齐到4字节，而是要看结构体里成员的最大对齐要求。

咱们一步步拆解你的例子：
首先看GCC默认的对齐规则（不同编译器可能有差异，这里聚焦GCC）：

• 每个成员的对齐值等于它自身的大小：short int占2字节，所以它的起始地址必须是2的倍数；char占1字节，没有严格的对齐限制。
• 结构体的整体对齐值，是它所有成员中最大的那个对齐值，而不是固定的4字节。

现在看你的结构体struct books的内存布局：

1. 第一个成员short int number：占用地址0-1（共2字节），满足2字节对齐要求。
2. 第二个成员char name[3]：紧接着放在地址2-4（共3字节），因为char不需要特殊对齐，这里没问题。
3. 此时总字节数是2+3=5，但结构体整体要对齐到最大成员的对齐值（也就是2字节），所以需要填充1字节，让总大小变成6（5+1=6，是2的倍数）——这就是你看到sizeof(book)输出6的原因。

你之前误以为要填充到8字节，大概率是混淆了对齐规则：比如有些平台或编译器会默认强制对齐到4字节，但GCC在这种场景下，会遵循「以成员最大对齐值为准」的规则。如果想强制让结构体对齐到4字节，可以给结构体加个属性修饰：

struct books{ 
    short int number; 
    char name[3]; 
} __attribute__((aligned(4))) book;

这时候sizeof(book)就会变成8，但这是手动修改对齐规则的结果，不是默认行为。

最后再划个重点：

• 内存填充的目的是让CPU更高效地读取数据，但填充多少、整体对齐到多少，核心是看成员的对齐要求，不是固定的某个数字。
• 你的例子里最大成员是2字节的short，所以整体对齐到2的倍数，最终大小就是6字节。

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