C++:多态中的虚/纯虚函数,抽象类以及虚函数表

我们在平时,旅游或者是坐高铁或火车的时候。对学生票,军人票,普通票这些概念多少都有些许耳闻。而我们上篇文章也介绍过了继承与多继承。如果这些票我们都分别的去写一个类,当然很冗余,这里我们便可以去使用继承,我们假设我们的票价是由一个票价函数控制的,如果子类与父类中有着同名的票价函数,我们之前也介绍过他会隐藏,那我们要如何去实现使用不同的子类达到不同的效果呢--答案就是多态。

一,多态的概念

多态(polymorphism)的概念:通俗来说,就是多种形态。多态分为编译时多态(静态多态)和运行时多态(动态多态),这里我们重点介绍运行时多态,编译时多态(静态多态)和运行时多态(动态多态)编译时多态(静态多态)主要就是我们前面讲的函数重载和函数模板,他们传不同类型的参数就可以调用不同的函数,通过参数不同达到多种形态,之所以叫编译时多态,是因为他们实参传给形参的参数匹配是在编译时完成的,我们把编译时一般归为静态,运行时归为动态。 

运行时多态,具体点就是去完成某个行为(函数),可以传不同的对象就会完成不同的行为,就达到多种形态。 其实就是我们上面的买票行为,不同的人买票对应的价格也不同。

 

二,构成多态的前提与两个重要条件

构成多态的前提是一个继承关系的下的类对象,去调用同一函数,产生了不同的行为。 而实现多态则必须具备以下两个重要条件:

  1. 必须指针或者引用调用虚函数。
  2. 被调用的函数必须是虚函数。

需要注意的是,引用的指针必须为父类指针。而且被调用的虚函数必须要在父类中也为虚函数,这样才能被子类重写覆盖:
 

class parent
{
public:parent(int a = 1):_a(a){}void print(){cout << _a << endl;}
private:int _a;
};class child
{
public:child(int b = 2):_b(b){}                  //这是一个虚函数,但父类中对应完全相同函数没有virtual前缀,virtual void print()//所以没有构成重写,也就不会形成多态{cout << _b << endl;}private:int _b;
};

而我们如果想要实现多态,一个是在父类的完全相同函数(返回值,函数名,参数完全相同) 前加上virtual前缀,另一点则需要用父类指针去调用子类对象的对应虚函数,此时才能形成多态:

int main()
{child c;parent& p1 = c;p1.print();//构成多态parent* p2 = &c;p2->print();//构成多态parent p3 = c;p3.print();//不构成多态return 0;
}

从运行结果我们可以清晰的看到必须重写和使用父类指针两个条件同时满足才能实现多态。 

三,虚函数与虚函数的重写与覆盖 

3.1虚函数的定义方式

class parent
{
public:virtual void print(){cout << _a << endl;}
private:int _a;
};

 类成员函数前面加virtual修饰,那么这个成员函数被称为虚函数。注意非成员函数不能加virtual修
饰。(比如类中的静态成员函数, 所有子类公用与父类相同的静态成员,也正是因为静态成员函数无法变为虚函数,因此静态成员函数无法形成多态)。

3.2虚函数的重写/覆盖 

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

但是我们平时可能会看到如下的情况:

class parent
{
public:parent(int a = 1):_a(a){}virtual void print(){cout << _a << endl;}
private:int _a;
};class child : public parent
{
public:child(int a = 1,int b = 2):_b(b),parent(a){}void print(){cout << _b << endl;}private:int _b;
};

此时子类的完全相同函数虽然没有加上virtual前缀,但实际上也构成了重写,不过这种写法并不规范。也正是这种原因,它经常会被作为面试/笔试的考题出现。 

3.3虚函数中的协变 

 派生类重写基类虚函数时,与基类虚函数返回值类型不同。即基类虚函数返回基类对象的指针或者引用,派生类虚函数返回派生类对象的指针或者引用时,称为协变。协变的实际意义并不大,所以我们了解一下即可。


private:int _b;
};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;}
};

注意,返回的不一定必须是当前类的父子类指针/引用,也可以是其他父子类指针/引用。只要返回的对像构成父子类关系以及同为指针/引用即可。

3.4override关键字与final关键字 

 override关键字可以帮助我们检查虚函数是否构成覆写,而final关键字则可以使虚函数无法被覆写:

// error C3668: “Benz::Drive”: 包含重写说明符“override”的方法没有重写任何基类方法
class Car {
public:virtual void Dirve(){}
};
class Benz :public Car {
public:virtual void Drive() override { cout << "Benz-舒适" << endl; }
};
// error C3248: “Car::Drive”: 声明为“final”的函数无法被“Benz::Drive”重写
class Car
{
public:virtual void Drive() final {}
};
class Benz :public Car
{
public:virtual void Drive() { cout << "Benz-舒适" << endl; }
};

