【C++技能树】多态解析

news2025/1/16 19:07:37

在这里插入图片描述
Halo，这里是Ppeua。平时主要更新C++，数据结构算法，Linux与ROS…感兴趣就关注我bua！

文章目录

  • 0.多态的概念
    • 0.1 多态的定义
  • 1. 重写
  • 2.Final与Override
  • 3.抽象类
  • 4.多态中的内存分布.
    • 4.1虚表存在哪里?
  • 5.多态调用原理
    • 5.1 动态绑定与静态绑定
  • 6.继承中的虚函数表
    • 6.1单继承中的虚函数表
    • 6.2多继承中的虚函数表

在这里插入图片描述

0.多态的概念

试想下这个场景,不同身份的人去买票,相同的函数会执行不同的行为.这就需要多态去完成

多态:顾名思义一个类中函数的多种状态.

先来看看下面这个例子:

class Person{
public:
    virtual void BuyTicket()
    {
        cout<<"买票全价"<<endl;
    }
    virtual ~Person()
    {
        cout<<"~person()"<<endl;
    }
};
class Student:virtual public Person
{
public:
    virtual void BuyTicket()
    {
        cout<<"买票半价"<<endl;
    }
    virtual ~Student()
    {
        cout<<"~student()"<<endl;
    }
};
void buyticket(Person *p1)
{
    p1->BuyTicket();   
}

当在buyticket中传入student类型的地址与传入Person类型的地址会执行不同的行为.

传入Person:会输出买票全价

传入Student:会输出买票半价

这就是多态的具体行为.会根据传入对象的不同执行不同的行为.

0.1 多态的定义

在基类需要重写的函数前加上virtual.

在派生类中想要达到重写的函数前也加上virtual.(可加可不加),之后保持与基类中函数相同的返回值,函数名,参数列表即可完成重写.

在调用时需要通过基类的指针或者引用来调用(将想要调用的类赋值到父类的指针或者引用,调用相同的函数.即可完成多态)

有一个例外:返回值可不一定需要相同,可以为父类或子类对象的指针或引用(要同为指针,或者同为引用),称为协变

所以多态就是:不同对象传递,调用不同的函数.多态调用看指向的对象.具体是什么内容 ,而不是看当前类型.

48410c494a8f224dac0bd406a27a6dd

1. 重写

析构函数无论加不加virtual都完成重写

class Person{
public:
    virtual Person& BuyTicket()
    {
        cout<<"买票全价"<<endl;
    }
     ~Person()
    {
        cout<<"~person()"<<endl;
    }
};
class Student:virtual public Person
{
public:
    virtual Student& BuyTicket() 
    {
        cout<<"买票半价"<<endl;
    }
     ~Student()
    {
        cout<<"~student()"<<endl;
    }
};

这是因为编译器对析构函数进行了处理,在编译阶段都重命名为了Destructor,所以他们为同名函数.

为什么要进行这么处理呢?

当用父类指针去调用子类对象时,使用delete时,若无多态则只会把父类的成员属性删除.并不会删除子类的.

Person* p=new Person;
delete p;
p=new Student;
//析构错误 不多态则没有调到派生类的析构
delete p;  //p->destructor+operator delete p

2.Final与Override

不想让一个函数被重写时可以在其后加上final,此时会从语法来检查该函数是否被重写.

检查一个函数是否满足重写的条件可以在其后加上override,用来检查是否满足重写的条件

class Person{
public:
    // virtual void BuyTicket() final
    // {
    //     cout<<"买票全价"<<endl;
    // }
    virtual Person& BuyTicket()
    {
        cout<<"买票全价"<<endl;
    }
     ~Person()
    {
        cout<<"~person()"<<endl;
    }
};
class Student:virtual public Person
{
public:

    virtual Student& BuyTicket() override
    {
        cout<<"买票半价"<<endl;
    }
     ~Student()
    {
        cout<<"~student()"<<endl;
    }
};

3.抽象类

多态也叫接口继承，也就是只继承基类的函数接口,内容自己重新写.普通函数的继承是一种实现继承

那么我们也可以设计一个只提供接口的类.那么就是抽象类

在一个虚函数中最后加上=0 则成为 纯虚函数,包含纯虚函数的类则称为抽象类.

class Car
{
public:
		virtual void Drive() = 0;
};

