C++相关概念和易错语法(21)(虚函数、协变、析构函数的重写)

多态的核心是虚函数,本文从虚函数出发,根据原理慢慢推进得到结论,进而理解多态

1.虚函数

先看一下下面的代码,想想什么导致了这个结果


#include <iostream>
using namespace std;class A
{
public:virtual void test(){cout << "A" << endl;;}
};class B : public A
{
public:void test(){cout << "B" << endl;;}
};class C : public B
{
public:void test(){cout << "C" << endl;;}
};void Test(A& r)
{r.test();
}int main()
{A a;B b;C c;Test(a);Test(b);Test(c);return 0;
}

结果是

如果我们去掉A里面的virtual呢?

我们可以看到前后两次结果不同,为什么呢?函数形参为什么是以A&来接收的,调用时为什么还有区别呢?这就需要接触虚函数了。

(1)虚函数和虚函数表

当我们在父类声明了一个虚函数后,这个函数就被存在常量区了,同时在这个类里又多了一个新的隐藏成员,叫虚函数表(这个成员要算在整个类的大小里面)。这个虚函数表就是专门存虚函数的地址的(本质是函数指针数组,根据不同机器指针大小也不同)。对于父类而言,无论创建多少对象,它们都共用一个虚函数表(即对于同一种类,函数都是一样的)。这里要分清:虚函数是存在常量区的而不存在类里,类中存的是虚函数表。

(2)重写

虚函数有什么用呢?当子类实现一个和父类虚函数函数名、参数、返回值完全一样的函数时,就叫做重写。重写是一种特殊的隐藏,是在多态中的一种语法,而隐藏只要求函数名相同,是继承中的语法。重写的意义在于子类也有一个新的虚函数表,虽然函数前没有加声明virtual(父类前必须加),当子类显式写了这个函数,就会存到常量区,虚函数表存函数的地址(第一句指令的地址)。对于这个子类,无论创建多少个对象,它们都使用同一个针对子类的虚函数表。如果说有多个虚函数而子类没有重写,那个没有重写的函数就使用父类的对应的函数(反正没区别)。

(3)对多态的理解

到这里,我们对虚函数表、虚函数和重写有了一定了解,实际就是在最初的父类的函数前加上virtual,让该函数进入虚函数表,子类重写会让虚函数表存的函数不同,在调用的时候明明是调用的同一个函数,但得到的结果是针对每一种类不同的。这就叫多态,即多种形态,针对不同的类有不同的表现形态。

(4)对多态调用方式的理解

函数形参为什么是以A&来接收的?

我们进一步关注Test(A& r)这个函数,前面我们讲了赋值兼容转换,因此当B和C传进去的时候,r都会指向子类中的父类部分,这里相当于给它们的父类部分取别名。也就是说,r无论接收的是A还是B还是C,最终都会被切割成A的模样(A中也有虚函数表),但是内容是不是都一样呢?

很明显,虚函数表的作用就凸显出来了,A、B、C都有一个虚函数表,在B、C切割成A后,虚函数表被保留了下来,当我们用r去调用虚函数时,编译器会默认去虚函数表找到对应的函数(三种虚函数表的函数在函数名、参数、返回值上都相同,但存的函数地址不同),根据不同的函数地址就能找到不同的函数实现,这也是重写的意义所在。

至此,我们应该能够理解前面所说虚函数、虚函数表、重写存在的意义了,它们的出现都最终服务于实现一件事——多态,即根据不同类,在调用同一函数时体现出不同状态。

(5)是否有其它调用方式?

事实上,使用A&调用本质就是利用了赋值兼容转换,将多个子类都切割成父类的形式,再根据它们虚函数表的值的差异,调用不同的同名函数,体现出类与类之间的区别。很明显,除了引用,指针也适合,但赋值呢?赋值不是也遵循赋值兼容转换吗?

从实验上看是不行的,但也好理解。r都已经完全变成A类型了,再去调用B或C的成员就不太说得过去了。你可以将这里理解成一种特殊处理,支不支持都说得过去,但从形式上来说不支持更合理。

(6)多态的条件

很多课程都喜欢先说条件再将原因,而如果我们慢慢推进,到这里自然就理解了。

多态需满足条件:父类函数(想和子类形成差异的第一个函数就叫父类函数)写virtual(父类如果不写virtual而子类写virtual,那第一个写virtual的才叫父类,你可以将virtual当作一个多态开始的标志),后续的所有子类写不写virtual无所谓;子类覆盖/重写父类的虚函数;调用时使用父类的指针或引用,特别注意不能用赋值。

2.协变

上面说过要重写函数,必须保证函数的函数名、参数、返回值相同。但有唯一一个例外可以在返回值不同时能构成重写,就是协变(基本不用),即返回值可以是父子类的引用或指针

下面这段代码是能跑过的


#include <iostream>
using namespace std;class A
{
public:virtual A& test(){cout << "A" << endl;;return *this;}
};class B : public A
{
public:B& test(){cout << "B" << endl;;return *this;}
};void Test(A& r)
{r.test();
}int main()
{A a;B b;Test(a);Test(b);return 0;
}

