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指针是不存在于成员变量中的。