C++进阶(2):多态

news2024/9/21 17:50:19

多态的概念

  1. 多态分为编译时多态(静态多态)和运行时多态(动态多态)
  2. **编译时多态:**主要就是我们前面讲的函数重载和函数模版。之所以叫编译时多态,是因为实参传给形参的参数匹配是发生在编译时完成的(ps:通常把编译时一般归为静态,运行时归为动态)
  3. **运行时多态:**就是去完成某个行为(函数),可以传不同的对象就会完成不同的行为,就达到多种形态。

多态的定义及实现

多态的构成条件

多态是一个继承关系 下的类对象,去调用同一函数,产生了不同的行为。

实现多态还有两个必要重要条件

  • 必须基类的指针或者引用调用虚函数
  • 被调用的函数必须是虚函数

说明:要实现多态的效果

  1. 必须是基类的指针或引用,因为只有基类的指针或引用才能既指向派生类对象,又指向基类对象
  2. 派生词必须对基类的虚函数重写/覆盖(三同),重写或者覆盖了,派生类才能有不同的函数,多态的不同形态效果才能达到。在这里插入图片描述

虚函数

类成员函数前面加virtual修饰,那么这个成为函数被称为虚函数。注意非成员函数不能加virtual修饰。

class Person
{
public:
	virtual void BuyTicket()
	{
		count<<"买票—全价"<<endl;
	}
};

虚函数的重写/覆盖

派生类中有一个跟基类完全相同的虚函数(即派生类虚函数与基类虚函数的返回值类型,函数名字,参数列表完全相同),称派生类的虚函数重写了基类的虚函数。

⚠️ 在重写基类虚函数时,派生类的虚函数在不加virtual关键字时,虽然也可以构成重写(因为继承后基类的虚函数被继承下来了在派生类依旧保持虚函数属性),但是该种写法不是很规范,不建议这样使用,不过在考试中,经常会故意买这个坑,让你判断是否构成多态。

class Person{
public:
	virtual void BuyTicket()
	{
		cout<<"买票-全价"<<endl;
	}
};

class class: public Person{
public:
	virtual void BuyTicket()
	{
		cout<<"买票-打折"<<endl;
	}
};

void Func(Person* ptr)//这里也可以用引用,那么在调用时不用取地址了
{
	//这里可以看到虽然都是Person的指针ptr在调用BuyTicket
	//但是跟ptr没关系,而是由ptr指向的对象决定的
	ptr->BuyTicket();
}

int main()
{
	Person ps;
	Student st;

	Func(&ps);
	Func(&st);
}

虚函数重写的一些其他问题

协变(了解)

派生类重写基类虚函数时,与基类虚函数返回值类型不同。即基类虚函数返回基类对象的指针或者引用,派生类虚函数返回派生类对象的指针或者引用时,称为协变

class A{};
class B:public A{};

class Person{
public:
	virtual A* BuyTicket()
	{
		cout<<"买票-全价"<<endl;
	}
};

class class: public Person{
public:
	virtual B* BuyTicket()
	{
		cout<<"买票-打折"<<endl;
	}
};

void Func(Person* ptr)
{
	ptr->BuyTicket();
}

int main()
{
	Person ps;
	Student st;

	Func(&ps);
	Func(&st);
}
析构函数的重写

基类的析构函数为虚函数,此时派生类析构函数只要定义,无论加不加virtual关键字,都与基类的析构函数构成重写。
虽然基类与派生类析构函数名字不同看起来不符合重写的规则,实际上编译器对析构函数的名称做了特殊处理,编译后析构函数的名称统一处理成destructor,所以基类的析构函数加了virtual修饰,派生类的析构函数就构成重写了。

class A
{
	public:
		virtual ~A()
		{
			count<<"~A()"<<endl;
		}
};

class B: public A
{
	public:
		(virtual) ~B()
		{
			count<<"~B()"<<endl;
			delete _p;
		}
	
	protected:
		int* _p=new int[10];
};

//只要派生类Student的析构函数重写了Person的析构函数,下面的delete对象调用析构函数,才能构成多态,才能保证p1和p2指向的对象正确的调用析构函数。
int main()
{
	A*p1=new A;
	A*p2=new B;

	delete p1;//destructor+operator delete
	delete p2;//先子后父

	return 0}

上面的代码我们可以看到,如果~A(),不加virtual,那么delete p2时只调用的A的析构函数,没有调用B的析构函数,就会导致内存泄露问题,因为~B()中在释放空间。

