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

标签：c++   类   编译器   优化   sizeof   

对于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; 
}

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

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

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

标签：c++   类   编译器   优化   sizeof   

原文地址：http://blog.csdn.net/buxizhizhou530/article/details/45888203