空基类优化（EBCO）是C++编译器对继承空类时的内存布局优化，允许派生类不为空基类单独分配存储空间，从而避免空类占1字节导致的内存膨胀。
空基类优化（EBCO）是什么
空基类优化是 C++ 编译器对继承自空类（即无非静态数据成员、无虚函数、无虚基类的类）时的一种内存布局优化：它允许派生类不为该空基类子对象单独分配存储空间，从而避免“空类也占 1 字节”的膨胀效应。
没有 EBCO 时，sizeof(empty_base) 是 1，而 sizeof(derived_from_empty) 至少是 2（哪怕派生类自己也没成员）；启用 EBCO 后，只要空基类不产生二义性（比如多重继承中多个相同空基类），编译器可将其“折叠”进派生类对象的地址空间里，甚至复用同一字节。
什么时候触发 EBCO
EBCO 不是语言强制要求，而是标准允许的优化（C++11 起明确支持），是否生效取决于编译器实现和继承结构。常见触发条件包括：
- 基类确实为空：
struct Empty {};—— 不能有非静态成员、不能有虚函数、不能有虚基类 - 派生类中该空基类是唯一或可唯一寻址的子对象（避免地址歧义）
- 未使用
[[no_unique_address]]或其他干扰布局的属性（C++20 前基本不影响） - 多数主流编译器（GCC、Clang、MSVC）默认启用 EBCO，但若开启
-fno-empty-bases（GCC/Clang）则禁用
注意：即使满足条件，EBCO 也不保证在所有嵌套层级都生效，尤其是多重继承中两个相同的空基类时，第二个通常无法被优化掉。
立即学习“C++免费学习笔记（深入）”；
怎么验证 EBCO 是否生效
最直接的方式是对比 sizeof 和成员地址偏移：
struct Empty {};
struct Derived : Empty {
int x;
};
#include
int main() {
std::cout << sizeof(Empty) << "\n"; // 输出 1
std::cout << sizeof(Derived) << "\n"; // 通常输出 4（不是 5），说明 EBCO 生效
std::cout << offsetof(Derived, x) << "\n"; // 通常输出 0，说明 Empty 子对象和 x 共享起始地址
}
如果 sizeof(Derived) 等于 sizeof(int)，且 offsetof(Derived, x) 为 0，基本可确认 EBCO 已应用。但要注意：某些 ABI（如 Itanium）对虚继承或虚函数表指针有额外对齐要求，可能间接抑制 EBCO。
和 [[no_unique_address]] 的关系
C++20 引入 [[no_unique_address]] 是对 EBCO 思路的泛化：它允许对**任意成员变量**（不仅是基类）启用类似优化，哪怕该类型非空。但它不替代 EBCO，而是补充：
-
[[no_unique_address]]作用于数据成员，EBCO 作用于基类子对象 - 空基类天然满足
[[no_unique_address]]的语义前提，所以 EBCO 可看作该特性的“隐式前身” - 若你写
struct S { [[no_unique_address]] Empty e; int x; };，效果接近继承，但更可控（比如可指定多个不同空类型）
真正容易忽略的是：EBCO 对程序员完全透明，你不能依赖其一定发生；而 [[no_unique_address]] 是显式请求，编译器必须尽力满足（除非布局冲突）。所以对内存敏感场景，后者更可靠。
