空基类优化EBO之深度探索.docVIP

???一、EBO的背景???我们知道一个空的类，也就是其内部没有非静态数据成员，没有虚指针（包括指向虚函数表和虚基类子对象的指针），它的大小通常为1，当然在某些对齐要求严格系统上可能是另一个数（通常是4），如果空类被继承，那么派生类的大小会怎么样呢？一个支持C++标准和EBO的编译器对此会进行空基类的优化，也就是不给空的基类子对象分配空间，换句话说，空基类子对象的地址和其派生类实例的地址是相同的。从编译器实现的角度来看，需要考虑继承时的不同情况，下图中P表示父类，C表示子类，圆形表示空类，矩形表示非空类。单继承EBO情况如下图所示 ?? EBO-1反映的是空类派生自空基类，EBO-2反映的是非空类派生自空基类，EBO-3、EBO-4反映的是在继承链中，对空基类的优化能不能传递到后代中。多继承EBO如下图所示 ???EBO-5反映的是空类派生自两个空基类，EBO-6反映的是非空类派生自两个空基类，EBO-6反映的是空类派生自一个非空基类和一个空基类，EBO-7反映的是非空类派生自一个非空基类和一个空基类。以上8种情况，不论是单继承还是多继承，一个完全支持EBO的编译器就应该能把空基类部分都优化掉。???二、EBO的应用???由于空基类优化技术节省了对象不必要的空间，提高了运行效率，因此成为某些强大技术的基石，基于类型定义类如stl中的binary_function、unar