注意,返回值可以加const,返回值也可以是其它类,但必须是父子关系


#include <iostream>
using namespace std;class C
{};class D : public C
{};class A
{
public:virtual const C* test(){cout << "A" << endl;C* c = new C;return c;}
};class B : public A
{
public:const D* test(){cout << "B" << endl;D* d = new D;return d;}
};void Test(A& r)
{r.test();
}int main()
{A a;B b;Test(a);Test(b);return 0;
}

注意父子关系顺序不能反,父类返回值对应父类的虚函数

协变几乎不用,了解即可。我们大部分情况还是要保证函数名、参数、返回值相同,讨论的时候也是跳过这个特殊情况的。

3.析构函数的重写

理解析构函数的重写可以加深我们对析构函数的理解,顺便能够解释为什么所有的析构函数都会被处理成destructor()


#include <iostream>
using namespace std;class A
{
public:~A(){cout << "A" << endl;}
};class B : public A
{
public:~B(){cout << "B" << endl;delete p;}int* p;
};int main()
{A* a = new B;delete a;return 0;
}

这段代码会导致内存泄漏,因为当delete a的时候,会根据a的类型去调用析构函数,这里就只会去调用A的析构函数

联系到上面的重写,很快我们就会想到使用virtual修饰父类的析构函数,让析构函数进入虚函数表。但是很明显父类和子类的类名是不可能相同的,所以类的析构函数做了特殊处理:即都重命名为~destructor(),这样就符合了虚函数的要求


我们可以看到,这里根据虚函数表就能成功调到子的析构函数了,同时对于所有继承而言,子的析构调用完成之后都会逐级向上调用父的析构函数

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/diannao/46663.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

x264 编码过程中视频相关数据流转分析

介绍 x264编码器的编码过程是一个复杂且多阶段的流程,涉及多个步骤,每个步骤都对视频数据进行特定的处理。以下是x264编码过程的一般数据流和关键步骤的分析: 输入帧处理: 输入原始视频帧到编码器。帧可能首先被转换到内部颜色空间(如YUV420P)。分析与预处理: 进行宏块级…

元服务体验-服务发现

服务发现&#xff0c;无论线上或线下的方式都可以发现元服务。 线上&#xff1a;基于用户意图。从精准意图的搜索、用户事件触发的推荐到主动探索等场景。用户可以在设备的负一屏、全局搜索、应用市场、桌面等场景发现元服务。 线下&#xff1a;用户在 HarmonyOS Connect标签…

华为HCIP Datacom H12-821 卷39

