【C++】菱形继承

我们先来看下菱形继承的基本视图以及基本的代码结构

下面来看下简单的代码以及数据结构：

class Person
{
public:
	int a_p;
};

class Studen :public Person
{
public:
	int a_st;
};

class Stuff :public Person
{
public:
	int a_sf;
};

class st_sf :public Stuff, public Studen
{
public:
	int a_ss;
};

int main()
{
	st_sf ss;
	return 0;
}

上述代码简单的很，就是Student(学生)和stuff(工人)都继承了Person类，然后Student和stuff作为Person的派生类，但是他俩又作为了类st_sf 的两基类，在主函数中创建类st_sf 的对象，下面我们来看下创建的st_sf 对象的数据结构是咋样的？

 

 上图中说到的会导致一些问题，具体是什么问题呢，看下面代码：

#include<iostream>
using namespace std;

class A
{
public:
	int val;
public:
	A(int x = 0):val(x){}
};

class B : public A
{
public:
	int num;
public:
	B(int x = 0) : num(x), A(x + 10) {}
};

class C : public A
{
public:
	int sum;
public:
	C(int x = 10) :sum(x), A(x + 10) {}
};

class D :public B, public C
{
public:
	int total;
public:
	D(int x = 10) :total(x), B(x + 10), C(x + 20) {}
};

int main()
{
	D d(0);
	return 0;
}

在上述代码中我们通过最底层基类A派生出来了B和C，然后B和C又共同派生出来了一个类D,通过实例化D对象来观察上述代码的数据结构视图：

 

我们可以清晰的看到，构建出来的D对象有歧义了B中的val值为20，C中的val值为30，很明显不符合正常情况，但是呢代码还是正常通过了，这是为什么呢？？

 

上图中我们给出了产生这种现象的原因，就是因为上述现象，所以 才会有我们刚刚看到的歧义性，那么怎么解决这种问题呢？？？

我们在这里就给出来了一个解决方法：虚继承 

 

 虚继承会导致我们student和staff对象中存放与Person对象的指针偏移量，但是存放的不是指针，这样就可以避免我们的歧义性问题：

class A
{
public:
	int val;
public:
	A(int x = 0):val(x){}
};

class B :virtual public A
{
public:
	int num;
public:
	B(int x = 0) : num(x), A(x + 10) {}
};

class C :virtual public A
{
public:
	int sum;
public:
	C(int x = 10) :sum(x), A(x + 10) {}
};

class D :public B, public C
{
public:
	int total;
public:
	D(int x = 10) :total(x), B(x + 10), C(x + 20), A(x + 100) {}
};

int main()
{
	D d(0);
	return 0;
}

我们看一下引入虚继承之后的代码运行是怎么样的：

 

 该结果和我们上述画的哪个图结构一样，而且也没有歧义性的结果出现！！！

最后再补充一点东西，不使用虚继承的菱形继承不光会有歧义性结果：

//在没有引入虚继承之前，我们不可以这样调用：
int main()
{
    D d(0);
    d.val;//这样不可以调用，因为它的d对象的基类中有两个A中的成员变量，编译器不知道调用哪个
    //所以编译不通过
}

会有val不明确的报错！！！ 

“趁着还有时间，加油学习！！！”