抽象类不能用来实例化对象,只能用来当作基类提供接口

4.多态中的内存分布.

根据上面的介绍,我们对多态的使用已经有了初步的了解.

即在重定义的基础上加上一个virtual 以及满足三同(同名 同参数 同返回值)

那么在内存中多态是如何存储的?

class Person{
public:
	virtual void fun()
	{
		cout << "hello person";
	}
};
class Student :public Person{
	virtual void fun()override {
		cout << "hello student";
	}
	virtual void fun3() {
		cout << "hello student3";
	}
};
int main()
{
	Person* p1;
	Student s1;
	p1 = &s1;
	p1->fun();
}

这是一个多态调用的例子.我们通过vs2022来看看其在内存中是如何存储的.

image-20230903123709063

可以看到,其有一个vfptr(virtual fun ptr)虚表指针.其和我们之前继承中的虚基表有点类似.当中存储了一个完成重写的函数.fun

我们在内存中输入这个地址,可以发现其存储了两段地址.

image-20230903124449931

  1. 第一个为完成重写的fun的地址

  2. 第二个为自己的虚函数fun3的地址,但这在上图中的结构模型中并没有被看到.所以结构模型有时并不是完全可信的

    所以,自己的虚函数会直接放在第一个虚表的最后.

  3. 第三个表示虚表的结束(在vs2022中是这样表示的)

    综上可以看出,在实例化的时候,会将基类的虚表复制一份到派生类当中,若有重写的函数,则用重写完的函数地址去覆盖虚表中原函数的地址.所以在原理层中:也叫做 覆盖.

4.1虚表存在哪里?

虚表是存储在 栈区 堆区 静态区 还是常量区呢?

我们可以通过以下这个函数来验证

int main()
{
	Person p1;
	Student s1;
	int a = 0;
	printf("栈：%p", &a);
	cout << endl;
	int* b = new int[10];
	printf("堆:%p", b);
	cout << endl;

	const char* c = "hello world";
	printf("常量区%p", c);
	cout << endl;

	static int d = 10;
	printf("静态区%p", &d);
	cout << endl;

	printf("虚表1：%p", *((int*)&p1));
	cout << endl;
	printf("虚表2：%p", *((int*)&s1));
	cout << endl;
}

为什么这样区能取到虚表地址呢?通过取对应对象的地址,之后在进行强制转换为int,此时访问宽度为前四个字节(因为一个指针大小为四个字节).之后在对这个指针进行解引用就为虚表的地址*

我们运行这段代码,就可以发现,虚表存储在常量区

image-20230903125353911

5.多态调用原理

上文我们已经知道了,如何去调用多态.以及虚表存储的模型.下面是一个多态调用例子:

class Person{
public:
	virtual void fun()
	{
		cout << "hello person";
	}
};
class Student :public Person{
	virtual void fun()override {
		cout << "hello student";
	}
};
int main()
{
	Person* p1;
	Student s1;
	p1 = &s1;
	p1->fun();
}

根据前面所学可以看出,当我调用p1->fun()时,由于p1里面存的是s1的地址,所以这里就会取到s1的虚表中f1的地址,完成多态调用

所以多态是在运行的时候动态确定需要执行的函数

5.1 动态绑定与静态绑定

  1. 静态绑定又称为前期绑定(早绑定)，在程序编译期间确定了程序的行为，也称为静态多态.比如：函数重载

  2. 动态绑定又称后期绑定(晚绑定)，是在程序运行期间，根据具体拿到的类型确定程序的具体行为，调用具体的函数，也称为动态多态

6.继承中的虚函数表

下面将从两个部分:多继承与单继承中的虚函数表来划分

6.1单继承中的虚函数表

在上文中可以知道,自己定义的虚函数,还没被重写之前是不会被放进虚表的.所以我们要研究这个存储就必须手动访问函数地址.

我们先重命名下函数的指针,方便后期调用:

typedef void(*FUNC_PTR)();

注意:这里的函数返回值为void,参数为空.将其重命名为FUNC_PTR

所以我们通过这样的方式去强行访问类中虚表存储的函数

class Person{
public:
	virtual void fun1()
	{
		cout << "Person::fun1";
	}
	virtual void fun2()
	{
		cout << "Person::fun2";
	}
	virtual void fun3()
	{
		cout << "Person::fun3" ;
	}
};
class Student :public Person{
	virtual void fun1()override {
		cout << "Student::fun1()";
	}
	

