【C++练级之路】【Lv.13】多态（你真的了解虚函数和虚函数表吗？）



快乐的流畅：个人主页


个人专栏：《C语言》《数据结构世界》《进击的C++》

远方有一堆篝火，在为久候之人燃烧！

文章目录

  • 一、虚函数与重写
    • 1.1 虚函数
    • 1.2 虚函数的重写
    • 1.3 重写的特例
    • 1.4 final和override（C++11）
    • 1.5 重载、重写(覆盖)、重定义(隐藏)的对比
  • 二、多态的概念及定义
    • 2.1 多态的概念
    • 2.2 多态的定义
  • 三、抽象类
    • 3.1 纯虚函数
    • 3.2 抽象类的概念
    • 3.3 接口继承与实现继承
  • 四、多态的原理
    • 4.1 虚函数表
    • 4.2 虚函数表的打印
    • 4.3 单继承下的虚函数表
      • 4.3.1 一对一
      • 4.3.2 多对一
      • 4.3.3 一对多
    • 4.4 多继承下的虚函数表
    • 4.5 多态的原理
    • 4.6 静态绑定与动态绑定
    • 4.7 菱形虚拟继承下的虚函数表

一、虚函数与重写

1.1 虚函数

虚函数：即被virtual修饰的类成员函数称为虚函数。

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

1.2 虚函数的重写

虚函数的重写，又称覆盖。派生类有一个函数名、参数、返回值与基类虚函数相同的虚函数，则称派生类的虚函数重写了基类的虚函数。

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

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

同时，虚函数重写，其意义在于继承函数接口，重写函数定义。

1.3 重写的特例

  1. 派生类要重写的虚函数，可以不用加virtual关键字（不推荐使用）
class Person
{
public:
	virtual void BuyTicket() { cout << "买票-全价" << endl; }
};

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

原因：由于继承，派生类的同名函数继承了基类虚函数的特性。

  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. 析构函数的重写
    如果基类的析构函数为虚函数，那么只要派生类的析构函数定义，便构成重写。
class Person
{
public:
	virtual ~Person() {cout << "~Person()" << endl;}
};

class Student : public Person
{
public:
	virtual ~Student() { cout << "~Student()" << endl; }
};

原因：编译器此时做了特殊处理，将基类和派生类的析构函数名，都改为destructor，因此构成重写。

那么为什么要这么处理呢？请看下面代码：

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

原因：只有这样处理，构成多态，才能正确调用各自的析构函数。

1.4 final和override（C++11）

  1. final：可以修饰变量、函数和类。
    对于变量，确保初始化后不能被修改
    对于函数，确保不能被子类重写
    对于类，确保不能被继承
class Car
{
public:
	virtual void Drive() final {}
};

class Benz :public Car
{
public:
	virtual void Drive() {cout << "Benz-舒适" << endl;}
};

加上final，以上代码会编译报错。

  1. override：检查派生类虚函数是否重写了基类某个虚函数，如果没有重写编译报错。
class Car
{
public:
	virtual void Drive() {}
};

class Benz :public Car
{
public:
	virtual void Drive() override { cout << "Benz-舒适" << endl; }
};

1.5 重载、重写(覆盖)、重定义(隐藏)的对比

二、多态的概念及定义

2.1 多态的概念

多态，顾名思义，即多种形态。具体来说，就是不同对象执行同一行为而产生不同的结果。

比如买票这个行为，当普通人买票时，是全价买票；学生买票时，是半价买票；军人买票时是优先买票。

2.2 多态的定义

多态，是在不同继承关系的类对象，去调用同一函数，产生不同的行为。

比如：Student继承了Person。Person对象买票全价，Student对象买票半价。

构成多态需要两个条件：

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

三、抽象类

3.1 纯虚函数

在虚函数的后面写上 =0 ，则这个函数为纯虚函数。

class Car
{
public:
	virtual void Drive() = 0;
};

3.2 抽象类的概念

包含纯虚函数的类叫做抽象类，也叫接口类。

抽象类不能实例化出对象，派生类继承后也不能实例化出对象，只有重写纯虚函数，派生类才能实例化出对象。

class Car
{
public:
	virtual void Drive() = 0;
};

class Benz :public Car
{
public:
	virtual void Drive()
	{
		cout << "Benz-舒适" << endl;
	}
};

class BMW :public Car
{
public:
	virtual void Drive()
	{
		cout << "BMW-操控" << endl;
	}
};

void Test()
{
	Car* pBenz = new Benz;
	pBenz->Drive();
	Car* pBMW = new BMW;
	pBMW->Drive();
}

