转自http://blog.csdn.net/pathuang68/article/details/4105810
下面来看看虚基类对对象内存布局的影响。虚基类的主要作用就是在所有的派生类中,保留且仅保留一份虚基类的suboject。
a. 一个虚基类的情况
#include <iostream>
using namespace std;
class Base
{
public:
int base_member;
};
class Derived : public virtual Base {};
int main(void)
{
Base b;
Derived d;
cout << sizeof(b) << endl;
cout << sizeof(d) << endl;
return 0;
}
运行结果:
注意使用了虚继承,即class Derived : public virtual Base。这次Derived的对象大小为什么为8 bytes呢?这是因为编译器会给Derived对象安插一个虚基类表指针vbptr,下面给出Derived对象的memory layout:
虚基类表指针vbptr指向Derived类的virtual bass class table(虚基类表),虚基类表中存放的是Derived类的虚基类表指针到虚基类实例指针的偏移量。
如果Derived有两个虚基类,那么这两个虚基类的实例指针,分别位于虚基类表的第2项和第3项,最后一项为0,意味着虚基类表的结束。虚基类表中的第1项是什么?目前不清楚,但是它的值大部分时候为0(请牛人指教,编译器是VC6)。下面我们来检验之。
在main函数的return前,增加如下语句:
cout << "Derived object d's vbptr = " << (unsigned long*)(&d) << endl;
cout << "Address of virtual base class table = " << (unsigned long*)*(unsigned long*)(&d) << endl;
cout << "Item 1 in virtual base class table = " << *(unsigned long*)*(unsigned long*)(&d) << endl;
cout << "Item 2 in virtual base class table = " << *((unsigned long*)*(unsigned long*)(&d) + 1) << endl;
cout << "Item 3 in virtual base class table = " << *((unsigned long*)*(unsigned long*)(&d) + 2) << endl;
cout << "The address of virtual base class Base = " << (Base*)(&d) << endl;
编译后运行结果:
不难发现,虚基类示例地址 = vbptr + offset,即0x0012FF78 = 0x0012FF74 + 4。图示如下:
b. 我们来看看Derived有两个虚基类的情况:
#include <iostream>
using namespace std;
class Base1
{
public:
int base1_member;
};
class Base2
{
public:
int base2_member;
};
class Derived : public virtual Base1, public virtual Base2 {};
int main(void)
{
Base1 b1;
Base2 b2;
Derived d;
cout << sizeof(b1) << endl;
cout << sizeof(b2) << endl;
cout << sizeof(d) << endl;
cout << "Derived object d's vbptr = " << (unsigned long*)(&d) << endl;
cout << "Address of virtual base class table = " << (unsigned long*)*(unsigned long*)(&d) << endl;
cout << "Item 1 in virtual base class table = " << *((unsigned long*)*(unsigned long*)(&d) + 0) << endl;
cout << "Item 2 in virtual base class table = " << *((unsigned long*)*(unsigned long*)(&d) + 1) << endl;
cout << "Item 3 in virtual base class table = " << *((unsigned long*)*(unsigned long*)(&d) + 2) << endl;
cout << "Item 3 in virtual base class table = " << *((unsigned long*)*(unsigned long*)(&d) + 3) << endl;
cout << "The address of virtual base class: Base1's instance = " << (Base1*)(&d) << endl;
cout << "The address of virtual base class: Base2's instance = " << (Base2*)(&d) << endl;
return 0;
}
编译运行结果如下:
Derived对象的memory layout图解如下:
不管Derived类有多少个虚基类,它只有一个vbptr和一个virtual base class table。