将7字节小端文件数据直接拷贝到struct所需的编译器保证有哪些

结论先行 #

仅满足「系统为小端」、sizeof(A) == 7这两个条件完全不够，还需要编译器提供多项额外保证，才可以直接将文件内容memcpy到结构体地址，无需逐成员赋值。 #

必须满足的编译器/环境要求 #

1. 结构体成员布局完全符合预期偏移
   C标准仅要求结构体首个成员的地址等于结构体首地址，后续成员地址按声明顺序递增，允许编译器在成员之间、结构体尾部插入对齐填充。必须保证：
   • offsetof(struct A, a) == 0
   • offsetof(struct A, b) == 4
   • offsetof(struct A, c) == 6
     等价于要求结构体成员之间无填充、尾部无填充，一般需要通过编译器专属扩展实现，比如GCC/Clang的__attribute__((packed))、MSVC的#pragma pack(1)。
2. 固定宽度整数类型的实现符合标准要求
   你使用的int32_t、uint16_t、int8_t均为C标准定义的精确宽度整数类型，要求必须满足：无填充位、长度和声明完全一致、有符号类型采用补码编码。只要你的环境支持<stdint.h>，该条件自动满足。如果是用普通int、short、char声明成员，则需要额外保证类型长度、有符号数编码规则和文件存储一致。
3. 多字节整数的字节序为小端
   这点你已经提到，要求int32_t、uint16_t的字节存储顺序和文件存储的小端规则完全匹配。
4. 目标结构体地址满足对齐要求
   哪怕结构体本身没有填充，如果你用来接收数据的结构体变量地址不满足该结构体的最小对齐要求，直接memcpy后访问成员也会触发未定义行为（部分架构会直接崩溃）。

为什么仅两个条件不够？ #

举个很容易复现的反例：
假设编译器默认按照成员的自然对齐规则布局，uint16_t要求2字节对齐，若编译器在int32_t a之后插入1字节填充，之后调整uint16_t b到偏移5，int8_t c到偏移7，同时为了让结构体数组可正确对齐，将总大小向上对齐到8，sizeof(A)就会等于8，不符合要求；但极端情况下如果编译器关闭了结构体尾部对齐，也可能出现总大小为7但成员偏移不符合要求的场景，此时就算sizeof(A)等于7、系统是小端，读取的成员值也会完全错误。
另外如果signed char的编码规则不是补码（部分老旧架构会用反码/原码），哪怕其他条件全部满足，读取到的有符号c值也会和预期不符。 #

// 符合要求的打包结构体示例（GCC/Clang环境）
struct A {
    int32_t a;
    uint16_t b;
    int8_t c;
} __attribute__((packed));

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