1.填空题 请2001 :0DB8:0000:C030:0000: 000: 09A0:CDEF地址进行压缩。() (若答案中存在字母&#xff0c;请采用大写格式) 参考答案&#xff1a;2001 :DB8:0:C030: :9A0:CDEF 解析&#xff1a; IPv6地址的表示方法 IPv6地址总长度为128比特&#xff0c;通常分为8组&#xff0c…

LeetCode 20.有效的括号 C写法

LeetCode 20.有效的括号 C写法 思路&#x1f9d0;&#xff1a; ​ 这题最优思路是用栈来进行匹配&#xff0c;如果是左括号就入栈&#xff0c;如果是右括号那么左括号就出栈去匹配&#xff0c;匹配成功就继续入栈或者出栈&#xff0c;匹配失败则字符串无效。不过C语言没有STL…

win10远程ubuntu服务器桌面且显示图像窗口工具及配置说明

仅需一个MobaXterm_Personal工具就可以实现 网上的教程比较多&#xff0c;实现起来比较复杂&#xff0c;这个是经过自己的钻研找到的方法&#xff08;请勿转载和抄袭&#xff09; 报错&#xff1a;cannot connect to X server :0.0 操作1&#xff1a;export DISPLAY自己windo…

python 语法学习(总结类) day 3

一、数据类型 1 整数类型 int 2 浮点数类型 float 3 复数类型 二、字符串类型 1 字符串类型 2 字节串类型&#xff08;很少用到&#xff09; 三、组合类型 1 集合类型&#xff1a;一维数组的集合 2 元组…

PHP基础认知

PHP&#xff08;Hypertext Preprocessor&#xff0c;即“超文本预处理器”&#xff09;是一种广泛使用的开源通用脚本语言&#xff0c;特别适合用于Web开发。其基础语法涵盖了多个方面&#xff0c;包括标记与注释、数据类型、变量、运算符、控制结构等。以下是PHP基础语法的详细…

【网络安全】资产记录工具 Hacker Asset Logger 安装使用详细教程

原创文章,不得转载。 文章目录 工具介绍安装地址使用方式工具介绍 在对某一应用程序的多个页面、对多个相关联的应用程序进行渗透测试的过程中,多个请求包的参数、功能之间可能存在一定的联系。 例如,在A页面触发的请求包中,通过UID可获取CustomerID;在B页面触发的请求包…

SSE、Webworker 、webSocket、Http、Socket 服务器推送技术

Http协议 受浏览器的同源策略限制 HTTP 协议是一种无状态的、无连接&#xff08;短暂连接&#xff0c;客户端发送请求&#xff0c;服务器响应后即断开连接&#xff09;的、单向的应用层协议。 它采用了请求/响应模型。通信请求只能由客户端发起&#xff0c;服务端对请求做出应…

浅谈网络安全防守:从被动应对到主动管理的转变

浅谈网络安全防守&#xff1a;从被动应对到主动管理的转变 背景&#xff1a; 在当今的数字时代&#xff0c;网络安全已成为企业生存和发展的重要基石。然而&#xff0c;当企业的网络安全体系面临着诸如资产不清、互联网应用管理混乱、边界防火墙策略失效、长期未修复的漏洞、…

IP地址与物理地址:网络通信的基础详解

在学习网络通信时&#xff0c;理解IP地址与物理地址&#xff08;也称为硬件地址&#xff09;的区别至关重要。这篇文章将为你解答这些基本概念&#xff0c;并帮助你更好地掌握网络通信的基础。 什么是IP地址和物理地址&#xff1f; IP地址是网络层的逻辑地址&#xff0c;用于标…

leetcode算法题(反转链表)

思路1&#xff1a; 创建新的链表&#xff0c;遍历原链表&#xff0c;将原链表的节点进行头插到新链表中。 struct ListNode* reverseList(struct ListNode* head) {struct ListNode* next NULL;struct ListNode* new_head NULL;if (head NULL ||head->next NULL) // 空…

Java8 根据List实体中一个字段去重取最大值,并且根据该字段进行排序

1、前言 某个功能要求需要对一个list对象里数据按照股票分组&#xff0c;并且取分组涨跌幅最大的&#xff0c;返回一个新的list对象&#xff0c;并且按照涨跌幅字段进行排序&#xff0c;这么一连串的要求&#xff0c;如果按照传统的写法&#xff0c;我们需要写一大坨的代码&am…

AWS云计算实战:电商平台发卡机器人开发指南

在当今数字化时代&#xff0c;电商平台的自动化运营变得尤为重要。本文将深入探讨如何利用AWS云计算平台开发一款高效的发卡机器人&#xff0c;旨在提高电商平台的自动化水平和用户体验。 关键词 AWS云计算, 电商平台, 发卡机器人 1. 引言 随着电商行业的蓬勃发展&#xff…

Python 获取今天(当天)、昨天(前一天)、前天(昨天的前一天)的开始时间、结束时间

描述&#xff1a;我这里是封装成DatetimeHelper工具类来调用 1.今天(当天)开始时间、结束时间 from datetime import datetime, timedeltaclass DatetimeHelper:# 获取今天(当天)的开始时间、结束时间(datetime类型)staticmethoddef getTodayStartEnd():# 获取当前的日期now …

编织微服务网络:在Eureka中打造分布式服务网格

编织微服务网络&#xff1a;在Eureka中打造分布式服务网格 在微服务架构的复杂网络中&#xff0c;服务间的通信和管理变得愈加复杂。服务网格&#xff08;Service Mesh&#xff09;作为一种微服务间通信的基础设施层&#xff0c;负责处理服务发现、负载均衡、故障恢复等任务。…

在 electron+vite+vue3+express 项目中使用better-sqlite3

文章目录 一、安装 electron-rebuild 和 better-sqlite3二、使用 electron-rebuild 重建 Node.js 模块三、better-sqlite3 的基本使用四、打包五、参考资料 一、安装 electron-rebuild 和 better-sqlite3 yarn add -D electron-rebuild yarn add better-sqlite3Electron 内置的…

Hive 常见问题

Hive 内部表和外部表的区别 外部表在创建时需要加关键字 external&#xff1b;创建内部表时&#xff0c;会将数据移动到数据仓库指定的路径&#xff1b;创建外部表时&#xff0c;不会移动数据&#xff0c;只会记录数据所在的路径&#xff1b;删除内部表时&#xff0c;会删除元…

解决onlyoffice无法重命名的问题

当前的问题&#xff1a; 返回的是 error&#xff1a;1&#xff0c;根据官方文档的解释&#xff0c;这个是文档的key是错误的。 参考官方文档&#xff1a;https://api.onlyoffice.com/zh/editors/command 解决思路&#xff1a;看有没有什么事件&#xff0c;能够携带文档的key…

【计算机视觉前沿研究 热点 顶会】CVPR 2024中与3D目标检测、BEV、Lidar、自动驾驶相关的论文

UniMODE&#xff1a;统一的单目 3D 目标检测 实现包括室内和室外场景的统一单目 3D 目标检测在机器人导航等应用中具有重要意义。然而&#xff0c;涉及数据的各种场景来训练模型会带来挑战&#xff0c;因为它们具有显著不同的特性&#xff0c;例如不同的几何特性和异构的域分布…