【C++笔记】C++多态

news2024/12/23 8:37:56

【C++笔记】C++多态

  • 一、多态的概念及实现
    • 1.1、什么是多态
    • 1.2、实现多态的条件
    • 1.3、实现继承与接口继承
    • 1.4、多态中的析构函数
    • 1.5、抽象类
  • 二、多态的实现原理

一、多态的概念及实现

1.1、什么是多态

多态的概念:

在编程语言和类型论中,多态(英语:polymorphism)指为不同数据类型的实体提供统一的接口。多态类型(英语:polymorphic type)可以将自身所支持的操作套用到其它类型的值上。
计算机程序运行时,相同的消息可能会送给多个不同的类别之对象,而系统可依据对象所属类别,引发对应类别的方法,而有不同的行为。简单来说,所谓多态意指相同的消息给予不同的对象会引发不同的动作。
多态也可定义为“一种将不同的特殊行为和单个泛化记号相关联的能力”。
多态可分为变量多态与函数多态。变量多态是指:基类型的变量(对于C++是引用或指针)可以被赋值基类型对象,也可以被赋值派生类型的对象。函数多态是指,相同的函数调用界面(函数名与实参表),传送给一个对象变量,可以有不同的行为,这视该对象变量所指向的对象类型而定。因此,变量多态是函数多态的基础。

多态的概念:通俗来说,就是多种形态, 具体点就是去完成某个行为,当不同的对象去完成时会
产生出不同的状态 。
举个例子:比如 买票这个行为 ,当 普通人 买票时,是全价买票; 学生 买票时,是半价买票; 军人
买票时是优先买票。

1.2、实现多态的条件

实现多态的两个条件:

1、被调用的函数必须是虚函数,子类对父类的虚函数进行重写 (重写:三同(函数名/参数/返回值)+虚函数)
2、父类指针或者引用去调用虚函数。

举个例子:
在这里插入图片描述
这时候就实现了多态,即指向子类对象就调用子类对象的函数,如果指向的是父类对象,就调用的是父类对象的函数:
在这里插入图片描述
其实C++这里还有一个特殊情况,就是如果父类的同名函数加上了virtual修饰了,那么子类的同名函数就算不加virtual也是虚函数了,即也构成多态:
在这里插入图片描述
但我个人感觉函数加上的好,因为可能会形成误导。

强调:一定要是父类的指针或引用调用,如果是对象就变成了普通调用了:
在这里插入图片描述
此外虚函数的重写也还要满足三同:函数名、参数、返回值相同,只要有其中一个不满足也会变成普通调用。

但是这里还有非常尴尬的例外:“协变”,含义是虚函数的返回值类型可以不同,但又一个条件:子类和父类的返回值类型也必须是父子关系指针和引用。
在这里插入图片描述
其实“协变”也是C++常常被诟病的一点,因为它的应用场景实在太局限了,我也是感觉它有点儿多余了,我们只需要了解一下即可。

1.3、实现继承与接口继承

普通函数的继承实际上是一种实现继承,也就是继承了函数的逻辑:
例如:
在这里插入图片描述
这里继承的是函数的实现,所以变量_a改变了,输出的结果也就改变了。
而虚函数继承的是函数的接口,也就是父类和子类的接口是一样的,只是实现的逻辑不一样。其目的主要是为了重写,达成多态。
例如:
在这里插入图片描述
因为这里继承的只是接口,而实现逻辑是不同的,所以打印出来的内容也就不同。也就实现了多态。
之所以说是子类继承了父类的接口,是因为如果我们改变子类中的虚函数的默认参数是不起作用的:
在这里插入图片描述
所以这也就解释了为什么子类的虚函数没有加virtual也依然是虚函数,因为其接口就是继承了父类的。

1.4、多态中的析构函数

