我们先来看下菱形继承的基本视图以及基本的代码结构
下面来看下简单的代码以及数据结构:
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不明确的报错!!!