意义：纯虚函数规范了派生类必须重写，另外纯虚函数更体现出了接口继承。

3.3 接口继承与实现继承

普通函数的继承，是一种实现继承，派生类继承了基类函数，可以使用函数，继承的是函数的实现。

虚函数的继承，是一种接口继承，派生类继承的是基类虚函数的接口，目的是为了重写，达成多态，继承的是接口。

综上所述，虚函数就是为多态而生的，如果不实现多态，不要把函数定义成虚函数。

四、多态的原理

4.1 虚函数表

先来看一道题：32位平台下，sizeof(Base)是多少？

class Base
{
public:
	virtual void Func1()
	{
		cout << "Func1()" << endl;
	}
private:
	int _b = 1;
};

正确答案是8byte！是不是很诧异？

其实，Base类里面还有一个隐藏的指针，称为虚函数表指针（简称虚表指针）。


经过观察发现，其类型为void**，并且(与平台有关，vs平台下)位于对象的最上方。

而且，这个指针指向了一张表，称为虚函数表（简称虚表）。虚函数表，是一个函数指针数组，里面存储了该类中虚函数的指针。

4.2 虚函数表的打印

由于监视窗口会隐藏一些真实的信息，并且观察起来不太直观和方便，所以我们写一个函数专门打印虚函数表，以便观察和检验。

typedef void(*VFT_PTR)();

void PrintVFTable(VFT_PTR* table)
{
	for (int i = 0; table[i] != nullptr; ++i)
	{
		printf("[%d]: %p-> ", i, table[i]);
		VFT_PTR f = table[i];
		f();
	}
	cout << endl;
}

细节：

  1. 由于函数指针不太直观，先typedef重命名一下
  2. 传参传入二级指针，也就是虚表指针
  3. 这里利用一个性质：虚函数表以nullptr结尾，以作标识（vs平台）

至于如何取出虚表指针，这也是需要一定的技巧。先给出下面分析要用的main函数

int main()
{
	Base b;
	Derive d;

	PrintVFTable(*(VFT_PTR**)&b);
	PrintVFTable(*(VFT_PTR**)&d);

	return 0;
}

细节：

  1. 利用性质：虚表指针在对象的开头（vs平台）
  2. 取出对象地址，再强转为VFT_PTR**，这样解引用就可以直接获取虚表指针大小的内容

需要说明的是这个打印虚表的代码经常会崩溃，因为编译器有时对虚表的处理不干净，虚表最后面没有放nullptr，导致越界，这是编译器的问题。我们只需要点目录栏的-生成-清理解决方案，再编译就好了。

4.3 单继承下的虚函数表

4.3.1 一对一

class Base
{
public:
	virtual void Func1()
	{
		cout << "Base::Func1()" << endl;
	}
private:
	int _b = 1;
};

class Derive : public Base
{
public:
	virtual void Func1()
	{
		cout << "Derive::Func1()" << endl;
	}
private:
	int _d = 2;
};

运行结果：

4.3.2 多对一

class Base
{
public:
	virtual void Func1()
	{
		cout << "Base::Func1()" << endl;
	}
	virtual void Func2()
	{
		cout << "Base::Func2()" << endl;
	}
private:
	int _b = 1;
};

class Derive : public Base
{
public:
	virtual void Func1()
	{
		cout << "Derive::Func1()" << endl;
	}
private:
	int _d = 2;
};

运行结果：

4.3.3 一对多

class Base
{
public:
	virtual void Func1()
	{
		cout << "Base::Func1()" << endl;
	}
private:
	int _b = 1;
};

class Derive : public Base
{
public:
	virtual void Func1()
	{
		cout << "Derive::Func1()" << endl;
	}
	virtual void Func4()
	{
		cout << "Derive::Func4()" << endl;
	}
private:
	int _d = 2;
};

运行结果：

综上三种情况：

  1. 基类的虚函数表，（按照声明顺序）存储基类中的虚函数指针。
  2. 派生类的虚函数表，先将基类的虚函数表拷贝过来，再对被重写的虚函数覆盖为派生类的虚函数，最后在末尾加上派生类新增的虚函数。

这里也体现了为什么重写又称覆盖，重写是语法层的叫法，覆盖是原理层的叫法。

4.4 多继承下的虚函数表

那么，有了上面单继承下的虚函数表的基础，我们再来看看多继承虚函数表有哪些变化吧。

class Base1
{
public:
	virtual void func1()
	{
		cout << "Base1:func1()" << endl;
	}
	virtual void func2()
	{
		cout << "Base1:func2()" << endl;
	}
private:
	int _b1;
};

