【C++】继承(菱形继承的深入理解)

2024-05-13 00:36
文章标签 c++ 深入 理解 继承 菱形

本文主要是介绍【C++】继承(菱形继承的深入理解),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

在本篇博客中,作者将会带领你深入的理解C++中的继承。

注意!!!本篇博客是在32位机器下进行讲解的,64位下会有所不同,但大同小异。

一. 继承的概念及定义

继承的概念 

什么是继承?为什么要有继承?

继承是一个类继承另外一个类的所有成员,那么为什么要有继承呢?

继承是面向对象设计中提高代码复用的重要手段,它允许我们在原有类的基础上进行扩展增加功能,这样就能产生新的类,也叫做子类或者派生类,被继承的叫做父类或者基类


如下代码就是一个继承的例子: 

 

在这个代码中,Student继承了Person所有成员,从监视窗口中也可以看到Student s1对象中有一个Person的数据,就是继承Person下来的。

继承的定义

那么继承又是如何编写的?

从上面的代码不难看出继承的编写方法:

从图中,子类和父类都很好理解,那么继承方式又是啥?

在这里,继承方式要与访问修饰符来一起看。

 

继承的方式一共有三种:public继承protected继承private继承。 

那么这三种继承方式又有什么区别呢?

区别如下表所示。

举例子就是说,一个子类通过继承后,原来父类中的成员的访问权限原本访问权限继承方式权限较小的那一个。

如下图所示。 

总结:

1.基类的private成员,不管以什么方式的继承,在子类中都不可见,不可见的意思时,其实在子类中存在private修饰的成员,只不过我们没权限去访问它。

2.基类private修饰的成员在类外是不能访问的,被继承后在派生类中也不能访问,但是如果我们想要一个成员不能被类外访问,但是继承后能在派生类中访问,这个时候我就要使用protected来修饰成员,所以可以看出protected是为了继承才出现的。

3.使用class时默认的继承方式private,使用struct时默认的继承方式public

4.实际中,public继承方式最常用,protected和private继承方式很少见。  

二.基类和派生类中的赋值转换 

派生类对象可以直接给基类对象/指针/引用赋值,这种行为也称作切片

但是反过来,基类不能给派生类赋值。

切片

三.继承中的作用域 

1.在继承体系中基类派生类都有独立的作用域

2.当基类和派生类中有同名的成员变量同名的成员函数时,子类的成员将会屏蔽掉父类的成员,这种情况叫做隐藏也叫重定义,但是如果你也想在子类中访问屏蔽掉的父类成员,也可以通过        基类::成员        这种形式去访问。

3.成员函数当函数名相同时就构成隐藏

成员变量隐藏 

以下这种情况就是 成员变量构成隐藏。

#include<iostream>
using namespace std;class Person
{
public:int _age = 1;int _num = 2;
};class Student :public Person
{
public:int _num = 10;
};int main()
{Person p1;Student s1;cout << s1._num << endl;//默认情况直接输出_num是子类的_numcout << s1.Person::_num << endl;//如果想要输出基类的_num,就要指定Person的作用域return 0;
}

成员函数隐藏

下面这种情况,在基类和派生类中,有同名的函数,所以构成隐藏注意:不是函数重载) 

四.派生类的默认成员函数

在C++中,我们知道类是有默认成员函数的,那么在派生类中,它的默认成员函数又是怎么样的呢?下面我们来探讨一下。

构造函数

我们先来说结论:

①派生类的构造函数必须调用基类的构造函数完成基类成员的初始化

 

②当基类没有默认构造函数时(默认构造函数是不需要传参就能调用的构造函数),则必须在派生类的初始化列表显式调用

析构函数

从构造函数的部分可以看出,派生类构造时,要先去调用基类的构造,再去调用派生类的构造,那么析构函数是不是也如此?是的。 

 

从图中,我们可以看出,当s1的生命周期结束时,会去调用~Student这个析构函数,当这个析构函数调用完成后,还会再去调用基类的析构函数。 

拷贝构造

同样的,拷贝构造也是一个道理,派生类调用拷贝构造时,要先去调用父类的拷贝构造来完成基类成员的拷贝,再去调用派生类的拷贝构造。 

赋值=重载

同样的,赋值=重载,也是一个道理,派生类的赋值=重载要先去调用基类的赋值=重载再调用自身的赋值=重载。 

 五.继承与友元

结论:友元关系不能继承,也就是说,基类的友元函数不能访问派生类的成员。 

六.继承与静态成员

结论:一个在基类中定义的静态成员,被基类和派生类共享,也就是说,在所有基类和派生类对象中,它们共用一个静态成员。 

