c++的特性——多态

news2025/6/3 23:42:19

目录

概念

多态实现条件

虚函数 

 虚函数的重写/覆盖

练习题

 析构函数的重写

override和final关键字

重载/隐藏/重载的区别

纯虚函数和抽象类

多态

虚函数表指针

 多态的原理 

动态绑定与静态绑定

虚函数表总结

前面学习了C++的三个特性中的两个特性，今天我们将学习它的最后一个特性——多态。

概念

多态，实际上就是多种形态，多态分为编译时多态（静态多态）和运行时多态（动态多态），

静态多态就是函数重载和函数模板。因为它们实参传给形参的参数匹配是在编译时完成的·。

动态多态就是传不同对象给函数就会完成不同的行为。

比如买票的行为，学生买的是学生票，普通人买的是全价票，军人优先买票。

#include<iostream>
using namespace std;
class Person
{
public:
	virtual void func()
	{
		cout << "全价购票" << endl;
	}
};
class Student:public Person
{
public:
	virtual void func()
	{
		cout << "学生优惠票" << endl;
	}
};
class Soldier:public Person
{
public:
	virtual void func()
	{
		cout << "优先购票" << endl;
	}
};
void BuyTicket(Person& person)
{
	person.func();
}
int main()
{
	Student John;
	BuyTicket(John);
	Soldier Amy;
	BuyTicket(Amy);
	return 0;
}

在上面我们发现Student类和Solider类都继承了Person类，但是它们中都有一个一模一样的成员函数，而且父类的函数并没有被隐藏，这是为什么呢？下面我们就来学习多态实现的条件。

多态实现条件

有两个必需条件：

1.基类的指针或者引用必须调用虚函数

2.被调用的函数必须是虚函数，并且完成了虚函数的重写/覆盖。

虚函数 

类中成员函数前面用virtual修饰的为虚函数。注意：非成员函数不能用virtual修饰。

 虚函数的重写/覆盖

虚函数的重写/覆盖：派⽣类中有⼀个跟基类完全相同的虚函数(即派⽣类虚函数与基类虚函数的返回值类型、函数名字、参数列表完全相同)，称派⽣类的虚函数重写了基类的虚函数。
注意：在重写基类虚函数时，派⽣类的虚函数在不加virtual关键字时，虽然也可以构成重写(因为继承后基类的虚函数被继承下来了在派⽣类依旧保持虚函数属性)，但是该种写法不是很规范，不建议这样使⽤，不过在考试选择题中，经常会故意买这个坑，让你判断是否构成多态。

练习题

以下程序输出结果是什么（）
A: A->0 B: B->1 C: A->1 D: B->0 E: 编译出错 F: 以上都不正确

class A
{
public:
virtual void func(int val = 1){ std::cout<<"A->"<< val <<std::endl;}
virtual void test(){ func();}
};
class B : public A
{
public:
void func(int val = 0){ std::cout<<"B->"<< val <<std::endl; }
};
int main(int argc ,char* argv[])
{
B*p = new B;
p->test();
return 0;
}

答案：B 解析：在test函数中调用了基态指针（*this）调用了虚函数（func），虽然派生类B类中func函数，没有virtual，但是还是和基类的func还是构成重写，所以存在多态。在test函数中A类指针指向的func函数，但是是B对象指向test函数，所以会调用B中的实现方式。所以val=1。

 析构函数的重写

像以下这段代码

class A
{
public:
	~A()
	{
		cout << "~A()" << endl;
	}
};
class B : public A
{
public:
	~B()
	{
		cout << "~B()" << endl;
	}
};
int main(int argc, char* argv[])
{
	A* a1 = new A;
	A* a2 = new B;
	delete a1;
	delete a2;
	return 0;
}

运行结果：

派生类 B 可能会分配额外的资源，如动态内存、文件句柄、网络连接等。如果只调用基类 A 的析构函数，而没有调用派生类 B 的析构函数，这些资源将无法被正确释放，从而导致内存泄漏或其他资源管理问题。我们发现在delete p2时，只调用了A的析构函数，没有调用B的析构函数。 但如果这两个类中存在多态关系就可以完全释放，只有将基类的析构函数声明为虚函数，才能保证在通过基类指针删除派生类对象时，能够正确地调用派生类的析构函数，进而先完成派生类的析构操作，再完成基类的析构操作，确保对象能够被完全销毁。那如何构成多态关系呢？

首先需要虚函数重写：

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

override和final关键字