class Base2
{
public:
	virtual void func1()
	{
		cout << "Base2:func1()" << endl;
	}
	virtual void func2()
	{
		cout << "Base2:func2()" << endl;
	}
private:
	int _b2;
};

class Derive :public Base1, public Base2
{
public:
	virtual void func1()
	{
		cout << "Derive::func1()" << endl;
	}
	virtual void func3()
	{
		cout << "Derive::func3()" << endl;
	}
private:
	int _d1;
};

我们先来看看监视窗口：

我们可以发现，多继承下的派生类对象，将两个基类的虚表都继承了过来，所以后续打印时要注意打印两份虚表。

这里需要找到派生类对象中两个虚表指针的位置，可以用到切片的技巧，实现指针自动定位。

int main()
{
	Base1 b1;
	Base2 b2;

	Derive d;
	Base1* p1 = &d;
	Base2* p2 = &d;

	PrintVFTable(*(VFT_PTR**)&b1);
	PrintVFTable(*(VFT_PTR**)&b2);
	PrintVFTable(*(VFT_PTR**)p1);
	PrintVFTable(*(VFT_PTR**)p2);

	return 0;
}

运行结果：

结论：

  1. 派生类分别将各个基类的虚表拷贝过来，再对被重写的虚函数进行覆盖。
  2. 唯一不同的，是派生类新增的虚函数，是放在第一个继承的基类部分虚表的最后。

4.5 多态的原理

讲了这么多虚函数表的内容，所以这跟多态的原理有什么关系呢？我们再来回看一开始这张多态调用分析图：

  1. 为什么要使用父类的指针或引用来调用？因为子类的虚表存储在继承的父类部分，这样才能统一调用父类子类各自的虚表。

  2. 为什么被调用的虚函数必须重写？因为这是一种接口继承，也是你要实现多态的根本目的。在重写了虚函数的实现后，调用时在父类子类各自的虚表查找各自不同实现的虚函数，才能构成多态。

4.6 静态绑定与动态绑定

  1. 静态绑定又称为前期绑定(早绑定)，在程序编译期间确定了程序的行为，也称为静态多态，比如：函数重载。
  2. 动态绑定又称后期绑定(晚绑定)，是在程序运行期间，根据具体拿到的类型确定程序的具体行为，调用具体的函数，也称为动态多态。

所以，满足多态以后的函数调用，不是在编译时确定的，是运行起来以后到对象的中取找的。不满足多态的函数调用时编译时确认好的。

4.7 菱形虚拟继承下的虚函数表

这里已经属于考试不考，实际中不常用的范围了，有兴趣可以看看~

class A
{
public:
	virtual void func1()
	{}
	int _a;
};

class B :virtual public A
{
public:
	virtual void func1()
	{}
	virtual void func2()
	{}
	int _b;
};

class C :virtual public A
{
public:
	virtual void func1()
	{}
	virtual void func3()
	{}
	int _c;
};

class D :public B, public C
{
public:
	virtual void func1()
	{}
	virtual void func4()
	{}
	int _d;
};

int main()
{
	D d;
	d._b = 1;
	d._c = 2;
	d._d = 3;
	d._a = 4;
	return 0;
}

虚表（虚函数表）：存储虚函数地址

虚基表：存储偏移量


细节：

  1. D类中必须重写func1，避免B和C类多重继承时重写的歧义性
  2. 虚拟继承中，重写的func1位于A部分虚表，而B和C类中未重写的虚函数，分别位于B和C部分的虚表
  3. D类中新增的虚函数，放在第一个继承类部分的虚表（即B部分虚表）
  4. 虚基表中（总共两个位置），第一位置记录距离虚表指针的偏移量，第二位置记录距离A部分的偏移量

实际中我们不建议设计出菱形继承及菱形虚拟继承，一方面太复杂容易出问题，另一方面这样的模型，访问基类成员有一定得性能损耗。


真诚点赞，手有余香

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

如若内容造成侵权/违法违规/事实不符，请联系我们进行投诉反馈qq邮箱809451989@qq.com，一经查实，立即删除！

相关文章

【ROS+amcl+Movebase】多机器人导航

【ROS+amcl+Movebase】多机器人导航

学过单机器人在已知地图中的导航后&#xff0c;想到如果有多个机器人在同一地图如何导航&#xff0c;于是在网上学习了下&#xff0c;主流方案即在单机器人导航的基础上引入命名空间。 参考文章1 参考文章2 参考文章3 一、实验环境 Ubuntu1804&#xff08;虚拟机&#xff09;…
阅读更多...
VSCode+python单步调试库代码

VSCode+python单步调试库代码