	virtual void fun3()
	{
		cout << "Student::fun3()";
	}
	virtual void fun4()
	{
		cout << "Student::fun4()";
	}
};
typedef void(*FUNC_PTR)();
void printvft(FUNC_PTR* table)
{
	for (int i = 0; table[i] != nullptr; i++)
	{
		printf("%d->%p", i, table[i]);
		FUNC_PTR f=table[i];
		f();
		cout << endl;
	} 
}
int main()
{
	Student s1;
	Person p1;
	cout << "person:" << endl;
	int vft = *((int*)&p1);
	printvft((FUNC_PTR*)vft);
	cout << "student:" << endl;
	vft = *((int*)&s1);
	printvft((FUNC_PTR*)vft);
}

其中vft的赋值原理是,我们知道虚表地址是存在对象中的前四个位,所以我们用int*去取.之后解引用就是他的地址,存入到int当中,此时的 vft就是存储的地址,如何用这个地址去访问其中的函数即可.上面我们知道,在虚表的结束位置,会设置为0.所以我们可以以此来判断

运行结果:

image-20230905161534648

在上面的函数中,只有fun1和fun3被Student完成了重写.

所以我们可以得出一个结论:

在单继承模型中,派生类会复制一份基类的虚表到自己中,若有重写函数,则用新的重写函数地址覆盖原函数地址 而不是直接对基类虚表直接进行修改,自己新的虚函数则跟在后面

6.2多继承中的虚函数表

class Person{
public:
	virtual void fun1()
	{
		cout << "Person::fun1";
	}
	virtual void fun2()
	{
		cout << "Person::fun2";
	}
	virtual void fun3()
	{
		cout << "Person::fun3" ;
	}
};
class People {
public:
	virtual void fun1()
	{
		cout << "People::fun1";
	}
	virtual void fun2()
	{
		cout << "People::fun2";
	}
	virtual void fun3()
	{
		cout << "People::fun3";
	}
};

class Student :public Person,public People
{
	virtual void fun1() {
		cout << "Student::fun1()";
	}
	
	virtual void fun4()
	{
		cout << "Student::fun4()";
	}
};
typedef void(*FUNC_PTR)();
void printvft(FUNC_PTR* table)
{
	for (int i = 0; table[i] != nullptr; i++)
	{
		printf("%d->%p", i, table[i]);
		FUNC_PTR f=table[i];
		f();
		cout << endl;
	} 
}
int main()
{
	Student s1;
	Person p1;
	People peo;
	cout << "person:" << endl;
	int vft = *((int*)&p1);
	printvft((FUNC_PTR*)vft);
	cout << "people:" << endl;
	vft = *((int*)&peo);
	printvft((FUNC_PTR*)vft);
	cout << "student:" << endl;
	vft = *((int*)&s1);
	printvft((FUNC_PTR*)vft);
}

运行结果:

image-20230905163221242

我们在内存中看一下模型:

student中的person:

image-20230905163302648

student中的people:

image-20230905163312561

我们可以很容易发现,student是对person进行了重写,并把自己的未重写虚函数放在了第一张虚表的最后.

也就是:多继承模型中,派生类会在第一个继承的基类上进行重写,并且将自己未重写的虚函数放在其表尾
image-20230905164632777

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

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

相关文章

解锁前端Vue3宝藏级资料 第一章 Vue3项目创建 3 (Vite 创建 vue项目 )

解锁前端Vue3宝藏级资料 第一章 Vue3项目创建 3 (Vite 创建 vue项目 )

目前&#xff0c;Vue.js 官网建议在创建新项目的时候要使用 Vite 而不是 Vue CLI&#xff0c;尽量在开发环境中以 Vite 它作为 Vue.js 的编译基础来使用。Vite 是 Vue.js 作者Evan You 制作的 webpack 的无捆绑替代品&#xff0c;Vite vue 方式很可能会成为未来的vue项目主流方…
阅读更多...
Spring学习|Spring配置：别名、import、依赖注入：构造器注入、Set方式注入（重点）、拓展方式注入

Spring学习|Spring配置：别名、import、依赖注入：构造器注入、Set方式注入（重点）、拓展方式注入