七.菱形继承以及菱形虚拟继承

菱形继承是一个复杂问题,因为菱形继承会带来二义性数据冗余的问题,所以为了解决这两个问题, 才有了菱形虚拟继承

菱形继承 

首先什么是菱形继承?在探讨菱形继承之前,我们先来看看继承有哪几种。

单继承多继承菱形继承。每次继承如下图所示。 

其中,菱形继承是多继承的一种特殊形式。那么菱形继承会带来什么问题呢?我们举一个例子来看看。就如上图中的菱形继承:

我先定义一个Person类,再派生两个Student、Teacher类,再通过这两个类,派生出Assiant类。

#include<iostream>
using namespace std;class Person
{
public:int _age;//年龄
};class Student :public Person
{
public:int _sno;//学生学号
};class Teacher :public Person
{
public:int _tno;//教师编号
};class Assiant :public Student, public Teacher
{
public:int _aaa;
};int main()
{Assiant a1;return 0;
}

此时Assiant类就是一个菱形继承的情况,那么它实例出来的对象是怎样的呢?

通过监视窗口以及画图来看,可以发现在Assiant实例出的对象中,有两份_age,这两份的_age是分别来自Student类继承Person而来,以及Teacher类继承Person而来的。 

 

那么菱形继承会带来什么问题呢?菱形继承会带来二义性以及数据冗余的问题。我们继续往下看。 

二义性 

那么二义性到底是什么呢?这个很好理解,就是在Assiant实例的对象中,有两个_age,当我们给_age赋值时,就会出现不知道指的是那个_age。

如下图所示: 

 

当我们尝试给_age赋值的时候,会报错,显示_age不明确,那是因为在a1中,有两个_age,一个是继承Student来的,一个是继承Teacher来的,那么该如何解决呢?很简单,只需要指定是那个父类的_age即可(因为Assiant是继承两个父类而来的)。 

数据冗余

通过指定那个父类的成员来赋值解决了二义性的问题,但是数据冗余没有解决,一个Assiant对象里面有两个_age,但我们只需要一个即可,那么这个时候又该怎么办呢?所以这个时候需要用到虚拟继承。虚拟继承就是为了解决菱形继承问题而出现的。 现在,我们给Student和Teacher类加上虚拟继承再来看看。

#include<iostream>
using namespace std;class Person
{
public:int _age;//年龄
};class Student :virtual public Person//使用虚拟继承
{
public:int _sno;//学生学号
};class Teacher :virtual public Person//使用虚拟继承
{
public:int _tno;//教师编号
};class Assiant :public Student, public Teacher
{
public:int _aaa;
};int main()
{Assiant a1;a1._age = 1;//数据冗余问题得到了解决,可以直接给_age赋值return 0;
}

通过使用虚拟继承的方式,在Assiant对象中,数据的二义性以及数据冗余的问题都得到了解决。 那么虚拟继承是如何解决菱形继承带来的问题的呢,这个时候,我们在全盘来看一下。

虚拟继承是如何解决菱形继承所带来的问题

在解释虚拟继承是如何解决菱形继承带来的问题前,我们先来看一下,普通菱形继承的底层对象模型是怎样的。 我们来使用vs的内存窗口来查看。

普通菱形继承的底层对象模型 

#include<iostream>
using namespace std;class Person
{
public:int _age;//年龄
};class Student :public Person
{
public:int _sno;//学生学号
};class Teacher :public Person
{
public:int _tno;//教师编号
};class Assiant :public Student, public Teacher
{
public:int _aaa;
};int main()
{Assiant a1;a1.Student::_age = 1;a1.Teacher::_age = 2;a1._sno = 3;a1._tno = 4;a1._aaa = 5;return 0;
}

通过运行上面的代码,我们通过调试和内存窗口来观察。 

发现,普通菱形继承中,它的底层对象模型的布局和我们上面画的图一样。

这就是为什么普通的菱形继承会带来二义性以及数据冗余的问题。

虚拟菱形继承的底层对象模型

看完了普通继承的底层对象模型,接下来我们再来看看虚拟菱形继承的底层对象模型,看看它是如何解决二义性以及数据冗余问题的。 

#include<iostream>
using namespace std;class Person
{
public:int _age;//年龄
};class Student :virtual public Person//使用虚拟继承
{
public:int _sno;//学生学号
};class Teacher : virtual public Person//使用虚拟继承
{
public:int _tno;//教师编号
};class Assiant :public Student, public Teacher
{
public:int _aaa;
};int main()
{Assiant a1;a1._age = 1;a1._sno = 3;a1._tno = 4;a1._aaa = 5;return 0;
}

