CSDN博客

img wxcwuxuchun

C++对象模型之数据成员模型(2)

发表于2004/1/27 21:09:00  857人阅读

分类: C++

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个字节的空间。
0 0

相关博文

我的热门文章

img
取 消
img