C++中POD/聚合基类的尾部填充是否保证不被派生类复用？

C标准完全没有给出过这一保证。你观察到的“POD基类尾部填充不被复用”的现象，是特定平台C ABI的实现选择，不属于标准层面的强制约束，编写可移植代码时不能依赖该行为。

C++标准对类对象的内存布局仅规定了极少的硬性要求，除此之外所有布局决策都属于编译器的实现自由：

• 同一访问控制域下的非静态数据成员，内存偏移地址必须严格按照声明顺序递增
• 基类子对象的存储地址必须位于派生类对象的存储范围之内
• 标准布局类型需满足额外约束：例如首个非静态成员与对象首地址偏移为0，空基类需满足零大小优化要求等
• 任意类型的sizeof返回值必须足够容纳该类型所有非静态成员、满足类型自身的对齐要求

标准中不存在任何条款禁止编译器复用任意基类的尾部填充，无论该基类是POD类型、聚合类型还是标准布局类型。

你在x86-64 GCC下看到的结果，是Itanium C++ ABI的明确要求——这是Linux、macOS、BSD等几乎所有非Windows平台通用的C二进制接口规范，和C标准本身无关。

该ABI为了兼容C语言的结构体使用习惯，专门规定：仅当基类不属于「布局用途POD类型」时，派生类才可以复用其尾部填充。其中「布局用途POD类型」的核心判定逻辑包括：

• 无虚函数、无虚基类
• 所有非静态数据成员、直接/间接基类均为布局用途POD类型
• 无用户声明的构造函数、析构函数、拷贝/移动赋值运算符
• 无基类

以你给出的测试代码为例：

struct A {
    int a;
    bool aa;
};
struct B : A {
    bool b;
};
struct C : B {
    bool c;
};
static_assert(sizeof(A) == 8);
static_assert(sizeof(B) == 12);
static_assert(sizeof(C) == 12);

其中A没有基类，属于布局用途POD，因此B不能复用A的3字节尾部填充，sizeof(B)为12；B本身继承自A，不属于布局用途POD，因此C可以复用B的3字节尾部填充，最终sizeof(C)和sizeof(B)同为12，和你观察到的结果一致。

这个规则的设计初衷是避免破坏老代码的预期：很多C++代码会把和C struct布局兼容的POD类型当作纯C结构体使用，比如对基类子对象做memcpy、按C的方式逐字节拷贝对象。如果这类POD基类的尾部填充被派生类成员占用，拷贝基类时就会意外覆盖派生类的成员数据，引发难以排查的bug。

• 不存在“所有合理编译器都不复用POD基类尾部填充”的共识：Windows平台下MSVC使用的是独立的C++ ABI，其规则允许复用任意基类（包括POD基类）的尾部填充，同样的示例代码在MSVC下编译时，sizeof(B)的结果完全可能是8，这一行为完全符合C++标准要求。
• POD类型、聚合类型、标准布局类型是三个边界不完全重合的概念，三者都没有“尾部填充不可被派生类复用”的标准层面特权。

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