菱形继承的定义是:两个子类(派生类)继承同一个父类(基类),而又有一个子类同时继承这两个子类。
菱形继承的缺点:存在二义性和数据冗余。
依据菱形继承的关系,我们可以写出如下代码:
#include<iostream>
using namespace std;
class Person
{
public:
string _name;
};
class Student :public Person
{
public:
int _num;
};
class Teacher :public Person
{
public:
int _id;
};
class Assistant :public Student, public Teacher
{
public:
string _major;
};
int main()
{
Assistant a;
a._name = "abc";
}
此时,程序是无法运行的,显示的错误信息是“对“_name”的访问不明确”,由于Assistant有两个父类,这两个又同时继承Person,同时含有_name,故应使用域限定符,才能使得程序正常运行。
修改后的程序如下:
#include<iostream>
using namespace std;
class Person
{
public:
string _name;
};
class Student :public Person
{
public:
int _num;
};
class Teacher :public Person
{
public:
int _id;
};
class Assistant :public Student, public Teacher
{
public:
string _major;
};
int main()
{
Assistant a;
a.Student::_name = "abc";
a.Teacher::_name = "def";
}
此时,程序只是能够运行。经过调试,我们可以知道,对于a这个成员,在作为Student和Teacher具有不同的_name,程序的二义性与数据冗余并没有消除。
C++中有引入了一种新的方法:虚继承。该方法能够解决菱形继承的二义性和数据冗余。
虚继承就是在Student和Teacher在继承Person时加上virtural关键字。
虚继承的作用:不同继承路径上的虚基类子对象在派生类中被合并成一个子对象。
程序如下:
#include<iostream>
using namespace std;
class Person
{
public:
string _name;
};
class Student :virtual public Person
{
public:
int _num;
};
class Teacher :virtual public Person
{
public:
int _id;
};
class Assistant :public Student, public Teacher
{
public:
string _major;
};
int main()
{
Assistant a;
a.Student::_name = "abc";
a.Teacher::_name = "def";
}
Student和Teacher中不再包含Person中的_name,而是保存了一份偏移地址,然后将Person中的_name保存在一个公共的位置,这样不仅消除了二义性,而且消除了数据冗余。