VSCodepython单步调试库代码 随着VSCode版本迭代更新&#xff0c;在最新的1.87.x中&#xff0c;使用Python Debugger扩展进行调试时&#xff0c;扩展的justMyCode默认属性为true&#xff0c;不会进入库中的代码。这对debug而言不太方便&#xff0c;因此需要手动设置一下&#…
阅读更多...
在vite（vue）项目中使用mockjs

在vite（vue）项目中使用mockjs

在vite&#xff08;vue&#xff09;项目中使用mockjs 在开发环境使用 1、首先创建vite项目 yarn create vite选择vue&#xff0c;选择默认的js版本 2、进入项目文件夹中执行yarn安装依赖 yarn add axios mockjs vite-plugin-mock3、安装axios、mockjs及插件 yarn add axio…
阅读更多...
【方法封装】时间格式化输出，获取请求设备和IP

【方法封装】时间格式化输出，获取请求设备和IP

目录 时间类 1.1 获取当前时间&#xff0c;以特定格式化形式输出 1.2 自定义时间&#xff0c;以特定格式化输出 1.3 获取当前时间&#xff0c;自定义格式化 1.4 自定义时间&#xff0c;自定义格式化 设备类 根据请求头信息&#xff0c;获取用户发起请求的设备 请求IP类 …
阅读更多...
vue3中的文字滚动播报

vue3中的文字滚动播报

vue3中的文字滚动播报 之前UI框架一直使用的elementPlus&#xff0c;有个需求&#xff0c;需要在页面上写个滚动播放新闻的功能&#xff0c;发现UI框架居然没有这个组件。花了一下午&#xff0c;在ChatGPT的帮助下&#xff0c;总算写成功了&#xff0c;先看最终展示效果 web页…
阅读更多...
Python打印输出Linux中最常用的linux命令之示例

Python打印输出Linux中最常用的linux命令之示例

一、Linux中的~/.bash_history文件说明&#xff1a; 该文件保存了linux系统中运行过的命令的历史。使用该文件来获取命令的列表&#xff0c;并统计命令的执行次数。统计时&#xff0c;只统计命令的名称&#xff0c;以不同参数调用相同的命令也视为同一命令。 二、示例代码&am…
阅读更多...
npm yarn 一起使用报错

npm yarn 一起使用报错

项目记录&#xff0c;具有独特性&#xff0c;仅供参考 项目好好的运行&#xff0c;前一天装个测试工具包&#xff0c; 突然就不行了&#xff0c;卸载重装也不行&#xff0c;所有的项目都安装失败&#xff0c;新起一个项目也不行&#xff0c;有时候某个单独安装一个包可以&…
阅读更多...
【爬虫】requests.post请求中的data和json使用区别

【爬虫】requests.post请求中的data和json使用区别

请求体是键值对形式&#xff08;无花括号&#xff09;&#xff0c;请求时需要使用data参数处理。 代码&#xff1a; data {...} ret requests.post(url, headersheaders, datadata)请求体是字典形式&#xff08;有花括号&#xff09;&#xff0c;请求时需要使用json参数处理。…
阅读更多...
GPT-5：人工智能的下一个前沿即将到来

GPT-5：人工智能的下一个前沿即将到来

当我们站在人工智能新时代的门槛上时&#xff0c;GPT-5即将到来的呼声愈发高涨且迫切。作为革命性的GPT-3的继任者&#xff0c;GPT-5承诺将在人工智能领域迈出量子跃迁式的进步&#xff0c;其能力可能重新定义我们与技术的互动方式。 通往GPT-5之路 通往GPT-5的旅程已经标记着…
阅读更多...
Markdown编辑器VNote突然让我不知所措 编辑区变小问题

Markdown编辑器VNote突然让我不知所措 编辑区变小问题

环境&#xff1a;macOS VNote 3.16.0 一直喜欢用VNote因为它的编辑和显示的切换分离及右边的大纲&#xff08;菜单&#xff09;比CSDN在上方的大纲好用很多&#xff01; 但今天在编辑时不知碰到了什么键&#xff0c;编辑界面变成了下面的样子 按了回撤也没有反应&#xff0c…
阅读更多...
mineadmin 快速安装部署（docker环境）

mineadmin 快速安装部署（docker环境）

前提条件&#xff1a;已安装docker 一、下载dnmp环境包 github地址&#xff1a;https://github.com/tomorrow-sky/dnmp gitee地址&#xff1a; https://gitee.com/chenjianchuan/dnmp 二、看一下dnmp包目录结构 三、打开docker-compose.yml 文件&#xff0c;将不需要…
阅读更多...
鸿蒙Harmony应用开发—ArkTS声明式开发（基础手势：Web）上篇