3.5总结:重载/重写/隐藏的对比

 

四,纯虚函数与抽象类 

在虚函数的后面写上 =0 ,则这个函数为纯虚函数,纯虚函数不需要定义实现(实现没啥意义因为要被派生类重写,但是语法上可以实现),只要声明即可。包含纯虚函数的类叫做抽象类,抽象类不能实例化出对象,如果派生类继承后不重写纯虚函数,那么派生类也是抽象类。纯虚函数某种程度上强制了派生类重写虚函数,因为不重写实例化不出对象。 

class parent//抽象类
{
public:parent(int a = 1):_a(a){}virtual void print() = 0;//纯虚函数
private:int _a;
};class child : public parent
{
public:child(int a = 1,int b = 2):_b(b),parent(a){}void print(){cout << _b << endl;}private:int _b;
};

五,多态的原理 

5.1虚函数表

当我们创建了一个类时,它所占用的实际大小是虚表与成员变量所占空间之和:

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

比如上面这个类,它的一个实例化对像实际大小为12Byte。其中八个字节存放两个成员变量,另四个字节用来存放虚表(__vfptr)放在对象的前面(注意有些平台可能会放到对象的最后面,这个跟平台有关),对象中的这个指针我们叫做虚函数表指针(v代表virtual,f代表function)。一个含有虚函数的类中都至少都有一个虚函数表指针,因为一个类所有虚函数的地址要被放到这个类对象的虚函数表中,虚函数表也简称虚表。

 

5.1.1虚函数表的相关概念与知识 

  1. 基类对象的虚函数表中存放基类所有虚函数的地址。
  2. 派生类由两部分构成,继承下来的基类和自己的成员,一般情况下,继承下来的基类中有虚函数表指针,自己就不会再生成虚函数表指针。但是要注意的这里继承下来的基类部分虚函数表指针和基
  3. 类对象的虚函数表指针不是同一个,就像基类对象的成员和派生类对象中的基类对象成员也独立的。
  4. 派生类中重写的基类的虚函数,派生类的虚函数表中对应的虚函数就会被覆盖成派生类重写的虚函数地址。
  5. 派生类的虚函数表中包含,基类的虚函数地址,派生类重写的虚函数地址,派生类自己的虚函数地址三个部分。
  6. 虚函数表本质是一个存虚函数指针的指针数组,一般情况这个数组最后面放了一0x00000000标记。(这个C++并没有进行规定,各个编译器自行定义的,vs系列编译器会再后面放个0x00000000标记,g++系列编译不会放)
  7. 虚函数存在哪的?虚函数和普通函数一样的,编译好后是一段指令,都是存在代码段的,只是虚函数的地址又存到了虚表中。
  8. 虚函数表存在哪的?这个问题严格说并没有标准答案C++标准并没有规定,vs下是存在代码段(常量区) 

5.2多态实现原理 

我们拿上面的parent与child类来说明:

class parent
{
public:parent(int a = 1):_a(a){}void print(){cout << _a << endl;}
private:int _a;
};class child
{
public:child(int b = 2):_b(b){}                  //这是一个虚函数,但父类中对应完全相同函数没有virtual前缀,virtual void print()//所以没有构成重写,也就不会形成多态{cout << _b << endl;}private:int _b;
};

 

通过上图我们可以看到,满足多态条件后,底层不再是编译时通过调用对象确定函数的地址,而是运行时到指向的对象的虚表中确定对应的虚函数的地址,这样就实现了指针或引用指向基类就调用基类的虚函数,指向派生类就调用派生类对应的虚函数。

所以我们在使用父类指针去调用子类对象中构成重写的虚函数时,实际上它并不是到父类中去调用父类完全相同虚函数再对其重写,而是通过虚表在运行时确定要调用的虚函数,所以最终调用的虚函数是由调用指针指向的对像决定的而不是由指针的类型决定。

5.2.1动态绑定与静态绑定 

对不满足多态条件(指针或者引用+调用虚函数)的函数调用是在编译时绑定,也就是编译时确定调用函数的地址,叫做静态绑定
满足多态条件的函数调用是在运行时绑定,也就是在运行时到指向对象的虚函数表中找到调用函数
的地址
,也就做动态绑定。 

5.3虚函数表的一些其他注意点 

如果我们有以下一段代码:

 

