C++空白基类最优化(EBO或EBCO)

对于C++中的一个空类
 
class X
 {
 };
 
事实上并不是空的,sizeof(X)并不等于0, 一般的结果是1。每个X的对象都有一个隐晦的1 bytes,是被编译器安插进去的一个char,这样可以使得这个class的两个objects在内存中配置独一无二的地址。
 
当X作为另一个类的成员时,如:
 
class A
 {
 public:
    X x;
    int a;
 };
 
由于X占一个字节,int占4个字节,再加上编译器的alignment调整,sizeof(Y) = 8。
 
但是当一个类继承X时:
 
class Y : public X
 {
 public:
    int a;
 };
 
这时大部分编译器对于sizeof(Y)的结果是4,而不是8。这就是所谓的空白基类最优化在(empty base optimization-EBO 或 empty base class opimization-EBCO)。在空基类被继承后由于没有任何数据成员,所以子类优化掉基类所占的1 byte。EBO并不是c++标准所规定必须的,但是大部分编译器都会这么做。

相关推荐