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