C语言中结构体是否保证按sizeof(size_t)对齐？跨平台优化疑问

首先直接给你核心结论：C标准并没有强制要求结构体按sizeof(size_t)的大小对齐，结构体的对齐规则是实现定义的（由编译器、目标平台的ABI决定）。不过你修改后的结构体设计是具备跨平台可行性的，下面详细拆解：

1. 原结构体的填充原因 #

你最初定义的struct data { char buffer[12]; bool flag; }大小为16字节，本质是因为：

• 单个char和bool的对齐要求通常都是1字节，但结构体的整体对齐要求会遵循平台的「自然对齐」规则（比如32位x86平台默认按4字节对齐，64位平台默认按8字节对齐）。
• 结构体的总大小必须是其对齐要求的整数倍：12+1=13字节，为了满足平台的对齐要求，编译器会自动填充3字节，最终大小为16字节。

2. 修改后的结构体跨平台安全性分析 #

你改成struct data { char buffer[16]; }，并用最后一个字节作为flag的设计，是跨平台安全的，理由如下：

• 结构体大小固定：char的大小在C标准中明确是1字节，16个char组成的数组大小必然是16字节。同时，16是所有常见平台对齐要求的整数倍（1、2、4、8、16字节对齐都满足），因此编译器不会给这个结构体添加任何填充，大小在任何平台上都是16字节。
• flag存储可靠：用buffer[15]存储flag时，只要你将其值限制为0/1（或者用位操作存储状态），无论char是有符号还是无符号（这是实现定义的），0和1的二进制表示在所有平台上都是一致的，不会出现跨平台读取错误。

3. 关于结构体对齐的关键提醒 #

• 结构体的对齐要求由其成员中对齐要求最严格的成员决定，同时编译器可能会根据平台性能需求调整默认对齐规则（比如gcc可以通过-fpack-struct强制取消填充，或者-malign-double调整对齐）。
• 没有任何标准规定结构体必须对齐到sizeof(size_t)，比如一个仅包含char成员的结构体，其对齐要求可以是1字节，远小于sizeof(size_t)（32位为4，64位为8）。

总结 #

你的优化方案既避免了内存浪费，又保证了跨平台兼容性，是非常合理的设计。只要后续不随意修改结构体的成员结构，这个实现可以放心在不同平台上使用。

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