C++从入门到入土(八)——多态的原理

目录

前言

多态的原理

动态绑定与静态绑定

虚函数表

小结


前言

在前面的文章中,我们介绍了C++三大特性之一的多态,我们主要介绍了多态的构成条件,但是对于多态的原理我们探讨的是不够深入的,下面这这一篇文章,我们将着重介绍C++多态的实现原理。

相关参考文章如下:

C++从入门到入土(七)——多态

多态的原理

我们在前面的文章中了解到多态的实现条件有以下两个:

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

2.被调用的函数必须是虚函数,并且完成了重写

看到上面两个条件,我们不禁会发出疑问,为什么必须是通过基类的指针或引用调用虚函数呢?为什么不能通过其他条件构成多态呢?那么我们通过下面代码来讨论这两个问题:

class Base
{
public:virtual void Func(){cout << "基类调用" << endl;}
protected:int _base;
};class A:public Base
{
public:virtual void Func(){cout << "派生类调用" << endl;}
private:int _a;
};void Print(Base& a)
{a.Func();
}int main()
{Base b;Print(b);A a;Print(a);return 0;
}

首先我们看到上述一段简单的代码,其运行结果如下所示:

我们进入调试观察一下它的内部:

我们可以看到,相比于没有实现多态的类,其底层多了一个_vfptr的对象,那这个对象是什么呢?直接讲结论:这个对象是虚函数表(v表示virtual,f表示function,ptr表示指针),其本质是一个指针数组。

那么我们此时就可以猜测,是不是因为虚函数表的出现导致多态行为的发生呢?我们再仔细观察一下会发现,派生类的虚函数表保存在基类base之下,但是他们的地址是不同的,那么虚函数表中存储的是什么呢?实际上虚函数表中存的是虚函数的地址。当我们满足多态的条件后,我们在编译时不再通过调用对象来确定函数的地址,而是运行时到指向对象的虚函数表中确定虚函数的地址,这样就实现了基类的指针或引用调用不同函数的目的

动态绑定与静态绑定

我们在粗略理解了多态的原理后,接下来我们引入动态绑定与静态绑定的概念帮助我们更加深入地理解多态地原理.。

首先我们要理解什么是动态与静态绑定。

静态绑定:在编译时就确定函数的地址就叫静态绑定,换句话说就是不满足多态的函数调用,例如:函数重载、模板等。

动态绑定:在运行时通过虚函数表来确定函数的地址就叫动态绑定,例如:多态。

所以可以这么说,动态绑定是多态的特点之一。

虚函数表

还是以上面的例子,我们发现,派生类和基类在实例化的过程中分别产生了不同的虚函数表,即使派生类继承了基类的对象,但是派生类的虚函数表中并没有保存基类虚函数的地址,我们将虚函数表的地址输入到内存窗口中查看:

 我们可以看到,基类和派生类的虚函数表中保存的地址是不同的,不同的类的虚表也是不同的。

我们给派生类再加一个虚函数,进入调试,观察一下:

当我们给基类添加了一个虚函数后发现,虚函数表中又存储了一个地址,但是对于基类而言只有一个虚函数的地址,那么我们可以得出下面的结论:

派生类的虚函数表中包含<1.>基类虚函数的地址 <2.>派生类重写的虚函数的地址的覆盖 <3.>自己的虚函数的地址

综上所述,对于虚函数表的结论如下:

1.基类对象的虚函数表存放基类所有虚函数的地址,同类型的对象共用一张虚函数表,不同类型的对象各有自己的虚函数表,即:基类和派生类各有自己的虚函数表

2.虚函数表中包含:基类虚函数的地址;  派生类重写的虚函数的地址的覆盖; 派生类自己的虚函数

3.虚函数表本质是一个函数指针数组,存放虚函数的地址

4.虚函数存放在代码段,虚函数的地址存放在虚函数表,虚函数表指针存放在对象中

小结