鸿蒙Harmony应用开发—ArkTS声明式开发（基础手势：Web）上篇

提供具有网页显示能力的Web组件&#xff0c;ohos.web.webview提供web控制能力。 说明&#xff1a; 该组件从API Version 8开始支持。后续版本如有新增内容&#xff0c;则采用上角标单独标记该内容的起始版本。示例效果请以真机运行为准&#xff0c;当前IDE预览器不支持。 需要权…
阅读更多...
联想小新电脑出现蓝屏问题解决（通过系统重置解决了）

联想小新电脑出现蓝屏问题解决（通过系统重置解决了）

只看问题描述和文章最后一行字即可 问题描述 电脑出现蓝屏&#xff0c;如下 尝试解决&#xff08;并未解决&#xff09; 搜索FAULTY_HARDWARE_CORRUPTED_PAGE寻找解决方案&#xff0c;找到较为靠谱的文章&#xff1a;记录蓝屏问题FAULTY_HARDWARE_CORRUPTED_PAGE 根据文章提…
阅读更多...
深入探讨`g++`与`gcc`：混合编程中的编译链接艺术

深入探讨`g++`与`gcc`：混合编程中的编译链接艺术

深入探讨g与gcc&#xff1a;混合编程中的编译链接艺术 在混合使用C和C进行项目开发时&#xff0c;选择正确的编译器和链接器对项目的成功至关重要。虽然gcc和g都是GNU编译器集合&#xff08;GCC&#xff09;的重要组成部分&#xff0c;它们在处理混合语言项目时展现出了不同的能…
阅读更多...
【LeetCode每日一题】2864. 最大二进制奇数

【LeetCode每日一题】2864. 最大二进制奇数

文章目录 [2864. 最大二进制奇数](https://leetcode.cn/problems/maximum-odd-binary-number/)思路&#xff1a;代码1&#xff1a; 2864. 最大二进制奇数 思路&#xff1a; 1.拼贴字符串。 2.遍历字符串s,统计1的个数。 3.如果只有一个1&#xff0c;将1放在末尾&#xff0c;…
阅读更多...
AI实战：借助Python与PaddleOCR，实现高精度文本检测与识别

AI实战：借助Python与PaddleOCR，实现高精度文本检测与识别

1、引言 欢迎来到今天的教程&#xff1a;“驾驭PaddleOCR&#xff0c;解锁Python文字识别新技能”。在本篇文章中&#xff0c;我们将手把手教你如何安装及使用这款强大的Python库&#xff0c;轻松应对各类图像中的文字识别问题。 2、安装PaddleOCR 首先确保你的环境中已安装…
阅读更多...
东胜物联携多款智能网关亮相瑞芯微RK开发者大会

东胜物联携多款智能网关亮相瑞芯微RK开发者大会

2024年3月7-8日&#xff0c;第八届瑞芯微开发者大会在福州盛大举行&#xff0c;以“AI芯片AI应用AIoT”为主题&#xff0c;近3000名业内企业代表、开发者、院校代表、政府代表共聚一堂。 本次大会为期两天&#xff0c;共设有13大应用场景及46个生态伙伴展区。作为瑞芯微的长期…
阅读更多...
WAAP全站防护

WAAP全站防护

近年来&#xff0c;随着移动互联网的快速发展&#xff0c;诞生了APP、H5、小程序等多种应用形式&#xff0c;更多的企业核心业务、交易平台都越来越依赖这些新型应用程序。与此同时&#xff0c;越来越多的第三方API接口被调用&#xff0c;API业务带来的Web敞口风险和风险管控链…
阅读更多...
slf4j 打印当前类和方法

slf4j 打印当前类和方法

spring initializr 自动包含依赖，也可以在 pom.xml 文件中添加 slf4j 的依赖，指定版本 例如我这边默认版本是 1.7.36 通过添加依赖修改版本为 1.7.32<dependency><groupId>org.slf4j</groupId><artifactId>slf4j-api</artifactId><version…
阅读更多...
如何在CentOS7搭建DashDot服务器仪表盘并实现远程监控

如何在CentOS7搭建DashDot服务器仪表盘并实现远程监控

文章目录 1. 本地环境检查1.1 安装docker1.2 下载Dashdot镜像 2. 部署DashDot应用3. 本地访问DashDot服务4. 安装cpolar内网穿透5. 固定DashDot公网地址 本篇文章我们将使用Docker在本地部署DashDot服务器仪表盘&#xff0c;并且结合cpolar内网穿透工具可以实现公网实时监测服务…
阅读更多...
最新文章

Copyright @ 2022~2023