Linux/IA32下数据对齐疑问：结构体s1与s2的字符成员占用差异

嘿，这个问题的核心是32位x86（IA32）平台的内存对齐机制——编译器会自动给结构体成员和整体添加 padding（填充字节），目的是让CPU访问内存的效率更高。毕竟CPU读取内存是按4字节（32位字长）批量操作的，如果数据没对齐，CPU可能得读两次内存再拼接数据，速度会慢很多。

先明确IA32平台的两个关键对齐规则：

• 单个基本数据类型的对齐要求：int（4字节）的起始地址必须是4的倍数；char（1字节）的起始地址可以是任意位置。
• 结构体的整体对齐要求：结构体的总大小必须是其内部最大基本类型对齐值的倍数（这里最大的是int的4字节）。

拆解struct s1的内存布局 #

struct s1{ 
    int i;    // 占用地址0-3（4字节，符合int的对齐要求）
    int j;    // 占用地址4-7（紧接i，起始地址是4的倍数，4字节）
    char c;   // 占用地址8（1字节，char无严格对齐要求）
};

此时结构体的实际数据长度是4+4+1=9字节，但为了满足整体对齐到4字节的要求，编译器会在c后面补3个字节的padding，最终结构体总大小是12字节。不过**c本身确实只占用1字节**，padding是额外的填充，这就是教材说的s1中c仅占1字节的原因。

拆解struct s2的内存布局 #

struct s2{ 
    int i;      // 地址0-3（4字节）
    char c1;    // 地址4（1字节）
    // 这里必须补3字节padding（地址5-7）：因为下一个成员是int j，它要求起始地址是4的倍数，所以j得从地址8开始
    int j;      // 地址8-11（4字节）
    char c2;    // 地址12（1字节）
    // 最后补3字节padding（地址13-15）：结构体总大小要对齐到4字节，当前数据长度是13，补到16才是4的倍数
};

教材说“s2中的c2占用4字节”，其实是指从c2的起始地址12到结构体结束的15，总共4字节（1字节的c2 + 3字节的padding），但c2本身还是只占1字节——这个表述容易让人误解，本质是结构体整体对齐带来的填充字节和c2凑成了4字节。

解答你的疑问：是否因为c1需占用4字节且二者类型相同？ #

完全不是哦！c1本身也只占用1字节，它后面的padding是为了对齐后面的int j，而c2后面的padding是为了满足整个结构体的对齐要求——这两个padding的原因不一样，和c1、c2的类型相同没有关系。

如果想取消自动对齐，你可以给结构体加上__attribute__((packed))属性，比如：

struct s2_packed{ 
    int i; 
    char c1; 
    int j; 
    char c2; 
} __attribute__((packed));

这个结构体的总大小就是4+1+4+1=10字节，没有任何padding，但代价是CPU访问非对齐的j时效率会降低，甚至在某些严格要求对齐的架构下会触发错误。

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