本篇文章我们介绍了多态的实现原理,动态绑定以及虚函数表,通过本篇博客的阅读相信您对多态的认识会更加清楚,如果本篇文章对您有所帮助的话希望能够点赞、关注加转发,您的支持就是我创作的最大动力。  

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

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

相关文章

用Maven创建只有POM文件的项目

使用 mvn 创建一个仅包含 pom.xml 文件的父项目&#xff0c;可以借助 maven-archetype-quickstart 原型&#xff0c;然后移除不必要的文件&#xff0c;或者直接通过命令生成最简的 pom.xml 文件。以下是具体操作步骤&#xff1a; 一、方法一&#xff1a;使用原型创建后清理 1…

Linux目录理解

前言 最近在复习linux&#xff0c;发现有些目录总是忘记内容&#xff0c;发现有些还是得从原义和实际例子去理解会记忆深刻些。以下是个人的一些理解 Linux目录 常见的Linux下的目录如下&#xff1a; 1. 根目录 / (Root Directory) 英文含义&#xff1a;/ 是文件系统的根…

gitee AI使用

gitee AI使用 gitee AI使用 gitee AI使用简介正文开始1. 安装openai2. 测试2.1 不使用流2.2 使用流 2.3 使用curl工具 简介 发现gitee 推出了个ai帮助多数人使用ai&#xff0c;突破算力和模型的壁垒&#xff0c;我就遵从开源精神&#xff0c;测试了下&#xff0c;希望可以帮助…

c++领域展开第十七幕——STL(vector容器的模拟实现以及迭代器失效问题)超详细!!!!

文章目录 前言vector——基本模型vector——迭代器模拟实现vector——容量函数以及push_back、pop_backvector——默认成员函数vector——运算符重载vector——插入和删除函数vector——实现过程的问题迭代器失效memcpy的浅拷贝问题 总结 前言 上篇博客我们已经详细介绍了vecto…

WPF 开发从入门到进阶(五)

一、WPF 简介与开发环境搭建 1.1 WPF 概述 Windows Presentation Foundation&#xff08;WPF&#xff09;是微软推出的用于构建 Windows 桌面应用程序的强大 UI 框架。它融合了矢量图形、动画、多媒体等多种技术&#xff0c;能让开发者创建出具有高度视觉吸引力和交互性的应用…

DICOM医学影像数据访问控制与身份验证技术应用的重要性及其实现方法详解

DICOM医学影像数据访问控制与身份验证技术应用的重要性及其实现方法详解 在现代医疗体系中,DICOM(数字成像和通信医学标准)作为医学影像数据的核心标准,扮演着至关重要的角色。随着医疗信息化的深入发展,DICOM医学影像数据的安全性和隐私保护成为医疗机构亟需解决的关键问…

植物知识分享论坛毕设

1.这四个文件直接是什么关系&#xff1f;各自都是什么作用&#xff1f;他们之间是如何联系的&#xff1f; 关系与联系 UserController.java 负责接收外部请求&#xff0c;调用 UserService.java 里的方法来处理业务&#xff0c; 而 UserService.java 又会调用 UserMapper.jav…

Business processes A bridge to SAP and a guide to SAP TS410 certification

Business processes A bridge to SAP and a guide to SAP TS410 certification

算法 之 ST表

文章目录 区间最大值 ST表(Sparse Table)是一种高效处理静态数据区间查询的数据结构&#xff0c;主要的作用是用于快速查询区间的最值&#xff0c;区间GCD,区间按位与或 在这里以区间最大值为例子说明st表的模版 总体的思想就是定义dp[i][j]表示下标为i长度为2^j的区间的最大值…

Deepseek X 文心智能体:谐音梗广告创意大师

体验链接 飞书文档 一、引言 在当今竞争激烈的市场环境下&#xff0c;广告创意对于产品或服务的推广至关重要。谐音广告以其独特的语言魅力&#xff0c;能够迅速吸引受众的注意力并留下深刻印象。本智能体旨在利用 DeepSeek 模型强大的语言分析和推理能力&#xff0c;为用户…

