当前位置：首页 > news >正文

多态以及多态底层的实现原理

news 来源：原创 2025/7/18 12:08:26

本章目标

1.多态的概念
2.多态的定义实现
3.虚函数
4.多态的原理

1.多态的概念

多态作为面对三大特性之一,它所指代的和它的名字一样,多种形态.但是这个多种形态更多的指代是函数的多种形态.
多态分为静态多态和动态多态.
静态多态在前面已经学习过了,就是函数重载以及模板,它们是在编译时就已经确定下来了,也被成为编译时多态.它们通过传不同的参数实现函数不同的形态.
我们在这里主要将动态多态,也就是运行时多态.当我们运行某个函数的时候,它会根据传过来的对象的不同,来实现不同的行为,简单来说就是统一继承体系下的不同类对象去调用同一个函数产生了不同的行为

2.多态的定义实现

2.1实现多态的条件

1.必须是基类的指针或者引用去调用虚函数
2.虚函数必须完成了重写或者覆盖
因为我们前面所将的切片的类型兼容转换,只有基类的指针或者引用才能即指向基类对象又指向派生类对象.
虚函数的重写或者覆盖所指的是它的实现重写,这样基类和派生类才能有不同的函数.
才能实现多态.

#include<iostream>
using namespace std;
class A
{
public:virtual void  a(){cout << "A" << endl;}
};
class b :public A
{
public:virtual void a(){cout << "b" << endl;}};
int main()
{A* ptr1 = new A;A* ptr2 = new b;ptr1->a();ptr2->a();return 0;
}

在这里插入图片描述

以上就是多态的实现.

3.虚函数

类成员函数,在函数的前面加上virtual修饰,我们就称之为虚函数.非类成员函数是不能用virtual修饰的.

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

3.1虚函数的重写覆盖

虚函数的重写覆盖所指的是在派生类之中有一个和基类完全的一样的虚函数(返回值,函数名,参数列表),那么就叫做虚函数的重写覆盖.
在有的地方只在基类的虚函数的地方加上virtual,而在派生类中,并没有加入virtual来进行修饰,这样也是构成重写或者覆盖的.因为从基类继承下来的虚函数,在派生类也继承下来了它的虚函数属性

3.2协变

在派生类重写基类虚函数的时候,我们可以让派生的返回类型与基类不同,去返回基类或者派生类的指针或者引用,这个指针或者引用可以是其他类的.