⚠️这个问题经常考察,一定要知道为什么基类中的析构函数建议设计成虚函数。

override和final关键字

C++对虚函数重写的要求较为严格,但是有些情况下由于疏忽,比如函数名写错参数写错等导致无法构成重写,而这种错误在编译期间是不会报出的,只有在程序运行时没有得到预期结果才来debug会得不偿失,因此C++11提供了两个关键字:

  1. override : 可以帮助用户检测是否重写
  2. final : 使派生类无法重写这个虚函数
//error C3668:"Benz::Drive":包含重写说明符’override‘的方法没有重写任何基类方法
class Car
{
public:
	virtual void Drive()
	{}
 };
 
 class Benz :public Car 
 {
 public:
	virtual void Drive() override 
	{ cout << "Benz-#" << endl; }
 };

int main()
{
	return 0;
}

//error C3248:“Car::Drive”:声明为‘final’的函数无法被"Benz::Drive"重写
class Car
{
public:
	virtual void Drive() final
	{}
 };
 
 class Benz :public Car 
 {
 public:
	virtual void Drive()  
	{ cout << "Benz-#" << endl; }
 };

int main()
{
	return 0;
}


重载/重写/隐藏的对比

在这里插入图片描述

纯虚函数和抽象类

在虚函数的后面写上“=0”,则这个函数称为纯虚函数。纯虚函数不需要定义实现,只要声明即可。包含纯虚函数的类称为抽象类,抽象类不能实例化出对象。如果派生类继承后如果不重写纯虚函数,那么派生类也是抽象类(继承了纯虚函数/重写才会导致继承类被替代)。纯虚函数在某种程度上强制了派生类重写虚函数,因为不重写无法实例化出对象

class Car
{
public:
	virtual void Drive()0};
 
 class Benz :public Car 
 {
 public:
	virtual void Drive()  
	{ cout << "Benz-舒适" << endl; }
 };

class BMW:public Car
{
public:
	virtual void Drive()
	{
		count<<"BMW-操控"<<endl;
	}
};

int main()
{
	Car car;//编译报错:error C2259:"Car":无法实例化抽象类

	Car* pBenz=new Benz;
	pBenz->Drive();
	
	Car* pBMW=new BMW;
	pBMW->Drive();
	
	return 0;
}

多态的原理

虚函数表指针

在一个虚函数中,除了有它的对象外,还多了一个__vfptr(virtual function table)放在对象的前面或者后面,对象中的这个指针叫做虚函数表指针。一个含有虚函数的类中至少都有一个虚函数表指针,因为一个类所有虚函数的地址要被放到这个类对象的虚函数表中,虚函数表也简称虚表。

数组->指针数组->函数指针数组

在这里插入图片描述

多态的原理

多态是如何实现的

从底层的角度Func函数中ptr->BuyTicket(),是如何作为ptr指向Person对象调用Person::BuyTicket,ptr指向Student对象调用Student::BuyTicket的呢?
在这里插入图片描述
ptr指向的Person对象 调用Person的虚函数
ptr指向的Student对象 调用Student的虚函数

通过上图我们可以看出,满足多态条件后,底层不再是编译时通过调用对象确定函数的地址,而是运行时到指向的对象的虚表中确定对应的虚函数的地址,这样就实现了指针或引用指向基类就调用基类的虚函数,指向派生类就调用派生类对应的虚函数。

动态绑定与静态绑定

  1. 静态绑定: 对不满足多态条件(指针或者引用+调用虚函数)的函数调用是在编译时绑定,也就是编译时确定调用函数的地址。
  2. 动态绑定: 满足多态条件的函数调用是在运行时绑定,也就是在运行时到指向对象的虚函数表中找到调用函数的地址。
    在这里插入图片描述

虚函数表

  1. 基类对象的虚函数表中存放基类所有虚函数的地址
  2. 派生类由两部分构成,继承下来的基类和自己的成员。一般情况下,继承下来的基类中有虚函数表指针,自己就不会再生成虚函数表指针。但是要注意的这里继承下来的基类部分虚函数表指针和基类对象的虚函数表指针不是同一个,就像基类对象的成员和派生类对象中的基类对象成员也是独立的。
  3. 同类型对象虚表共用,不同类型对象不共用虚表
  4. 派生类中重写的基类的虚函数,派生类的虚函数表中对应的虚函数就会被覆盖成派生类重写的虚函数地址。
  5. 派生类的虚函数表中包括,基类的虚函数地址,派生类重写的虚函数地址,派生类自己的虚函数地址 三个部分。
  6. 虚函数表本质是一个存虚函数指针的指针数组,一遍情况是这个数组最后放一个0x00000000标记。(这个C++并没有进行规定,各个编译器自行定义的。)
  7. 虚函数和普通函数一样,编译好后是一段指令,都是存在代码块 中,只是虚函数的地址又存放在虚函数表中。但是虚函数表的位置却没有明确的规定。
    在这里插入图片描述

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

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