Spring配置 别名 我们可以在bean.xml中用alias标签给bean对象起一个别名&#xff0c;当我们在客户端通过context对象使用getBean方法获取对象时&#xff0c;可以通过这个别名获取&#xff0c;另一种方式是&#xff0c;可以在<bean标签后面加一个name&#xff0c;这个name后…
阅读更多...
js 根据键判断值

js 根据键判断值

最原始的写法&#xff1a; 改进后的写法&#xff1a; const DeviceTypeObj {SO2: "SO<sub>2</sub>",CO: "CO",NO: "NO",NO2: "NO<sub>2</sub>",O3: "O<sub>3</sub>", let value Dev…
阅读更多...
亿发软件：智慧门店商超系统，2023新零售POS数字运营一体化管理

亿发软件：智慧门店商超系统，2023新零售POS数字运营一体化管理

2023年9月6日&#xff0c;山东济宁一家超市因为酸奶价格标签错误而引发了广泛关注。标签原本显示几十个人为9.9元&#xff0c;但特价销售价却标为10元。这一小小的错误却在社交媒体上引发了轩然大波&#xff0c;让超市一度处于舆论的风口浪尖。超市工作人员回应&#xff0c;表示…
阅读更多...
Python基础语法：数据分析利器

Python基础语法：数据分析利器

⭐️⭐️⭐️⭐️⭐️欢迎来到我的博客⭐️⭐️⭐️⭐️⭐️ &#x1f434;作者&#xff1a;秋无之地 &#x1f434;简介&#xff1a;CSDN爬虫、后端、大数据领域创作者。目前从事python爬虫、后端和大数据等相关工作&#xff0c;主要擅长领域有&#xff1a;爬虫、后端、大数据…
阅读更多...
网络技术十四：文件传输协议

网络技术十四：文件传输协议

文件传输协议 FTP 定义 文件传输协议 客户端/服务器模型&#xff0c;具备身份验证功能 双TCP连接 端口 采用双TCP连接方式 控制连接: 21 用于传输FTP命令和执行信息 用于在FTP客户端和FTP服务器之间传输FTP控制命令及命令执行信息。控制连接在整个FTP会话期间一直保持打开…
阅读更多...
儿童安全门和围栏，以及游戏围栏等美国站要求的合规标准是什么?

儿童安全门和围栏，以及游戏围栏等美国站要求的合规标准是什么?

儿童安全门和围栏 儿童安全门和围栏用于在门口&#xff08;如门道&#xff09;内设置围栏&#xff0c;或用作自支撑围栏&#xff0c;将幼儿可能在其中活动的区域围起来。这些商品可能由塑料、金属、乙烯树脂或木制组件等材料制成。此政策包括但不限于可扩展围栏、伸缩安全门和…
阅读更多...
【系统设计系列】 负载均衡和反向代理

【系统设计系列】 负载均衡和反向代理

系统设计系列初衷 System Design Primer&#xff1a; 英文文档 GitHub - donnemartin/system-design-primer: Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards. 中文版&#xff1a; https://github.com/donnemart…
阅读更多...
uniapp使用H5实现预览pdf文件

uniapp使用H5实现预览pdf文件

下载后把压缩包解压到自己的项目的static文件夹下的pdf文件下&#xff0c;如图 新建一个文件名为filePreview.vue <template><view><web-view :src"allUrl"></web-view></view> </template><script>export default {dat…
阅读更多...
老师设计的库CRC计算

老师设计的库CRC计算

001 CRC计算 C0 67 E1 00 01 00 DE DD C1 未加粗的代入计算 data_len USART_RX_BUF[3] * 256 USART_RX_BUF[4] 8;//这里数组第3个和第4个计算长度 综合上面的 00 01 计算结果为“9” crc_result check_calc_crc16(data_len, USART_RX_BUF); //crc_result结果:0正确;1错误…
阅读更多...
【HTML专栏1】语法规范、基础结构标签

【HTML专栏1】语法规范、基础结构标签

本文属于HTML/CSS专栏文章&#xff0c;适合WEB前端开发入门学习&#xff0c;详细介绍HTML/CSS如果使用&#xff0c;如果对你有所帮助请一键三连支持&#xff0c;对博主系列文章感兴趣点击下方专栏了解详细。 博客主页&#xff1a;Duck Bro 博客主页系列专栏&#xff1a;HTML/CS…
阅读更多...
网络技术十八：VLAN间路由静态路由路由协议概述