C++对虚函数重写的要求比较严格，但有些情况下由于疏忽，比如函数名写错参数等导致无法构成重写，而这种错误在编译期间是不会报出，只有在程序运行时没有得到预期结果才debug，会得不偿失，因此C++11提供override来帮助用户检测是否冲重写。如果不想让派生类重写这个虚函数，那么可以用final去修饰。

override关键字演示：override加在派生类虚函数后面。 

class Car {
public:
	virtual void Dirve()
	{}
};
class Benz :public Car
{
public:
	virtual void Drive()override//与基类的虚函数名称不同，不构成重写
//报错：错误	C3668	“Benz::Drive”: 包含重写说明符“override”的方法没有重写任何基类方法
	{
		cout << "Benz" << endl;
	}
};
int main()
{
	return 0;
}

final关键字演示：加在基类成员函数名后面 

class Car {
public:
	//错误	C3248	“Car::Drive” : 声明为“final”的函数无法被“Benz::Drive”重写	
	virtual void Drive()final
	{}
};
class Benz :public Car
{
public:
	virtual void Drive()
	{
		cout << "Benz" << endl;
	}
};
int main()
{
	return 0;
}

重载/隐藏/重载的区别

重载：

1.两个函数作用在同一作用域。

2.函数名相同，参数不同，参数的类型或者个数不同，返回值可同可不同。

重写/覆盖：

1.两个函数分别在继承体系中的父类和子类，在不同作用域

2.函数名、参数，返回值都必须相同，协变例外(基类虚函数返回基类对象的指针或者引
⽤，派⽣类虚函数返回派⽣类对象的指针或者引⽤时，称为协变。)

3.两个函数必须是虚函数

隐藏：

1.两个函数分别在继承体系的父类和子类中，在不同作用域

2.函数名相同/父类和子类的成员变量相同

3.两个函数只要不构成重写，就是隐藏

纯虚函数和抽象类

纯虚函数：

1.在虚函数的后面加上“=0”。

2.不需要定义实现，只要声明即可。

3.可以强制派生类重写虚函数，因为不重写就实例化不出对象。

抽象类：包含纯虚函数的类。抽象类不能实例化出对象，如果派生类继承后不重写纯虚函数，那么派生类也是抽象类。

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()
	{
		cout << "BMW" << endl;
	}
};
int main()
{
	//Car car;
	//抽象类不能实例化出对象
	//但是如果派生类重写纯虚函数，派生类可以实例化出对象
	Benz benz;
	BMW bmw;
	Car* pBenz = new Benz;
	pBenz->Drive();
	Car* pBMW = new BMW;
	pBMW->Drive();
	return 0;
}

派生类中不重写虚函数，派生类也是抽象类。

class Car {
public:
	virtual void Drive()=0
	{}
};
class Benz :public Car
{
public:
	
};
class BMW :public Car
{
public:
	virtual void Drive()
	{
		cout << "BMW" << endl;
	}
};
int main()
{
	Benz benz;
//报错：Benz类中没有重写抽象类中的纯虚函数，Benz也是抽象类
//故Benz不能实例化出对象
	BMW bmw;
	return 0;
}

多态

虚函数表指针

下⾯编译为32位程序的运⾏结果是什么（）
A. 编译报错 B. 运⾏报错 C. 8 D. 12

class Base
{
public:
virtual void Func1()
{
cout << "Func1()" << endl;
}
protected:
int _b = 1;
char _ch = 'x';
};
int main()
{
Base b;
cout << sizeof(b) << endl;
return 0;
}

答案是D，如果我们按正常计算都应该是8byte，但12byte是怎么来的呢？

当我们调试，在监视窗口可以看到b对象多了一个成员变量（_vfptr)。

对象中的这个指针就是虚函数表指针。一格含有虚函数的类中都至少有一个虚函数表指针，因为一个类所有虚函数的地址要放进这个类对象的虚函数表中。

 多态的原理 

class Person {
public:
virtual void BuyTicket() { cout << "买票-全价" << endl; }
private:
string _name;
};
class Student : public Person {
public:
virtual void BuyTicket() { cout << "买票-打折" << endl; }
private:
string _id;
};
class Soldier: public Person {
public:
virtual void BuyTicket() { cout << "买票-优先" << endl; }
private:
string _codename;
};
void Func(Person* ptr)
{
// 这⾥可以看到虽然都是Person指针Ptr在调⽤BuyTicket
// 但是跟ptr没关系，⽽是由ptr指向的对象决定的。
ptr->BuyTicket();
}
int main()
{
// 其次多态不仅仅发⽣在派⽣类对象之间，多个派⽣类继承基类，重写虚函数后
// 多态也会发⽣在多个派⽣类之间。
Person ps;
Student st;
Soldier sr;
Func(&ps);
Func(&st);
Func(&sr);
return 0;
}