class parent
{
public:parent(int a = 1):_a(a){}virtual void print(){cout << _a << endl;}
private:int _a;
};class child
{
public:child(int b = 2):_b(b){}                  virtual void print(){cout << _b << endl;}virtual void print1(){}private:int _b;
};

print1虚函数是否会存在与虚函数表中?答案是存在的,我们在vs下会看到以下情景:

 

虽然print1没有构成重写,但它依然存放与虚函数表中。但有时我们会在vs下遇到看不到print1函数在虚表中的场景,这时我们可以使用内存窗口查看,便可以看到以下情况:

即可证明print1函数存放于虚表中。

 

 

 

 

 

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

如若内容造成侵权/违法违规/事实不符,请联系一条长河网进行投诉反馈,一经查实,立即删除!

相关文章

Sun Solaris开机自启配置

Sun Solaris 开机自启配置 1. 运行级别定义&#xff08;rc0.d — rcS.d&#xff09; Linux/Solaris系统启动相关目录、脚本说明&#xff1a; init: 系统启动超级进程inittab: 进程启动配置init.d: 启动脚本存放目录rc0---rc6: 运行级别目录rcS: 单用户模式启动脚本 Linux/S…

机器学习—例子:图像识别

在上篇文章中&#xff0c;在一个需求预测示例中看到了神经网络是如何工作的&#xff0c;那么如何将类似类型的想法应用于计算机视觉应用程序。 如果你正在开发人脸识别应用程序&#xff0c;让我们深入研究一下。假设一个神经网络将这样的图片作为输入&#xff0c;并输出图片中…

微服务系列五:避免雪崩问题的限流、隔离、熔断措施

目录 实验环境说明 前言 一、一片小雪花引起的雪崩&#xff01; 1.1 雪崩问题&#xff08;级联失败问题&#xff09;示意图 1.2 雪崩问题的产生原因与解决策略 二、雪崩问题的具体解决策略 2.1 请求限流 2.2 线程隔离 2.3 服务熔断 2.4 总结——具体解决策略 三、微…

C语言之写一个修改数组内容的函数

问题代码: 函数ltrim是为了消除buf字符数组中左边空格&#xff0c; memmove函数介绍 如果对c语言指针运用非常熟练的人,结合函数功能就会发现这个代码非常的傻逼&#xff0c;你会发现为什么需要返回&#xff0c;buf不用接收返回值&#xff0c;执行这个函数后buf中的内容就已经…

第二十七章 Vue异步更新之$nextTick

目录 一、概述 二、完整代码 2.1. main.js 2.2. App.vue 一、概述 需求&#xff1a;编辑标题, 弹出显示编辑框自动聚焦 1. 点击编辑&#xff0c;显示编辑框 2. 让编辑框&#xff0c;立刻获取焦点 我们常规的思路可能会编写如下代码来实现&#xff1a; 问题&#xff1a…

【含文档】基于ssm+jsp的IT论坛系统(含源码+数据库+lw)

1.开发环境 开发系统:Windows10/11 架构模式:MVC/前后端分离 JDK版本: Java JDK1.8 开发工具:IDEA 数据库版本: mysql5.7或8.0 数据库可视化工具: navicat 服务器: apache tomcat 主要技术: Java,Spring,SpringMvc,mybatis,mysql,vue 2.视频演示地址 3.功能 系统定义了三个…

【运维心得】按任何键都不能进BIOS三步解决

目录 第一步 键盘 第二步 工具 第三步 短路 估计经常搞运维的朋友&#xff0c;会经常碰到这个问题。 第一步 键盘 这个现象出现&#xff0c;首先要确定开机时&#xff0c;屏幕上是否会显示提示字符&#xff1f;比如F2、F10、DEL键之类的&#xff0c;如果有&#xff0c;那么就…

OpenCV基础05_GUI和PyMsql

目录 一、PySimpleGUI 1、布局和窗口 2、文本框组件 3、视频处理 4、图片处理 二、pymsql 1、数据库操作 2、数据采集 3、人脸识别 一、PySimpleGUI PySimpleGUI 是一个用于简化 GUI 编程的 Python 包&#xff0c;它封装了多种底层 GUI 框架&#xff08;如 tkinter、…

动态代理IP的应用场景有哪些?

在数字化时代&#xff0c;数据的价值不言而喻&#xff0c;而动态代理IP则如同企业数据采集的隐形翅膀&#xff0c;助力企业在信息海洋中翱翔。本文将深入探讨动态代理IP的应用场景&#xff0c;揭示其如何帮助企业提升业务成功率&#xff0c;保障数据采集的安全性与稳定性。 动…