网络技术十八：VLAN间路由静态路由路由协议概述

VLAN间路由 定义 指导设备对不同vlan间进行三层数据转发 实现方式 单臂路由 交换机上划分多个VLAN 路由器单线连接到交换机 路由器接口 划分若干子接口&#xff0c;子接口的IP为下连vlan的网关&#xff0c;并绑定相应vlan 交换机接口 配置TRUNK&#xff0c;允许所有v…
阅读更多...
数据库顶会 VLDB 2023 论文解读：字节跳动如何解决超大规模流式任务运维难题

数据库顶会 VLDB 2023 论文解读：字节跳动如何解决超大规模流式任务运维难题

本文解读了新加坡国立大学马天白教授团队、字节跳动基础架构-计算-流式计算团队联合发表在国际数据库与数据管理顶级会议 VLDB 2023 上的论文“StreamOps: Cloud-Native Runtime Management for Streaming Services in ByteDance”&#xff0c;介绍字节跳动内部基于数万 Flink …
阅读更多...
vue使用谷歌地图实现地点查询

vue使用谷歌地图实现地点查询

效果 代码 首先在index.html中引入谷歌地图资源 <script src"https://maps.googleapis.com/maps/api/js?key你的api密钥&librariesplaces"></script>页面中 <template><div class"pac-card div-style" id"pac-card"…
阅读更多...
OpenResty介绍及实现限流

OpenResty介绍及实现限流

1 背景描述 Nginx作为一个高性能的Web服务器和反向代理服务器&#xff0c;已经稳定运行了多年。然而&#xff0c;考虑到后续分馆流量的接入&#xff0c;会对我们的系统造成难以预估的影响&#xff0c;因此在网关层对流量进行监控并管理就显得格外重要。本次调研目标为OpenRest…
阅读更多...
【PowerQuery】Excel的PowerQuery的连接组的导入与导出

【PowerQuery】Excel的PowerQuery的连接组的导入与导出

完成我们当前的数据连接之后，如果使用数据的用户不在本机该怎么办呢？这时候通常有两种方式来实现对于需要的数据访问。 将文件本身提供给最终用户如果数据文件本身不涉及到敏感数据连接定义，或者需要数据脱敏操作则比较适合使用这种方法提供给最终用户。但是如果使用的数据有…
阅读更多...
IT运维监控系统和网络运维一样吗

IT运维监控系统和网络运维一样吗

IT运维监控系统和网络运维不是一样的。IT运维监控系统是一系列IT管理产品的统称&#xff0c;它所包含的产品功能强大、易于使用、解决方案齐全&#xff0c;可一站式满足用户的各种IT管理需求。而网络运维是指对网络设备进行监控、维护和管理&#xff0c;包括硬件故障的排除、软…
阅读更多...
idea VCS配置多个远程仓库

idea VCS配置多个远程仓库

Idea VCS配置多个远程仓库 首先要有连个远程仓库地址 idea 添加数据源 查看推送记录 添加数据源 ok之后填写账号密码 推送本地项目 选择不同远程地址 push 查看不同远程地址的 不同分支的 推送记录 不期而遇的温柔&#xff1a; 应用开源架构进行项目开发&#xff0c;特别是那…
阅读更多...
android 注解详解

android 注解详解

1&#xff0c;注解的概念 注解现在广泛的应用于android的各个开源框架中&#xff0c;不理解注解&#xff0c;我们就无法更好的提升我们的架构能力。那么什么是注解呢&#xff1f;注解&#xff08;Annotation&#xff09;&#xff0c;是JDK5.0 引入的一种注释机制。 注解是元数…
阅读更多...
印刷企业如何利用MES管理系统改善生产计划

印刷企业如何利用MES管理系统改善生产计划

随着科技的发展&#xff0c;印刷MES管理系统正在逐渐改变印刷企业的生产管理模式。印刷MES管理系统是一种用于监控、协调、优化生产流程的系统&#xff0c;它能够提供实时、准确的数据&#xff0c;帮助企业管理者做出更好的生产决策。本文将探讨印刷企业如何利用MES管理系统改善…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023