【C++】多态(上)超详细

封装,继承,多态不只是C++的三大特性,而是面向对象编程的三大特性。

什么是多态:

不同的对象做同一件事情,结果会出现多种形态。

1.满足多态的几个条件

1.父子类完成虚函数重写(需要满足三同:函数名,参数,返回值都需要相同)。

2.父类的指针或引用去调用虚函数。(指向谁就调用谁的虚函数)

既然有了父类和子类,那么说明多态发生的前提是继承。

例子:

不同身份的人买票的价格是不同的。

但如果不满足多态的条件,就达不到我们想要的结果:

2.多态的坑

2.1虚函数重写的两个例外

强调一下:

1.返回值只能是父类返回父类的指针或引用,子类返回子类的指针或引用,顺序不能反过来。

2.返回值可以是其他不相关的父子类,也可以是自己的父子类。

关于析构函数的重写

如果我们正常的写析构函数,看看它们调用的情况:

可见,两次析构都调用的是基类的,这是正常现象,两个Person的指针自然调用Person的析构。但这并不是我们的目的,我们想要的是指针指向谁就应该调用谁的析构,也就是说:我们想让P2调用Student的析构,只有这样才满足多态的规则。

但如果我们用virtual修饰这两个析构函数呢:

加上virtual就达到了我们的目的,也就是说父子类的析构函数构成虚函数重写。

但有些奇怪,这两个析构函数的名字明明不同,不符合多态的语法,为什么依然可以构成重写呢?

其实这里编译器会把析构函数的名字全部换成destructor,这样就满足多态的语法了!

那C++的语法为什么不把析构函数的名字直接定义成destructor,而是私下换名字呢?这样不麻烦嘛?

其实这也是无奈之举,因为析构函数的概念早于多态,在多态之前已经把析构函数的名字设计好了,祖师爷也没想到后面设计多态的语法时会在这个地方有坑,只能自己私下改名字了。

结论:建议把析构函数写成虚函数,防止内存泄漏的发生。

其实还有一个例外,就是派生类可以不写virtual。

这也是C++语法常常被吐槽的点,但还是建议写上,不然容易被人吐槽。

2.2一道杀人诛心的面试题

这道题目曾被多家大型公司(百度,腾讯等)当作面试题。

先说答案:B。是不是有点匪夷所思?

思路:

继承只是一个形象的说法,实际上在继承时并没有把父类的成员拷贝到子类中,而是用了一套查找规则:在P指针调用父类函数时,编译器会先在子类中找,没找到再去父类去找,所以父子类的同名函数会构成隐藏。

所以在给test函数传this指针时,this的类型是A*。但用this调用func时依然构成多态调用,因为this依然指向的是B类型,所以会直接调B中的func。

下面就到这个题目特别坑的点:多态的虚函数重写,重写的只是函数体的实现。意思就是:

子类的func是对父类func的重写,但只是重写了函数体的实现,函数的结构部分依然用父类的。所以val的值是1。

那咱们回过头来想,既然子类的函数体结构部分没有调用,那可以省略virtual好像也有些道理。

3.关键字override和final

3.1final

如果让你设计一个不能被继承的类,其实有两种方法。

方法一:

把基类的构造函数定义为私有。(C++98)

原因是:基类的构造函数在派生类中不可访问,那么派生类就无法对象实例化。

方法二:

利用关键字final。(C++11)

方法二很简单,就是用final修饰基类之后就无法继承了。

3.2override

override是加到派生类的重写虚函数中,用于检查是否完成重写。

成功重写时,是没有任何报错的。

没有成功重写就会报错,所以我们在写代码时尽量把这个关键字加上。

4.对比重载/重写/隐藏

5.多态的底层

5.1虚函数表指针

这道题的答案是12。因为Base类中有一个虚函数,所以在成员对象中就会多出一个指针,叫虚函数表指针,简称虚表指针。