我们先来看一个现象:
在这里插入图片描述
相信大家都能看出这段代码的问题,这很明显值是一个普通调用。但是它new了一个B对象却只调用了A类的析构函数,这岂不是有内存泄漏的风险?
那该怎么解决这个问题呢?如果要将析构函数也实现成多态的调用的话,那子类和父类的析构函数名不可能相同啊,不是冲突了?

C++正是为了解决这个问题,对构造函数进行了一些处理:
因为多态的原因,编译器在底层会将析构函数的函数名统一处理成destructor()。
所以我们表面上看到的析构函数是是不同名的,实际在底层他们都叫destructor(),所以也就能实现多态了:
在这里插入图片描述

1.5、抽象类

在虚函数的后面写上 =0 ,则这个函数为纯虚函数。包含纯虚函数的类叫做抽象类(也叫接口类),抽象类不能实例化出对象。
抽象类还有以下三个注意点:

1、子类继承抽象类后也不能实例化出对象,只有重写纯虚函数,子类才能实例化出对象。
2、父类的纯虚函数强制了派生类必须重写,才能实例化出对象。
3、纯虚函数也可以写实现{ },但没有意义,因为是接口继承,而子类被强制了重写纯虚函数,所以{ }中的实现会被重写;父类没有对象,不能调用父类的实现,所以父类实现纯虚函数也就没有意义了。

其实各种抽象的事物都可以定义成抽象类,比如人、动物、汽车、水果……,也就是它不具体指哪一个事物,只是抽象的代表默写事物的总体特征。

比如说动物:
在这里插入图片描述

二、多态的实现原理

这里有一个类,我们试试来求一下它的大小:
在这里插入图片描述
首先要说一点,不管是普通成员函数还是虚函数都是不储存在类里面的,都是存在代码段的。
可这里的类的大小为什么是8字节呢?不应该是4字节吗?
说明类里面一定还存了别的什么东西,我们可以到监视窗口看看:
在这里插入图片描述
我们会发现除了成员_a之外还多了一个_vfptr的东西,这个其实是一个虚表指针,它的本质是一个数组指针,指向一个函数指针数组,而被指向的这个函数指针数组就是虚表。
由于平台的不同,虚表的位置也有可能不同,有的实在类的最前面有的可能是在类的最后面。
一个含有虚函数的类至少有一个虚表指针。
我们可以到内存中去仔细的看看A类的结构:
在这里插入图片描述
然后我们可以来看看虚表中到底有什么:
在这里插入图片描述
所以我们可以来打印一下虚表中的内容,看看它们是不是函数的地址,如果是的话试试调用它:
在这里插入图片描述
从结果来看确实是函数的地址,因为所有的虚函数的地址都会存进虚表,所以这里会打印四个。

有了上面的铺垫我们就可以来解释多态的真正原理了。
我们先让一个B类继承A类,并重写func函数:
在这里插入图片描述
然后我们再取出A类和B类的虚表对比看看:
在这里插入图片描述
我们发现两个对象中的虚表里,只有被重写的func()函数的地址不同,而没有重写的print1()的地址则相同。所以虚函数的重写也被称为是虚函数的覆盖(其实是虚函数表的覆盖)。

有了以上的铺垫,在我提出以下结论的时候,才会逻辑自掐:
多态的实现机制其实就是,傻傻地通过虚表指针找到虚表,再找到对应的虚函数。

之所以这种“傻傻”的行为能成功,是因为在父类指针或引用指向子类的时候会发生“切片”:
在这里插入图片描述
A类的指针只会指向B对象中A类部分的内容,所以也就只会在A类部分的虚表中查找。就算B类有多张虚表(当B类有多个直接父类时候就会有多张虚表)。父类A的指针通过切片之后也只会指向A类部分。
且因为,虚表的位置在某个类中都是固定的,所以偏移量也都是固定的,所以B类有多少个直接父类,他们父类的指针的寻址操作也都是统一的。

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

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

相关文章

零基础Linux_24(多线程)线程同步+条件变量+生产者消费模型_阻塞队列版

