[c++]多态的原理

引言

OOP的核心思想是多态性。多态性这个词源自希腊语,其含义是“多种形式”。我们把具有继承关系的多个类型称为多态类型,因为我们能使用这些类型的“多种形式”而无须在意它们的差异。引用或指针的静态类型与动态类型不同这一事实正是C++语言支持多态性的根本所在。

​ ——《C++11 Primer》

在C++语言中,当我们使用基类的引用或指针调用一个虚成员函数时会执行动态绑定。

​ ——《C++11 Primer》

上述内容表明,C++中多态的原理与动态绑定联系十分密切


静态绑定&动态绑定

静态绑定: 编译时确定函数地址

class Derive
{
public:void func(){cout << "Derive::func()";}
};
int main()
{Derive d;d.func();return 0;
}		

上述代码产生的汇编代码如图所示:
在这里插入图片描述

因为其在编译过程中就确定好了func()的地址,所以在运行时直接采用call指令的方式调转到func()的地址,这就是常见的静态绑定。

动态绑定: 运行时确定函数地址

class Base
{
public:virtual void func(){cout << "Base::func()";}
};
class Derive : public Base
{
public:virtual void func(){cout << "Derive::func()";}
};
int main()
{Base* d=new Derive;d->func();return 0;
}

上述代码产生的汇编代码如图所示:
在这里插入图片描述

这里的call指令并没有直接给出要跳转的地址,因为他不知道是调用Derive,还是Base的,所以在运行时就要根据提供的指针(存放到eax中),来确定应该跳转的具体地址,这就是动态绑定。

而具体如何进行这一动态绑定(如何确定是谁提供的指针),其核心就是虚表(虚函数表)


虚表(虚函数表)

先通过一组对比图查看现象

class Base
{
public://virtual void func()//void func(){cout << "Base::func()" << endl;}int _a = 0;
};
int main()
{Base d;return 0;
}

上述代码中,分别采用void func()和virtual void func()查看现象,其存储模型如下:

在这里插入图片描述

其中发现:

对于有虚函数的类,该类的对象的存储内容只有其成员变量(int _a)

对于有虚函数的类,该类的对象存储时,会额外存储一个指针(虚表指针),而该指针指向的内容就是其对应的虚表,这个虚表中的每行都是一个对应函数地址。


多态原理

原理1:虚表

如前可知,如果一个类中有虚函数,则这个类在创建的时候就会初始化一个虚表,该虚表存放的内容就是该类中所有虚函数的地址

同样,如果该类是派生类,继承了基类的虚函数,那么这个派生类也会初始化一个自己的虚表

class Base
{public:virtual void func(){cout << "Base::func()" << endl;}int _a = 0;
};
class Derive : public Base
{public:int _b = 1;
};
int main()
{Base d;Derive b;return 0;
}

在这里插入图片描述

上图中:

派生类中没有重写基类的虚函数,所以他们各自的虚表中func()函数的地址是一样的,说明他们调用同一个func()函数。

如果派生类中重写基类的虚函数,则会出现以下状况

在这里插入图片描述

此时,他们虚表中的func()函数就不是同一个func()函数了,此时对于不同的对象,指针或引用调用时,可能就会调用到不同的func()函数

原理2:赋值兼容/切割/切片

有了如上的知识铺垫,那么剩下最后一步就可以实现多态

C++中,派生类对象赋值给基类对象时会发生赋值兼容/切割/切片,这就导致了派生类会将自己存储空间里面的基类的那一部分拿出来

在这里插入图片描述

被拿出来的这一部分,含有虚表指针基类的成员变量
如果派生类重写了基类的虚函数,所以这一部分的虚表中存放的就是重写后的函数的地址。如此就完成了多态。

注意: 如前所说,当我们使用基类的引用或指针指向一个派生类对象时,调用他的虚函数才会执行动态绑定。所以单独进行赋值操作时,不会实现动态绑定

Derive b;
Base d=b;//不会产生动态绑定
Base *d=&b;//会产生动态绑定
Base &d=b;//会产生动态绑定

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

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