libilibi项目优化(2)视频文件分块上传

第一版 文件分片上传过程总结 整个文件分片上传过程分为三个主要步骤&#xff1a;预上传、分片上传和获取已上传分块信息。以下是每个步骤的详细描述&#xff1a; 1. 预上传&#xff08;preUploadVideo&#xff09; 功能&#xff1a;生成唯一的上传 ID&#xff0c;并将文件…

TCP简单链接的编程实现

TCP简单链接的编程实现 本文主要介绍TCP应用层的编码实现。 TCP是一种面向连接的、可靠的、基于字节流的传输层协议&#xff0c;它是互联网协议套件&#xff08;TCP/IP&#xff09;中的核心协议之一&#xff0c;广泛应用于需要可靠数据传输的场景&#xff0c;如&#xff1a;网…

使用Multiprocessing模块创建子进程,需要放到__main__中

1 场景说明 在Python中&#xff0c;使用multiprocessing模块创建子进程时&#xff0c;将创建子进程的代码放在if __name__ __main__: 块之外&#xff0c;如下面代码&#xff1a; import multiprocessing import timedef test_func(name):print(f"子进程 {name} 开始运行…

描述<canvas>标签的主要用途,如何在其上绘制简单图形?

大白话描述标签的主要用途&#xff0c;如何在其上绘制简单图形&#xff1f; <canvas> 标签的主要用途 <canvas> 标签是 HTML5 中新增的一个标签&#xff0c;它就像是一块“画布”&#xff0c;你可以在网页上用它来绘制各种图形、动画、制作游戏等。简单来说&…

【RHCE实验】搭建主从DNS、WEB等服务器

目录 需求 环境搭建 配置nfs服务器 配置web服务器 配置主从dns服务器 主dns服务器 从dns服务器 配置客户端 客户端测试 需求 客户端通过访问 www.nihao.com 后&#xff0c;能够通过 dns 域名解析&#xff0c;访问到 nginx 服务中由 nfs 共享的首页文件&#xff0c;内容…

Shell条件判断

一、使用if选择结构 if单分支的语法组成&#xff1a; if 条件测试;then 命令序列 fi if双分支的语法组成&#xff1a; if 条件测试;then 命令序列1 else 命令序列2 fi if多分支的语法组成&#xff1a; if 条…

理解langchain langgraph 官方文档示例代码中的MemorySaver

以下是langchain v0.3官方示例代码 from langgraph.checkpoint.memory import MemorySaver from langgraph.graph import START, MessagesState, StateGraph# 可以理解为&#xff1a;定义一个流程&#xff0c;这个流程中用到的数据类型是Messages。 <---定义一个有向图&…

【HarmonyOS Next之旅】DevEco Studio使用指南(三)

目录 1 -> 一体化工程迁移 1.1 -> 自动迁移 1.2 -> 手动迁移 1.2.1 -> API 10及以上历史工程迁移 1.2.2 -> API 9历史工程迁移 1 -> 一体化工程迁移 DevEco Studio从 NEXT Developer Beta1版本开始&#xff0c;提供开箱即用的开发体验&#xff0c;将SD…

vuex持久化存储,手动保存到localStorage

vuex持久化存储&#xff0c;手动保存到localStorage 一、vue21. 手动存储到localStoragestore/index.js 2. 使用持久化存储插件store/index.jsstore/modules/otherData.js保存到localStorage 二、vue31. index.ts2. store/modules/globalData.ts3. 在组件中使用App.vue 一、vue…

nodejs使用 mysql2 模块获取 mysql 中的 json字段,而不是 mysql

mysql 模块获取的 json 字段&#xff0c;是字符串mysql2 模块获取的 json 字段&#xff0c;是符合预期的 json 对象 mysql mysql2 最后编辑于&#xff1a;2025-02-24 22:16:53 © 著作权归作者所有,转载或内容合作请联系作者 喜欢的朋友记得点赞、收藏、关注哦&#xff01;…