C++修炼之路之多态---多态的原理(虚函数表)

目录

一：多态的原理 

1.虚函数表

 2.原理分析

3.对于虚表存在哪里的探讨

4.对于是不是所有的虚函数都要存进虚函数表的探讨

二：多继承中的虚函数表

三：常见的问答题 

接下来的日子会顺顺利利，万事胜意，生活明朗-----------林辞忧 

接上篇的多态的介绍后，接下来介绍多态的原理以及虚函数表的相关知识

一：多态的原理 

1.虚函数表

这里从一道经典笔试题引入

对于这道题我们可能想到的是计算类 大小的对齐规则，结果为4，但结果为8，这是因为有虚函数的类要多考虑一指针

在32位系统下是8

如果这里再添加几个虚函数呢？

 

所以在这里不管类里面有多少个虚函数 ，只要是包含虚函数的类计算大小都要考虑添加一指针，再考虑对齐

但这里的一指针是什么呢？

但这里我们就看到在b1中除了_b还存有 一个_vfptr的指针在对象的前面，这个指针就叫做虚函数表指针，其中v代表virtual,f代表funcation

每一个含有虚函数的类都至少有一个虚函数表指针，他的类型为函数指针数组，而虚函数的地址是存放在虚函数表中的，虚函数表也叫虚表

 2.原理分析

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

int main()
{
	Base b1;
	Derived d1;
	return 0;
}

 

解释多态调用的两个条件

对于条件一：必须是父类的指针或引用来调用函数

1.父类的指针指向父类对象时，依据虚函数表指针(vfptr)，在虚函数表中找到函数的地址，再call这个地址来执行接下来的操作

2.父类的指针指向子类对象时，先完成切片，找到父类的那一部分，依据虚函数表指针(vfptr)，在虚函数表中找到函数的地址，再call这个地址来执行接下来的操作

3.由于经过虚函数的重写后，虚函数的地址是不相同的，所以结果是不相同的，这是就形成了多态

对于编译器来说上面的两个调用是执行的同样的操作，都只是取对象的头四个字节，就是虚函数表指针，然后去虚表中找到对应调用函数的地址，然后执行接下来的操作

4.如果是父类的对象调用函数的话这时就要分析可能会总成的结果

这时尤其是这样的场景，Person* ptr=new Person,Student s;   *ptr=s ,这样如果支持能拷贝虚函数表指针的话，这时delete  ptr,就调用的是 Student类的析构函数，导致直接错误的

5.对于多态调用是在运行时，去虚表里面找到函数指针，确定函数指针后，调用函数；

对于普通调用是在编译链接时，确定函数地址

6.派生类中只有一个虚表指针（菱形继承除外），同一个类的对象共用一张虚表

7.虚函数也是也是和成员函数一样存在代码段的，不同的是虚函数会将自己的地址存在虚表中

对于条件二：虚函数的重写

从上面就可以看出虚函数的重写也叫覆盖，覆盖了原先虚函数的地址，重写是语法层的叫法，而覆盖是原理层的叫法

三：派生类的虚表生成

1.先将基类中的虚表内容拷贝一份到派生类的虚表中

2.如果派生类重写了基类中的某个虚函数，用派生类自己的虚函数的地址来覆盖虚表中基类的虚函数地址

3.派生类自己新增的虚函数按其在派生类中的声明顺序增加到派生类虚表的最后

3.对于虚表存在哪里的探讨

对于栈和堆是不可能的，只有代码段或者静态区，但我们可以自己验证是存在哪里的

验证代码

class Base {
public:
	virtual void func1() { cout << "Base::func1" << endl; }
	virtual void func2() { cout << "Base::func2" << endl; }
private:
	int a;
};
void func()
{
	cout << "void func()" << endl;
}
int main()
{
	Base b1;
	Base b2;

	static int a = 0;
	int b = 0;
	int* p1 = new int;
	const char* p2 = "hello world";
	printf("静态区:%p\n", &a);
	printf("栈:%p\n", &b);
	printf("堆:%p\n", p1);
	printf("代码段:%p\n", p2);
	printf("虚表:%p\n", *((int*)&b1));
	printf("虚函数地址:%p\n", &Base::func1);
	printf("普通函数地址:%p\n", func);

	return 0;
}

对于这里的取虚表地址

 

可以这样来理解，&b1是整个类的地址，然后强转为(int*),再解引用取得就是头四个字节，即虚表地址 

 

我们发现 和虚表地址最接近的为代码段的地址，所以可以确定虚表是存在代码段的

