【C++进阶(九)】C++多态深度剖析

news2024/9/21 4:31:01

💓博主CSDN主页:杭电码农-NEO💓
 
⏩专栏分类:C++从入门到精通⏪
 
🚚代码仓库:NEO的学习日记🚚
 
🌹关注我🫵带你学习C++
  🔝🔝

在这里插入图片描述

多态

  • 1. 前言
  • 2. 多态的概念以及定义
  • 3. 多态的实例调用情况
  • 4. 构成多态的两个特例
  • 5. 多态的底层原理分析(一)
  • 6. 多态底层原理分析(二)
  • 7. 多态中的两个关键字
  • 8. 抽象类以及虚函数的几个结论
  • 9. 总结以及拓展

1. 前言

继承和多态这两兄弟常常一起出现
继承是实现多态的前提!

本章重点:

本篇文章着重讲解多态的概念以及
定义,多态的底层原理和析构函数重写
以及函数重写的两个例外条件
多继承中的虚函数表关系.其中,简单介绍
的部分有抽象类的概念以及定义和
继承与多态中的两个新增关键字

注:如果你不知道什么是继承,或继承
的知识掌握不牢固,请先阅读下面文章:

C++继承深度剖析

2. 多态的概念以及定义

概念: 通俗来说,多态就是多种状态
父子对象完成相同任务会产生不同的结果

比如:
学生和普通人都去买门票
学生是半价,而普通人是全价

在继承中构成多态要有两个条件:

  1. 必须通过基类的指针或引用调用虚函数
  2. 被调用的函数必须是虚函数
    并且子类的虚函数要被重写

现在的你可能有一万个问号
什么是虚函数?什么是重写?
没关系,我们一步一步讲!

关键字virtual加在成员函数前
这个成员函数就是虚函数!

在这里插入图片描述
虚函数的重写(也叫覆盖):

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

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

上面的代码中,BuyTicket函数就被重写了!

概念讲完,下一步进行实战!

3. 多态的实例调用情况

构成多态的条件就两个,一定要熟记!
一定要熟记!一定要熟记!重要的事情说三遍

下面是多态的实例:

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

int main()
{
	Person* p1 = new Person;
	Person* p2 = new Student;
	p1->BuyTicket();
	p2->BuyTicket();
	return 0;
}

我们知道一个事实:
基类的指针或引用可以指向/引用
子类的对象,我们称为切片

p1和p2是基类指针,它们调用的
函数恰好还被重写了,所以这里符合
多态,p1指针指向的内容是Person
所以它调用Person中的函数,然而p2
指针指向的内容是Student,所以它
调用的是Student中的函数!

依次打印:"买票-全家","买票-半价"

4. 构成多态的两个特例

  1. 特例一: 子类的虚函数不写virtual
    依旧构成多态
class Person {
public:
 	virtual void BuyTicket() { cout << "买票-全价" << endl; }
};
class Student : public Person {
public:
 	void BuyTicket() { cout << "买票-半价" << endl; }
};
Person* p1 = new Person;
Person* p2 = new Student;
p1->BuyTicket();
p2->BuyTicket();

这样写也是构成多态的!

  1. 特例二:基类与派生类虚函数返回值类型不同
    也可以构成多态(返回值必须满足某种条件)
class A{};
class B : public A {};

class Person {
public:
 	virtual A* f() {return new A;}
};
class Student : public Person {
public:
 	virtual B* f() {return new B;}
};

父类的返回值要返回父类
子类的返回值要返回子类

  1. 注意事项1:父类不写virtual,而子类的同名
    函数写了virtual,这是不构成多态的!
class Person {
public:
 	void BuyTicket() { cout << "买票-全价" << endl; }
};
class Student : public Person {
public:
 	virtual void BuyTicket() { cout << "买票-半价" << endl; }
};

不构成多态!

  1. 注意事项2:在继承体系中,父子类的同名
    函数不构成重写就构成隐藏,不可能构成重载!

5. 多态的底层原理分析(一)

在这里插入图片描述

如果你单纯的认为Base类只有一个
整型变量占用空间的话,那你就上当啦!
事实上在32位机器下,这里的结果是8
在64位机器下,这里的结果是16!

这是因为它除了有一个变量外,还有
一个指针,此指针指向一个虚函数表

我们通过以下的代码来观察内存:

class A
{
public:
	virtual void func1()
	{
		cout << "父类func1";
	}
private:
	int _a;
};
class B : public A
{
public:
	virtual void func1()
	{
		cout << "子类func1";
	}
private:
	int _b;
};

int main()
{
	A a;
	B b;
	return 0;
}

在这里插入图片描述

