17370845950

空基类优化（EBCO）允许空基类不占用派生类额外存储空间，避免因地址唯一性要求导致的内存浪费；其启用需满足标准布局、无虚函数/虚基类、无非平凡特殊成员函数等条件，并被广泛用于策略类、CRTP、tuple等零开销抽象场景。

空基类优化（Empty Base Class Optimization，EBCO）是 C++ 编译器对继承自空类（即不含非静态数据成员、无虚函数、无虚基类的类）时采取的一种内存布局优化技术：它允许空基类不占用派生类对象的额外存储空间。

为什么空基类本可能浪费内存？

按常规对象布局规则，每个子对象（包括基类子对象）都需要在内存中拥有独立地址，哪怕它不携带数据。如果没有 EBCO，一个空基类仍会占据至少 1 字节（满足 sizeof ≥ 1 的要求），导致派生类因“填充”或“地址对齐”而膨胀。例如：

struct Empty { };                    // sizeof(Empty) == 1
struct X : Empty { int a; };         // 若无 EBCO，可能变成 sizeof(X) == 8（1字节基类 + 3字节填充 + 4字节int）

但实际中 sizeof(X) 通常为 4 —— 编译器把 Empty 的子对象“折叠”进 int a 的起始地址，不额外分配空间。

EBCO 触发的前提条件

编译器只在满足以下全部条件时启用 EBCO：

• 基类类型是标准布局（standard-layout），且不含任何非静态数据成员
• 基类没有虚函数、没有虚基类、没有用户定义的构造/析构/赋值函数（或即使有，也必须是平凡的）
• 派生类本身不是该空基类的“最派生类型”的唯一子对象（即避免地址歧义；C++ 标准禁止两个子对象共享同一地址，除非一个是空基类）
• 多个空基类可被分别压缩到不同位置（如首部、尾部或嵌入字段间隙），但不能重叠

编译器如何实现 EBCO（底层视角）

关键在于对象布局器（layout engine）绕过“为每个基类子对象分配独立偏移”的默认逻辑：

• 当检测到空基类时，布局器将其偏移设为 0（或与某个已有字段重合），而非递增当前大小
• 空基类的地址（&static_cast(x)）仍合法，但和派生对象地址相同（&x == &static_cast(x)）
• 编译器确保这种重叠不破坏别名规则（aliasing rules）和 ODR（One Definition Rule）——因为空类无状态，无法通过其地址观测到冲突
• 调试信息和 RTTI 仍能正确识别空基类子对象，因其类型信息由编译器在符号表中静态维护，不依赖运行时内存布局

EBCO 的典型应用场景

它不是语法糖，而是支撑现代 C++ 零开销抽象的关键机制：

• 策略类 / 特性标签：如 std::allocator_arg_t、std::piecewise_construct_t，作为标记类型参与重载解析，继承它们不增加对象体积
• CRTP 基类：模板基类常为空（仅提供 static 接口），EBCO 保证派生类保持紧凑
• std::tuple / std::pair：当元素类型为空时（如 tuple），EBCO 避免冗余填充，使元组真正“只存所需”
• 异常对象 / 错误码包装器：如 std::error_code 内部使用空基类区分不同类别，不影响二进制大小