C++空白基类最优化（EBO或EBCO）

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++标准所规定必须的，但是大部分编译器都会这么做。