C语言中结构体填充与最大成员大小的关联及结构体大小计算差异问题咨询

嘿，这个问题问到点子上了——刚学结构体填充的朋友几乎都会在这个地方绕弯。咱们直接把内存布局拆解开，对比案例2和案例3的差异，答案就一目了然了。

首先先明确两个编译器默认遵循的对齐规则（这是关键）：

• 规则1：每个成员的起始地址必须是自身大小的整数倍（比如double要从8的倍数地址开始，int从4的倍数开始）。
• 规则2：整个结构体的总大小必须是最大成员大小的整数倍，这样结构体数组里的每个元素都能满足对齐要求。

案例1：Test1（总大小16字节） #

这个你已经搞懂了，简单过一遍：

typedef struct{
    double A; // 0-7字节（8字节，符合对齐）
    char B;   // 8字节（1字节）
    char C;   // 9字节（1字节）
} Test1;

因为最大成员是8字节，总长度要凑到8的倍数，所以从9字节开始填充到15，最终总大小16字节。

案例2：Test2（总大小24字节） #

咱们把内存布局画出来：

typedef struct{
    int A;    // 0-3字节（4字节，符合对齐）
    // 这里要填充4字节（地址4-7），因为下一个成员double B需要从8的倍数地址开始
    double B; // 8-15字节（8字节）
    float C;  // 16-19字节（4字节）
    // 总长度现在是20，不是8的倍数，所以填充4字节（地址20-23）
} Test2;

这里的关键是int A之后，double B必须从8的倍数地址开始，所以不得不填充4字节；最后总长度20不是8的倍数，又要填充4字节，最终总大小24字节。

案例3：Test3（总大小16字节） #

这就是你困惑的点，同样看内存布局：

typedef struct{
    double A; // 0-7字节（8字节，符合对齐）
    int B;    // 8-11字节（4字节，地址8是4的倍数，符合int的对齐要求）
    float C;  // 12-15字节（4字节，地址12是4的倍数，符合float的对齐要求）
} Test3;

现在总长度是16字节，刚好是最大成员（8字节）的整数倍（16=8×2），完全满足规则2，所以不需要任何额外填充！

核心差异：成员排列顺序 #

案例2和案例3的区别完全在于成员的顺序：

• 案例2中，int（4字节）后面跟着double（8字节），为了满足double的对齐要求，必须插入填充字节；
• 案例3中，double之后的int+float刚好是8字节，完美凑成最大对齐单位的倍数，没有任何浪费。

额外提一句：如果你想强制取消填充，可以用编译器特定的属性，比如GCC的__attribute__((packed))或者MSVC的#pragma pack(1)，但一般不建议这么做——牺牲性能换内存的场景很少，而且可能导致未定义行为。

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