实验小结:对虚继承中编译器不同内存分配也不同。
//1.vc6.0中虚继承除了自己有虚函数时有虚指针(没有虚函数时就不加自身的这个虚指针)+另外还有添加一个“公用继承虚指针”+再加上基的空间
//2.gcc或codeblock中就没有添加“公用继承虚指针”,会比vc6.0中少4位,但如有虚函数时就有虚指针,最后还要加上基的空间 //相比1.少了4
//3.对于不是虚继承而是一把的继承就会没有“公用继承虚指针”,同时也不会在每个派生类中 如有虚函数时还添加虚指针,即基类与派生类公用一个虚指针,最后再加上其他存储区 //再相比1.少了8
下面是网上的一个简单例子:(VC6.0下)
C++2.0以后全面支持虚函数与虚继承,这两个特性的引入为C++增强了不少功能,也引入了不少烦恼。虚函数与虚继承有哪些特性,今天就不记录了,如果能搞了解一下编译器是如何实现虚函数和虚继承,它们在类的内存空间中又是如何布局的,却可以对C++的了解深入不少。这段时间花了一些时间了解这些玩意,搞得偶都,不过总算有些收获,嘿嘿。
先看一段代码
class A
{
virtual aa(){};
};
class B : public virtual A
{
char j[3]; //加入一个变量是为了看清楚class中的vfptr放在什么位置
public:
virtual bb(){};
};
class C : public virtual B
{
char i[3];
public:
virtual cc(){};
};
分析一下,也好加强一下印象。
1、对于class A,由于只有一个虚函数,那么必须得有一个对应的虚函数表,来记录对应的函数入口地址。同时在class A的内存空间中之需要有个vfptr_A指向该表。sizeof(A)也很容易确定,为4。
2、对于class B,由于class B虚基础了class A,同时还拥有自己的虚函数。那么class B中首先拥有一个vfptr_B,指向自己的虚函数表。还有char j[3],做一次alignment,一般大小为4。可虚继承该如何实现咧?this is 啊 problem!偶之前是不晓得的,还好C++ Object Model上有介绍。首先要通过加入一个虚类指针(记vbptr_B_A)来指向其父类,然后还要包含父类的所有内容。有些复杂了,不过还不难想象。sizeof(B)=
4+4+4+4=16(vfptr_B、char j[3]做alignment、vbptr_B_A和class A)。
3、在接着是class C了。class C首先也得有个vfptr_C,然后是char i[3],然后是vbptr_C_B,然后是class B,所以sizeof(C)=4+4+4+16=28(vfptr_C、char i[3]做alignment、vbptr_C_A和class B)。
举例:(注意虚拟继承中缺少一个指向父类的指针)
class X { public: int i; virtualvoid xx(){} }; |
|
vptr |
|
data |
Int i |
class A { public: int j; virtual void aa(){} }; |
|
vptrA |
|
dataA |
Int j; |
vptrX |
|
dataX |
Int i; |
class AA { public: int j; virtual void aa(){} }; |
|
vptrX |
|
dataXX |
Int i; |
dataAA |
Int j; |
class C { public: int k; virtualvoid cc(){} }; |
|
||||
vptrC |
|
||||
dataC |
Int k; |
|
|||
vptrA |
|
||||
dataA |
Int j; |
|
|||
vptrX |
|
||||
dataX |
Int i; |
|
|||
vptrB |
|||||
dataB |
double d; |
||||
class CC { public: int k; virtualvoid cc(){} }; |
||
vptrXX |
||
dataXX |
Int i; |
|
dataAA |
Int j; |
|
vptrXX |
||
dataXX |
Int i; |
|
|