此指针叫虚表指针:vfptr,也就是
virtual function ptr

这个指针并不是直接指向虚函数的地址
而是指向一个虚函数表,可以理解位一个
数组,此数组中存放着此对象中所有的虚
函数的地址,它们的关系可以用下图表示:

在这里插入图片描述

注:不管有没有继承体系或多态
只要有虚函数就有虚表!

6. 多态底层原理分析(二)

现在得出一个结论:有虚函数的
类对象中还存放了一个虚表指针!

那么父类和子类的虚表指针和指向
的内容有什么不同或相同处吗?
形成多态现象的原理又是什么?
我来一一解答这些问题:

  1. 通过下面的代码来观察内存情况
    得出父子类虚表的关联:
class A
{
public:
	virtual void func1()
		cout << "父类func1";
	virtual void func2()
		cout << "父类func2";
private:
	int _a;
};
class B : public A
{
public:
	virtual void func1()
		cout << "子类func1";
private:
	int _b;
};
int main()
{
	A a;
	B b;
	return 0;
}

请看下图观察情况:

在这里插入图片描述

结论:

父类和子类的虚表指针是不同的
证明父子类各有一张虚函数表!
函数func1在子类中被重写了,所以
父子类虚表中的func1函数地址是不同的
函数func2没有被子类重写,所以
父子类虚表中的func2函数地址是相同的

拓展结论:同一个类的不同对象共用一个虚表

  1. 多态的原理深度剖析:

当一个函数A被重写时,它的父类虚表存放
父类函数A的地址,子类虚表存放的是子类
函数A的地址!

当父类的指针或引用指向子类空间时
调用虚函数时,会到指向对象的虚表中
中找到对应的虚函数地址,进行调用!

拓展结论: 父子类都只有A函数或无函数时

  1. 若父类写了虚函数A,而子类
    甚至没有写函数A,此时子类对象中
    存储的虚函数地址与父类相同

  2. 若父类甚至没有写函数A,而子类
    直接写了虚函数A,则父类对象中没有
    虚表,而子类对象中有虚表(存放A)

7. 多态中的两个关键字

  1. final:修饰虚函数,表示该虚函数不能被重写

在这里插入图片描述

  1. override:检查子类类虚函数是否重写了
    基类虚函数如果没有重写编译报错

在这里插入图片描述

8. 抽象类以及虚函数的几个结论

抽象类概念:

在虚函数的后面写上 =0 ，则这个函数为纯虚函数。包含纯虚函数的类叫做抽象类（也叫接口类），抽象类不能实例化出对象。派生类继承后也不能实例化出对象，只有重写纯虚函数，派生类才能实例化出对象。纯虚函数规范了派生类必须重写

抽象类的只需了解概念,实际中
使用到的场景很少

关于虚函数的几个小结论:

  1. 析构函数最好定义为虚函数
  2. 构造函数不能定义为虚函数
  3. 静态成员函数不能是虚函数
  4. 内联函数(inline)不能是虚函数

为什么说析构函数最好定义为虚函数?
请看下面的例子:

class Person {
public:
 	virtual ~Person() {cout << "~Person()" << endl;}
};
class Student : public Person {
public:
 	virtual ~Student() { cout << "~Student()" << endl; }
};
// 只有派生类Student的析构函数重写了Person的析构函数
//下面的delete对象调用析构函数，才能构成多态
//才能保证p1和p2指向的对象正确的调用析构函数。
int main()
{
 	Person* p1 = new Person;
 	Person* p2 = new Student;
 	delete p1;
 	delete p2;
 	return 0;
}

若析构函数不是虚函数,delete ptr2时
不符合多态,ptr2是Person类型指针
就只会调用Person类的析构,会有问题

若析构函数是虚函数,delete ptr2时
构成多态的条件,指针指向父类的对象
就调用父类的析构,指向子类的对象
就调用子类的析构,这样才是正确的!

9. 总结以及拓展

多态在校招的笔试面试中考察的
非常之多,很多面试官都喜欢在这
上面考察学生的掌握C++语法的程度
所以同学们请耐心学习!

拓展阅读:

多继承场景下的多态

🔎 下期预告:二叉搜索树 🔍

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

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

相关文章

Generator异步解决方案详解

Generator异步解决方案详解

一&#xff1a;三种常见的异步解决方案 Promise&#xff1a;链式编程async&#xff1a;使用 async 去修饰函数&#xff0c;然后使用 await 去等待成功Generator&#xff1a;使用 * 修饰函数&#xff0c;然后使用 yield 去等待成功 通俗来讲&#xff0c;Generator 类似于 Promi…
阅读更多...
【Java 进阶篇】Java XML组成部分：理解XML的结构