相关文章

企业微信私域流量运营:从新手到专家的指南

随着数字时代的深入发展&#xff0c;企业的营销策略逐渐转向线上&#xff0c;其中微信作为国内最大的社交平台&#xff0c;已成为众多企业运营私域流量的首选。本文将详细解析企业微信私域流量运营的策略、技巧及实践经验&#xff0c;帮助企业从入门到精通&#xff0c;实现高效…

ios搭建OpenGL环境

前言 本篇文章介绍在ios搭建OpenGL开发环境 在app的启动文章中&#xff0c;讲述了一个ios应用是如何启动的以及在IOS 13之后苹果公司推出的多窗口功能&#xff0c;通过app的启动这篇文章&#xff0c;我们基本能随心所欲的搭建一个app应用环境&#xff0c;搭建完成后的基本文件…

基于Python的深度学习的身份证识别考勤系统,附源码

博主介绍&#xff1a;✌程序员徐师兄、7年大厂程序员经历。全网粉丝12w、csdn博客专家、掘金/华为云/阿里云/InfoQ等平台优质作者、专注于Java技术领域和毕业项目实战✌ &#x1f345;文末获取源码联系&#x1f345; &#x1f447;&#x1f3fb; 精彩专栏推荐订阅&#x1f447;…

Text Mesh Pro图文混排如何对任何图片都能实现

1&#xff09;Text Mesh Pro图文混排如何对任何图片都能实现 2&#xff09;Unity iOS平台的小图占用特别大的内存 3&#xff09;只在编辑器内&#xff0c;纹理不开启Read&Write情况下&#xff0c;如何获取纹理所有颜色值 4&#xff09;准备在海外发行游戏&#xff0c;有哪些…

dynamic_cast运行阶段类型识别

一、dynamic_cast运算符介绍 &#xff08;1&#xff09;运行阶段类型识别&#xff08;RTTI, Runtime Type Identification&#xff09;为程序在阶段确定对象的类型&#xff0c;只适用于包含虚函数的类。 &#xff08;2&#xff09;基类指针可以指向派生类对象&#xff0c;想要…

Python入门指北二十四

Python中有哪些常用的缓存技术&#xff1f;它们的特点是什么&#xff1f; Python中有多种常用的缓存技术&#xff0c;其中最常用的是内存缓存、文件缓存和数据库缓存。 内存缓存&#xff1a;将数据存储在内存中&#xff0c;以便快速访问。这种缓存方式具有速度快、效率高的特…

【3DGS】从新视角合成到3D Gaussian Splatting

文章目录 引言&#xff1a;什么是新视角合成任务定义一般步骤NeRF的做法NeRF的三维重建NeRF的渲染 3DGS的三维重建从一组图片估计点云高斯点云模型球谐函数参数优化损失函数和协方差矩阵的优化高斯点的数量控制(Adaptive Density Control)新的问题 3DGS的渲染&#xff1a;快速可…

适用于嵌入式单片机的压缩算法

1. 简介 因为MCU的内存和算力的限制&#xff0c;那些对内存消耗大或算力需求大的压缩算法就不适合在MCU中使用。适用于MCU的压缩算法主要有&#xff1a;RLE、LZ77、Huffman、LZO、DEFLATE、LZ4。 2. 算法 2.1. RLE RLE(Run Length Encoding)&#xff0c;也称为行程编码&…

通过html2canvas和jsPDF将网页内容导出成pdf

jsPDF参考&#xff1a;https://github.com/parallax/jsPDF html2canvas参考&#xff1a;https://github.com/niklasvh/html2canvas 或者 https://html2canvas.hertzen.com 思路 使用html2canvas将选中DOM生成截图对象将截图对象借助jsPDF导出为PDF文件 代码 这是一个示例&a…

如何编写接口测试用例

