复杂的菱形继承及菱形虚拟继承

单继承：一个子类只有一个直接父类时称这个继承关系为单继承

多继承：一个子类有两个或以上直接父类时称这个继承关系为多继承

菱形继承：菱形继承是多继承的一种特殊情况。
菱形继承的例子：

class Person
{
public:
	string _name; // 姓名
};

class Student : public Person
{
protected:
	int _num; //学号
};
class Teacher : public Person
{
protected:
	int _id; // 职工编号
};
class Assistant : public Student, public Teacher
{
protected:
	string _majorCourse; // 主修课程
};

菱形继承的问题：

1.从下面的对象成员模型构造，可以看出菱形继承有数据冗余。在Assistant的对象中Person成员（_name）会有两份。

2.数据二义性

访问Assistant中的_name成员，会出现“访问不明确”的错误，因为Assistant中有两个_name，编译器不知道访问的是具体哪个。

我们可以通过加作用域来区分具体是哪个_name:

void test()
{
	Assistant a;
	a.Student::_name = "lisa";
	a.Teacher::_name = "rose";
}

但是这样，并没有解决数据冗余的问题。可以通过菱形虚拟继承来解决菱形继承出现的问题。

1.菱形虚拟继承

在公共父类前面，加上virtual关键字。

虚拟继承：virtual 继承方式 父类名称

class Person
{
public:
	string _name; // 姓名
};

class Student : virtual public Person
{
protected:
	int _num; //学号
};
class Teacher : virtual public Person
{
protected:
	int _id; // 职工编号
};
class Assistant : public Student, public Teacher
{
protected:
	string _majorCourse; // 主修课程
};

使用菱形虚拟继承之后，_name就只有一份数据了，解决了数据的冗余和二义性。

来看看它的原理。

2.虚拟继承解决数据冗余和二义性的原理

为了研究虚拟继承原理，我们给出了一个简化的菱形继承继承体系，再借助内存窗口观察对象成员的模型。

菱形继承：

struct A
{
	int _a;
};

struct B : public A
{
	int _b;
};

struct C : public A
{
	int _c;
};

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

菱形继承的内存地址：可以看到数据冗余

菱形虚拟继承：

struct A
{
	int _a;
};

struct B : virtual public A
{
	int _b;
};

struct C : virtual public A
{
	int _c;
};

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

菱形虚拟继承的内存地址：
和菱形继承内存中的存储相比，存储冗余数据的位置现在存储的是两个地址，而_a则实际存储只有一份，我们来看看这两个地址都是什么？

两个地址存储的是相对应的值，我们观察发现，从地址所在位置向下偏移地址所对应的值，就是_a的位置。所以两个地址存储的值：当前位置相对于公共父类的偏移量。

存储偏移量的我们叫虚机表，而两个地址我们叫虚基表指针。可以通过虚基表指针，找到虚基表的起始位置，获取当前位置相对于公共父类的偏移量，最终找到公共父类。

为什么在这感觉，菱形虚拟继承的大小相对于菱形继承的大小没有空间的减少，反而还变大了？

其实是因为我们这里数据量太少了。当公共父类的数据量变多时，那么差距就会显现出来，虚拟继承中的 B 和 C 中都会有一份继承自公共父类的数据成员，这样就有了两份相同的数据。

而菱形虚拟继承中只是在 B 和 C 中多出了四个字节的虚基表的地址。继承自公共父类的数据成员只有一份。这样就解决了数据冗余的问题了。