C++ EBO 空基类最优化

深藏阁楼爱情的钟 2022-06-12 14:19 128阅读 0赞

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 color{red,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 color{red,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][https_stackoverflow.com_questions_4325144_when-do-programmers-use-empty-base-optimization-ebo]

[https_stackoverflow.com_questions_4325144_when-do-programmers-use-empty-base-optimization-ebo]: https://stackoverflow.com/questions/4325144/when-do-programmers-use-empty-base-optimization-ebo