class A {};class B : public A {};class Person {public:virtual A* BuyTicket() 
{ 
cout << "
买票
全价
" << endl;return nullptr;}};class Student : public Person {public:virtual B* BuyTicket() 
{ 
cout << "
买票
打折
" << endl;return nullptr;}};void Func(Person* ptr){ptr->BuyTicket();}int main(){Person ps;Student st;Func(&ps);Func(&st);return 0;}

3.3析构函数的重写

只要基类的析构函数为虚函数,它的派生类的析构一定会与基类的析构函数构成重写,在前面我们说继承的时候讲到析构函数会在编译时统一将名称处理成destructor,这样它们就构成了隐藏,而在这里则是构成了重写.

#include<iostream>
using namespace std;
class A
{
public:virtual void  a(){cout << "A" << endl;}virtual ~A(){cout << "~A" << endl;}
};
class b :public A
{
public:virtual void a(){cout << "b" << endl;}~b(){delete[] arr;cout << "~b" << endl;}
private:int* arr = new int[10];
};
int main()
{A* ptr1 = new A;A* ptr2 = new b;ptr1->a();ptr2->a();delete ptr1;delete ptr2;return 0;
}

在这里插入图片描述

3.4override和final关键字

从上面我们可以看出c++对虚函数的要求比较严格,可能有的时候参数类型写错了导致无法构成重写.我们就可以override来帮助我们进行检查.
在这里插入图片描述

class D
{
public:virtual void  d(){cout << "dadad" << endl;}
};
class E:public D
{
public:virtual void d(int a) override{cout << "dada" << endl;}
};

final关键字我们已经见过了,我们在实现一个不能被继承的类的时候,我们用final修饰或者构造私有.
而在这里我们不想让虚函数被继承也可用final来进行修饰.
在这里插入图片描述

3.5重载/重写/隐藏对比

重载
1.在统一作用域
2.函数名相同,参数不同,返回值可相同,可不同
重写
1.在统一继承体系下的不同的基类和派生类的作用域之中.
2.函数名,参数,返回值都必须相同,协变例外
3.两个函数都必须时虚函数
隐藏
1.在统一继承体系下的不同的基类和派生类的作用域之中.
2.函数名相同
3.两个函数只要不是重写就是隐藏.
4.变量名相同也可以构成隐藏

隐藏和重写的二者上是有所重叠但是并不完全相同

3.6纯虚函数与抽象类

在虚函数的后面加上=0,这个虚函数就是纯虚函数,纯虚函数所在的类被称为抽象类,抽象类是不能够实例化对象的,并且抽象类被继承之后的派生类的虚函数一定要被重写.
否则这个类也是抽象类.

class F
{
public:virtual void ff() = 0;};
class G :public F
{virtual void ff(){cout << "dada" << endl;}
};

在这里插入图片描述

4.多态的原理

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

当我们去算上面的类的时候,我们正常的结果是8bytes.
实际上则不同
在这里插入图片描述
它的大小是12bytes.

当我们创建一个Base类的对象来看的时候,我们发现除了上面的我们类中创建两个成员变量还有一个vfptr的函数指针.在x86的环境下它的大小就是12bytes.
这个指针就是虚函数表指针,每一个含有虚函数的类中,至少含有一个虚函数表,这个表里面放在虚函数的地址
在这里插入图片描述
从底层的角度我们该如何看到a是如何被调用的呢,当父类指针ptr1指向A的时候调用A的a函数,ptr2指向b的时候调用b中的a函数呢.
实际上当调用虚函数的时候,去调用函数的地址的时候,不是编译时通过对象来确定虚函数的地址.而是通过对象中的虚表来去call这个虚函数的地址

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;}

4.1动态绑定与静态绑定

对于通过动态多态(父类的指针或者引用)去调用的函数,也就是运行时到指定对象的虚函数表中去调用函数的,我们叫做动态绑定.
对不满足动态多态条件的在编译时确定函数地址或者通过对象去确定函数的地址的,我们叫做静态绑定

4.2虚函数表

1.基类的虚函数表中存放着所以基类虚函数的地址,同一类型的对象公用同一张虚表,不同类的虚表之间时独立的.基类和派生类的虚表时相互独立的
2.派⽣类由两部分构成，继承下来的基类和⾃⼰的成员，⼀般情况下，继承下来的基类中有虚函数表指针，⾃⼰就不会再⽣成虚函数表指针。但是要注意的这⾥继承下来的基类部分虚函数表指针和基类对象的虚函数表指针不是同⼀个，就像基类对象的成员和派⽣类对象中的基类对象成员也独⽴的。
3.派⽣类中重写的基类的虚函数，派⽣类的虚函数表中对应的虚函数就会被覆盖成派⽣类重写的虚函数地址。
4.派⽣类的虚函数表中包含，(1)基类的虚函数地址，(2)派⽣类重写的虚函数地址完成覆盖，派⽣类⾃⼰的虚函数地址三个部分。
5.虚函数表本质是⼀个存虚函数指针的指针数组，⼀般情况这个数组最后⾯放了⼀个0x00000000标记。(这个C++并没有进⾏规定，各个编译器⾃⾏定义的，vs系列编译器会再后⾯放个0x00000000标记，g++系列编译不会放)
6.虚函数存在哪的？虚函数和普通函数⼀样的，编译好后是⼀段指令，都是存在代码段的，只是虚函数的地址⼜存到了虚表中。
7.虚函数表存在哪的？这个问题严格说并没有标准答案C++标准并没有规定，我们写下⾯的代码可以对⽐验证⼀下。vs下是存在代码段(常量区)

class Base {public:virtual void func1() { cout << "Base::func1" << endl; }virtual void func2() { cout << "Base::func2" << endl; }void func5() { cout << "Base::func5" << endl; }protected:int a = 1;};class Derive : public Base{public:// 重写基类的func1 
virtual void func1() { cout << "Derive::func1" << endl; }virtual void func3() { cout << "Derive::func1" << endl; }
int main(){int i = 0;static int j = 1;int* p1 = new int;const char* p2 = "xxxxxxxx";printf("栈:%p\n", &i);printf("静态区:%p\n", &j);printf("堆:%p\n", p1);printf("常量区:%p\n", p2);Base b;Derive d;Base* p3 = &b;Derive* p4 = &d;printf("Person虚表地址:%p\n", *(int*)p3);printf("Student虚表地址:%p\n", *(int*)p4);printf("虚函数地址:%p\n", &Base::func1);printf("普通函数地址:%p\n", &Base::func5);return 0;}

多态以及多态底层的实现原理

本章目标 1.多态的概念 2.多态的定义实现 3.虚函数 4.多态的原理 1.多态的概念多态作为面对三大特性之一,它所指代的和它的名字一样,多种形态.但是这个多种形态更多的指代是函数的多种形态. 多态分为静态多态和动态多态. 静态多态在前面已经学习过了,就是函数重载以及模板,…...

编程日记 2025/7/18 12:08:26

描述城市出行需求模式的复杂网络视角：大规模起点-目的地需求网络的图论分析

描述城市出行需求模式的复杂网络视角：大规模起点-目的地需求网络的图论分析原文： A complex network perspective for characterizing urban travel demand patterns: graph theoretical analysis of large-scale origin–destination demand networks…...

编程日记 2025/7/13 18:01:57

文件操作函数

本文是小编巩固自身而作，如有错误，欢迎指出！ 1.使用文件的原因我们编写的程序都是有生命周期的，储存在电脑的内存中，如果程序退出，内存回收，数据就会丢失，等程序再次运行&#xf…...

编程日记 2025/7/18 6:43:16

Java高频面试之并发编程-05

hello啊，各位观众姥爷们！！！本baby今天来报道了！哈哈哈哈哈嗝🐶 面试官：线程有哪些调度方法？ 在Java中，线程的调用方法主要包括以下几种方式，每种方式适用于…...

编程日记 2025/7/16 16:28:40

LeetCode 1292 元素和小于等于阈值的正方形的最大边长

最大正方形边长问题详解一、问题描述给定一个大小为 mn 的矩阵 mat 和一个整数阈值 threshold，要求返回元素总和小于或等于阈值的正方形区域的最大边长；如果没有这样的正方形区域，则返回 0。二、解题思路前缀和矩阵的概念与构建前缀…...

编程日记 2025/7/17 19:11:08

测试开发 - Java 自动化测试核心函数详解

目录 1. 元素定位 1.1 By.xpath 1.1.1 //* 1.1.2 //[指定节点] 1.1.3 / 1.1.4 /.. 1.1.5 [...] 1.1.6 指定索引获取对应元素 1.2 By.cssSelector 1.2.1 # 1.2.2 . 1.2.3 > 1.2.4 标签名:nth-child(n) 2. 获取元素 2.1 findElement 2.2 findElements 3. 操…...

编程日记 2025/7/15 12:23:20

【HarmonyOS】ArKUI框架

目录概述声明式开发范式基于ArKUI的项目 • 1．创建资源文件 • 2．引用资源 • 3．引用系统资源： • 系统资源有哪些 • 4. 在配置和资源中引用资源声明式语法 UI描述规范 UI组件概述组件化组件渲染控制语法修改…...

编程日记 2025/7/18 11:46:10

【MQ篇】RabbitMQ之简单模式！

目录引言一、初识 RabbitMQ 与工作模式二、简单模式 (Simple Queue) 详解：最直接的“点对点快递” 📮三、 Java (Spring Boot) 代码实战：让小兔子跑起来！ 🐰🏃‍♂️四、深入理解：简单模式的…...

编程日记 2025/7/14 8:39:51

K8S节点出现Evicted状态“被驱逐”

在Kubernetes集群中，Pod状态为“被驱逐（evicted）”表示Pod无法在当前节点上继续运行，已被集群从节点上移除。问题分析： 节点磁盘空间不足 ，使用df -h查看磁盘使用情况可以看到根目录 / 已100%满&#x…...

编程日记 2025/7/16 22:54:48

NumPyro：概率编程的现代Python框架深度解析

引言概率编程作为统计学与机器学习的交叉领域，正在重塑我们构建不确定性模型的方式。在众多概率编程语言（PPL）中，NumPyro凭借其简洁的语法、强大的性能和与PyTorch生态系统的无缝集成，已经成为研究者和数据科学家的首…...

编程日记 2025/7/18 7:16:36

java进阶之git

git git介绍git常用命令代码回滚操作 git 介绍工作区改动（增删文件和内容）暂存区输入命令：git add改动的文件名，此次改动就放到了"暂存区“本地仓库输入命令：git commit 此次修改的描述，此次改动…...

编程日记 2025/7/15 18:12:32

负载阻尼效应及其作用解析

负载阻尼效应是指负载（如电路、机械系统或控制系统中连接的设备）对系统动态变化（如电压波动、机械振动等）产生的抑制或衰减作用。其核心是通过消耗或吸收能量，减少系统中的振荡、波动或瞬态响应，从而提高…...

编程日记 2025/7/15 17:20:56

面向组织的网络安全措施

一、安全措施概述在一个组织中，技术人员可以利用一系列强大的网络安全工具进行安全检测和防范，以保护组织的网络基础设施、数据和资产免受各种威胁。这些工具通常涵盖了从主动防御、威胁检测、漏洞管理到事件响应和安全分析的各个方面。以下是一些关…...

编程日记 2025/7/15 17:07:40

Unity 跳转资源商店，并打开特定应用

需求： 打开资源商店，并定位到特定应用. 代码： #if UNITY_ANDROIDApplication.OpenURL("market://details?idcom.tencent.mm"); #elif UNITY_IPHONEApplication.OpenURL(“itms-apps://apps.apple.com/app/id333903271”); #end…...

编程日记 2025/6/29 9:33:59

2025年五大ETL数据集成工具推荐

ETL工具作为打通数据孤岛的核心引擎，直接影响着企业的决策效率与业务敏捷性。本文精选五款实战型ETL解决方案，从零门槛的国产免费工具到国际大厂企业级平台，助您找到最适合的数据集成利器。一、谷云科技ETLCloud：国产数据集成工…...

编程日记 2025/6/29 9:34:49

基于 PaddleOCR对pdf文件中的文字提取

一、基于 PaddleOCR 提取 PDF 文件中的文字流程 1. 安装必要的依赖库：包括 PaddleOCR 和 PyMuPDF pip install paddlepaddle paddleocr pymupdf 2. 将 PDF 转换为图像：使用 PyMuPDF 将 PDF 的每一页转换为图像 3. 使用 PaddleOCR 进行文字识别&a…...

编程日记 2025/7/16 23:58:15

鸿蒙移动应用开发--渲染控制实验

任务：使用“对象数组”、“ForEach渲染”、“Badge角标组件”、“Grid布局”等相关知识，实现生效抽奖卡案例。如图1所示： 图1 生肖抽奖卡实例图图1(a)中有6张生肖卡可以抽奖，每抽中一张，会通过弹层显示出来&#xf…...

编程日记 2025/6/29 11:09:58

【漫话机器学习系列】215.处理高度不平衡数据策略（Strategies For Highly Imbalanced Classes）

处理高度不平衡数据的四大策略详解在机器学习与数据挖掘任务中，“类别不平衡”问题几乎无处不在。无论是信用卡欺诈检测、医疗异常诊断，还是网络攻击识别，正负样本的比例往往严重失衡。比如一个欺诈检测数据集中，可能只有不到 1…...

编程日记 2025/7/17 3:55:33

在离线 Ubuntu 环境下部署双 Neo4j 实例（Prod Dev）

在许多开发和生产场景中，我们可能需要在同一台服务器上运行多个独立的 Neo4j 数据库实例，例如一个用于生产环境 (Prod)，一个用于开发测试环境 (Dev)。本文将详细介绍如何在离线的 Ubuntu 服务器上，使用 tar.gz 包部署两个 Neo4j…...

编程日记 2025/7/16 21:31:21

Windows下Golang与Nuxt项目宝塔部署指南

在Windows下将Golang后端和Nuxt前端项目打包，并使用宝塔面板部署的步骤如下一、Golang后端打包交叉编译为Linux可执行文件在Windows PowerShell中执行： powershell复制下载 $env:GOOS "linux" $env:GOARCH "amd64" go build…...

编程日记 2025/7/17 22:10:19

基于贝叶斯优化的Transformer多输入单输出回归预测模型Bayes-Transformer【MATLAB】

Bayes-Transformer 在机器学习和深度学习领域，Transformer模型已经广泛应用于自然语言处理、图像识别、时间序列预测等多个领域。然而，在一些实际应用中，我们面临着如何高效地优化模型超参数的问题。贝叶斯优化（Bayesian Optimiz…...

编程日记 2025/6/29 10:21:36

ibus输入法微软词库分享

链接: https://pan.baidu.com/s/1aC-UvV-UDHEpxg5sZcAS2Q?pwddxpq 提取码: dxpq --来自百度网盘超级会员v8的分享链接: https://pan.baidu.com/s/1aC-UvV-UDHEpxg5sZcAS2Q?pwddxpq 提取码: dxpq --来自百度网盘超级会员v8的分享 # 更改ibus输入法字体大小 sudo apt insta…...

编程日记 2025/7/15 12:01:16

Sharding-JDBC 系列专题 - 第五篇：分布式事务

Sharding-JDBC 系列专题 - 第五篇：分布式事务本系列专题旨在帮助开发者全面掌握 Sharding-JDBC，一个轻量级的分布式数据库中间件。本篇作为系列的第五篇文章，将深入探讨分布式事务（Distributed Transactions），包括其概念、支持的事务类型、配置方法、工作原理以及实战…...

编程日记 2025/6/29 9:35:02

力扣每日打卡17 49. 字母异位词分组 (中等)

力扣 49. 字母异位词分组中等前言一、题目内容二、解题方法1. 哈希函数2.官方题解2.1 前言2.2 方法一：排序2.2 方法二：计数前言这是刷算法题的第十七天，用到的语言是JS 题目：力扣 49. 字母异位词分组 (中等) 一、题目内容给…...

编程日记 2025/6/29 10:23:48

深入解析C++ STL List：双向链表的特性与高级操作

一、引言在C STL容器家族中，list作为双向链表容器，具有独特的性能特征。本文将通过完整代码示例，深入剖析链表的核心操作，揭示其底层实现机制，并对比其他容器的适用场景。文章包含4000余字详细解析，适合需…...

编程日记 2025/6/29 9:56:19

在 master 分支上进行了 commit 但还没有 push，怎么安全地切到新分支并保留这些更改

确保你的 commit 确实没有 push（否则会覆盖远程分支）： git log --oneline # 查看本地 commit git log --oneline origin/master # 查看远程 master 的 commit 确保你的 commit 只存在于本地，远程 origin/master 没有…...

编程日记 2025/7/15 22:34:16

spark jar依赖顺序

1. 执行顺序 spark-submit --config "spark.{driver/executor}.extraClassPathsomeJar"提交的依赖包SystemClasspath – Spark安装时候提供的依赖包spark-submit --jars 提交的依赖包 2. 依赖解释提交任务时指定的依赖 Spark-submit --config "spark.{drive…...

编程日记 2025/7/15 18:39:05

docker 国内源和常用命令

Ubuntu | Docker Docs 参考docker官方安装docker # Add Dockers official GPG key: sudo apt-get update sudo apt-get install ca-certificates curl sudo install -m 0755 -d /etc/apt/keyrings sudo curl -fsSL https://download.docker.com/linux/ubuntu/gpg -o /etc/apt…...

编程日记 2025/7/17 1:38:31

本章目标

1.多态的概念

2.多态的定义实现

2.1实现多态的条件

3.虚函数

3.1虚函数的重写覆盖

3.2协变

3.3析构函数的重写

3.4override和final关键字

3.5重载/重写/隐藏对比

3.6纯虚函数与抽象类

4.多态的原理

4.1动态绑定与静态绑定

4.2虚函数表

相关文章：