相关文章

常见项目场景题1(数据量很大时如何去重,实现超时处理)

数据很多&#xff0c;限制内存&#xff0c;如何去重 对于大数据量去重的场景&#xff0c;我们可以考虑使用位图(Bitmap) Bitmap 是使用二进制来表示某个元素是否存在的数组。用0和1来表示存在与不存在 使用Bitmap的话&#xff0c;一个数字占用1bit&#xff0c;大大减少内存消耗…

JVM 调优篇8 调优案例5- 逃逸分析

一 逃逸分析 1.1 概念 逃逸分析的基本行为就是分析对象动态作用域&#xff1a;当一个对象在方法中被定义后&#xff0c;对象只在方法内部使用&#xff0c;则认为没有发生逃逸。当一个对象在方法中被定义后&#xff0c;它被外部方法所引用&#xff0c;则认为发生逃逸。例如作为…

打造未来企业:业务能力建模的实践应用与数字化转型的落地策略

在当今数字化迅速发展的时代&#xff0c;企业的转型迫在眉睫。通过数字技术提升运营效率、增强客户体验、优化资源配置成为了企业竞争的核心战略。《业务能力指南》为企业提供了清晰的业务能力建模框架&#xff0c;并指导企业如何将其应用于实际操作中&#xff0c;帮助企业在数…

(三)代码实现:Boustrophedon Cellular Decomposition Path Planning用珊格地图生成每个cell的覆盖路径

系列文章目录 提示&#xff1a;这里可以添加系列文章的所有文章的目录&#xff0c;目录需要自己手动添加 TODO:写完再整理 文章目录 系列文章目录前言算法原理方法一&#xff1a;全地图进行牛耕覆盖步骤方法二&#xff1a;区域分解地图进行牛耕覆盖步骤凸多边形基于栅格地图的…

Windows系统文件夹中的文件名排序

一天张三、李四的同事周五接到王哥的一个任务需求&#xff0c;有一个文件夹&#xff0c;里面有许多图片文件&#xff0c;网页访问某个分类展示文件的时候&#xff0c;王哥希望文件名的展示顺序可以按照Windows资源管理器中文件名升序排序的方式展示。 网站图片目录中有如下图片…

程序遇到问题错误bug时的13种解决方法途径总结以及之前的一些具体例子

目录 1 信心--没有解决不了的bug 2 耐心、不要着急、静下心来、用脑思考 2.1 开始解决问题前不要着急&#xff0c;先思考 2.2 在解决问题的过程中也不要着急&#xff0c;要冷静思考 3 网络搜索 4 大模型问答&#xff1a;必应、kimi、通义千问、文心一言 5 看芯片手册、S…

0921VGG网络实现

深度学习之VGG网络搭建 1.VGG动机2.VGG架构3.代码4.结论1.VGG动机 随着卷积网络在计算机视觉领域的快速发展,越来越多的研究人员开始通过改变模型的网络结构在提高在图像识别任务中的精度,例如使用更小的卷积核和步长[2]。基于类似的想法,论文作者提出可以尝试通过改变卷积…

【设计模式】创建型模式(三):单例模式

创建型模式&#xff08;三&#xff09;&#xff1a;单例模式 1.概念2.案例3.实现方式3.1 懒汉式&#xff0c;线程不安全3.2 懒汉式&#xff0c;线程安全3.3 饿汉式3.4 双检锁/双重校验锁&#xff08;DCL&#xff0c;Double-Checked Locking&#xff09;3.5 登记式/静态内部类3.…

俄罗斯OZON新生儿产品好不好卖,OZON新生儿产品

Top1 遥控水球坦克 Танк на радиоуправлении стреляющий орбизами PANAWEALTH 商品id&#xff1a;1384249985 月销量&#xff1a;692 欢迎各位OZON卖家朋友点击这里选品&#xff1a; &#x1f449; D。DDqbt。COm/74rD 遥控射击水…

【项目管理进阶】风险问题