从底层结构的角度，Func函数中ptr->BuyTicket(),是如何让ptr指向Student对象调用Student::BuyTicket()的呢？我们知道如果想要找到函数，那么就要有函数的地址，但是这次我们不再是编译时通过调用对象确定函数的地址了，在上面我们谈到类中有虚函数的类的成员变量就会多一个虚函数表指针，所以我们在运行时通过虚函数表指针就可以确定虚函数的地址，这样就实现了指针或引用指向基类就调用基类的函数，指向派生类就调用派生类对应的虚函数。

在图中我们发现每个对象中的虚函数指针都是不同的，那么就可以区分该调用哪个对象的虚函数。 

动态绑定与静态绑定

静态绑定：对于非虚函数，在编译时确定调用函数地址。

动态绑定：对于虚函数，在运行时到指定对象的虚函数表中找到调用函数的地址。

//BuyTicket()是虚函数，编译在运行时到ptr的虚函数表中确定调用函数地址
ptr->BuyTicket();
00DA4931  mov         eax,dword ptr [ptr]  
00DA4934  mov         edx,dword ptr [eax]  
00DA4936  mov         esi,esp  
00DA4938  mov         ecx,dword ptr [ptr]  
00DA493B  mov         eax,dword ptr [edx]  
00DA493D  call        eax  
00DA493F  cmp         esi,esp  
00DA4941  call        __RTC_CheckEsp (0DA1302h) 
//BuyTicket()不是虚函数，编译器直接确定调用地址
ptr->BuyTicket();
003D3BB1  mov         ecx,dword ptr [ptr]  
003D3BB4  call        Person::BuyTicket (03D168Bh)

虚函数表总结

1.基类对象的虚函数表中存放基类所有虚函数的地址。同类型的对象共用一张虚表，不同对象各自有独立的虚表。

2.派生类由两部分组成，继承下来的基类和自己的成员，一般情况下，继承下来的基类中有虚函数表指针，自己就不会在生成虚函数表指针。但是继承下来的基类部分虚函数表指针和基类对象的虚函数表指针不是同一个。

3.派生类中重写的基类的虚函数，派生类的虚函数表中对应的虚函数就会被覆盖成派生类重写的虚函数地址。

4.派生类的虚函数表包含：（1)基类的虚函数表地址，（2）派生类重写的虚函数地址完成覆盖，（3）派生类自己的虚函数地址

5.虚函数表本质是一个存虚函数指针的指针数组。

6.虚函数和普通函数一样，编译后是一段指令，都是存放在代码段，只是虚函数表地址存到虚表中。

7.虚函数表存在哪里C++标准没有规定。但是可以通过代码对比验证。vs下存在代码段。

class Base {
public:
    virtual void func1() { cout << "Base func1" << endl; }
    virtual void func2() { cout << "Base func2" << endl; }
};

class Derived : public Base {
public:
    void func1() override { cout << "Derived func1" << endl; }
    void func2() override { cout << "Derived func2" << endl; }
};
int main()
{
    Base b;
    Derived d;
    return 0;
}

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

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

相关文章

MySQL基础语法DDLDML

MySQL基础语法DDLDML

目录 #1.创建和删除数据库 ​#2.如果有lyt就删除,没有则创建一个新的lyt #3.切换到lyt数据库下 #4.创建数据表并设置列及其属性,name是关键词要用name包围 ​编辑 #5.删除数据表 #5.查看创建的student表 #6.向student表中添加数据,数据要与列名一一对应 #7.查询studen…
阅读更多...
性能测试理论基础-性能指标及jmeter中的指标

性能测试理论基础-性能指标及jmeter中的指标

1、什么是性能测试 通过一定的手段，在多并发下情况下，获取被测系统的各项性能指标，验证被测系统在高并发下的处理能力、响应能力，稳定性等，能否满足预期。定位性能瓶颈，排查性能隐患，保障系统的质量，提升用户体验。 2、什么样的系统需要做性能测试 用户量大，页面访问…
阅读更多...
Postman CORS 测试完全指南：轻松模拟跨域请求，排查 CORS 相关问题

