跟我一起学习C++虚函数--第四篇

【推荐】2019 Java 开发者跳槽指南.pdf(吐血整理) >>>

在前一篇，我们讨论了在多继承情况下，具有虚函数的类的内存布局情况。本篇将进一步探索在多重继承，即具有重复继承的情况下的内存布局情况。在阅读本篇和下一篇之前，建议先阅读本博客另一篇博文《浅析GCC下C++多重继承 & 虚拟继承的对象内存布局》。

先说一点题外话，细心的读者可能会发现，我们在探索不同情况下类的内存布局时，总是先通过查看类的大小以及其中各个成员变量的地址来进行分析，然后再具体定位某一位置的值。从最原始的内存中的对象分布，我们可以获得最深入最有效的理解。

OK，请看例子：

#include <iostream>
using namespace std;

class Top
{
public:
    virtual void x(){cout << "top x" << endl;}
    virtual void print0(){cout << "top print" << endl;}
public:
    int a;
};

class Left:public Top
{
public:
    virtual void y(){cout << "left y" << endl;}
    virtual void print1(){cout << "left print" << endl;}
public:
    int b;
};

class Right:public Top
{
public:
    virtual void z(){cout << "right z" << endl;}
    virtual void print2(){cout << "right print" << endl;}
public:
    int c;
};

class Bottom : public Left, public Right
{
public:
    virtual void y(){cout << "bottom y" << endl;}
    virtual void z(){cout << "bottom z" << endl;}
    virtual void print3(){cout << "bottom print" << endl;}
public:
    int d;
};

 int main()
 {
    /*first part*/
    cout << sizeof(Top) << "\t" << sizeof(Left) << "\t" << sizeof(Right) << "\t" << sizeof(Bottom) << endl;
    //输出：8       12      12      28
    Bottom *b = new Bottom();
    cout << b << " " << &b->Left::a << " " << &b->b << " " << &b->Right::a << " " << &b->c << " " << &b->d << endl;
  //输出：0x8c0f008 0x8c0f00c 0x8c0f010 0x8c0f018 0x8c0f01c 0x8c0f020
	
    /*second part*/
    typedef void (*Func)(void);
    Func pFunc;
    pFunc = (Func)*((int *)*(int *)(b));
    pFunc();//输出：top x
    pFunc = (Func)*((int *)*(int *)(b)+1);
    pFunc();//输出：top print
    pFunc = (Func)*((int *)*(int *)(b)+2);
    pFunc();//输出：bottom y
    pFunc = (Func)*((int *)*(int *)(b)+3);
    pFunc();//输出：left print
    pFunc = (Func)*((int *)*(int *)(b)+4);
    pFunc();//输出：bottom z
    pFunc = (Func)*((int *)*(int *)(b)+5);
    pFunc();//输出：bottom print
    //pFunc = (Func)*((int *)*(int *)(b)+6);
    //pFunc();//段错误

    /*third part*/
    pFunc = (Func)*((int *)*((int *)(b)+3));
    pFunc();//输出：top x
    pFunc = (Func)*((int *)*((int *)(b)+3)+1);
    pFunc();//输出：top print
    pFunc = (Func)*((int *)*((int *)(b)+3)+2);
    pFunc();//输出：bottom z
    pFunc = (Func)*((int *)*((int *)(b)+3)+3);
    pFunc();//输出：right print
    //pFunc = (Func)*((int *)*((int *)(b)+3)+4);
    //pFunc();//段错误

    delete b;
    return 0;
 }

对于上面的例子，我们分为三部分进行讲解。

第一部分：多重继承情况下，对象本身（除虚函数表外）的内存布局。

从代码中first part的输出情况来看，Top、Left和Right的大小很容易理解，至于Bottom类的大小，如果你看过参考文献一，那么也很容易理解。Bottom类包含了两次Top类中的a成员变量，因此总共有5个int成员变量，为20字节。再加上两个虚指针，即为28字节。

从输出的Bottom对象中成员变量地址情况，我们可以用如下图来表示内存布局：