菱形继承
- 1.单继承
- 1.概念
- 2.多继承
- 2.1概念
- 2.2菱形继承
- 1.概念
- 2.问题
- 3.样例理解
- 二义性
- 数据冗余
- 对于内存模型抽象化
- 2.3菱形虚拟继承(解决菱形继承的问题)
- 1.概念
- 2.样例理解
- 对于内存模型抽象化
- 2.4总结
- 3.问题总结
- 1.C++有多继承,为什么?为什么Java没有?
- 2.多继承的问题是什么?
- 3.菱形继承的问题是什么,如何解决?
- 4.底层角度如何解决菱形继承的问题(数据冗余和二义性)?
1.单继承
1.概念
单继承:一个子类只有一个直接父类时称这个继承关系为单继承。
图示:
2.多继承
2.1概念
多继承:一个子类有两个或以上直接父类时称这个继承关系为多继承。
图示:
2.2菱形继承
1.概念
菱形继承:菱形继承是多继承的一种特殊情况。即:一个类是另外几个类的子类,而这几个子类又是另外一个类的父类。
基本模型:
2.问题
但是呢,菱形继承却有一些问题:它会造成数据的冗余以及数据的二义性。比如下面,在Assistant的对象中Person成员会有两份。
3.样例理解
注:以下在VS2022 X64环境下验证。
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;
}
二义性
如果我们直接访问d中的_a,编译器不知道要访问继承B的 _a还是继承C的 _a,会有歧义。
数据冗余
首先观察调试窗口:我们可以看到创建的d变量的地址。
然后通过内存窗口,我们可以看到d中存储了2个_a,相同的部分就会重复存储。
对于内存模型抽象化
2.3菱形虚拟继承(解决菱形继承的问题)
1.概念
菱形虚拟继承就是在菱形继承的腰部继承时(即父类第一次有多个子类时)加上关键字virtual即可。
2.样例理解
其他部分不变,我们对于上述代码进行菱形虚拟继承,并且加上一句直接访问的代码(d._a = 100),再次进行测试。
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._a = 100; //新增的一句代码
d._b = 3;
d._c = 4;
d._d = 5;
return 0;
}
首先观察调试窗口:我们可以看到创建的d变量的地址。
此时再让代码执行d.B::_a = 1这句,通过内存窗口可以看到其变化,但是和菱形继承的变化位置不同。
再让代码执行d.C::_a = 2这句,通过内存窗口可以看到其是直接在原来的位置处改变的,只有一份 _a。
再让代码执行d._a = 100这句,内存窗口变化如下:
再执行d._b = 3这条语句。
再执行d._c = 4这条语句。
再执行d._d = 5这条语句。
有个疑问,此处圈住的部分是什么呢?它看起来像一个地址(X64环境下),那么其是存储什么的呢?
解释一下,其确实为两个指针,指向的一张表。这两个指针叫虚基表指针,这两个表叫虚基表。虚基表中存的偏移量。通过偏移量可以找到下面的A。
通过内存窗口可以观察出:继承的B中存储了十六进制下的28,即十进制下的40。对比下图,和偏移量相等。
对于内存模型抽象化
2.4总结
1.通过虚拟继承,D类对象中只有一个A类的_a,从而解决了数据冗余和二义性。
2.菱形虚拟继承的对象模型:
每个继承对象中存储一个虚基表,虚基类(即上例中的A)放在最下面,成为公共部分。
3.存储的地址的作用
其为虚基表指针,指向虚基表,虚基表中存储偏移量,可以找到下面存储的A。从而方便切片的场景。
4.菱形虚拟继承也会改变中间类的结构,让它们的结构和D的结构类似。
这样是为了防止以下的场景:
D d;
B b;
B& ref = d;
ref = b;
如果不存储成类似的结构,那么找到B类存储的_a就比较困难。
3.问题总结
1.C++有多继承,为什么?为什么Java没有?
这个得从C++历史发展来看,在C++发展史中,在完善面向对象的过程中,祖师爷考虑到了现实生活中确实有一部分东西可以继承多个类,比如西红柿既是水果,又是蔬菜,因此C++有了多继承。而Java在这方面通过C++的痛苦因此做出了 改变,只允许单继承。
2.多继承的问题是什么?
多继承本身没有问题,但是有多继承就会有菱形继承,而菱形继承就有许多问题。
3.菱形继承的问题是什么,如何解决?
数据冗余以及二义性。通过菱形虚拟继承解决。
4.底层角度如何解决菱形继承的问题(数据冗余和二义性)?
菱形虚拟继承在底层改变了数据的存储结构,将虚基类存储在了最下面,作为公共部分,让多继承而来的父类的数据共享,共用一份,而在继承的那部分中则存储了虚表指针,指向虚基表,从而得到其中存储的偏移量,进而可以实现切片时数据的完整性。