【Java 进阶篇】Java XML组成部分：理解XML的结构

XML&#xff08;可扩展标记语言&#xff09;是一种常用于存储和交换数据的标记语言。了解XML的结构和组成部分对于有效处理XML数据至关重要。在本篇博客中&#xff0c;我们将深入探讨XML的组成部分&#xff0c;以及如何使用Java来处理和操作XML数据。 什么是XML&#xff1f; …
阅读更多...
预测宝可梦武力值、分类宝可梦

预测宝可梦武力值、分类宝可梦

regression case 股票预测 无人车看到的各种sensor 影像镜头看到马路上的东西作为输入&#xff0c;输出就是方向盘角度等等的操纵策略 scalar 标量 这个是热力图&#xff0c;相当于你的XYZ但是Z用颜色表示了 closed-form solution 闭合解 learning rate事先定好的数值 在lin…
阅读更多...
Vue中的v-for指令是用来做什么的？

Vue中的v-for指令是用来做什么的？

在Vue中，v-for是一个用于渲染列表或集合的指令。它通过迭代数据源中的每个元素，生成对应的DOM节点或组件实例，并将它们渲染到页面上。 v-for指令的基本语法如下： <template><div><ul><li v-for="item in items" :key="item.id"…
阅读更多...
基于ssm流浪动物领养救助系统

基于ssm流浪动物领养救助系统

摘要 基于SSM&#xff08;Spring SpringMVC MyBatis&#xff09;的流浪动物领养救助系统是一个用于管理和帮助流浪动物领养、救助的信息化平台。该系统旨在提供一种便捷、高效的方式&#xff0c;以协调和改善流浪动物的生活&#xff0c;并促进社会各界的参与和支持。以下是该…
阅读更多...
重生奇迹mu“荣誉之城”勇者大陆

重生奇迹mu“荣誉之城”勇者大陆

曾经&#xff0c;不少重生奇迹mu玩家讨论最经典的新人出生地&#xff0c;有的说是仙踪林&#xff0c;有的则是说勇者大陆&#xff0c;最后在重生奇迹mu网站上面&#xff0c;以投票的方式最终得出一个答案&#xff0c;那就是勇者大陆&#xff0c;游戏里面当之无愧的荣誉之城&…
阅读更多...
c语言程序设计——题目：将一个正整数分解质因数。例如：输入90,打印出90=2*3*3*5。

c语言程序设计——题目：将一个正整数分解质因数。例如：输入90,打印出90=2*3*3*5。

题目&#xff1a;将一个正整数分解质因数。例如&#xff1a;输入90,打印出902*3*3*5。 程序分析&#xff1a;对n进行分解质因数&#xff0c;应先找到一个最小的质数k&#xff0c;然后按下述步骤完成 (1)如果这个质数恰等于&#xff08;小于的时候&#xff0c;继续执行循环&…
阅读更多...
C#，数值计算——分类与推理Phylo_nj的计算方法与源程序

C#，数值计算——分类与推理Phylo_nj的计算方法与源程序

