C++ 空基类最优化

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

阅读更多
想对作者说点什么?

博主推荐

换一批

没有更多推荐了,返回首页