为何设置1字节对齐的C语言结构体实际大小不符合预期？

大小异常、后续字段数据错误的核心问题出在位域的编译器实现规则，#pragma pack(1)无法完全控制位域的内存排布：

• 声明的uint32_t size: 24是以uint32_t（4字节）作为存储单位的，编译器会优先将该位域对齐到4字节边界，因此uint8_t ID之后会插入3字节的填充，确保位域从4字节偏移位置开始存储。
• 就算该位域仅使用24位，整个uint32_t存储单元仍会占用4字节空间，剩余的8位默认不会被后续的uint16_t value复用，且uint16_t自身需要对齐到2字节边界，又会额外插入1字节填充，最终整体大小比预期多2字节，所有后续字段的偏移位置全部错位，因此数据读取错误。
• 另外C/C++标准没有对位域的内存排布、字节序做统一规定，不同编译器、不同编译选项下的位域布局都可能发生变化，天生不适合用来映射二进制文件格式。

直接去掉24位位域，改用3字节的uint8_t数组替代，手动做整数转换即可，修改后的结构体如下：

#pragma pack(push, 1)
struct myStruct
{
    uint8_t ID;
    uint8_t size[3]; // 对应原24位size字段
    uint16_t value;
    char name[12];
    char description[4];
    char shoppingList[14];
    char otherValue[6];
};
#pragma pack(pop)

该结构体的总大小为1+3+2+12+4+14+6=42字节，完全符合预期。

需要读取size的整数值时，根据二进制文件的字节序手动转换即可：

• 小端序（x86平台默认）转换代码：uint32_t size_val = size[0] | (size[1] << 8) | (size[2] << 16);
• 大端序转换代码：uint32_t size_val = size[2] | (size[1] << 8) | (size[0] << 16);

• 直接将缓冲区指针强制转换为结构体指针时，需要确保缓冲区的起始地址对齐到结构体最大成员的对齐边界，否则在ARM等非x86架构上会触发总线错误直接崩溃，更稳妥的方式是用memcpy逐字段拷贝数据，不依赖内存排布。
• 跨平台使用时需要额外确认字节序是否匹配，避免大小端导致的数据错误。

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