4.对于是不是所有的虚函数都要存进虚函数表的探讨

首先确定答案 一定都是存在虚函数表的

接下来我们在vs上监视窗口来查看

分析代码

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

class Derive :public Base {
public:
	virtual void func1() { cout << "Derive::func1" << endl; }
	virtual void func3() { cout << "Derive::func3" << endl; }
	virtual void func4() { cout << "Derive::func4" << endl; }
	void func5() { cout << "Derive::func5" << endl; }
private:
	int b;
};

class X :public Derive {
public:
	virtual void func3() { cout << "X::func3" << endl; }
};

int main()
{
	Base b;
	Derive d;
	X x;

	Derive* p = &d;
	p->func3();

	p = &x;
	p->func3();

	return 0;
}

  

对于这里监视窗口的显示，在这里对于b是只有两个虚函数都存进了虚函数表中，但对于d和x都应该是四个虚函数存进虚函数表的，但在这里都只存了两个虚函数，但验证多态调用的话，结果为

结果是多态调用， 这时我们就不得不质疑此时监视窗口 的结果了

为了进一步的证明。我们可以调用内存窗口来查看

在内存中我们就会发现后两个地址与前两个虚函数的地址很接近，所以我们暂时可以认为虚函数是都存在虚函数表中的，

为了确定结果，我们可以使用打印虚表来验证猜想

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

class Derive :public Base {
public:
	virtual void func1() { cout << "Derive::func1" << endl; }
	virtual void func3() { cout << "Derive::func3" << endl; }
	virtual void func4() { cout << "Derive::func4" << endl; }
	void func5() { cout << "Derive::func5" << endl; }
private:
	int b;
};

class X :public Derive {
public:
	virtual void func3() { cout << "X::func3" << endl; }
};

typedef void (*VFUNC)();
//void PrintVFT(VFUNC a[])
void PrintVFT(VFUNC* a)
{
	for (size_t i = 0; a[i] != 0; i++)
	{
		printf("[%d]:%p->", i, a[i]);
		VFUNC f = a[i];
		f();
		//(*f)();
	}
	printf("\n");
}

int main()
{
	Base b;
	PrintVFT((VFUNC*)(*((long long*)&b)));//32位的话，可以采用int

	Derive d;
	X x;

	// PrintVFT((VFUNC*)&d);
	PrintVFT((VFUNC*)(*((long long*)&d)));

	PrintVFT((VFUNC*)(*((long long*)&x)));

	return 0;
}

 

这样看，只要是虚函数，都会将地址存到类的虚函数表里面的

 

二：多继承中的虚函数表

同样的我们可以采用例子来介绍

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()
{
	Derive d;

	Base1* p1 = &d;
	p1->func1();

	Base2* p2 = &d;
	p2->func1();

	return 0;
}

采用监视窗口的话 

就会发现对于基类的两张虚表中都没有存derived类的fun3() ，但我们可以使用多态的调用来验证下

所以的话，fun3是一定存在基类的两张 虚表中的其中一个里面，这样采用内存来看

所以最好的方式，我们还是来打印两个基类的虚函数表的 

typedef void (*VFUNC)();
//void PrintVFT(VFUNC a[])
void PrintVFT(VFUNC* a)
{
	for (size_t i = 0; a[i] != 0; i++)
	{
		printf("[%d]:%p->", i, a[i]);
		VFUNC f = a[i];
		f();
		//(*f)();
	}
	printf("\n");
}
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()
{
	Derive d;
     PrintVFT((VFUNC*)(*(int*)&d));

     //PrintVFT((VFUNC*)(*(int*)((char*)&d+sizeof(Base1))));
     Base2* ptr = &d;
     PrintVFT((VFUNC*)(*(int*)ptr));

	
	/*Base1* p1 = &d;
	p1->func1();

	Base2* p2 = &d;
	p2->func1();*/

	return 0;
}

 

所以此时我们就会知道，派生类的虚函数地址是存在第一个基类的虚函数表里面的 

三：常见的问答题 

 

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

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

相关文章

（51单片机）第十一章-串行口应用提高

（51单片机）第十一章-串行口应用提高

11.1 方式0应用 在第6章中&#xff0c;已经对51单片机的串行口结构做过详细介绍&#xff0c;并且通过实例讲解了串行口的4种工作方式中方式1的具体用法&#xff0c;本节详细讲述串行口方式0的用法。 串行口方式0被称为同步移位寄存器的输入/输出方式&#xff0c;主要用于扩展并…
阅读更多...
PCDN与边缘计算的集成解决方案