这个指针指向了一张表,这个表里存放了虚函数的指针。

在x86平台下:

通过对比监视窗口和内存窗口可以看到在地址0x00E17B34位置存放了00e112df指针,在地址0x00E17B38位置存放了00e1124e指针。

5.2虚函数表指针的作用

下面我们来看一看编译器是如何通过虚表指针实现多态的。

这是Mike的对象模型和监视窗口:

这是John的对象模型和监视窗口:

通过对比Mike和John的对象模型发现:

在John的对象模型中004a9b54和下面的1是继承Mike的,1下面的2是John的成员变量。

虽然是继承下来的但有些不一样:

继承下来的虚表指针和Mike的虚表指针不一样,一个是004a9b34一个是004a9b54。

既然虚表指针不一样,那虚表指针里面的函数指针也应该不一样,观察监视窗口,我们发现Mike的虚表指针中存放的是Person的BuyTickt函数,John的虚表中存放的是Student的BuyTickt函数。

所以,多态的实现过程就是通过虚表指针!当Student对象传给Person对象时,通过切片把虚表指针切过去,然后通过Student的虚表指针调用Student的虚函数。当Person对象传给Person对象时,通过Person的虚表指针调用Person的虚函数。

但是当不满足多态语法时,编译器先检查,如果不满足多态语法,编译器就直接通过对象类型去调用成员函数,就不会通过虚表指针调用了。

补充一下:

每个对象都有一张虚表,同类型的对象共用一张虚表,不同类型的对象虚表不同。

6.单继承中的虚表

Derive继承Base后,通过监视窗口查看它们的虚表发现:Base的虚表是正常的里面有两个函数指针Func1和Func2。但是Derive的虚表有问题,有Derive的Func1和Base的Func2。

其实在继承后,派生类的虚表可以形象的说:把基类的虚表拷贝下来,如果构成重写,那么派生类的重写的函数把基类的覆盖掉。所以Func1是Derive的,Func2是Base的。

但问题是Func3和Func4哪里去了呢?

这也是VS的bug,其实VS的监视窗口有些时候并不准确,还要去内存窗口看一下!

通过对比监视窗口和内存窗口,我们发现Derive的虚表中好像存了4个函数指针:

前两个002b1410和002b1389和监视窗口中的一致,但后两个还不能确定,只能说比较像,所以我们需要写一个程序来验证我们的猜想。

验证结果:Derive的虚表中存了4个函数指针!

解释一下这个程序,写这个程序要求对指针的理解程度极高,如果你能看懂这个程序那么你在C语言指针方面的掌握非常好,如果能写出这个程序,那么你对指针的理解已经达到优秀了!

首先,虚表本质上是一个函数指针数组。我们平时传参传数组时,C语言考虑到效率问题往往传的是首元素的地址,比如一个int型的数组传参时传int*的指针。那么虚表中存放的全是函数指针,所以我们传参的时候应该传函数指针的地址,也就是二级指针。

那这个二级指针如何获得呢?在C语言部分,大家都知道,数组名就是首元素的地址,所以我们只需要得到虚表的名字(是d的成员变量)就可以了,也就是Derive d中的前4个字节。

难道将d强制类型转换成int就可以了嘛?这是不可以的,两个完全不想关的两个类型是不能强转的。这里给大家总结一下:1.int和float可以互相强转(char本质上也属于int型)2.任何类型的指针都可以相互强转 3.任何类型的指针可以和int相互强转。

知道这个知识后就可以取d的地址,前强转成int*,再解引用,这样就拿到了d的前4个字节,但这4个字节的类型是int,它真正的类型应该是虚表中首元素的地址,也就是Func1的指针的地址,强转过去后直接函数传参,然后采用数组下标的方式变量整个虚表就可以访问到虚表中所有的函数指针,然后再通过函数指针调用对应的函数就可以确认猜想!

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

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

相关文章

历史文件清理

