多态之虚表剖析2

在一个既有虚继承又有虚函数的继承体系里，它的内存布局对象模型是怎么样的呢？？

以菱形虚拟继承为例：

1、没有覆盖

如下代码：

#include <iostream>
using namespace std;
class B
{
public:
    virtual void funtest1()
    {
        cout << "B::funtest1()" << endl;
    }
    int _b;
};
class C1:virtual public B
{
public:
    virtual void funtest2()
    {
        cout << "C1::funtest2()" << endl;
    }
    int _c1;
}; 
class C2:public virtual B
{
public:
    virtual void funtest3()
    {
        cout << "C2::funtest3()" << endl;
    }
    int _c2;
};
class D :public C1, public C2
{
public:
    void funtest4()
    {
        cout << "D::funtest4()" << endl;
    }
    int _d;
};
int main()
{
    D d;
    cout << sizeof(d) << endl;
    d._b = 1;
    d._c1 = 2;
    d._c2 = 3;
    d._d = 4;
    system("pause");
    return 0;
}

输出d对象的大小为36；

在vs2013下我们打开内存窗口并对其进行逐个分析如下：

通过类似方法不难得到d在内存中布局

进而得到这种情况的继承模型

2、有覆盖

将上代码稍加改造

class B
{
public:
    virtual void test1()
    {
        cout << "B::test1()" << endl;
    }
    virtual void test2()
    {
        cout << "B::test2()" << endl;
    }
    int _b;
};
class C1:virtual public B
{
public:
    virtual void test1() //重写B::test1()函数
    {
        cout << "C1::test1()" << endl;
    }
    virtual void test3()
    {
        cout << "C1::test3()" << endl;
    }
    virtual void test31()
    {
        cout << "C1::test31()" << endl;
    }
    int _c1;
};
class C2 :virtual public B
{
public:
    virtual void test2()//重写B::test2()
    {
        cout << "C2::test2()" << endl;
    }

    virtual void test4() 
    {
        cout << "C2::test4()" << endl;
    }

    int _c2;
};
class D :public C1, public C2
{
public:
    void test5()
    {
        cout << "D::test5()" << endl;
    }
    int _d;
};
typedef void(*fun)();
int main()
{
    D d;
    cout << sizeof(d) << endl;
    d._b = 1;
    d._c1 = 2;
    d._c2 = 3;
    d._d = 4;   
    system("pause");
    return 0;
}

不难发现，和上模型相差不大，只不过覆盖的函数被放到了虚表中原来父类虚函数的位置。

虚函数表的指针存在于对象实例中最前面的位置（这是为了保证取到虚函数表的有最高的性能——如果有多层继承或是多重继承的情况下）