剖析C++是如何解决菱形继承的二义性和数据冗余的

1.首先我们来解释一下二义性和数据冗余是如何产生的。

         我们知道在C++中继承分单继承和多继承，单继承就是一个子类只有一个直接父类，而多继承是一个子类有两个或       两个以上直接父类。

                                                                 

          如上图所示多继承，构成菱形继承。B类和C类都继承了A类，为A的子类。D类同时继承了B类和C类。所以D类    中有从B支路继承下来的A类，也有从C类中继承下来的A类，因此产生了二义性和数据冗余。

2.C++是如何解决这个问题的

          C++语法中是这样解决的：在定义继承关系时，在菱形继承中被多次继承的那个父类前加virtual关键字，形成虚     继承。

下面举实例说明：

class A
{
public:
	int _a;
};

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

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

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

3.接下来具体分析底层是如何实现的

     首先来看不加virtual关键字时的对象模型（内存中的分布）。

     运行代码如下：

#include <iostream>
using namespace std;

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 d;
	d.B::_a = 1;
	d.C::_a = 2;
	d._b = 3;
	d._c = 4;
	d._d = 5;
}

打开内存窗口观察，结果如下：

接下来看加virtual关键字时的对象模型

运行代码如下：

#include <iostream>
using namespace std;

class A
{
public:
	int _a;
};

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

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

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

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

同样打开内存窗口来观察，结果如下：

观察该对象模型，发现D对象中确实只有一个_a了，说明解决了二义性和数据冗余。

但是B对象和C对象都继承了A对象，这个关系是如何体现的呢？

观察发现B和C中分别存了一个地址，应该是指向某处的一个指针。若通过这两个指针都能找到A对象，就能表示A,B,C的继承关系了。

下来看一下这两个指针指向何处：

发现该指针指向的空间向下一个位置存了一个16进制的数！

B内的指针指向的下一个位置存的是十进制的20，C内的指针指向的下一个位置存的是十进制的12。

而B地址（&B）+20字节=A的地址（&A）；&C+12=&A；

所以通过这两个指针可以间接的找的A，表达了B继承A，C继承A的关系；

称这个指针为虚基表指针，指向的表称虚基表。

---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

本菜鸟也在学习中，表述如有错误或不准确的地方，请您见谅，欢迎各位大神批评指正。