深入探究C++虚拟继承

C++的继承作为它的一个特性，必须要做到深入了解，对于C++继承方式，我们之前讲过，有单继承，多继承，菱形继承，虚拟继承，菱形虚拟继承。

这次我们来深入探究一下虚拟继承和菱形虚拟继承。不过在此之前，先让我们简单的了解一下他们的作用。

在不考虑含有虚拟继承的情况下，C++继承模型中大多数情况下是菱形继承，虽然菱形继承是一个很有用的继承方式，但是它存在一个问题，就是访问二义性的问题，而这时我们引入了虚拟继承，就可以完美解决菱形继承二义性的问题。这就是虚拟继承的作用。

---

菱形继承的二义性问题

菱形继承的对象模型：

由上图可知，存在一个基类B，C1类公有继承基类B，C2类公有继承基类B，派生类共有继承C1，C2；对于C1和C2就是普通的单继承方式，而D以多继承方式继承C1，C2。接下来我们一步一步分析D的对象模型—内存地址分配：

C1单继承B，根据单继承的继承规则：所有继承下来的基类成员变量存放在派生类添加的成员变量之前，即基类的成员变量的内存地址低于派生类的内存地址，可以看做是将基类的内存空间进行了一次拷贝，并且在拷贝的内存空间后面加上派生类自己的成员。因此C1的对象模型为：（内存地址向下增大，C2的对象模型与C1的对象模型相同。）

派生类D多继承C1和C2，根据多继承的继承继承规则：以单继承的方式按照父类声明的顺序继承每个父类，可以看做是按照声明的顺序将每个父类的内存空间拷贝到一起，并在后面添加上派生类自己的成员。因此派生类D的对象模型为：

在D的内存空间中，由于申明顺序class D :public C1, public C2，因此D先继承父类C1，在继承C2，所以C1的成员_b和_c1在C2成员_b和_c2的前面，最后就是派生类D自己的成员_d。

菱形继承的对象模型分析完成之后，来讨论二义性的问题，我们来写一个测试函数。

int main()
{
    D d;        
    d._c1 = 1;
    d._b = 2;
    d._c2 = 3;
    d._b = 4;
    d._d = 5;

    return 0;
}

这个测试函数，先定义一个派生类对象d，然后对d的每个成员赋值，编译一下：

会发现编译通不过，并且给出了错误原因 d._b = 2；d._b = 4;，即对D::_b的访问不明确。这是当然的，以为在派生类对象d中存在两个int _b成员(分别从C1，C2继承下来的)，因此在对d._b进行赋值时，编译器不知道访问从C1继承下来的，还是从C2继承下来的，因此对_b访问不明确，这就是菱形继承存在的二义性。

在这里如果将每个成员b的作用域加上就可以对正常赋值了，即：

int main()
{
    D d;

    d.C1::_b = 1;
    d._c1 = 2<