应用系统中可能会被要求保存一些文件记录,比如配置文件修改的备份,日志文件,备份文件。不过历史文件不一定是要求永久保留的,一般会有合规要求和业务要求,超过一定期限的可以删除,以释放空间,提…

VP Codeforces Round 944 (Div 4)

感受&#xff1a; A~G 其实都不难&#xff0c;都可以试着补起来。 H看到矩阵就放弃了。 A题&#xff1a; 思路&#xff1a; 打开编译器 代码&#xff1a; #include <iostream> #include <vector> #include <algorithm> #define int long long using na…

ETL(抽取、转换、加载)

ETL&#xff08;抽取、转换、加载&#xff09; 目录 ETL&#xff08;抽取、转换、加载&#xff09; 1.抽取&#xff08;Extract&#xff09; 2.转换&#xff08;Transform&#xff09; 3. 加载&#xff08;Load&#xff09; 4.ETL 工具和技术 5.总结 ETL&#xff08;抽取、转…

编写Spring项目:流程与思路指南

编写Spring项目&#xff1a;流程与思路指南 本文以初级工程师的视角&#xff0c;介绍了Spring项目开发的全流程&#xff0c;从项目初始化到部署上线&#xff0c;每一步骤都配有必要的指导和建议。希望这份指南能够帮助初级工程师快速上手Spring项目开发&#xff0c;并在未来的…

【机器学习】数据分析特征

参考来源&#xff1a;https://www.bilibili.com/video/BV1nt411r7tj 1.数据质量分析 缺失值 异常值&#xff1a;箱线图 一致值&#xff08;多数据源不一致&#xff09; 2.图像可视化 占比&#xff1a;饼图、气泡图&#xff08;2-5维&#xff09; 波动图&#xff1a;折线…

Windows Docker 使用 httpd 部署静态 Web 站点

一、简介 httpd 是 Apache超文本传输协议&#xff08;HTTP&#xff09;服务器的主程序&#xff0c;是一个独立运行的后台进程&#xff0c;专门负责处理 HTTP 请求。它通过建立子进程或线程的池来高效管理请求&#xff0c;确保服务器能够迅速响应客户端的需求。httpd 因其高效率…

MySQL查询篇-聚合函数-窗口函数

文章目录 distinct 关键字聚合函数常见的聚合函数group by和having 分组过滤 窗口函数with as窗口聚合函数排名窗口函数值窗口函数 distinct 关键字 distinct 去重数据&#xff0c;ps:null值也会查出来 select distinct column from table;聚合函数 常见的聚合函数 select …

[AutoSar]BSW_Diagnostic_002 DCM模块介绍

目录 关键词平台说明背景一、DCM所处架构位置二、DCM 与其他模块的交互三、DCM 的功能四、DCM的内部子模块4.1 Diagnostic Session Layer (DSL)4.1 DSL 与其他模块的交互 4.2 Diagnostic Service Dispatcher (DSD)4.3 Diagnostic Service Processing (DSP)4.4 小结 关键词 嵌入…

linux程序分析命令(二)

linux程序分析命令(二) **ldd&#xff1a;**用于打印共享库依赖。这个命令会显示出一个可执行文件所依赖的所有共享库&#xff08;动态链接库&#xff09;&#xff0c;这对于解决运行时库依赖问题非常有用。**nm&#xff1a;**用于列出对象文件的符号表。这个命令可以显示出定…

Python元类:深入解析及其在框架开发中的应用

Python元类&#xff1a;深入解析及其在框架开发中的应用 一、引言 在Python中&#xff0c;元类&#xff08;Metaclass&#xff09;是一个高级特性&#xff0c;它允许我们控制类的创建过程。虽然在日常编程中&#xff0c;元类的使用可能并不频繁&#xff0c;但在框架开发、ORM…

莆田市C++专项选拔第二轮题4

