空基类优化—— EBCO—— empty base class optimization

完全参考自：《C++ Templates The Complete Guide》e_CN，p_281 16.2 空基类优化

最近周围有点吵，论文没看进去，随便翻了本书……

下文没有多大意义，只是解决了自己的一个疑惑。

 

1、为什么C++中不允许类的大小是0

class ZeroSizeT {};
ZeroSizeT z[10];
&z[i] - &z[j];

一般是用两个地址之间的字节数除以类型大小而得到的，而类型大小是0将会出问题

 

2、为什么有时多个类组成实例所占空间都是一样的

class Empty
{ };

class EmptyToo : public Empty
{ };

class EmptyThree : public EmptyToo
{ };

sizeof(Empty) : 1
sizeof(EmptyToo) : 1
sizeof(EmptyThree) : 1

空基类优化：只要不会与同一类型的另一个对象或子对象分配在同一地址，就不需要为其分配空间

 

3、对于空基类优化，如何理解前提条件“只要不会与同一类型的另一个对象或子对象分配在同一地址”，以及why

class Empty
{ };

class EmptyToo : public Empty
{ };

class EmptyThree : public Empty, public EmptyToo
{ };

sizeof(Empty) : 1
sizeof(EmptyToo) : 1
sizeof(EmptyThree) : 2

NoEmpty的基类Empty和EmptyToo不能分配在同一地址空间，C++内存布局不允许相同类型的子对象偏移量相同。

对空基类优化进行限制的根本原因在于，我们需要能比较两个指针是否指向同一对象。由于指针几乎总是用地址作内部表示，因此必须保证两个不同的地址对应两个不同的对象。

 

附：

关于空基类优化的应用：在《C++ Templates The Complete Guide》e_CN的p_435中关于函数对象的组合问题，使用空基类优化的特性，将组合关系改成了继承关系。