C++ EBO 空基类最优化

Posted 2022-12-12 NearXDU

EBO全称empty base optimization

最近看EffectiveC++ 条款39，这个名词让我很陌生，学过之后发现也不是什么新鲜玩意了。

1.什么是EBO

empty base optimization，空基类最优化，说到什么是EBO，要先从一道面试题说起：

class A
;
cout <<sizeof(A)<<endl;

sizeof这样一个空类，结果是1，原因是编译器会给这个空类默默的安插一个char，用来标识这个类。

如下情况，考虑到字节对齐，我们会损失更多的空间：

class B

    private:
        A a;
        int x;
;
cout<<sizeof(B)<<endl;//8

由于字节对齐，B将占用8个字节。

如果继承空类，那么将不会发生上述情况：

class B : private A

    private:
        int x;

cout<<sizeof(B)<<endl;//4

2.为什么要用EBO

这里额空类不是真正的”空”类，只是不包含non-static成员变量，这个类里面往往还包含有enums、typedefs、static、non-virtual函数。

class Empty

public:
    typedef int TYPENAME;//typedef
    enum colorred,green,yellow;//enum
    void hello()//non-virtual 函数
    static int xx;//static 成员变量

;
//sizeof(Empty) == 1;
//依然认为它是一个Empty class

当我们的派生类需要包含基类的这些内容时，使用EBO将大大减小内存使用。

比如private继承一个Empty class将会继承该类中的实现，在Derived class中可以借由这些实现来构造新的接口和实现：

class Empty

public:
    typedef int TYPENAME;//typedef
    enum colorred,green,yellow;//enum
    void hello() cout << "hello" << endl; //non-virtual 函数
    static int xx;//static 成员变量

;
class HoldAnInt : private Empty

public:
    void newFunc()
    
        hello();
        cout << "new Func" << endl;
    
private:
    int x;
;


int main()

    cout << sizeof(Empty) << endl;//1.
    cout << sizeof(HoldAnInt) << endl;//4
    HoldAnInt a;
    a.newFunc();// hello newFunc
    getchar();
    return 0;

3.参考

Effective C++ 条款39
https://stackoverflow.com/questions/4325144/when-do-programmers-use-empty-base-optimization-ebo