多级继承下的内存布局与空基类优化问题咨询

问题场景回顾 #

先看两组代码的表现差异：

场景1：A继承空基类Empty #

struct Empty {};

struct A: Empty {
    int64_t a;
    int8_t b;
};

struct B: A {
    int32_t c;
};

• GCC/Clang编译后：sizeof(B)=16，offsetof(B, c)=12
• MSVC编译后：sizeof(B)=24

场景2：A不继承Empty #

struct A {
    int64_t a;
    int8_t b;
};

struct B: A {
    int32_t c;
};

• 三款编译器编译后：sizeof(B)均为24，offsetof(B, c)=16

内存布局拆解 #

场景2的统一逻辑（无EBO） #

这里所有编译器的布局规则一致：

1. struct A中，int64_t a占8字节，int8_t b占1字节。由于内存对齐要求（int64_t的对齐边界是8字节），b后面会被填充7字节，所以sizeof(A)=16。
2. struct B继承A，新增的int32_t c占4字节。B的对齐边界要和最大成员（A的对齐边界是8字节）保持一致，因此c后面会被填充4字节，总大小16+8=24，c的偏移量就是A的大小16。

场景1的GCC/Clang布局（EBO+尾填充复用） #

GCC和Clang在多级继承中会把空基类优化（EBO）的逻辑延伸，复用基类的尾填充空间：

1. struct A继承空基类Empty时，EBO生效——空基类不会占用额外内存。A的成员a（8字节）在偏移0，b（1字节）在偏移8，此时A的逻辑大小是9字节，但为了满足int64_t的8字节对齐，原本需要填充7字节到16字节。
2. 当B继承A时，编译器发现A的尾填充有7字节空间，足够放下int32_t c（4字节），于是直接把c放在偏移12的位置（8+1+3的填充位），不需要额外开辟空间。最终B的大小是16字节（刚好满足8字节对齐），c的偏移量就是12。

场景1的MSVC布局（保守EBO实现） #

MSVC对EBO的支持比较保守：

• 虽然A继承Empty时会优化掉空基类的空间，但MSVC不允许派生类B复用基类A的尾填充空间。因此A的大小仍为16字节（9字节数据+7字节填充），c只能放在A之后的偏移16位置，再填充4字节到24字节，最终sizeof(B)=24。

空基类优化的标准依据 #

C标准（以C20为例）在[class.mem]章节明确了空基类优化的核心规则：

• 空类（无非静态数据成员、无虚函数、无虚基类）的大小可以不为1，编译器可优化其空间，只要空基类子对象的地址不与类的其他非静态成员或基类子对象地址冲突。
• 对于多级继承，标准并未禁止编译器复用基类的尾填充空间，这属于编译器的扩展优化策略，因此不同厂商的实现存在差异（GCC/Clang支持，MSVC不支持）。

核心差异总结 #

• 无EBO场景：所有编译器严格遵循内存对齐规则，基类的尾填充无法被派生类复用，最终派生类大小为24。
• 带EBO场景：
  • GCC/Clang：通过EBO延伸优化，允许派生类复用基类尾填充，大幅缩小派生类大小至16。
  • MSVC：仅优化直接空基类的空间，不支持尾填充复用，派生类大小仍为24。

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