从实验室到晶圆厂:光刻胶剥离液的关键转变

根据QYResearch调研团队最新发布的《全球光刻胶剥离液市场报告2023-2029》显示&#xff0c;预计到2029年&#xff0c;全球光刻胶剥离液市场规模将攀升至15.8亿美元&#xff0c;未来几年将以8.9%的复合年增长率&#xff08;CAGR&#xff09;持续增长。 上述图表及数据均来源于QY…

基本开关电源电路分析

一、BOOST电路&#xff08;升压&#xff09;&#xff1a; 下图为Boost电路的最基本拓扑&#xff0c;从左至右包括电源&#xff0c;储能电感L1&#xff0c;开关管Q1&#xff0c;二极管D1&#xff0c;输出滤波电容C1及负载电阻R1。 工作原理&#xff1a; 开关管导通状态&#xf…

【解决】Pico 串流 Unity 开发环境 Preview 黑屏问题

开发平台&#xff1a;Unity 6.0 开发工具&#xff1a;Pico SDK   一、问题描述 在 Unity 开发环境下运行 测试 PicoVR 表现时&#xff0c;出现 Game视窗 PicoVR投屏 呈现黑屏效果。详细背景如下&#xff1a; UnitySwitch PlateformPICO Integration SDKPICO Live Preview6…

网站域名注册流程详解

随着互联网的普及&#xff0c;网站已经成为人们获取信息、传播观点和开展业务的重要途径。在创建自己的网站之前&#xff0c;第一步是选择并注册一个合适的域名。域名是您网站的地址&#xff0c;它将帮助用户找到您的在线空间。在这篇文章中&#xff0c;我们将详细介绍网站域名…

AI赋能人才管理:东软助力企业数字化转型

在数字化转型大潮席卷全球的今天&#xff0c;如何在新时代背景下实现高效、智能的管理升级&#xff0c;也成为了广大企业关注的焦点。 不久前&#xff0c;东软正式发布TalentBase数智人力资本管理产品&#xff0c;以AI人才管理模式为企业人力资源管理注入了新的活力。 数字化转…

专治拖延症❗❗提升学习效率的秘密武器⏰【当当狸智能时间管理器D2】养成高效自律好习惯

孩子有拖延的习惯&#xff0c;做事磨蹭拖拉&#xff0c;学习效率底下❓ 尤其是低年龄段的孩子时间观念不强&#xff0c; 所以就很懒散很被动&#xff0c;做事的效率也很低 缺乏时间管理能力的孩子可能会 面临学业压力增大、成绩下滑、情绪消极等后果❌ 所以&#xff0c;一…

Python字符串(一图秒了)

一、概念 在Python中用单引号或双引号引起来的内容 定义 s abc123 s "abc" s #空字符串 s "" #空字符串 s #空格字符串 s " " #空格字符串 注意&#xff1a;空格字符串不是空字符串 二、字符串的访问&…

Linux权限管理和文件属性

目录 1. 权限的概念 2. 权限管理 2.1 文件访问者的分类 2.2 文件类型和访问权限&#xff08;事物属性&#xff09; 2.2.1 文件类型 2.2.2 file指令 2.2.3 基本权限 3. 文件访问权限的相关设置方法 3.1 chmod 3.2 chown 和 chgrp 3.3 umask 4. 粘滞位 1. 权限的…

【Python实战案例】爬虫项目实例(附赠源码)

文章目录 声明安装必要的库项目结构技术细节小结 声明 请您遵守网站的robots文件规定&#xff0c;本文目的只是做学习交流使用&#xff0c;包括多个模块&#xff0c;例如数据存储、日志记录、错误处理、多线程或异步请求 安装必要的库 pip install requests beautifulsoup4 sq…

Spring Boot 与 Vue 共筑电影院选票新体验

作者介绍&#xff1a;✌️大厂全栈码农|毕设实战开发&#xff0c;专注于大学生项目实战开发、讲解和毕业答疑辅导。 &#x1f345;获取源码联系方式请查看文末&#x1f345; 推荐订阅精彩专栏 &#x1f447;&#x1f3fb; 避免错过下次更新 Springboot项目精选实战案例 更多项目…

基于java+SpringBoot+Vue的星之语明星周边产品销售网站设计与实现

项目运行 环境配置&#xff1a; Jdk1.8 Tomcat7.0 Mysql HBuilderX&#xff08;Webstorm也行&#xff09; Eclispe&#xff08;IntelliJ IDEA,Eclispe,MyEclispe,Sts都支持&#xff09;。 项目技术&#xff1a; Springboot mybatis Maven mysql5.7或8.0等等组成&#x…