空基类优化（EBCO）可避免继承空类时增加派生类大小。1. 空基类无数据成员，大小至少1字节；2. EBCO使派生类不额外分配空间，如sizeof(Derived)等于int大小；3. 对非空基类无效；4. 广泛用于STL和泛型编程以实现零成本抽象。
空基类优化（Empty Base Class Optimization，简称 EBCO）是 C++ 编译器在处理继承时的一种重要内存优化技术。它的核心作用是避免因继承空类而增加派生类对象的大小。
什么是空基类？
空基类指的是不包含任何非静态成员变量、虚函数（除非是析构函数）以及没有对齐要求的类。例如：
struct Empty {};
这类类的实例理论上不需要存储数据，C++ 标准规定其大小至少为 1 字节，以保证每个对象有唯一地址。但当它作为基类被继承时，编译器可以应用 EBCO 来节省空间。
EBCO 如何工作？
当一个类继承自一个空类时，如果编译器支持 EBCO，它会尝试将基类的存储“压缩”进派生类中，而不是额外分配空间。这利用了“空类对象无状态”的特性。
立即学习“C++免费学习笔记（深入）”；
举例说明：
struct Empty {};
struct Derived : Empty {
int x;
};
在支持 EBCO 的编译器上，sizeof(Derived) 通常等于 sizeof(int)（如 4 字节），而不是 4 + 1 = 5 字节。这意味着空基类没有带来额外开销。
对比以下情况：
struct NonEmpty {
char c; // 占 1 字节
};
struct Another : NonEmpty {
int x;
};
此时 sizeof(Another) 至少为 8 字节（考虑对齐），无法优化，因为基类有实际数据。
为什么 EBCO 重要？
EBCO 在泛型编程中特别有用，尤其是在标准库和模板元编程中。比如：
- STL 中的迭代器适配器常继承空的策略类或标签类。
- 函数对象包装器（如 std::function）可能继承空的调用特征基类。
- 使用 std::allocator 的容器常通过 EBCO 避免存储 allocator 实例的空间开销。
若无 EBCO，这些设计会导致不必要的内存浪费。
如何确保 EBCO 被应用？
虽然主流编译器（GCC、Clang、MSVC）都支持 EBCO，但某些情况下优化可能失效：
- 多个相同类型的空基类：C++ 要求每个基类子对象有独立地址，因此不能全部压缩。
- 多重继承中存在非空类干扰布局。
技巧建议：
- 优先使用继承而非组合来包含空工具类。
- 使用 [[no_unique_address]] 属性（C++20）显式提示编译器允许空成员优化：
struct Holder {
[[no_unique_address]] Empty e;
int x;
};
// sizeof(Holder) 可能仍为 4
基本上就这些。EBCO 是 C++ 零成本抽象理念的体现之一，让程序员能安全使用继承建模而不必担心空类带来的性能损耗。
