C++11标准是否保证标准布局结构体成员偏移跨编译器一致？

假设标准布局结构体的所有成员都是大小确定的类型（比如int32_t而非int），请问：

1. C++11标准是否保证所有编译器对该结构体各成员选择相同的内存偏移？
2. 对于标准布局结构体中的指定成员，C++11标准是否保证offsetof在所有编译器下返回相同值？
3. 若存在该保证，是否有相关规范说明该值的计算方式，比如基于成员大小、对齐要求及成员顺序的规则？

答案 #

C++11标准并不保证所有编译器对标准布局结构体成员的内存偏移（即offsetof的返回值）完全一致，核心原因如下：

• 标准仅对标准布局结构体的内存布局做了基础约束：成员必须按声明顺序存放，第一个成员的偏移为0，且首成员前无填充字节。但成员之间的填充字节、结构体尾部的填充规则，属于实现定义范畴，由编译器结合目标平台的对齐要求决定。
• 即便成员是大小固定的类型（如int32_t），不同平台对该类型的对齐要求也可能存在差异：比如多数平台要求int32_t按4字节对齐，但特殊平台可能允许按1字节对齐，这会直接改变成员间的偏移计算结果。
• C++11标准没有给出跨平台统一的偏移计算公式，具体的偏移计算需遵循目标平台的ABI（应用二进制接口）规范，而非标准强制的统一规则。

举个例子：

#include <cstdint>
struct S {
    int8_t a;
    int32_t b;
};

在要求int32_t按4字节对齐的平台上，a与b之间会有3字节填充，offsetof(S, b)返回4；若某平台允许int32_t按1字节对齐，offsetof(S, b)则返回1——这两种情况都完全符合C++11标准的要求。

总结：

• 标准仅强制要求标准布局结构体的成员顺序、首成员偏移为0，其余填充与对齐细节由实现定义。
• 即便成员类型大小固定，offsetof的返回值也可能因平台/编译器的对齐规则不同而变化，标准不保证其跨环境一致性。
• 不存在标准层面统一的偏移计算规则，具体计算需参考目标平台的ABI规范。

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