1 文本格式 using System; using System.Collections.Generic; namespace Legalsoft.Truffer { public class Phylo_nj : Phylagglom { public double[] u; public override void premin(double[,] d, int[] nextp) { i…
阅读更多...
spring6-国际化：i18n | 数据校验：Validation

spring6-国际化：i18n | 数据校验：Validation

文章目录 1、国际化&#xff1a;i18n1.1、i18n概述1.2、Java国际化1.3、Spring6国际化1.3.1、MessageSource接口1.3.2、使用Spring6国际化 2、数据校验&#xff1a;Validation2.1、Spring Validation概述2.2、实验一&#xff1a;通过Validator接口实现2.3、实验二&#xff1a;B…
阅读更多...
AI只需26秒，就可以设计一款会走路的机器人

AI只需26秒，就可以设计一款会走路的机器人

由西北大学、麻省理工学院和佛蒙特大学组成的一支科研团队首次开发出一种可以完全自行设计机器人的 AI 算法。 这一 AI 算法不仅运行速度快&#xff0c;还可在个人计算机上运行&#xff0c;并从头开始设计全新的结构。只需告诉AI“我们想要一个可穿越陆地的机器人”&#xff0c…
阅读更多...
【Java 进阶篇】Java XML快速入门：理解、解析和生成XML

【Java 进阶篇】Java XML快速入门：理解、解析和生成XML

XML&#xff08;可扩展标记语言&#xff09;是一种常用于存储和交换数据的标记语言&#xff0c;而Java是一种强大的编程语言&#xff0c;它具有处理XML的能力。在本篇博客中&#xff0c;我们将探讨XML的基础知识&#xff0c;学习如何在Java中解析和生成XML文档&#xff0c;以及…
阅读更多...
一次OOM故障分析

一次OOM故障分析

一、前言 昨天门店POS系统发生了一次因为OOM引起的Down机事件&#xff0c;本文我们就来讲一下故障排查和解决问题过程。 二、故障发生 吃完中饭正在休息&#xff0c;业务方说POS的后台管理系统进行库存盘点出错&#xff0c;截图过来的报错信息里有&#xff1a;连接POS前台系…
阅读更多...
《向量数据库》——向量数据库Milvus Cloud 和Dify比较

《向量数据库》——向量数据库Milvus Cloud 和Dify比较

Zilliz Cloud v.s. Dify Dify 作为开源的 LLMs App 技术栈&#xff0c;在此前已支持丰富多元的大型语言模型的接入&#xff0c;除了 OpenAI、Anthropic、Azure OpenAI、Hugging face、Replicate 等全球顶尖模型及模型托管平台&#xff0c;也完成了国内主流的各大模型支持&#…
阅读更多...
1024 CSDN 程序员节-知存科技-基于存内计算芯片开发板验证语音识别

1024 CSDN 程序员节-知存科技-基于存内计算芯片开发板验证语音识别

前言 在今年的 CSDN 程序员节上&#xff0c;我参与了这次知存科技举办的一个 AI Workshop 小活动——“基于存内计算芯片开发板验证语音识别”&#xff0c;并且有幸成为完成任务的学习者之一XD。上一次参与类似的活动是算能公司举办的“千校万里行”AIGC 大模型编译部署活动&a…
阅读更多...
logging日志改造---自定义参数传递到格式中

logging日志改造---自定义参数传递到格式中

目录 一&#xff1a;需求二&#xff1a;实现方式三&#xff1a;存在的问题3.1: 问题描述3.2: 源码分析3.3: 解决方案 四&#xff1a;相关链接 一&#xff1a;需求 需求&#xff1a;将自定义的参数&#xff0c;放在日志的指定格式中。 二&#xff1a;实现方式 例如&#xff1…
阅读更多...
三维模型表面积计算方法

三维模型表面积计算方法

【版权声明】 本文为博主原创文章&#xff0c;未经博主允许严禁转载&#xff0c;我们会定期进行侵权检索。 更多算法总结请关注我的博客&#xff1a;https://blog.csdn.net/suiyingy&#xff0c;或”乐乐感知学堂“公众号。 本文章来自于专栏《Python三维模型处理基础》的系列文…
阅读更多...
【RocketMQ系列十】RocketMQ的核心概念说明

【RocketMQ系列十】RocketMQ的核心概念说明

您好&#xff0c;我是码农飞哥&#xff08;wei158556&#xff09;&#xff0c;感谢您阅读本文&#xff0c;欢迎一键三连哦。 &#x1f4aa;&#x1f3fb; 1. Python基础专栏&#xff0c;基础知识一网打尽&#xff0c;9.9元买不了吃亏&#xff0c;买不了上当。 Python从入门到精…
阅读更多...
【计网 DNS】计算机网络 DNS协议详解：中科大郑烇老师笔记 （六）

【计网 DNS】计算机网络 DNS协议详解：中科大郑烇老师笔记 （六）

目录 0 引言1 DNS概述1.1 定义1.2 DNS域名结构1.2 域名解析步骤 &#x1f64b;‍♂️ 作者&#xff1a;海码007&#x1f4dc; 专栏&#xff1a;计算机四大基础专栏&#x1f4dc; 其他章节&#xff1a;网络快速入门系列、计算机网络&#xff08;一&#xff09;、计算机网络&…
阅读更多...
初始Redis 分布式结构的发展演变

初始Redis 分布式结构的发展演变

目录 Redis的特点和使用场景 分布式系统的引入 单机系统 分布式系统 应用服务器的增多&#xff08;处理更多的请求&#xff09; 数据库读写分离&#xff08;数据服务器的增多) 引入缓存 应对更大的数据量 业务拆分&#xff1a;微服务 Redis的特点和使用场景 我们先来…
阅读更多...
使用 Rust 和 cURL 库下载程序

使用 Rust 和 cURL 库下载程序

以下是一个使用 Rust 和 cURL 库的下载器程序&#xff0c;用于下载 图像。此程序使用了 https://www.duoip.cn/get_proxy 的代码。 extern crate curl; ​ use std::io::{self, Read}; use std::error::Error; ​ fn main() {let url "https://www.baidu.com";let …
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023