PCDN与边缘计算的集成解决方案

PCDN与边缘计算的集成解决方案 在数字化时代&#xff0c;内容的快速、安全地传递至用户变得至关重要。无论是媒体、教育还是其他领域&#xff0c;所有这些行业都需要强大的技术支持以保证信息的实时更新和安全传输。PCDN&#xff08;Peer Content Delivery Network&#xff0c…
阅读更多...
详解QListView、QListWidget、QTableView、QTableWidget的使用以及区别

详解QListView、QListWidget、QTableView、QTableWidget的使用以及区别

在Qt框架中&#xff0c;QListView、QListWidget、QTableView和QTableWidget都是用于显示列表或表格数据的控件。它们在用途、数据模型、灵活性以及直接操作数据的便捷性等方面存在一定的差异。下面将详细阐述这些控件的使用方法以及它们之间的区别&#xff0c;并提供相应的C代码…
阅读更多...
YAML教程-2-Python读写YAML文件

YAML教程-2-Python读写YAML文件

领取资料&#xff0c;咨询答疑&#xff0c;请➕wei: June__Go 上一小节我们讲解了一下YAML文件的基本使用方法&#xff0c;本小节我们学习一下Python读写YAML文件的方法。 在Python中读写YAML文件&#xff0c;通常会使用PyYAML这个第三方库&#xff0c;因为它提供了与YAML格…
阅读更多...
前后端交互概念

前后端交互概念

前后端交互概念 1前后端分离开发概念2搭建后端环境2.1配置文件commomcommon-utilservice-utilmodelservice gitee使用 1前后端分离开发概念 前段&#xff1a;运用html、css、js和现成库&#xff0c;对数据作展示。 后端&#xff1a;运用Java和Java框架&#xff0c;提供数据或操…
阅读更多...
数据结构10：堆和堆排序

数据结构10：堆和堆排序

文章目录 树的概念及结构树的概念树的相关概念树的表示树在实际中的应用表示文件系统的目录树结构 二叉树概念及结构概念特殊的二叉树二叉树的性质二叉树的存储结构顺序存储链式存储 二叉树的顺序结构及实现二叉树的顺序结构堆的概念及结构 堆的实现堆的插入堆的删除堆的创建向…
阅读更多...
C# winfrom 超详细UI创建过程 实现双色球选号器UI界面设计过程

C# winfrom 超详细UI创建过程 实现双色球选号器UI界面设计过程

一、 效果展示 1. 无点击效果展示&#xff1a;不选中——双色球为灰色&#xff0c;字体也为灰色 2.点击双色器效果展示&#xff1a;选中——双色球为红或者蓝&#xff0c;字体为白色 二、 使用控件标注说明 三、界面特点介绍 双色球代码控制生成---------由于红色33个球&…
阅读更多...
上位机工作感想-从C#到Qt的转变-1

上位机工作感想-从C#到Qt的转变-1

0.前言 接触Qt开发也有一年多的时间了&#xff0c;还记得去年初从杭州回合肥时&#xff0c;刚来公司面临的几个问题&#xff1a; 1.C#转上位机的迷茫2.新公司管理模式的差异3.试用期的各种紧急任务。 当时也是加班加点学习C和Qt的基础知识&#xff0c;做了两个考核项目后&am…
阅读更多...
生态短讯 | Tapdata 与 TDengine 完成产品兼容性互认证，打造物联网实时数据生态

生态短讯 | Tapdata 与 TDengine 完成产品兼容性互认证，打造物联网实时数据生态

近月&#xff0c;深圳钛铂数据有限公司&#xff08;以下简称钛铂数据&#xff09;自主研发的实时数据平台&#xff08;Tapdata Live Data Platform&#xff09;与北京涛思数据科技有限公司&#xff08;以下简称涛思数据&#xff09;自主研发的大数据平台 TDengine&#xff0c;已…
阅读更多...
arm版Linux下安装大数据集群各种组件

arm版Linux下安装大数据集群各种组件

背景&#xff1a;由于本人是用的Macbookpro m2来进行开发的&#xff0c;很多环境和Intel芯片的都不一样&#xff0c;期间安装各种软件遇到各种问题&#xff0c;为了以后不走之前的老路&#xff0c;现记录各种软件的安装步骤。 系统安装组件说明 序号组件名称组件版本1jdkjdk-…
阅读更多...
SpringMvc的核心组件和执行流程

SpringMvc的核心组件和执行流程

