C++的空基类优化（Empty Base Class Optimization，简称EBCO）是编译器针对空基类的一种优化策略，当派生类继承自一个空基类时，编译器可以省略空基类在派生类对象中占用的额外内存空间，从而减少整个对象的内存占用。
什么是空基类
空基类指的是没有非静态成员变量、没有虚函数、没有虚基类的类，这类类本身的大小在C++标准中规定至少是1字节，目的是保证不同的对象有不同的地址。以下是一个典型的空基类示例：
// 空基类定义
class EmptyBase {
// 没有非静态成员变量
// 没有虚函数
// 没有虚基类
};
// 普通类，包含一个int成员
class NormalClass {
int value;
};
我们可以通过sizeof运算符验证空基类的大小：
#include <iostream>
using namespace std;
class EmptyBase {};
int main() {
cout << "EmptyBase大小: " << sizeof(EmptyBase) << endl; // 输出1，不同编译器可能略有差异
return 0;
}
未开启EBCO时的对象内存问题
如果一个派生类继承自空基类，同时自身包含成员变量，在没有EBCO的情况下，空基类的1字节会被计入派生类对象的大小，导致不必要的内存浪费。例如下面的代码：
#include <iostream>
using namespace std;
class EmptyBase {};
class DerivedNoOpt : public EmptyBase {
int num; // 4字节（假设int为4字节）
};
int main() {
cout << "未优化派生类大小: " << sizeof(DerivedNoOpt) << endl; // 可能输出5或8，取决于内存对齐
return 0;
}
这里DerivedNoOpt的大小除了int的4字节，还要加上空基类的1字节，再经过内存对齐后可能达到8字节，多出来的空间就是空基类带来的额外开销。
EBCO的优化效果
主流的C++编译器都默认支持空基类优化，优化后空基类的1字节不会被计入派生类对象的大小，派生类对象的大小就等于自身成员变量的大小（加上必要的内存对齐）。我们修改上面的例子验证优化效果：
#include <iostream>
using namespace std;
class EmptyBase {};
class DerivedOpt : public EmptyBase {
int num; // 4字节
};
int main() {
cout << "优化后派生类大小: " << sizeof(DerivedOpt) << endl; // 输出4，空基类不占用额外空间
return 0;
}
可以看到优化后DerivedOpt的大小只有4字节，和单独一个int的大小一致，空基类没有带来额外内存开销。
EBCO的使用限制
EBCO并不是在所有继承场景下都会生效，存在以下限制：
- 空基类必须真的是空基类，不能有非静态成员变量、虚函数、虚基类
- 如果派生类同时继承多个空基类，只要这些空基类没有冲突，都可以被优化掉
- 如果空基类被当作成员对象而不是基类使用，优化不会生效，因为成员对象必须占据独立的内存空间
下面的例子展示了空基类作为成员时无法优化的场景：
#include <iostream>
using namespace std;
class EmptyBase {};
class HasMember {
EmptyBase e; // 空基类作为成员
int num;
};
int main() {
cout << "包含空基类成员的对象大小: " << sizeof(HasMember) << endl; // 输出8，空基类成员占用1字节+对齐
return 0;
}
EBCO的实际应用场景
EBCO最常见的应用是在模板元编程中，很多模板工具类本身是空的，作为基类被其他类继承时可以避免额外的内存开销。比如C++标准库中的std::allocator在很多实现中就是空类，当容器继承它时不会增加容器的内存占用。我们也可以利用这一特性设计更紧凑的数据结构：
#include <iostream>
using namespace std;
// 空的标签类，用于标记对象类型
class TypeTag {};
// 数据类，继承标签类，同时存储数据
class DataWithTag : public TypeTag {
int id;
double value;
};
int main() {
cout << "带标签的数据类大小: " << sizeof(DataWithTag) << endl; // 输出16，等于int+double的大小，标签类无额外开销
return 0;
}
这种场景下，我们不需要为类型标签付出额外的内存成本，就能在对象中携带类型信息，非常适合对内存敏感的开发场景。