空类的sizeof不为0的原因？

被编译器安插进去的一个char,使得这个空类的2个对象在内存中配置独一无二的地址。

例子：

class x{};

class y:public virtual x{};

class z:public virtual x{};

class A:public y,public z{};

vc6.0上：不同编译器可能不同

sizeof(x) ==1

sizeof(y) ==4

sizeof(z) ==4

sizeof(A) ==8   两个基类的大小之和

解析：

X,Y,Z对象布局：

        

Y对象大小：虚指针的大小

X对象大小：虚指针的大小

 A对象大小：等于两个基类对象的大小之和

————————————————————————————————————————————

空基类优化问题：

若某类含有空类成员，为了减小该类类对象的大小，让该类继承自此空类。

boost中的compressed_pair便是利用空基类优化原理实现的：

1，检测成员是否是空类；

2，若是空类，则改为继承此空类。

知识点：

1，C++对象模型中一个对象的内存包括：

  1）非静态数据总和大小；

  2）对齐填补的；

  3）支持virtual而额外添加的,

2，对象外包括：静态数据，静态和非静态函数

3，class中的虚函数增加的代价：

  1）每个类产生一个virtual table【vtbl】 ,存放虚函数的地址

  2）对象产生一个指针vptr，指向相关的virtual table

  3）vptr:构造函数中设定，重置于析构函数，赋值运算符操作

  4）RTTI也由虚表指出来

类的虚表布局：

      

关于虚表的更多知识点，参考博文：http://blog.csdn.net/huazhongkejidaxuezpp/article/details/20695713