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