菱形继承概念:
两个派生类继承同一个基类
又有某个类同时继承两个派生类
这种继承又被称为菱形继承,或者钻石继承
定义一个基类Animal,两个派生类Sheep、Camal,SheepCame继承于两个派生类
class Animal
{
public:
int m_Age;
};
class Sheep : public Animal { };
class Camel : public Animal { };
class SheepCamel : public Sheep, public Camel { };
void test()
{
SheepCamel S;
S.m_Age = 20;//报错,"SheepCamel::m_Age不明确"
}
问题(1):
当创建SheepCamel类对象,直接初始化m_Age时,会出现二义性,即不知是继承于Sheep父类还是Camel父类
若想初始化m_Age,则需要加作用域来强调继承于哪个父类
void test()
{
SheepCamel S;
S.Sheep::m_Age = 10;
S.Camel::m_Age = 20;
cout << S.Sheep::m_Age << endl; // 10
cout << S.Camel::m_Age << endl;// 20
}
问题(2):
菱形继承中,SheepCamel子类会继承两份数据,即羊驼获得了10和20两个年龄;这造成了资源浪费,因为我们只需要一份数据,即羊驼是不应该有两个年龄的
解决方法:
利用虚继承即可解决问题。即:将共同基类设置为虚基类
虚基类的定义:class 派生类名 : virtual 继承方式 基类名
class Animal
{
public:
int m_Age;
};
class Sheep : virtual public Animal { };
class Camel : virtual public Animal { };
class SheepCamel : public Sheep, public Camel{ };
{
SheepCamel S;
S.m_Age = 20;
S.Sheep::m_Age = 30;
S.Camel::m_Age = 50;
cout << "Sheep类中:" << S.Sheep::m_Age << endl;// 50
cout << "Camel类中:" << S.Camel::m_Age << endl;// 50
cout << "SheepCamel类中:" << S.m_Age << endl; // 50
}
此时:数据只有一份,类似静态变量,无论是用子类调用还是父类调用都是共享同一份数据。也可以理解为:不管给哪个赋值都是给同一个变量赋值,所以最后等于后赋的值
底层原理:
我们可以通过对象模型来直观理解
在visual studio code 下:利用开发人员命令提示工具查看对象模型(我使用的是vs2022)
1.找到开发人员命令提示工具
2.输入 cd空格+当前源文件的路径(若是C盘,直接输入即可,若是F盘,先 F:转入F盘)
当前源文件的路径获取方法:
最后:输入到开发人员命令提示工具 (输入 cd空格+当前源文件的路径)
3.输入dir,进行查看当前目录是否有当前源文件
4.有当前源文件,继续查找当前SheepCamel类的对象模型布局
输入:cl /d1 reportSingleClassLayout+查找类名 当前源文件名
输入:cl /d1 reportSingleClassLayoutSheepCamel 源.cpp
未设置为虚基类时:
我们可以发现Sheep类的字节大小为8个字节,分别继承于Sheep类、Camel类的成员变量m_Age;
的确是继承了两份数据。
设置为虚基类时:
我们可以发现Sheep类的字节大小为12个字节,分别是Sheep类的虚基类指针、Camel类的虚基类指针,子类继承的m_Age;
此时,只继承了一份数据。