通过观察,我们发现,原来存_age的位置变到了最底下去了,而且只有一个,这样就解决了二义性的问题,这个很好理解,但是数据冗余呢?

有的同学可能会问,那么两个问号(?)的地方又存的啥,是浪费了还是怎么样了,而且这样看上去好像数据还多余了。

 

观察力较强的同学可能已经发现了,两个问号(?)的位置似乎是一个指针,答案也没错,两个问号(?)的地方确实是一个指针,那么这个指针是什么指针,又指向什么内容?

这两个指针叫做虚基表指针,它们各自指向一张虚基表,那么虚基表里面又是啥,我继续通过内存窗口来进行查看。

 通过内存窗口我们可以看到,两个指针指向的内容中,又有一个值,分别是2012,那么这两个20和12又有什么含义呢,观察力强的人可能会发现,20是第一个指针距离_age变量的偏移量,12是第二个指针距离_age变量的偏移量


 看到这里,我们基本理解了虚拟菱形继承的底层对象模型是怎样的了,也懂了虚拟继承是如何解决二义性和数据冗余的问题的。

但是可能会有同学问:不对啊,在没有使用虚拟继承时,一个对象只有五个变量,使用虚拟继承后,一个对象又六个变量,因为虽然_age少了一个,但是多了两个指针。如下图所示。

 

你说的没错,在这种情况下,一个对象确实变大了,但是是否造成数据冗余不能这么看,假设我们将Person类中_age换成一个数组,再通过求普通菱形继承虚拟菱形继承的大小来看看。

我们发现,普通菱形继承的大小比虚拟菱形继承的大小大得多,那是因为对于虚拟菱形继承的底层对象模型来说,少了一个int _age[10],只多了两个指针,所以虚拟菱形继承小的多,这个时候就体现出了虚拟菱形继承为什么能解决数据冗余的问题了。


当然这个时候,可能会有同学又会有问题,为什么虚基表里面要存偏移量呢?我们不能直接访问到_age成员吗?

 当我们定义一个Student或者Teacher对象变量的时候,对象中的成员变量都是顺着来存储的,当我们想要访问对象的时候,也可以顺着来读而获取该值,这个很好理解,但是用了虚拟菱形继承后,Student对象和Teacher对象的_age不再是顺着来存储而是变到了最后的位置,那么如果我们想要读取Student的_age成员时,因为要顺着来读取,当我们读取到虚基表指针时,就可以通过虚基表中的偏移量来找到_age的位置,否则将会找不到。

 

八.总结 

多继承是C++的一个缺陷之一,因为有了多继承就会有菱形继承,有了菱形继承就有了菱形虚拟继承,非常复杂,因为要解决二义性以及数据冗余的问题,但是不要慌,在实际写代码中,菱形继承是很少用的,一般来说不建议使用多继承,更不要使用菱形继承,对于菱形继承来说,理解到它的底层对象模型实现就差不多了。

继承和组合 

继承大家应该都懂,那么组合又是什么,最开始我提到,继承可以提高代码的复用性,因为它允许我们在基类的基础上进行扩展。那么组合呢?我接下来举个例子来看看。

class Person
{
public:int _age;
};class Student
{
public:Person p1;int _sno;
};

在最上面的继承中,为了能复用Person类,我们使用Student类去继承Person,这样就可以达到复用Person类的成员,那么其实不用继承也可以实现,我们也可以用组合来实现如上面的代码一样,我们在Student类中组合一个Person的对象,也能达到我们的目的,那么实际写代码中,继承和组合我们应该如何选择呢?


1.继承是一种is-a的关系,即它表示一个类是另一个类的特殊形式,也可以说一个派生类就是一个基类,怎么理解呢?例如,上面的Person和Student中,Person是一个人,Student也是一个人,所以一般来说使用继承来实现。

2.组合是一种has-a的关系,即一个类中包含了另一个类,例如,车和轮子的关系,车中包含了轮子,所以我们在设计一个车和轮子类的时候,可在车类中组合轮子。

3.继承是一种“白箱”复用,什么是“白箱”,即它是一个透明的内部是可见的,在子类中,父类的内部细节对于子类来说是可见的,但是继承在一定程度上破坏了封装,因为父类的protected成员在子类中是可见的,同时继承对于子类和父类来说,它们之间的关系是很强的,耦合度很高

4.组合是一种“黑箱”复用,即在组合中,一个类对象的成员变量,对于这个组合类来说,它的内部细节是不可见的。类与类直接的关系很弱耦合度低

