首页 > 代码库 > 对象内存布局 (2)

对象内存布局 (2)

内容概要:

满足下面2个条件时,

1. 父类有虚函数,子类也有虚函数,但子类并没有重写或覆盖父类的虚函数

2. 非虚继承

类对象之内存布局

如果在Derived类中增加一个下面的虚函数,会怎么样呢?Base类和Derived类之间的关系如下:

  

新加入的虚函数定义如下:

#include <iostream>using namespace std;class Base{public:    int m_base;    inline virtual void vfBase_1()    {        cout << "This is in Base::vfBase_1()" << endl;    }    inline virtual void vfBase_2()    {        cout << "This is in Base::vfBase_2()" << endl;    }};class Derived : public Base{public:    int m_derived;    inline virtual void vfDerived()    {      cout << "This is in Derived::vfDerived()" << endl;    }};typedef void (*VFun)(void);// 改为template形式,因为不能确定传进来的参数是Base类型的指针还是Derived类型的指针template<typename T>VFun virtualFunctionPointer(T* b, int i){    return (VFun)(*((int*)(*(int*)b) + i));}int main(void){    Derived d;    cout << "The size of Base object = \t" << sizeof(Derived) << endl;    cout << endl;    int i = 0;    while(virtualFunctionPointer(&d, i))    {        VFun pVF = virtualFunctionPointer(&d, i++);        pVF();    }    return 0;}

运行结果:

Derived对象的memory layout图解如下:

 

 

我们发现,Derived类本身并没有因为增加了一个虚函数,而增加一个vptr,这是因为编译器将Derived类中定义的虚函数加入到了其基类的虚函数表中,Derived因此共用了基类Base的vptr,就象是它自己的一样(其实当然也是Derived类自己的,因此Base subobject都被Derived包含了)。为什么说这个vptr是Base的呢?因为基类在派生类中必须保证其所谓的“原始的完整性”。

对象内存布局 (2)