Postman CORS 测试完全指南：轻松模拟跨域请求，排查 CORS 相关问题

在使用 Postman 进行 API 测试时&#xff0c;通常不会遇到跨域问题&#xff0c;因为 Postman 是一个独立的客户端应用程序&#xff0c;不同于在浏览器中运行的 JavaScript 代码&#xff0c;它没有同源策略&#xff08;SOP&#xff09;的限制。跨域资源共享&#xff08;CORS&…
阅读更多...
云原生系列-K8S实战

云原生系列-K8S实战

K8S实战 1. K8S 资源创建方式2. NameSpace 资源创建3. Pod4. Deployment5. Service6. Ingress7. 存储抽象1. 环境准备2. PV&PVC1&#xff09; 创建PV池2&#xff09; PVC创建与绑定 3. ConfigMap 抽取应用配置&#xff0c;并且可以自动更新1&#xff09; redis 示例2) 创建…
阅读更多...
centos8上实现lvs集群负载均衡nat模式

centos8上实现lvs集群负载均衡nat模式

1.背景&#xff1a; 个人&#xff08;菜鸟&#xff09;学习笔记&#xff0c;学点记下来&#xff0c;给未来的自己看。高手看了也请多指点。 按照课程讲&#xff0c;lvs是我国大神开发的负载均衡程序&#xff0c;被收录进内核&#xff0c;只要安装时内核里有它&#xff0c;它就…
阅读更多...
影响HTTP网络请求的因素

影响HTTP网络请求的因素

影响 HTTP 网络请求的因素 1. 带宽 2. 延迟 浏览器阻塞&#xff1a;浏览器会因为一些原因阻塞请求&#xff0c;浏览器对于同一个域名&#xff0c;同时只能有4个连接&#xff08;这个根据浏览器内核不同可能会有所差异&#xff09;&#xff0c;超过浏览器最大连接数限制&…
阅读更多...
（UI自动化测试web端）第二篇：元素定位的方法_css定位之css选择器

（UI自动化测试web端）第二篇：元素定位的方法_css定位之css选择器

看代码里的【find_element_by_css_selector( )】( )里的表达式怎么写&#xff1f; 文章介绍了第三种写法css选择器&#xff0c;你要根据网页中的实际情况来判断自己到底要用哪一种方法来进行元素定位。每种方法都要多练习&#xff0c;全都熟了之后你在工作当中使用起来元素定位…
阅读更多...
MPU6050模块详解：从原理到STM32驱动指南（上） | 零基础入门STM32第八十九步

MPU6050模块详解：从原理到STM32驱动指南（上） | 零基础入门STM32第八十九步

主题内容教学目的/扩展视频加速度传感器电路连接。手册分析。驱动程序&#xff0c;读出数据。能读出3轴数据。 师从洋桃电子&#xff0c;杜洋老师 &#x1f4d1;文章目录 一、MPU6050模块介绍1.1 核心特性1.2 模块化优势 二、MPU6050模块连接方法2.1 硬件连接2.2 电源注意事项 …
阅读更多...
STM32 MODBUS-RTU主从站库移植

STM32 MODBUS-RTU主从站库移植

代码地址 STM32MODBUSRTU: stm32上的modbus工程 从站 FreeModbus是一个开源的Modbus通信协议栈实现。它允许开发者在各种平台上轻松地实现Modbus通信功能&#xff0c;包括串口和以太网。FreeMODBUS提供了用于从设备和主站通信的功能&#xff0c;支持Modbus RTU和Modbus TCP协…
阅读更多...
架构师面试（二十二）：TCP 协议

架构师面试（二十二）：TCP 协议

问题 今天我们聊一个非常常见的面试题目&#xff0c;不管前端还是后端&#xff0c;也不管做的是上层业务还是底层框架&#xff0c;更不管技术方向是运维还是架构&#xff0c;都可以思考和参与一下哈&#xff01; TCP协议无处不在&#xff0c;我们知道 TCP 是基于连接的端到端…
阅读更多...
程序自动化填写网页表单数据

程序自动化填写网页表单数据

1 背景介绍 如何让程序自动化填写网页表单数据&#xff0c;特别是涉及到批量数据情况时&#xff0c;可以减少人力。下面是涉及到的一些场景&#xff0c;都可以通过相关自动化程序实现。 场景1 场景1&#xff0c;领导安排&#xff0c;通过相关省、市、县、乡镇数据&#xff0…
阅读更多...
Razer macOS v0.4.10快速安装

