对象内存布局 (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的呢?因为基类在派生类中必须保证其所谓的“原始的完整性”。