空基类优化（EBO）通过压缩空基类的存储空间，使派生类不因继承空类而增加内存开销。1. 空类无成员变量、虚函数，大小为1字节；2. EBO允许空基类与派生类共享地址，减少冗余空间；3. 应用于私有继承空的策略类或分配器，如MyVector继承std::allocator；4. 需满足基类为空且无重复实例；5. C++20可用[[no_unique_address]]进一步优化空成员布局。该机制提升泛型编程中类型的空间效率。
空基类优化（Empty Base Optimization，简称 EBO）是 C++ 中一种重要的编译器优化技术，用于减少因继承空类而带来的内存开销。理解 EBO 有助于编写更高效、更紧凑的 C++ 类型，尤其在泛型编程和标准库实现中非常关键。
什么是空类和空基类
空类是指不包含任何非静态成员变量、虚函数或虚基类的类。例如：
struct Empty {};
这类类的大小通常为 1 字节（由 C++ 标准规定，确保每个对象有唯一地址），尽管它不携带数据。当一个类从这样的空类继承时，该空类称为“空基类”。
EBO 的作用机制
C++ 标准允许编译器对空基类进行优化：如果派生类继承了一个或多个空基类，编译器可以将这些基类的存储空间“压缩”，使其不额外占用内存。也就是说，派生类的对象大小不会因为继承空基类而增加。
立即学习“C++免费学习笔记（深入）”；
这种优化依赖于“空基类子对象”可以在内存布局中与派生类共享起始地址。
示例：
struct EmptyA {};
struct EmptyB {};
struct Derived : EmptyA, EmptyB {
int value;
};
在支持 EBO 的编译器上，sizeof(Derived) 通常是 4（即仅 int 所需空间），而不是 6 或更多（如 1+1+4）。这说明两个空基类没有引入额外开销。
何时能应用 EBO
EBO 并非总是生效，其成功依赖以下条件：
- 基类必须是真正的空类（无非静态成员、无虚函数）
- 派生类不能以相同类型有多个实例（如通过虚继承可能影响）
- 多数现代编译器（GCC、Clang、MSVC）都支持 EBO，但行为可能受 ABI 和内存对齐影响
注意：如果使用多重继承且基类非空，EBO 只对其中的空基类生效。
实践中如何利用 EBO
EBO 常用于标准库和模板库设计中，比如 std::pair 或 allocator-aware 容器。常见技巧是让类继承空的策略类或标签类，而不增加体积。
例子：优化存储函数对象和分配器
template> class MyVector : private Allocator { public: // 利用 EBO，若 Allocator 为空（如默认 allocator），则不增加对象大小 void allocate(size_t n) { Allocator::allocate(n); } };
这里，如果 Allocator 是空类（大多数分配器是），那么继承它不会增加 MyVector 的大小，比将分配器作为成员更节省空间。
为了确保正确使用 EBO，建议：
- 优先使用私有继承而非成员对象来持有空的状态类
- 避免不必要的虚函数或成员变量污染空类
- 使用 [[no_unique_address]] 属性（C++20）作为替代方案，更灵活地提示编译器优化空成员
struct HoldsEmpty {
[[no_unique_address]] Empty e;
int i;
}; // sizeof(HoldsEmpty) 可能等于 sizeof(int)
基本上就这些。EBO 是一个简单却强大的优化机制，合理运用可提升性能敏感代码的空间效率，特别是在模板元编程和库开发中值得重视。
