【C/C++】EBO空基类优化介绍

空对象优化(Empty Base Optimization,简称 EBO)是 C++ 编译器的一种 优化技术,用于消除空类作为基类时占用的内存空间,从而避免浪费空间、提升结构体或类的存储效率。


1 什么是"空对象"?

一个**空类(empty class)**是指:

cpp 复制代码
class Empty {};

它没有任何数据成员(包括虚函数、虚继承等),仅有默认的构造/析构函数。根据 C++ 的标准:

每个对象都必须具有唯一的地址,即使它不包含任何数据。

所以如果你直接定义:

cpp 复制代码
Empty e1, e2;

编译器仍然会让 sizeof(Empty) >= 1,通常为 1 字节,以保证地址唯一性。


2 空对象优化(EBO)原理

空类作为基类时,如果派生类没有其它成员使用其地址,那么可以省略它占用的空间。

示例:空对象优化前后对比

cpp 复制代码
// 不继承空类:直接成员,浪费空间
class Empty {};

struct NotOptimized {
    int x;
    Empty e;
};

// 使用继承:可以应用 EBO
struct Optimized : Empty {
    int x;
};

对比 sizeof

cpp 复制代码
std::cout << sizeof(NotOptimized) << "\n";  // 可能是 8(int + 空类占1 + padding)
std::cout << sizeof(Optimized) << "\n";     // 通常是 4(只包含 int)

结果说明:

  • NotOptimized:包含一个 Empty 成员,因此占用额外空间;
  • OptimizedEmpty 作为基类,如果没有虚函数/虚继承,编译器可以完全消除其空间。

3 EBO 的典型应用场景

标准库容器优化

STL 中 std::functionstd::tuplestd::optional 等结构都大量使用了 EBO。

cpp 复制代码
template<typename T, typename Deleter = std::default_delete<T>>
class unique_ptr {
    T* ptr;
    Deleter deleter;  // 如果 Deleter 是空类,会占额外空间
};

如果不优化,unique_ptr<int, EmptyDeleter> 也会占两个指针大小(ptr + deleter),但 EBO 可以优化掉 deleter 空类的空间占用。


函数对象封装/策略模式

cpp 复制代码
template<typename F>
struct FuncWrapper : F {
    void operator()() { F::operator()(); }
};

如果 F 是空类,比如一个无状态 lambda 或策略类,EBO 可以让 FuncWrapper 大小为 1 或 0 字节。


4 EBO 的限制

有虚函数或虚继承

cpp 复制代码
struct Base {
    virtual void f() {}
};
  • 虚表指针会阻止 EBO。

多个相同空基类

cpp 复制代码
struct A {};
struct B1 : A {};
struct B2 : A {};  //  编译器不能合并两个 A 的地址

struct C : B1, B2 {};

C++ 要保证每个 A 的子对象地址不同,因此不能优化掉两个 A


5 C++20 的 [[no_unique_address]]

为了手动控制 EBO,C++20 引入了 [[no_unique_address]] 属性:

cpp 复制代码
template<typename T, typename Deleter>
struct SmartPtr {
    T* ptr;
    [[no_unique_address]] Deleter deleter;  // 允许优化
};
  • 即使 Deleter 是空类,编译器也不会强行分配空间;
  • 可应用于非基类成员(突破传统 EBO 只能作用于基类的限制);
  • 可读性和语义性更好。

总结

项目 是否允许空对象优化
空类作为成员 ❌ 不允许,至少占 1 字节
空类作为非虚基类 ✅ 可以优化掉空间
空类有虚函数/虚继承 ❌ 无法优化(有 vptr)
多继承多个相同空基类 ❌ 需保留唯一地址,不能优化
C++20 [[no_unique_address]] ✅ 可以显式允许成员优化
相关推荐
遇见尚硅谷16 分钟前
C语言:*p++与p++有何区别
c语言·开发语言·笔记·学习·算法
SkyrimCitadelValinor28 分钟前
c#中让图片显示清晰
开发语言·c#
艾莉丝努力练剑1 小时前
【数据结构与算法】数据结构初阶:详解排序(二)——交换排序中的快速排序
c语言·开发语言·数据结构·学习·算法·链表·排序算法
狐小粟同学1 小时前
JavaEE--3.多线程
java·开发语言·java-ee
颜颜yan_1 小时前
Python面向对象编程详解:从零开始掌握类的声明与使用
开发语言·redis·python
李永奉1 小时前
C语言-流程控制语句:for循环语句、while和do…while循环语句;
c语言·开发语言·c++·算法
ankleless2 小时前
C语言——关于指针(逐渐清晰版)
c语言·开发语言·指针·解引用操作符·c语言基础知识学习
打码农的篮球2 小时前
STL——list
开发语言·c++·list
lkf197112 小时前
商品中心—1.B端建品和C端缓存
开发语言·后端·缓存
渣渣盟2 小时前
JavaScript核心概念全解析
开发语言·javascript·es6