继承是C++三大特性之一,而继承又分为单继承和多继承,将单继承和多继承组合起来就成了复杂的菱形继承,本文重点讲菱形继承带来的问题和如何解决该问题。
●回顾知识:
单继承:一个子类只有一个直接父类时称这个继承关系为单继承。
多继承:一个子类有两个或以上直接父类时称这个继承关系为多继承。
●菱形继承
一、什么是菱形继承?
菱形继承是多继承的一种特殊情况,由单继承和多继承构成,继承关系看起来像菱形,因此称为菱形继承。
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; // 主修课程
};
void Test()
{
Assistant a;
a._name = "peter";// 这样会有二义性无法明确知道访问的是哪一个,_name不明确
}
二、菱形继承的问题和解决
由上述代码和下面的对象模型可以看出菱形继承有数据冗余(两个_name)和二义性(不知道访问哪个)的问题。
void Test()
{
Assistant a;
// 需要显示指定访问哪个父类的成员可以解决二义性问题,但是数据冗余问题无法解决
a.Student::_name = "Vision"; a.Teacher::_name = "hou";
}
要解决数据冗余就要放出大招了:虚拟继承!
为了更清晰的演示,下面我采用简单点的代码:
普通菱形继承:
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;
return 0;
}
●虚拟继承:
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;
B b = d;
C c = d;
return 0;
}
菱形虚拟继承的内存对象成员模型:这里可以分析出D对象中将A放到的了对象组成的最下面,这个A 同时属于B和C,那么B和C
如何去找到公共的A呢?这里是通过了B和C的两个指针,指向的一张表。这两个指针叫虚基表指针,这两个表叫虚基表。虚基表
中存的偏移量。通过偏移量可以找到下面的A。
为什么D中B和C部分要去找属于自己的A?
当切片赋值发生时,d要去找出B/C成员中的A才能赋值过去。
下图就是上面Person类虚拟继承情况下Assistant内存对象模型的原理解释: