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

对象内存布局 (4)

内容概要:

满足下面2个条件时,

1. 父类有虚函数,子类也有虚函数,且子类的虚函数重写或覆盖了父类的虚函数

2. 非虚继承

类对象之内存布局

在前面的例子中,恢复原来的两个虚函数vfBase_1()和vfBase_2(),同时在Derived类中重写基类的虚函数vfBase_1(),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;    }    inline void vfBase_1()    {        cout << "This is in Derived::vfBase_1()" << 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类中重写了虚函数vfBase_1(),所以Derived::vfBase_1()就取代了Base::vfBase_1()的位置,位于虚函数表的开始处。而Base::vfBase_1()就不会再在Derived的虚函数表中出现了。

对象内存布局 (4)