1.2. 虚拟继承与数据成员
考察下面的例子：
0001 #include <iostream>
0002 //-------------------------------------------------------------------
0003 class x {};
0004 class y : virtual public x {};
0005 class z : virtual public x {};
0006 class A : public y, public z {};
0007 //-------------------------------------------------------------------
0008 int main()
0009 {
0010 cout << sizeof(x) << endl;
0011 cout << sizeof(y) << endl;
0012 cout << sizeof(z) << endl;
0013 cout << sizeof(A) << endl;
0014 int i;
0015 cin >> i;
0016 }
有两种模型，模型一：
sizeof(x) = 1;
sizeof(y) = 8;
sizeof(z) = 8;
sizeof(A) = 12;
模型如下结构：
字节
class x
1
char one byte because x is empty
字节
virtual base class x
char one byte
class y | class z
4
vptr
1
char one byte because y is empty
3
Padding 3 bytes
字节
virtual base class x
char one byte
class A
4
vptr_y
4
vptr_z
1
char one byte because A is empty
3
Padding 3 bytes
模型二：
sizeof(x) = 1;
sizeof(y) = 4;
sizeof(z) = 4;
sizeof(A) = 8;
模型如下结构：
字节
class x
1
char one byte because x is empty
字节
virtual base class x
char one byte
class y | class z
4
vptr
字节
virtual base class x
char one byte
class A
4
vptr_y
4
vptr_z
模型二和模型一的区别在于，模型二里面子类虽然是空，但是子类因为虚拟继承的关系，而不再使用一个字节的占位符，用来标识对象之间的区别，vptr指针已经可以区分对象间的不同。因此，模型二中的子类不需要一个字节的占位符，同时因为指针是4个字节，也就不再需要补齐，故而，每个子类对象都比模型一的子类对象少占据4个字节的空间。
