前言:首先引入一个文章c++对象模型05:虚继承内存布局 这篇文章的作者把MSVC(Microsoft Visual C++ Compiler)的内存分布解释清楚了。但是我在测试的过程中发现结果和该作者的结果对不上,经过测试发现是编译器不同导致结果不一致,因为我测试用的是DEV C++编译器,DEV C++用的是MinGW/GCC。于是我想测试一下通过MinGW/GCC编译后的内存分布是怎样的,就有了以下这篇文章。
引用自c++对象模型05:虚继承内存布局 :
虚继承解决了菱形继承中最派生类拥有多个间接父类实例的情况。虚继承的派生类的内存布局与普通继承很多不同,主要体现在:
- 虚继承的派生类,如果定义了新的虚函数,则编译器为其生成一个虚函数指针(vptr)以及一张虚函数表。该vptr位于对象内存最前面。(非虚继承时,派生类新的虚函数直接扩展在基类虚函数表的下面。)
- 虚继承的派生类有单独的虚函数表,基类也有单独的虚函数表,两部分之间用一个四个字节的0x00000000来作为分界。
- 虚继承的派生类对象中,含有四字节的虚基表指针。
菱形虚拟继承下,最派生类D类的对象模型又有不同的构成了。在D类对象的内存构成上,有以下几点:
- 在D类对象内存中,基类出现的顺序是:先是B1(最左父类),然后是B2(次左父类),最后是B(虚祖父类)。
- D类对象的数据成员id放在B类前面,两部分数据依旧以0来分隔。
- 编译器没有为D类生成一个它自己的vptr,而是覆盖并扩展了最左父类的虚基类表,与简单继承的对象模型相同。
- 共同虚基类B的内容放到了派生类对象D内存布局的最后。
那么在MinGW中编译后又会是怎么样的内存分配呢?
先上结论:
- 派生类中虚继承下来的基类虚函数表(vptr)和基类虚基类表(vbptr)共用一张表,下文统一叫基类虚函数表(下面例子中的A::vptr),基类所有的数据放在派生类的最后。
- 虚继承自基类的派生类,无论派生类自己有没有虚函数,编译器都要为其生成一个虚函数指针(vptr)以及一张虚函表(和继承下来的是不同的表)。
- 如果派生类生成的表内有重写(覆盖)了基类的虚函数,那么该函数会存在派生类的虚函数表中,而基类的虚基类表中的函数则会删除,且回收内存,回收后其他函数内存分布不变,意思就是如果是删除的中间的函数(比如基类中有三个虚函数f1,f2,f3),那么这个空位(f2)则会被回收,后面的位置(f3)则还是存在于基类的虚函数表中。(非虚继承时,派生类新的虚函数直接扩展在基类虚函数表的下面。)
对象模型:
class A
{
public:
A(int i=99):a(i){}
virtual void f0(){cout<<" A f0 ";}
virtual void f1(){cout<<" A f1 ";}
virtual void f2(){cout<<" A f2 ";}
int a;
};
class B : virtual public A
{
public:
B(int i=100):b(i){}
virtual void f1(){cout<<" B f1 ";}
virtual void f3(){cout<<" B f3 ";}
int b;
};
B类存储模型将为:
class A
{
public:
A(int i=99):a(i){}
virtual void f0(){cout<<" A f0 ";}
virtual void f1(){cout<<" A f1 ";}
virtual void f2(){cout<<" A f2 ";}
int a;
};
class B : virtual public A
{
public:
B(int i=100):b(i){}
virtual void f1(){cout<<" B f1 ";}
virtual void f2(){cout<<" B f2 ";}
virtual void f3(){cout<<" B f3 ";}
int b;
};
class C : virtual public A
{
public:
C(int i=101):c(i){}
virtual void f2(){cout<<" C f2 ";}
virtual void f4(){cout<<" C f4 "<<endl;}
virtual void f6(){cout<<" C f6 ";}
int c;
};
class D : public B , public C
{
public:
D(int i=102):d(i){}
virtual void f2(){cout<<" D f2 ";}
virtual void f3(){cout<<" D f3 ";}
virtual void f4(){cout<<" D f4 ";}
virtual void f7(){cout<<" D f7 ";}
int d;
};
测试代码:
#include<iostream>
using namespace std;
typedef void(*Fun)();
class A
{
public:
A(int i=99):a(i){}
virtual void f0(){cout<<" A f0 ";}
virtual void f1(){cout<<" A f1 ";}
virtual void f2(){cout<<" A f2 ";}
int a;
};
class B : virtual public A
{
public:
B(int i=100):b(i){}
virtual void f1(){cout<<" B f1 ";}
virtual void f3(){cout<<" B f3 ";}
int b;
};
int main()
{
B t;
cout << "B对象内存大小为:" << sizeof(t) << endl;
for(int i=0;i<sizeof(t)/4;i++)
cout<<((int*)&t+i)<< " " <<*((int*)&t+i)<<endl;
cout << "[0]B::vptr";
cout << "\t地址:" << (int*)(&t) << endl;
for (int i = 0; i < 2; ++i)
{
cout << " [" << i << "]";
Fun fun1 = (Fun) * ((int*)*(int*)(&t) + i);
fun1();
cout <<" [" << i << "]"<< "\t地址:\t" << *((int*)*(int*)(&t) + i) << endl;
}
cout <<" [" << "*" << "]"<< "\t虚基类表偏移量:\t" << *((int*)*(int*)(&t) + -3) << endl;
cout << "[1]B::b=" << *(int*)((int*)(&t) + 1);
cout << "\t地址:" << (int*)(&t) + 1 << endl;
cout << "[2]A::vptr";
cout << "\t地址:" << (int*)(&t)+2 << endl;
for (int i = 0; i < 3 ; ++i)
{
if(i == 1) continue; //测试被派生类“挖”走的虚函数 注释就会段错误
cout << " [" << i << "]";
Fun fun1 = (Fun) * ((int*)*((int*)(&t)+2) + i);
fun1();
cout <<" [" << i << "]"<< "\t地址:\t" << *((int*)*((int*)(&t)+2) + i) << endl;
}
cout <<" [" << "*" << "]"<< "\t虚基类表偏移量:\t" << *((int*)*((int*)(&t)+2) + -3) << endl;
cout << "[3]A::a=" << *(int*)((int*)(&t) + 3);
cout << "\t地址:" << (int*)(&t) + 3 << endl;
}
测试结果:
在菱形继承中要注意几点:
- 在派生类(D)中,如果继承自左父类(B)的基类虚函数表(A::vptr)中某一个函数被回收(上面图中说了为什么会回收),继承自右父类(C)的基类虚函数表(A::vptr)中某一个函数被回收,那么最终继承到派生类(D)的基类虚函数表(A::vptr)内存分布是B和C的虚函数表回收分布 与上(&) 的结果。
- 在派生类中,如果左右父类重写了基类的f2()函数,那么基类必须要重写 f2() 函数,不然编译会出错,出错信息:
[Error] no unique final overrider for 'virtual void A::f2()' in 'D'
,因为是虚继承,所以D中只有一份A::f2(),不重写的话就不知道这份f2()是来自B还是C。
对象模型:
D类存储模型将为:
测试代码:
#include<iostream>
using namespace std;
typedef void(*Fun)();
class A
{
public:
A(int i=99):a(i){}
virtual void f0(){cout<<" A f0 ";}
virtual void f1(){cout<<" A f1 ";}
virtual void f2(){cout<<" A f2 ";}
int a;
};
class B : virtual public A
{
public:
B(int i=100):b(i){}
virtual void f1(){cout<<" B f1 ";}
virtual void f2(){cout<<" B f2 ";}
virtual void f3(){cout<<" B f3 ";}
int b;
};
class C : virtual public A
{
public:
C(int i=101):c(i){}
virtual void f2(){cout<<" C f2 ";}
virtual void f4(){cout<<" C f4 "<<endl;}
virtual void f6(){cout<<" C f6 ";}
int c;
};
class D : public B , public C
{
public:
D(int i=102):d(i){}
virtual void f2(){cout<<" D f2 ";}
virtual void f3(){cout<<" D f3 ";}
virtual void f4(){cout<<" D f4 ";}
virtual void f7(){cout<<" D f7 ";}
int d;
};
int main()
{
D t;
cout << "D对象内存大小为:" << sizeof(t) << endl;
cout << "[0]B::vptr";
cout << "\t地址:" << (int*)(&t) << endl;
for (int i = 0; i < 5; ++i)
{
cout << " [" << i << "]";
Fun fun1 = (Fun) * ((int*)*(int*)(&t) + i);
fun1();
cout <<" [" << i << "]"<< "\t地址:\t" << *((int*)*(int*)(&t) + i) << endl;
}
cout <<" [" << "*" << "]"<< "\t虚基类表偏移量:\t" << *((int*)*((int*)(&t)+0) + -3) << endl;
cout << "[1]B::b=" << *(int*)((int*)(&t) + 1);
cout << "\t地址:" << (int*)(&t) + 1 << endl;
cout << "[2]C::vptr";
cout << "\t地址:" << (int*)(&t)+2 << endl;
for (int i = 0; i < 3; ++i)
{
cout << " [" << i << "]";
Fun fun1 = (Fun) * ((int*)*((int*)(&t)+2) + i);
fun1();
cout <<" [" << i << "]"<< "\t地址:\t" << *((int*)*((int*)(&t)+2) + i) << endl;
}
cout <<" [" << "*" << "]"<< "\t虚基类表偏移量:\t" << *((int*)*((int*)(&t)+2) + -3) << endl;
cout << "[3]C::c=" << *(int*)((int*)(&t) + 3);
cout << "\t地址:" << (int*)(&t) + 3 << endl;
cout << "[4]D::d=" << *(int*)((int*)(&t) + 4);
cout << "\t地址:" << (int*)(&t) + 4 << endl;
cout << "[5]A::vptr";
cout << "\t地址:" << (int*)(&t)+5 << endl;
for (int i = 0; i < 1; ++i)
{
cout << " [" << i << "]";
Fun fun1 = (Fun) * ((int*)*((int*)(&t)+5) + i);
fun1();
cout <<" [" << i << "]"<< "\t地址:\t" << *((int*)*((int*)(&t)+5) + i) << endl;
}
cout <<" [" << "*" << "]"<< "\t虚基类表偏移量:\t" << *((int*)*((int*)(&t)+5) + -3) << endl;
cout << "[6]D::d=" << *(int*)((int*)(&t) + 6);
cout << "\t地址:" << (int*)(&t) + 6 << endl;
cout<<endl;
//for(int i=0;i<sizeof(t)/4;i++)
//cout<<((int*)&t+i)<< " " <<*((int*)&t+i)<<endl;
return 0;
}
测试结果:
有错误请指出