Razer macOS v0.4.10快速安装

链接点这里下载最新的 .dmg 文件。将下载的 .dmg 映像文件拖入 应用程序 文件夹中。若首次打开时出现安全警告【什么扔到废纸篓】&#xff0c;这时候点击 Mac 的“系统偏好设置”-> “安全性与隐私”-> “通用”&#xff0c;然后点击底部的 “打开”。【或者仍然打开】 对…
阅读更多...
如何自动化同义词并使用我们的 Synonyms API 进行上传

如何自动化同义词并使用我们的 Synonyms API 进行上传

作者&#xff1a;来自 Elastic Andre Luiz 了解如何使用 LLM 来自动识别和生成同义词&#xff0c; 使术语可以通过程序方式加载到 Elasticsearch 同义词 API 中。 提高搜索结果的质量对于提供高效的用户体验至关重要。优化搜索的一种方法是通过同义词自动扩展查询词。这样可以更…
阅读更多...
一. 相机模组摆放原理

一. 相机模组摆放原理

1. 背景&#xff1a; 相机开发时经常出现因模组摆放问题&#xff0c;导致相机成像方向异常。轻则修改软件、模组返工&#xff0c; 重则重新修改堆叠&#xff0c;影响相机调试进度。因此&#xff0c;设计一个模型实现模组摆放纠错很有必要。 2. 原理&#xff1a; 2.1 口诀&am…
阅读更多...
【C++游戏引擎开发】《线性代数》（1）：环境配置与基础矩阵类设计

【C++游戏引擎开发】《线性代数》（1）：环境配置与基础矩阵类设计

一、开发环境配置 1.1 启用C 20 在VS2022中新建项目后右键项目 1.2 启用增强指令集 1.3 安装Google Test vcpkg安装使用指南 vcpkg install gtest:x64-windows# 集成到系统目录&#xff0c;只需要执行一次&#xff0c;后续安装包之后不需要再次执行 vcpkg integrate inst…
阅读更多...
sqli-labs靶场 less 8

sqli-labs靶场 less 8

文章目录 sqli-labs靶场less 8 布尔盲注 sqli-labs靶场 每道题都从以下模板讲解&#xff0c;并且每个步骤都有图片&#xff0c;清晰明了&#xff0c;便于复盘。 sql注入的基本步骤 注入点注入类型 字符型&#xff1a;判断闭合方式 &#xff08;‘、"、’、“”&#xf…
阅读更多...
基于大模型的知识图谱搜索的五大核心优势

基于大模型的知识图谱搜索的五大核心优势

在传统知识图谱与生成式AI融合的浪潮中&#xff0c;基于大模型的知识图谱搜索正成为新一代智能检索的标杆技术&#xff0c;飞速灵燕智能体平台就使用了该技术&#xff0c;其核心优势体现在&#xff1a; 1. 语义穿透力升级 突破关键词匹配局限&#xff0c;通过大模型的深层语义…
阅读更多...
【MySQL】从零开始：掌握MySQL数据库的核心概念（五）

【MySQL】从零开始：掌握MySQL数据库的核心概念（五）

由于我的无知&#xff0c;我对生存方式只有一个非常普通的信条&#xff1a;不许后悔。 前言 这是我自己学习mysql数据库的第五篇博客总结。后期我会继续把mysql数据库学习笔记开源至博客上。 上一期笔记是关于mysql数据库的增删查改&#xff0c;没看的同学可以过去看看&#xf…
阅读更多...
Java版Manus实现来了，Spring AI Alibaba发布开源OpenManus实现

Java版Manus实现来了，Spring AI Alibaba发布开源OpenManus实现

此次官方发布的 Spring AI Alibaba OpenManus 实现&#xff0c;包含完整的多智能体任务规划、思考与执行流程&#xff0c;可以让开发者体验 Java 版本的多智能体效果。它能够根据用户的问题进行分析&#xff0c;操作浏览器&#xff0c;执行代码等来完成复杂任务等。 项目源码及…
阅读更多...
鸿蒙UI开发

鸿蒙UI开发

鸿蒙UI开发 本文旨在分享一些鸿蒙UI布局开发上的一些建议&#xff0c;特别是对屏幕宽高比发生变化时的应对思路和好的实践。 折叠屏适配 一般情况&#xff08;自适应布局/响应式布局&#xff09; 1.自适应布局 1.1自适应拉伸 左右组件定宽 TypeScript //左右定宽 Row() { …
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023