c++中类没有数据成员时，类对象的大小

class X
{


};
class Y : public virtual X
{
};
class Z : public virtual X
{
};
class A : public Y,Z
{

};

定义上面的类，类X，类Y，Z分别虚拟公有继承X，类A继承Y，Z。那么sizeof(X)、sizeof(Y)、sizeof(Z)、sizeof(A)分别为多大呢？以下结果均/32位机子上，vs2010的运行结果

cout << "sizeof(X):" << sizeof(X) << endl //输出为1
<< "sizeof(Y):" << sizeof(Y) << endl //输出为4
<< "sizeof(Z):" << sizeof(Z) << endl //输出为4
<< "sizeof(A):" << sizeof(A) << endl; //输出为8

1、对于空类X构造的对象，大小是0吗？ 不是，编译器会为每一个对象分配一个字节的空间，这样做的目的是使得这个类的两个对象得以在内存中配置独一无二的地址。这样做才能区分是不同的对象啊！

X ax, bx;
if (&ax == &bx)
{
cout << "&ax == &bx" << endl;
}
else
{
cout << "&ax != &bx" << endl;
}
cout << "&ax = " << &ax << endl << "&bx = " << &bx << endl;

输出结果：

&ax != &bx
&ax = 0012FF63
&bx = 0012FF57

表明对象ax和bx拥有不同的内存地址，是不同的对象。

2、那么为什么Y、Z的大小是4呢。深入探索c++对象模型是这样解释的，事实上Y、Z的大小受以下三个因素的影响：

1）语言本身所造成的额外负担。

当语言支持虚基类时，就会导致一些额外负担。在派生类中，这个额外的负担反映在某种形式的指针身上，它或者是指向virtual base class subobject，或者指向一个相关表格；表格中存放的若不是virtual base class subobject的地址，就是其偏移量。

2）编译器对于特殊情况所提供的优化处理（这里所讲的并不符合我们所测试的结果，这里所讲可能是针对最初的编译器设计时的想法，现在的编译器已经做了优化，读者了解编译器其实在为我们做一些工作就可以了，这也是那些老外在最初设计编译器时一步步探索的表现）

virtual base class X subobject 的 1bytes大小也出现在class Y 和 Z身上。传统上它被放在派生类对象的的固定部分的尾端。某些编译器会对空虚基类提供特殊支持。

3）Alignment的限制。

同结构体一样，类数据成员也有字节对齐。这样可以更有效率的在内存中被存取。

注：深入探索c++对象模型上给出这样一段话，可以很好的解释我们的实验结果。空虚基类已经成为c++OO设计的一个特有术语了。他提供一个virtual interface，没有定义任何数据。某些新近的编译器（我觉得vs2010也是这么干的）对此提供了特殊处理。他们的策略是，一个空虚基类被视为派生类对象最开头的一部分，也就是说它并没有花费任何的额外空间。下面是深入探索c++对象模型上给出一个图片通过这个图片来说明为什么Y、Z的大小是4B。这4B是由于语言本身所造成的额外负担引起的，这个额外负担就是派生类对象中有一个指针，指向虚基类子对象。