5.一般来说,优先使用组合,而不是继承,因为当组合和继承都能用的时候,组合的复杂性对于继承来说肯定比较低,当两个都能用的时候,我们肯定是希望用最简单的。而且组合的耦合度低,代码维护性更好,而继承的耦合度高父类的变化会影响子类,但是继承也不是说不用,正如前面所说的,继承是is-a的关系,组合是has-a的关系,我通过这两个关系来决定就好了。 

这篇关于【C++】继承(菱形继承的深入理解)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/984190

相关文章

使用C++实现链表元素的反转

《使用C++实现链表元素的反转》反转链表是链表操作中一个经典的问题,也是面试中常见的考题,本文将从思路到实现一步步地讲解如何实现链表的反转,帮助初学者理解这一操作,我们将使用C++代码演示具体实现,同... 目录问题定义思路分析代码实现带头节点的链表代码讲解其他实现方式时间和空间复杂度分析总结问题定义给定

C++初始化数组的几种常见方法(简单易懂)

《C++初始化数组的几种常见方法(简单易懂)》本文介绍了C++中数组的初始化方法,包括一维数组和二维数组的初始化,以及用new动态初始化数组,在C++11及以上版本中,还提供了使用std::array... 目录1、初始化一维数组1.1、使用列表初始化(推荐方式)1.2、初始化部分列表1.3、使用std::

C++ Primer 多维数组的使用

《C++Primer多维数组的使用》本文主要介绍了多维数组在C++语言中的定义、初始化、下标引用以及使用范围for语句处理多维数组的方法,具有一定的参考价值,感兴趣的可以了解一下... 目录多维数组多维数组的初始化多维数组的下标引用使用范围for语句处理多维数组指针和多维数组多维数组严格来说,C++语言没

c++中std::placeholders的使用方法

《c++中std::placeholders的使用方法》std::placeholders是C++标准库中的一个工具,用于在函数对象绑定时创建占位符,本文就来详细的介绍一下,具有一定的参考价值,感兴... 目录1. 基本概念2. 使用场景3. 示例示例 1:部分参数绑定示例 2:参数重排序4. 注意事项5.

使用C++将处理后的信号保存为PNG和TIFF格式

《使用C++将处理后的信号保存为PNG和TIFF格式》在信号处理领域,我们常常需要将处理结果以图像的形式保存下来,方便后续分析和展示,C++提供了多种库来处理图像数据,本文将介绍如何使用stb_ima... 目录1. PNG格式保存使用stb_imagephp_write库1.1 安装和包含库1.2 代码解

C++实现封装的顺序表的操作与实践

《C++实现封装的顺序表的操作与实践》在程序设计中,顺序表是一种常见的线性数据结构,通常用于存储具有固定顺序的元素,与链表不同,顺序表中的元素是连续存储的,因此访问速度较快,但插入和删除操作的效率可能... 目录一、顺序表的基本概念二、顺序表类的设计1. 顺序表类的成员变量2. 构造函数和析构函数三、顺序表

使用C++实现单链表的操作与实践

《使用C++实现单链表的操作与实践》在程序设计中,链表是一种常见的数据结构,特别是在动态数据管理、频繁插入和删除元素的场景中,链表相比于数组,具有更高的灵活性和高效性,尤其是在需要频繁修改数据结构的应... 目录一、单链表的基本概念二、单链表类的设计1. 节点的定义2. 链表的类定义三、单链表的操作实现四、

深入解析Spring TransactionTemplate 高级用法(示例代码)

《深入解析SpringTransactionTemplate高级用法(示例代码)》TransactionTemplate是Spring框架中一个强大的工具,它允许开发者以编程方式控制事务,通过... 目录1. TransactionTemplate 的核心概念2. 核心接口和类3. TransactionT

使用C/C++调用libcurl调试消息的方式

《使用C/C++调用libcurl调试消息的方式》在使用C/C++调用libcurl进行HTTP请求时,有时我们需要查看请求的/应答消息的内容(包括请求头和请求体)以方便调试,libcurl提供了多种... 目录1. libcurl 调试工具简介2. 输出请求消息使用 CURLOPT_VERBOSE使用 C

C++实现获取本机MAC地址与IP地址

《C++实现获取本机MAC地址与IP地址》这篇文章主要为大家详细介绍了C++实现获取本机MAC地址与IP地址的两种方式,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 实际工作中,项目上常常需要获取本机的IP地址和MAC地址,在此使用两种方案获取1.MFC中获取IP和MAC地址获取