c++中的空基类优化(EBCO)是什么_c++利用继承减小对象大小

空基类优化（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 {};
<p>class Derived : public EmptyA, public EmptyB {
int value;
};</p><p>// 没有 EBCO：可能为 sizeof(int) + 2 * padding ≈ 12 或更多
// 有 EBCO：sizeof(Derived) == sizeof(int) == 4（在 32 位系统上）</p>

支持 EBCO 的编译器会让 EmptyA 和 EmptyB 不占用额外字节，Derived 的大小仅由 int value 决定。

标签： 字节 ai c++ 标准库