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

下面是做的测试

#include<iostream>using namespace std;class Empty{};class Son1:public Empty{};class Component {  int x;  Empty t;      };class Son2:public Empty{  int x;      };int main(){   Empty t;      printf("size of Empty: %d\n",sizeof(Empty));//1，被编译器安插进去的一个char，这样可以使得这个class的两个objects在内存中配置独一无二的地址    printf("size of t: %d\n",sizeof(t));        //1   printf("size of Son1: %d\n",sizeof(Son1));  //1   printf("size of Component: %d\n",sizeof(Component));  //8，字节对齐    printf("size of Son2: %d\n",sizeof(Son2));  //4，空白基类最优化       system("pause");   return 0; }

参考：http://blog.csdn.net/luckyxiaoqiang/article/details/8494235

有人可能会问是否需要考虑this指针？

我觉得是不需要考虑的。首先看一下this指针的定义：C++ this 指针。this 指针是作为参数传递给每个成员变量的。它是指向本类对象的指针，它的值是当前被调用的成员函数所在的对象的起始地址。也就是说this指针是不存在于成员变量中的。