C++ EBO 空基类最优化

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
c++ - When do programmers use Empty Base Optimization (EBO) - Stack Overflow