作为测试人&#xff0c;我们经常要对项目中的接口进行接口测试&#xff0c;那么在做接口测试的时候&#xff0c;如何写接口测试用例呢&#xff1f; 什么是接口测试 首先我们要了解一下&#xff0c;什么是接口测试&#xff1f; 那么首先要搞清楚&#xff0c;我们一般说的接口…

LeetCode第872题 - 叶子相似的树

题目 解答 class Solution {public void inorder(TreeNode node, List<Integer> values) {if (node null) {return;}if (node.left null && node.right null) {values.add(node.val);return;}inorder(node.left, values);inorder(node.right, values);}publ…

Spring面试大全-基础知识01

1.什么是Spring Spring框架是用于构建企业级Java的开源框架&#xff0c;他通过依赖注入和IOC容器帮我我们管理对象&#xff1b;支持AOP&#xff0c;将非业务功能&#xff08;日志&#xff0c;事务等&#xff09;从我们业务代码中分离出来&#xff0c;提高了代码的可维护性&…

nginx支持wasm文件

背景 需要支持wasm文件,折腾半天不行,最后搜索wasm解决 这都是后话了,只知道是文件,不知道文件类型是wasm,关于什么事wasm直接百度 可以参考:WebAssembly(WASM) 和云原生 | wasm和区块链-CSDN博客 铺垫 Nginx通过服务器端文件的后缀名来判断这个文件属于什么类型&#xff0c…

介绍 回调函数及使用方法

回调函数是一种常见的编程概念,它允许我们将一个函数作为参数传递给另一个函数,并在需要的时候调用这个函数。回调函数通常用于异步编程、事件处理和模块间的通信。 在使用回调函数时,我们首先定义一个函数,然后将其作为参数传递给另一个函数。当满足某个条件或事件发生时…

uniapp开发一个交流社区小程序

uniapp开发一个交流社区小程序 假期的时候简单学了一下uniapp&#xff0c;想开发一款类似百度贴吧的交流社区来练练手。本篇文章主要记录开发过程&#xff0c;文末附上项目地址。 主要需要开发以下几个页面。 信息页面热榜页面用户主页用户信息页 信息页面 该页面的功能主要…

【Android】RxJava系列01-基本概述和基本用法

少年啊&#xff0c;要永远相信美好的事情即将发生 【Android】RxJava系列01-基本概述和基本用法 1.RxJava的概述2.RxJava的作用3.观察者和被观察者4.背压5.RxJava的基本用法步骤一&#xff0c;创建Observer&#xff08;观察者&#xff09;步骤二&#xff0c;创建Observable&…

华为nova12系列:图片HDR显示,让你的照片全面升级!

你是不是也想给自己的照片加点料&#xff0c;让它们看起来更真实、捕捉到更多的细节和光影&#xff1f;不用愁&#xff0c;华为nova12系列就为你量身打造了图片HDR显示技术&#xff0c;让你的照片从此焕发绚丽光芒&#xff01; 回忆一下&#xff0c;在节日的夜晚想拍下绚丽的灯…

自己动手写编译器:属性语法的实现

上一节我们研究了增强语法&#xff0c;本节我们看看何为属性语法。属性语法实则是在语法规则上附带上一些重要的解析信息&#xff0c;随着语法解析的进行&#xff0c;我们可以利用附带的解析信息去进行一系列操作&#xff0c;例如利用解析信息实现代码生成。我们先看属性语法的…

免费ai绘画软件选择哪个?

对于免费AI绘画软件的选择&#xff0c;因为每个软件都有其独特的优点和适用场景&#xff0c;可以根据个人的需求和技能水平来决定。以下是被广泛认可的AI绘画软件&#xff1a; 1、建e网AI-一款为建筑室内设计师提供AI绘图的智能工具&#xff0c;具有文字生图&#xff0c;方案优…

Python学习之路-Tornado基础:深入Tornado

Python学习之路-Tornado基础:深入Tornado Application settings 前面的学习中&#xff0c;我们在创建tornado.web.Application的对象时&#xff0c;传入了第一个参数——路由映射列表。实际上Application类的构造函数还接收很多关于tornado web应用的配置参数&#xff0c;在…