C++中的多态(下)

news2025/7/18 20:44:58

🧸🧸🧸各位大佬大家好,我是猪皮兄弟🧸🧸🧸
在这里插入图片描述

文章目录

  • 一、C++11当中的final和override
    • final
    • override
  • 二、重载&重定义(隐藏)&重写(覆盖)
  • 三、抽象类(接口类)
  • 四、接口继承和实现继承
    • 例题
  • 五、如何打印虚函数表
    • 1.虚函数表的类型是函数指针数组
    • 2.打印虚函数表中的函数地址
  • 六、多继承当中的虚函数表
    • 多个虚表
    • 如何打印第二个虚表
    • 内存对齐
    • 指针偏移
    • 菱形继承--子类必须重写

一、C++11当中的final和override

final

1.修饰类,表示最终类,不能被继承
2.修饰虚函数,表示该虚函数不能被重写

这个场景是很少见的,因为虚函数写出来就是为了重写去构成多态

class Car
{
public :
	virtual void Drive() final
	{}
};
class Benz:public Car
{
public:
	virtual void Drive()
	{
		//报错,因为基类的函数(函数名,参数列表,返回值相同)被final修饰
		//不能被重写
	}
};

override

检查子类的虚函数是否完成重写,没有完成就会报错
检查的是该函数是否完成基类某个函数的重写
如下面的代码,drive并没有完成某个函数的重写,即报错

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

二、重载&重定义(隐藏)&重写(覆盖)

三个概念的对比:

重载:在同一作用域下,仅仅是参数列表不同的函数构成重载

重定义(隐藏):派生类的同名函数和基类的同名函数构成隐藏(他们是在两个作用域的,因为子类和父类的作用域是单独的,其次,同名函数只要没有构成重写就是隐藏)

