菱形继承和菱形虚继承的对象模型

菱形继承就是如下图所示的继承关系，其中A是B和C的父类，B和C是D的父类，由于C++允许多重继承，所以便出现这种菱形继承关系，是问题变得复杂，成员关系以及对象模型更为复杂。

在VS2015小端32位机器下面我们通过一个简单的菱形继承例子来研究一下这种继承关系的对象模型和虚继承的对象模型。

class A
{
public:
    int _a;
};

class B :  public A
{
public:
    int _b;
};

class C : public A
{
public:
    int _c;
};

class D :public B, public C
{
public:
    int _d;
};

int main()
{
    D d1;
    d1.B::_a = 0;
    d1.C::_a = 1;
    d1._b = 2;
    d1._c = 3;
    d1._d = 4;
    return 0;
}

我们知道菱形继承有两个缺点，一个是二义性，所以在main函数中d1.B::_a=0；d1.C::_a=0;这两行代码的_a变量前都加了域作用限定符，以此来区分是继承自哪一个类的变量。另一个缺点是数据冗余，这里我们通过内存来研究，在mian函数中编写如下代码：

int main()
{
    D d1;
    d1.B::_a = 0;
    d1.C::_a = 1;
    d1._b = 2;
    d1._c = 3;
    d1._d = 4;
}

通过逐行运行代码观察内存中的数据变化:

整理一下可以得到如下所示的抽象图形（上方为高地址，下方为低地址）：

在这里我们可以看到这个简单的菱形继承关系的对象模型是如上图所示的一个样子，从图中可以很直观的看出菱形继承的数据冗余这一缺点，在子类D中，由于是继承B类和C类所来的，所以将B类和C类从A类继承来的A类的成员—_a保存了两份，很明显这在很大程度上就造成了数据的多余，我们知道用virtual可以解决这一问题，那么使用virtual进行虚继承它的底层到底是怎么实现的呢？让我们通过内存来探究。

同样的整理之后如下图所示：

观察这个图我们可以看到，虚继承以后，编译系统将D类对象中从最初的父类A中继承来的成员放在了最下方，在继承B类和C类时在B类和C类的成员之前添加了一个指针，通过追踪这个指针我们发现这个指针所指向的值是当前位置到D类对象d1的成员_a的偏移量（20和12），所以，通过这样的一个方式，就不用将_a两次写入内存，节省了空间，但是若要使用，则需要编译系统通过指针去使用，这使得程序的效率变低。