空基类优化（EBCO）是C++中通过继承空类而不增加对象大小的编译器优化技术，用于实现零成本抽象。
空基类优化（Empty Base Class Optimization，简称 EBCO）是 C++ 中一种编译器优化技术，用于减小含有空基类的派生类对象的大小。它的核心思想是：当一个类继承自一个没有成员变量、没有虚函数的空类时，编译器可以不为这个基类分配额外的存储空间，从而避免不必要的内存浪费。
什么是空基类？
空基类指的是不包含任何非静态成员变量、没有虚函数（或仅有非纯虚函数但未被实例化）、且没有对齐要求的类。例如：
class Empty {};
class AnotherEmpty {
void func() {} // 只有成员函数，不影响“空”的性质
};
这些类的 sizeof(Empty) 通常是 1（因为 C++ 要求每个对象必须有唯一地址），但如果作为基类并应用 EBCO，可能不会在派生类中增加额外开销。
EBCO 如何减小对象大小？
在多重继承中，如果多个空类被继承，EBCO 允许编译器将这些空基类“压缩”进派生类中，共享同一地址空间，而不增加对象总体尺寸。这在标准库实现中非常常见，比如 std::pair 或 std::allocator 的封装。
立即学习“C++免费学习笔记（深入）”；
示例：
class EmptyA {};
class EmptyB {};
class Derived : public EmptyA, public EmptyB {
int value;
};
// 没有 EBCO：可能为 sizeof(int) + 2 * padding ≈ 12 或更多
// 有 EBCO：sizeof(Derived) == sizeof(int) == 4（在 32 位系统上）
支持 EBCO 的编译器会让 EmptyA 和 EmptyB 不占用额外字节，Derived 的大小仅由 int value 决定。
利用继承实现紧凑对象设计
程序员可以主动利用 EBCO 来优化内存布局，特别是在设计泛型库时。例如，将策略类或标签类作为空基类继承，而不是作为成员变量包含。
对比两种设计：
-
作为成员变量（不使用 EBCO）：
class Storage { Empty policy; // 即使 Empty 是空类，也会占 1 字节 int data; }; // sizeof(Storage) 至少为 8（含填充） -
作为基类（启用 EBCO）：
class Storage : public Empty { int data; }; // sizeof(Storage) 可能等于 sizeof(int) == 4
通过继承而非组合，空类不再增加对象体积，显著提升内存效率，尤其在数组或容器中大量使用时效果明显。
注意事项与限制
EBCO 是允许但不强制的优化。C++ 标准允许编译器进行此项优化，但不保证一定发生。实际是否生效取决于编译器实现和具体上下文。
以下情况可能阻止 EBCO：
- 基类有虚函数（变成多态类，需虚表指针）
- 基类被用作虚基类
- 两个相同类型的空基类（无法区分地址）
- 某些 ABI 约束（如 Itanium ABI 对多重相同空基类的处理）
基本上就这些。EBCO 是 C++ 零成本抽象理念的重要体现，让程序员能用抽象机制（如策略模式、标签分发）构建灵活接口，同时不牺牲性能。合理利用继承结构，可写出既清晰又高效的代码。