重写(覆盖):子类通过虚函数重写来达成,此函数需要满足条件:返回值相同或构成重写的协变,函数名相同,参数列表相同(virtial通过在父类创建虚表,继承下来后子类重写来改变虚表当中的对应函数地址,构成多态调用的时候就去调用虚表(虚函数表)的函数

三、抽象类(接口类)

概念:在虚函数的后面写上=0,则这个函数为纯虚函数,包含纯虚函数的类叫做抽象类(也叫做接口类),抽象类不能够被实例化,派生类继承后也不能直接实例化出对象,只有重写纯虚函数才能够被实例化。

纯虚函数规范了:派生类想要实例化必须重写,另外纯虚函数更体现出了接口继承。

在现实生活中没有对应实体的适合定义为抽象类,比如植物,植物是一个大类,再比如说车

class Car
{
public:
	virtual void Drive() =0;//纯虚函数
};
class BWM
{
public:
	//不能够被实例化,实例化报错
};
class Benz
{
public:
	virtual void Drive() 
	{
		cout<<"开车"<<endl;
	}
	//实例化成功
};

四、接口继承和实现继承

普通函数的继承是一种实现继承,派生类继承了基类函数,可以使用函数,继承的是函数的实现。虚函数的继承是接口继承,派生类继承的是基类函数的接口,目的是为了重写。所以如果不实现多态,不要把函数定义成虚函数。

例题

class A
{
public:
	virtual void func(int val =1){std::cout<<"A->"<<val<<std::endl;}
	virtual void test(){func();}
};
class B:public A
{
public:
	void func(int val =0){std::cout<<"B->"<<val<<std::endl;}
};
int main(int argc,char*argv[])
{
	B*p = new B
	p->test();
	return 0;
}
//答案是B->1

解释:
首先,p是子类的指针,不构成多态,但是调用test是需要传参的,参数类型是Athis,因为创建的是B对象,所以传过去的是Bthis,因为赋值兼容转换,所以,已经被隐式转换成立A*this,再去调用func,那么这里就构成了多态(父类指针或者引用去调用虚函数),所以调用的是B的func。

那子类的缺省值不是0吗,为什么输出的是1???
因为虚函数是接口继承,继承下来的是接口,我只是重写他的实现,那为什么子类可以不写virtual呢?除了virtual本来就是需要用来重写的之外,重要的原因就是虚函数是接口继承,直接继承下来了,所以不用写他其实也有。

如果上面是A*p =new B;结果也是一样的,只是少了一层隐式类型转换。只要是构成了多态(重写),或者是用子类的xx去调用(隐藏/重定义),结果都是B->1,除了用A的对象来调用或者直接创建A的xx。

五、如何打印虚函数表

1.虚函数表的类型是函数指针数组

typedef void(*VFPTR)();//这是函数指针类型重定义的格式
//typedef void(*)() VFPTR//这是过不了的,函数指针优点特殊

2.打印虚函数表中的函数地址

typedef void(*VFPTR)();
void PrintfVftable(VFPTR table[])
{
//因为虚表再对象的头四个字节或者头八个字节
	int index =0;
	while(index<=2)
	//因为不知道虚函数表用什么结尾,暂时只能这样
	{
		printf("vft[%d]:%p\n",index,table[index]);
		table[index]();
		index++;
	}
}
int main()
{
	Person p1;
	Person p2;
	Student s1;
	Student s2;
	PrintfVftable((VFPTR*)(*(int*)&s1));
	//解释
	//取到s1的地址,转成int*,32位下拿到前4个,然后解引用,因为地址int*的
	//解引用就是一串数字,不然int*转换成VFPTR*转换不过去。
}

六、多继承当中的虚函数表

多继承会有多个父类拷贝下来的多个虚表,那么我重写的话重写的谁的呢?

多个虚表

class Base1
{
public:
	virtual void func1(){cout<<"Base1::func1"<<endl;}
	virtual void func2(){cout<<"Base1::func2"<<endl;}
private:
	int b1=1;
};
class Base2
{
public:
	virtual void func1(){cout<<"Base2::func1"<<endl;}
	virtual void func2(){cout<<"Base2::func2"<<endl;}
private:
	int b2=2;
};
class Derive:public Base1,public Base2
{
public:
	virtual void func1(){cout<<"Derive::func1"<<endl;}
	virtual void func3(){cout<<"Derive::func3"<<endl;}
private:
	int d1;
};
typedef void(*VFPTR)();
void PrintfVftable(VFPTR table[])
{
	int index =0;
	while(index<=2)
	{
		printf("vft[%d]:%p\n",index,table[index]);
		table[index]();
		index++;
	}
}
int main()
{
	Derive d;
	PrintfVftable((VFPTR*)(*(int*)&d));
	cout<<sizeof d<<endl;
	return 0;
}

在这里插入图片描述
通过调试发现,d重写时,把每个虚表的对于函数指针都改变了,因为为了实现多态,不知道用哪个父类的指针或者引用来调用,所以只能都改。那么d新增的func3虚函数放在哪儿呢?我发现VS的调试窗口是看不见的。

其实我们通过内存窗口可以发现,func3只进入第一个虚表,因为只有创建子类的xx才能够调用到func3,虚表的查找是按顺序来的,我能在第一个虚表中找到func3,我还放在其他虚表中干嘛呢

如何打印第二个虚表

步骤和上面类似,主要是传参问题

//比如一个子类对象d,Derive继承父类Base1 Base2
1.(VFPTR*)*(int*)((Base1*)&d+1);//跳过base1
2.(VFPTR*)*((int*)&d+sizeof(Base1));//跳过base1
3.Base2*ptr=&d;
	(VFPTR*)*(int*)(ptr);//切片/切割

内存对齐

这其中还有结构体内存对齐的问题,详见
链接:结构体内存对齐
这里简单进行一下说明
每个成员进行对齐
按照min(该成员大小,默认对齐数)
都对齐完了之后还有一个整体的对齐
按照min(结构体中最大成员,默认对齐数)

在vs下,默认对齐数是8
在linux下,默认对齐数是4
可以通过#pragma pack(n)的方式来修改默认对齐数
#pragma pack(1)就是不进行内存对齐

指针偏移

在这里插入图片描述
我们发现,重写进两个虚表中的func1不一样,我同一个函数怎么会不一样呢??

我们再通过打印函数地址来看看
注意:
打印普通函数地址:printf(“%p”,func1)即可
打印成员函数地址: printf(“%p”,&类域::func1),这是语法规定
cout不方便打印,即便是cout<<&类域::func1也不能成功打印

在这里插入图片描述
看出来存的地址和我们的func1地址并不相同
解释:
最终都是调用的func1,但是外包装不同
普通调用也不是直接就存的函数地址,存储的只是调用的众多步骤中的某一句指令的地址而已

指针偏移就是在后面的过程中会加以修正,最终会调用同一个函数
因为有了指针偏移,所以存的地址不一样(存的是中间过程命令的地址)

指针偏移需要结合汇编来看

菱形继承–子类必须重写

class A
{
public:
	virtual void func()
	{
		//结果1
	}
};
class B:public A
{
public:
	virtual void func()
	{
		//结果2
	}
};
class C:public A
{
public:
	virtual void func()
	{
		//结果3
	}
};
class D:public B,public C
{
public:

};

虽然菱形继承可以通过虚继承的方式来完成对象的数据冗余和二义性的处理,但是对于成员函数来说,像上面这种情况,D d对象调用的时候又发了二义性,那么就要求菱形继承必须去发生隐藏。而一般为了接口的统一性,会把子类的写成三同,就重写了,所以附带的,也覆盖了多个虚表中的func函数,也能完成多态。

所以,要多态的话,子类就必须重写

在这里插入图片描述

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

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

相关文章

Hive数据定义语言DDL

文章目录1 Apache Hive客户端使用2 Hive编译工具3 Hive SQL DDL建表基础语法3.1 Hive数据类型详解3.2 Hive读写文件机制3.3 Hive数据存储路径3.4 案例--王者荣耀数据Hive建表映射4 Hive SQL DDL建表高阶语法4.1 Hive 内部表、外部表4.2 Hive Partitioned Tables 分区表4.3.1 数…

第九章 堆排序与TOPK问题

第九章&#xff1a;堆排序与TOPK问题一、堆排序&#xff1a;1、思路分析&#xff1a;&#xff08;1&#xff09;建堆&#xff08;2&#xff09;排序2、堆排序模板二、TOPK问题&#xff1a;1、什么是TOPK问题&#xff1f;2、解决方法一、堆排序&#xff1a; 假设我们实现一个小…

【数据结构】二叉树

目录 一、树 1.1树的一些重要概念 1.2树的应用 二、二叉树 2.1概念 2.2两种特殊的二叉树 二叉树的第一个特点 二叉树的第二个特点 二叉树的第三个特点&#xff1a; 2.3二叉树的存储 2.4二叉树的遍历-深度优先搜索&#xff08;二叉树的高度&#xff09;dfs 前序遍历…

Java学习:动态代理

java一、代理模式二、静态代理三、动态代理一、代理模式 代理模式是一种设计模式,能够使得再不修改源目标的情况下,额外扩展源目标的功能。即通过访问源目标的代理类,再由代理类去访问源目标。这样一来,要扩展功能,就无需修改源目标的代码了。只要在代理上增加就可以了 二、静态…

CSAPP学习导航2015

CSAPP学习导航2015为什么要学这个课程前后置前置后置课程资料课程视频课程组成实验&#xff0c;lab*7学完后学习打卡总结为什么要学这个 深入浅出的为我们搭建计算机学习体系&#xff0c;为以后更深入的学习打好基础。 &#xff08;这学学&#xff0c;那学学&#xff0c;所学太…

iwebsec靶场 SQL注入漏洞通关笔记4- sleep注入(时间型盲注)

系列文章目录 iwebsec靶场 SQL注入漏洞通关笔记1- 数字型注入_mooyuan的博客-CSDN博客 iwebsec靶场 SQL注入漏洞通关笔记2- 字符型注入&#xff08;宽字节注入&#xff09;_mooyuan的博客-CSDN博客 iwebsec靶场 SQL注入漏洞通关笔记3- bool注入&#xff08;布尔型盲注&#…

语法制导翻译(Syntax-Directed Translation)

语法制导翻译&#xff08;Syntax-Directed Translation&#xff09;语法制导翻译概述语法制导定义&#xff08;SDD&#xff09;文法符号的属性SDD 求值顺序S-SDD 和 L-SDD语法制导翻译方案&#xff08;SDT&#xff09;S-SDD的SDT实现L-SDD的SDT实现在非递归的预测分析过程中进行…

LeetCode HOT 100 —— 32.最长有效括号

题目 给你一个只包含 ‘(’ 和 ‘)’ 的字符串&#xff0c;找出最长有效&#xff08;格式正确且连续&#xff09;括号子串的长度。 思路 方法一&#xff1a;动态规划 定义dp[i]表示以下标i结尾的最长有效括号的长度&#xff0c;并全部初始化为0 注意到有效的子串一定是以’…

AOP实现方式-P20,21,22

项目的包&#xff1a; pom依赖导入有关aop的包&#xff1a; <dependencies><!-- https://mvnrepository.com/artifact/org.aspectj/aspectjweaver --><dependency><groupId>org.aspectj</groupId><artifactId>aspectjweaver</artifactI…

【PyTorch】Training Model

文章目录七、Training Model1、模型训练2、GPU训练2.1 .cuda()2.2 .to(device)2.3 Google Colab3、模型验证七、Training Model 1、模型训练 以CIFAR10数据集为例&#xff1a; import torchvision from torch.utils.data import DataLoader from torch.utils.tensorboard im…

【算法】2022第五届“传智杯”全国大学生计算机大赛(练习赛)

【参考&#xff1a;第五届“传智杯”全国大学生计算机大赛&#xff08;练习赛&#xff09; - 洛谷 | 计算机科学教育新生态】 练习赛满分程序&#xff08;多语言&#xff09;&#xff1a;https://www.luogu.com.cn/paste/fi60s4yu CPU一秒大概运行 10810^8108 次&#xff0c;…

年产10万吨环氧树脂车间工艺设计

目 录 摘 要 1 ABSTRACT 2 1 绪论 3 1.1环氧树脂的基本性质 3 1.2 环氧树脂的特点和用途 3 1.3环氧树脂发展的历史、现状及趋势 3 1.3.1环氧树脂的发展历史 4 1.3.2环氧树脂的生产现状 4 1.3.3 环氧树脂的发展趋势 5 1.4本设计的目的、意义及内容 5 1.4.1本设计的目的 5 1.4.2…

Matlab顶级期刊配色工具Rggsci

颜色搭配是一件非常让人头疼的事情。 一方面&#xff0c;如果忽视了配色&#xff0c;就好像是做菜没放盐&#xff0c;总会感觉少些味道。 另一方面&#xff0c;如果太注重配色&#xff0c;又感觉不是很有必要&#xff0c;毕竟数据结果好看才是第一位的。 想要平衡两者&#…

18.4 嵌入式指针概念及范例、内存池改进版

一&#xff1a;嵌入式指针&#xff08;embedded pointer&#xff09; 1、嵌入式指针概念 一般应用在内存池相关的代码中&#xff0c;成功使用嵌入式指针有个前提条件&#xff1a;&#xff08;类A对象的sizeof必须不小于4字节&#xff09; 嵌入式指针工作原理&#xff1a;借用…

文华财经期货K线多周期画线技术,多重短线技术共振通道线指标公式——多周期主图自动画线

期货指标公式是通过数学逻辑角度计算而来&#xff0c;仅是期货分析环节中的一个辅助工具。期货市场具有不确定性和不可预测性的&#xff0c;请正常对待和使用指标公式! 期货指标公式信号本身就有滞后性&#xff0c;周期越大&#xff0c;滞后性越久。指标公式不是100%稳赚的工具…

cocos2dx创建工程并在androidstudio平台编译

本文主要是通过androidstudio进行编译运行cocos2dx工程。 前置条件&#xff1a; 1&#xff1a;androidstudio已经下载并安装。 2&#xff1a;cocos2dx已经下载并打开。 这里androidstudio使用2021.3.1版本&#xff0c;cocos2dx使用4.0版本。 第一步&#xff0c;首先安装py…

Hive之数据类型和视图

Hive系列 第八章 数据类型和视图 8.1 数据类型 8.1.1 原子数据类型 &#xff08;其实上图中有一点错误&#xff0c;大家可以找找看&#xff09; 说明&#xff1a; 1、Hive 支持日期类型(老版本不支持)&#xff0c;在 Hive 里日期一般都是用字符串来表示的&#xff0c;而常用…

STC 51单片机40——汇编语言 串口 接收与发送

实际运行&#xff0c;正常 ; 仿真时&#xff0c;单步运行&#xff0c;记得设置虚拟串口数据【仿真有问题&#xff0c;虚拟串口助手工作不正常&#xff01;】 ORG 0000H MOV TMOD ,#20H ;定时器1&#xff0c;工作方式2&#xff0c;8位重装载 MOV TH1,#0FDH ; 波特率…

智慧酒店解决方案-最新全套文件

智慧酒店解决方案-最新全套文件一、建设背景为什么要建设智慧酒店一、智慧酒店功能亮点 &#xff1a;二、智慧酒店八大特色&#xff1a;二、建设思路三、建设方案四、获取 - 智慧酒店全套最新解决方案合集一、建设背景 为什么要建设智慧酒店 一、智慧酒店功能亮点 &#xff1…

mysql-8.0.31-macos12-x86_64记录

常用的命令 停止MySQL服务 : sudo /usr/local/mysql/support-files/mysql.server stop 启动MySQL服务 : sudo /usr/local/mysql/support-files/mysql.server start 重启MySQL服务 : sudo /usr/local/mysql/support-files/mysql.server restart 修改mysql密码 关闭mysql服务…