目录 1. 线程同步和生产者消费者模型 1.1 生产者消费者模型的概念 1.2 线程同步的概念 1.3 生产者消费者模型的优点 2. 线程同步的应用 2.1 条件变量的概念 2.2 条件变量操作接口 3. 生产者消费者模型_阻塞队列 3.1 前期代码(轮廓) 3.2 中期代…

Starknet开发工具

1. 引言 目前Starknet的开发工具流可为: 1)Starkli:音为Stark-lie,为替换官方starknet-CLI的快速命令行接口。Starkli为单独的接口,可独自应用,而不是其它工具的组件。若只是想与Starknet交互&#xff0…

C语言 定义一个函数,并调用,该函数中打印显示直角三角形

#include<stdio.h> void chengfabiao() {for (int i 1; i < 5; i){for (int j 1; j < i; j){printf("*");} printf("\n");} } int main(int argc,const char *argv[]) {chengfabiao();return 0; }

leetCode 136.只出现一次的数字 + 位运算

136. 只出现一次的数字 - 力扣&#xff08;LeetCode&#xff09; 给你一个 非空 整数数组 nums &#xff0c;除了某个元素只出现一次以外&#xff0c;其余每个元素均出现两次。找出那个只出现了一次的元素。你必须设计并实现线性时间复杂度的算法来解决此问题&#xff0c;且该算…

SpringBoot面试题8:运行 Spring Boot 有哪几种方式?Spring Boot 需要独立的容器运行吗?

该文章专注于面试,面试只要回答关键点即可,不需要对框架有非常深入的回答,如果你想应付面试,是足够了,抓住关键点 面试官:运行 Spring Boot 有哪几种方式? 运行Spring Boot应用有多种方式,具体取决于你的需求和环境。以下是几种常见的运行Spring Boot应用的方式: 使…

Ubuntu学习---跟着绍发学linux课程记录(第4部分)

第3部份内容记录在&#xff1a;Ubuntu学习—跟着绍发学linux课程记录&#xff08;第3部分&#xff09; 文章目录 14 ubuntu服务器上的java14.1 Java的安装14.2 运行java程序14.3 Java启动脚本 15 ubuntu服务器上的tomcat15.1 Tomcat服务器15.2 Tomcat的配置15.3 Tomcat启动日志…

【多线程面试题十一】、如何实现子线程先执行,主线程再执行?

文章底部有个人公众号&#xff1a;热爱技术的小郑。主要分享开发知识、学习资料、毕业设计指导等。有兴趣的可以关注一下。为何分享&#xff1f; 踩过的坑没必要让别人在再踩&#xff0c;自己复盘也能加深记忆。利己利人、所谓双赢。 面试官&#xff1a;如何实现子线程先执行&a…

beyond compare 4密钥2023大全,beyond compare 4注册码最新

beyond compare 4是一款文件对比软件&#xff0c;可以快速比较文件和文件夹、合并以及同步&#xff0c;非常实用&#xff0c;一些用户想知道beyond compare 4密钥有哪些&#xff0c;本文为大家带来了介绍哦~ 密钥&#xff1a; w4G-in5u3SH75RoB3VZIX8htiZgw4ELilwvPcHAIQWfwf…

redis原理 主从同步和哨兵集群

主从库如何实现数据一致 我们总说的 Redis 具有高可靠性&#xff0c;又是什么意思呢&#xff1f;其实&#xff0c;这里有两层含义&#xff1a;一是数据尽量少丢失&#xff0c;二是服务尽量少中断。AOF 和 RDB 保证了前者&#xff0c;而对于后者&#xff0c;Redis 的做法就是增…

微服务框架Consul--新手入门

Consul Consul 是由 HashiCorp 开发的一款软件工具&#xff0c;提供了一组功能&#xff0c;用于服务发现、配置管理和网络基础设施自动化。它旨在帮助组织管理现代分布式和微服务架构系统的复杂性。以下是Consul的一些关键方面和功能&#xff1a; 服务发现&#xff1a;Consul …