题4&#xff1a;变换阵型 【题目描述】 盛隆同学刚学完C的二维数组和函数部分&#xff0c;于是他自己写了2个函数对二维数组进行练习。两个函数如下&#xff1a; int n, a[1005][1005]; // 注意&#xff0c;这里的n和数组a是全局变量 void f1() {for (int i 1; i < n; i)…

Python实现网页保持登录状态的技术方案及实际需求案例

文章目录 1. 使用Cookies直接管理2. 使用Web自动化工具3. 利用API Tokens4. 利用OAuth和其他认证机制5.Python实际需求案例5.1 方法一:多线程实现实现策略示例代码注意事项5.2 方法二:单例实现使用单例模式单例展示配合需求使用单例Python代码实现单例模式的优缺点5.3 方法一…

react 类组件 和 函数组件 声明周期 对比

React 的类组件和函数组件在生命周期方面存在一些差异。以下是它们之间的对比&#xff1a; 类组件的生命周期 React 类组件的生命周期可以分为三个阶段&#xff1a;挂载、更新和卸载。 1、挂载阶段&#xff1a; constructor()&#xff1a;组件实例化时调用&#xff0c;用于…

CNOCR和PaddleOCR提取pdf中文字-个人记录

目录 一、PyMuPDF 二、CNOCR 三、PaddleOCR 四、Tesseract&#xff08;没试&#xff09; 一、PyMuPDF 1.安装PyMuPDF pip install pymupdf 2.pdf转txt样例 import os import datetime import fitz # fitz就是pip install PyMuPDFdef pyMuPDF_fitz(pdfPath):startTime_p…

47岁古天乐唯一承认女友约「御用阿妈」过母亲节

日前关宝慧在IG晒出一张聚会照&#xff0c;并写道&#xff1a;「预祝各位#母亲节快乐&#x1f339;#dinner #happy #friends #好味」相中所见&#xff0c;前TVB金牌监制潘嘉德、卢宛茵、黄&#x28948;莹、黎萨达姆都有出席饭局。 当中黄&#x28948;莹身穿卡其色西装褛&…

blender 为世界环境添加纹理图像

1、打开世界环境配置项 2、点击颜色右侧的黄色小圆&#xff0c;选择环境纹理 3、打开一张天空图像 4、可以通过调整强度/力度&#xff0c;调整世界环境的亮度

《工具分享-整合功能网页》标星5.3k⭐开发人员的在线工具集:it-tools

IT Tools - 为方便开发人员提供的在线工具 部署自己的it-tools: 有两个版本&#xff0c;目前有中文支持。 直接部署使用docker指令获取出来的是英文的&#xff1a; 英文版&#xff1a; docker run -d --name it-tools --restart unless-stopped -p 8080:80 corentinth/it-…

TCP服务器实现将客服端发送的信息广播发送(使用内核链表管理客户端信息)

目录 1.服务器端实现思路 2.服务器端代码 3.客户端代码 4.内核链表代码 5.运行格式 一、服务器端 二、客户端 6.效果 1.服务器端实现思路 Tcp广播服务初始化 等待客户端连接 广播发送 2.服务器端代码 #include "list.h" #include <signal.h> #def…

基于数据挖掘与机器学习揭秘脱发主因

&#x1f31f;欢迎来到 我的博客 —— 探索技术的无限可能&#xff01; &#x1f31f;博客的简介&#xff08;文章目录&#xff09; 基于数据挖掘与机器学习揭秘脱发主因 目录 一、绪论背景描述数据说明内容大概 二、导入包以及数据读取三、数据预览四、探究导致脱发的因素4.1…

连续因子要点和难点具体应用和代码实例

连续因子是指在实验设计或数据分析中,表示可以在一定范围内连续变化的自变量或因素。与离散因子不同,连续因子的取值是无限的,并且可以是任意精度的实数值。在实验设计和统计分析中,连续因子通常用于探索变量之间的关系、预测结果或优化系统性能。 要点和难点: 要点: …