C语言结构体成员降序对齐时是否填充？跨平台存储结构体疑问

问题清单 #

• 即使结构体成员按对齐要求降序排列，C语言仍会在成员之间添加填充字节吗？
• 针对如下结构体：

struct Foo {
    int a;
    char b;
};

• 是否能保证成员b的偏移量为sizeof(int)？
• 是否能保证只要满足所有对齐要求，成员就会紧密排列、无需填充（不考虑结构体末尾的对齐填充）？
• 核心疑问：若结构体内存布局因平台不同而不一致，直接用fwrite()或write()将结构体写入文件会引发问题吗？

问题解答 #

• 成员间填充情况：当成员按对齐要求降序排列时，C语言标准既不强制要求编译器在成员间加填充，也不禁止。但主流编译器（GCC、Clang、MSVC等）通常不会在这种场景下的成员间插入填充，只会在结构体末尾添加对齐所需的字节。
• struct Foo的偏移量保证：不能绝对保证b的偏移量是sizeof(int)。虽然绝大多数常见平台都是如此，但C标准没有给出强制承诺——极少数特殊架构可能有更严格的对齐规则，导致偏移量不符合预期。
• 成员紧密排列的保证：C标准不保证满足对齐要求的成员一定紧密排列。编译器在不违反对齐规则的前提下，理论上可以插入额外填充（尽管实际中几乎不会这么做）。
• 直接序列化的风险：百分百会出问题！不同平台的内存布局差异体现在多个方面：
  • 基础类型大小不同（比如32位平台int是4字节，64位平台可能是8字节）；
  • 对齐规则差异（比如部分平台要求double对齐到8字节，另一些允许4字节对齐）；
  • 字节序（大小端）不同（x86是小端，部分嵌入式平台是大端）。
    用fwrite()直接写入结构体生成的文件完全是平台绑定的，换个平台读取大概率会解析错误。正确的做法是使用显式序列化：将结构体每个成员按统一格式（固定字节序、固定大小）逐个写入文件，读取时再按相同规则解析恢复成结构体。

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