[Python]unittest-单元测试

目录 unittest的大致构成: Test Fixture Test Case-测试用例 Test Suite-测试套件 Test Runner 批量执行脚本 makeSuite() TestLoader discover() 用例的执行顺序 忽略用例执行 skip skipIf skipUnless 断言 HTML测试报告 错误截图 unittest是python中的单元测…

禁用Google Chrome自动升级、查看Chrome版本号

问题 查看Chrome版本时&#xff0c;会自动升级&#xff0c;这个设计很垃圾,对开发者不友好&#xff1b;查看Chrome版本方法&#xff1a;chrome浏览器右上角—>自定义及控制Google Chrome(三个竖着的点号)------>帮助---->关于Google Chrome。 解决办法 禁用自动升级…

二叉树题目合集(C++)

二叉树题目合集 1.二叉树创建字符串&#xff08;简单&#xff09;2.二叉树的分层遍历&#xff08;中等&#xff09;3.二叉树的最近公共祖先&#xff08;中等&#xff09;4.二叉树搜索树转换成排序双向链表&#xff08;中等&#xff09;5.根据树的前序遍历与中序遍历构造二叉树&…

木疙瘩文字变形动画

H5-大 第一步 创建文字到新动画图层 第二步&#xff1a;直接在时间末尾插入变形动画帧 文字专属的参数和形状变化一样都是变形动画才可以动起来&#xff01;关键帧动画主要服务元件&#xff01; 第三步&#xff1a;改变文字参数即可&#xff01;

苍穹外卖-day03

苍穹外卖-day03 课程内容 公共字段自动填充新增菜品菜品分页查询删除菜品修改菜品 **功能实现&#xff1a;**菜品管理 菜品管理效果图&#xff1a; 1. 公共字段自动填充 1.1 问题分析 在上一章节我们已经完成了后台系统的员工管理功能和菜品分类功能的开发&#xff0c;在…

Linux C/C++ 实现网络流量分析(性能工具)

网络流量分析的原理基于对数据包的捕获、解析和统计分析&#xff0c;通过对网络流量的细致观察和分析&#xff0c;帮助管理员了解和优化网络的性能、提高网络安全性&#xff0c;并快速排查和解决网络故障和问题。 Linux中的网络流量常见类型 在Linux中&#xff0c;网络流量可以…

数组与链表算法-链表与多项式

目录 数组与链表算法-链表与多项式 多项式链表表示法 C代码 数组与链表算法-链表与多项式 使用链表的最大好处就是减少内存的浪费&#xff0c;并且能增加使用上的弹性。例如数学上常用的多项式表示法&#xff0c;虽然可以使用数组方式来处理&#xff0c;但当数据内容变动时…

AC修炼计划(AtCoder Regular Contest 164)

传送门&#xff1a;AtCoder Regular Contest 164 - AtCoder A.签到题&#xff0c;在此不做赘述 B - Switching Travel 这题本来该是秒的&#xff0c;但是因为没有考虑清楚环的问题而被卡半天&#xff0c;其实我们不难发现&#xff0c;要想使题目存在节点&#xff0c;就得让该节…

【PC电脑windows-学习样例generic_gpio-ESP32的GPIO程序-基础样例学习】

【PC电脑windows-学习样例generic_gpio-ESP32的GPIO程序-基础样例学习】 1、概述2、实验环境3、 物品说明4、自我总结5、本次实验说明6、实验过程&#xff08;1&#xff09;复制目录到桌面&#xff08;2&#xff09;手动敲写&#xff08;3&#xff09;反复改错&#xff08;4&am…

将知识图谱结合到地铁客流预测中:一个分散注意力关系图卷积网络

导读 论文题目《Combining knowledge graph into metro passenger flow prediction: A split-attention relational graph convolutional network 》。该论文于2023年发表于《Expert Systems With Applications》&#xff0c;文章基于知识图谱&#xff0c;提出了一种分割注意力…