前言 各位盆友&#xff0c;你们期待的项目管理进阶系列有新的消息&#xff0c;请注意查收&#xff0c;并反馈哦~ 在参加项目的过程中&#xff0c;你是否面临或参加过类似如下的场面&#xff1a; 为了立项&#xff0c;先调研市场、技术、社会、组织内部的现状为了科学的管理项目…

如何使用Claude进行Android App开发 —— 基于Jetpack和Compose的电影App实例

如何使用Claude进行Android App开发 —— 基于Jetpack和Compose的电影App实例 近年来&#xff0c;人工智能&#xff08;AI&#xff09;在软件开发中的应用越来越广泛&#xff0c;帮助开发者在设计、编码、测试和优化中提高生产效率。Claude是Anthropic开发的一款强大的AI助手&…

Redis的三种持久化方法详解

Redis持久化机制详解 | JavaGuide Redis 不同于 Memcached 的很重要一点就是&#xff0c;Redis 支持持久化&#xff0c;而且支持 3 种持久化方式: 快照&#xff08;snapshotting&#xff0c;RDB&#xff09;只追加文件&#xff08;append-only file, AOF&#xff09;RDB 和 A…

Vue使用axios二次封装、解决跨域问题

1、什么是 axios 在实际开发过程中&#xff0c;浏览器通常需要和服务器端进行数据交互。而 Vue.js 并未提供与服务器端通信的接口。从 Vue.js 2.0 版本之后&#xff0c;官方推荐使用 axios 来实现 Ajax 请求。axios 是一个基于 promise 的 HTTP 客户端。 关于 promise 的详细介…

C++:类和对象OJ题

目录 一、求123...n 二、计算日期到天数的转换 三、日期差值 四、打印日期 一、求123...n 这里先把题目链接放在这里求123.....n 描述&#xff1a; 求123...n&#xff0c;要求不能使用乘除法、for、while、if、else、switch、case等关键字及条件判断语句&#xff08;A?B:C…

鸿萌数据恢复服务: 修复 Windows, Mac, 手机中 “SD 卡无法读取”错误

天津鸿萌科贸发展有限公司从事数据安全服务二十余年&#xff0c;致力于为各领域客户提供专业的数据恢复、数据备份解决方案与服务&#xff0c;并针对企业面临的数据安全风险&#xff0c;提供专业的相关数据安全培训。 公司是多款国际主流数据恢复软件的授权代理商&#xff0c;为…

老年人养生之道:岁月静好,健康常伴

老年人养生之道&#xff1a;岁月静好&#xff0c;健康常伴 随着年岁的增长&#xff0c;老年人更需注重养生&#xff0c;以维持身心的和谐与健康&#xff0c;享受幸福晚年。养生不仅是一种生活态度&#xff0c;更是一种智慧的选择&#xff0c;它涵盖了饮食、运动、心理、社交等…

搜索引擎onesearch3实现解释和升级到Elasticsearch v8系列(一)-概述

简介 此前的专栏介绍Onesearch1.0和2.0&#xff0c;详情参考4 参考资料&#xff0c;本文解释onesearch 3.0&#xff0c;从Elasticsearch6升级到Elasticsearch8代码实现 &#xff0c;Elasticsearch8 废弃了high rest client&#xff0c;使用新的ElasticsearchClient&#xff0c;…

Hash入门-通过线性探测解决哈希冲突

unordered_set void test_unordered_set() {unordered_set<int> us;us.insert(4);us.insert(2);us.insert(1);us.insert(5);us.insert(6);us.insert(2);us.insert(2);//去重unordered_set<int>::iterator it us.begin();while (it ! us.end()){cout << *it…

Springboot使用ThreadPoolTaskScheduler轻量级多线程定时任务框架

简介&#xff1a; Spring注解定时任务使用不是很灵活&#xff0c;如果想要灵活的配置定时任务&#xff0c;可以使用xxl-job 或者 quartz等定时任务框架&#xff0c;但是过于繁琐&#xff0c;可能成本较大。所以可以使用ThreadPoolTaskScheduler来灵活处理定时任务 ThreadPoolT…

人工智能开发实战辅助诊断应用解析

内容导读 项目分析预备知识项目实战 一、项目分析 1、提出问题 随着人们生活水平的提升和健康意识的增强&#xff0c;民众定期进行身体健康体检已成为常态&#xff0c;这种早期的疾病检测和筛查可以及早发现身体里已经出现的异常体征信息&#xff0c;做出正确诊断和有效处理…