一、 springmvc的核心组件及作用 1.DispatcherServlet:前置控制器&#xff0c;是整个流程控制的核心&#xff0c;用来控制其他组件的执行&#xff0c;降低了其他组件的耦合性 2.Handler:控制器&#xff0c;完成具体的业务逻辑&#xff0c;当DispatcherServlet接收到请求后&am…
阅读更多...
Linux华硕笔记本安装ROG Asusctl

Linux华硕笔记本安装ROG Asusctl

基础环境 适用系统&#xff1a; linux mint 21ubuntu 22.04 安装版本&#xff1a; asusctl-5.0.10rust 1.77.2 构建 安装编译环境 sudo apt-get update sudo apt-get install -y \libasound2-dev \libfreetype6-dev \libexpat1-dev \libxcb-composite0-dev \libssl-dev …
阅读更多...
mysql基础2——字段类型

mysql基础2——字段类型

整数类型 需要考虑存储空间和可靠性的平衡 浮点类型 浮点数类型不精准 将十进制数转换为二进制数存储 浮点数类型&#xff1a;float double real(默认是&#xff0c;double ) 如果需要将real设定为float &#xff0c;那么通过以下语句实现 set sql_mode "real_as…
阅读更多...
Token 在 LLM

Token 在 LLM

大语言模型不能理解原始文本，所以需要把原始文本转换成大语言模型可以理解的数字表示形式，经过大模型处理以后，需要将该数字表示形式转换为人可以理解的文本。 原始文本到 token 原始文本转换为token序列的过程通常是在LLM的预处理阶段完成的。 在大型语言模型(LLM)中,tok…
阅读更多...
restful请求风格的增删改查-----查询and添加

restful请求风格的增删改查-----查询and添加

一、restful风格的介绍 restful也称之为REST ( Representational State Transfer )&#xff0c;可以将它理解为一种软件架构风格或设计风格&#xff0c;而不是一个标准。简单来说&#xff0c;restful风格就是把请求参数变成请求路径的一种风格。例如&#xff0c;传统的URL请求…
阅读更多...
Windows bat实现循环往txt文件插入1000条数据内容

Windows bat实现循环往txt文件插入1000条数据内容

bat脚本实现&#xff1a; echo off for /L %%i in (1,1,1000) do (echo "I am from 192.168.10.171" >> c:\ztj.txt ) echo off --在批处理运行命令的时候不会一条一条的显示执行的命令 for /L %variable in (start,step,end) do command [command-p…
阅读更多...
SQLite导出数据库至sql文件

SQLite导出数据库至sql文件

SQLite是一款实现了自包含、无服务器、零配置、事务性SQL数据库引擎的软件库。SQLite是世界上部署最广泛的SQL数据库引擎。 SQLite 是非常小的&#xff0c;是轻量级的&#xff0c;完全配置时小于 400KiB&#xff0c;省略可选功能配置时小于250KiB。 SQLite 源代码不受版权限制。…
阅读更多...
BST+二分

BST+二分

二叉搜索树 二叉查找树是指一棵有下列性质的[二叉树]&#xff1a; 若任意节点的左子树不空&#xff0c;则左子树上所有节点的值均小于它的根节点的值&#xff1b;若任意节点的右子树不空&#xff0c;则右子树上所有节点的值均大于它的根节点的值&#xff1b;任意节点的左、右…
阅读更多...
《计算思维导论》笔记：《第10章 数据化思维-数据聚集与管理》计算思维第17讲-从表的管理看数据库

《计算思维导论》笔记：《第10章 数据化思维-数据聚集与管理》计算思维第17讲-从表的管理看数据库

《大学计算机—计算思维导论》&#xff08;战德臣 哈尔滨工业大学&#xff09; 《计算思维第17讲-从表的管理看数据库----结构化与非结构化数据管理》 一、引言 今天我们从表的管理看数据库&#xff0c;给大家讲一下结构化与非结构化数据管理的思维。 二、为什么需要数据库–工…
阅读更多...
ExpertPrompting：指导大语言模型成为杰出专家

ExpertPrompting：指导大语言模型成为杰出专家

&#x1f349; CSDN 叶庭云&#xff1a;https://yetingyun.blog.csdn.net/ 论文标题&#xff1a;ExpertPrompting: Instructing Large Language Models to be Distinguished Experts 论文地址&#xff1a;https://arxiv.org/abs/2305.14688 作者 & 机构&#xff1a;Benfen…
阅读更多...
最新文章

Copyright @ 2022~2023