​​C++多态​​

news2024/10/13 11:06:47


目录

1. 多态的概念

2. 多态的定义及实现

多态的构成条件

虚函数

虚函数的重写

特例

override 和 final

1. final:修饰虚函数,表示该虚函数不能再被重写

2.override: 检查派生类虚函数是否重写了基类某个虚函数,如果没有重写编译报错。

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

3. 抽象类

概念

接口继承和实现继承

4. 多态的原理

虚函数表

多态的原理

动态绑定与静态绑定

5. 单继承和多继承关系中的虚函数表

6. 继承和多态常见的面试问题


1. 多态的概念

具体点就是去完成某个行为,当不同的对象去完成时会产生出不同的状态。

2. 多态的定义及实现

多态的构成条件

1. 必须通过基类的指针或者引用调用虚函数

2. 被调用的函数必须是虚函数,且派生类必须对基类的虚函数进行重写

虚函数

被virtual修饰的类成员函数称为虚函数
class Person {
public:
	virtual void BuyTicket() //BuyTicket()就是虚函数
	{
		cout << "买票-全价" << endl;
	}
};

虚函数的重写

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

class Person {
public:
	virtual void BuyTicket() //BuyTicket()就是虚函数
	{
		cout << "买票-全价" << endl;
	}
};

class Student : public Person {
public:
	virtual 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; 
	}
};
协变: 派生类重写基类虚函数时,与基类虚函数返回值类型不同。即基类虚函数返回基类对象的指针或者引用,派生类虚函数返回派生类对象的指针或引用

2. 析构函数的重写(基类与派生类析构函数的名字不同)

class Person
{
public:
	virtual ~Person() 
	{
		cout << "~Person()" << endl; 
	}
};
 
class Student : public Person
{
public:
	virtual ~Student()
	{ 
		cout << "~Student()" << endl;
	}
};
编译器对析构函数的名称做了特殊处理,编译后析构函数的名称统一处理为destr uctor。

override 和 final

1. final:修饰虚函数,表示该虚函数不能再被重写

2.override: 检查派生类虚函数是否重写了基类某个虚函数,如果没有重写编译报错。

class Traffic
{
public:
	virtual void Way() 
	{}
};
class Car :public Traffic
{
public:
	virtual void Way()override { cout << "自驾" << endl; }
};

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

3. 抽象类

概念

包含纯虚函数的类叫做抽象类(也叫接口类),抽象类 不能实例化出对象。派生类继承后也不能实例化出对象,只有重写纯虚函数,派生类才能实例化出对象。
class Animal
{
public:
	virtual void Play() = 0;
};
class Cat :public Animal
{
public:
	virtual void Play()
	{
		cout << "睡大觉" << endl;
	}
};
class Dog :public Animal
{
public:
	virtual void Play()
	{
		cout << "出去溜达" << endl;
	}
};
void test2()
{
	Animal* pCat = new Cat;
	pCat->Play();
	Animal* pDog = new  Dog;
}

接口继承和实现继承

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

4. 多态的原理

虚函数表

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

int main()
{
	cout << sizeof(Base) << endl;
	return 0;
}

//64位下是16
//32位下是8
提问: 是不是虚函数数量越多,这个值就越大呢?(很显然不是),这个值来源究竟是什么呢?
我们通过下面这个代码来观察:
class Base
{
public:
	virtual void Func1()
	{
		cout << "Func1()" << endl;
	}
	virtual void Func2()
	{
		cout << "Base::Func2()" << endl;
	}
	virtual void Func3()
	{
		cout << "Base::Func3()" << endl;
	}
	
private:
	int _b = 1;
};
class Derive : public Base
{
public:
	virtual void Func1()
	{
		cout << "Derive::Func1()" << endl;
	}
private:
	int _d = 2;
};

int main()
{
	Base b;
	Derive d;

	cout << sizeof(b)<<"  "<<sizeof(Base) << endl;
	return 0;
}

1. 派生类对象d中也有一个虚表指针,d对象由两部分构成,一部分是父类继承下来的成员,虚表指针也就
是存在部分的另一部分是自己的成员。
2. 基类b对象和派生类d对象虚表是不一样的,这里我们发现Func1完成了重写,所以d的虚表中存的是重
写的Derive::Func1,所以虚函数的重写也叫作覆盖,覆盖就是指虚表中虚函数的覆盖。重写是语法的
叫法,覆盖是原理层的叫法。
3. 另外Func2继承下来后是虚函数,所以放进了虚表,Func3也继承下来了,但是不是虚函数,所以不会
放进虚表。
4. 虚函数表本质是一个存虚函数指针的指针数组,一般情况这个数组最后面放了一个nullptr。
5. 总结一下派生类的虚表生成:a.先将基类中的虚表内容拷贝一份到派生类虚表中 b.如果派生类重写了基
类中某个虚函数,用派生类自己的虚函数覆盖虚表中基类的虚函数 c.派生类自己新增加的虚函数按其在
派生类中的声明次序增加到派生类虚表的最后。
6. 这里还有一个童鞋们很容易混淆的问题:虚函数存在哪的?虚表存在哪的? 答:虚函数存在虚表,虚表
存在对象中。注意上面的回答的错的。但是很多童鞋都是这样深以为然的。注意虚表存的是虚函数指
针,不是虚函数,虚函数和普通函数一样的,都是存在代码段的,只是他的指针又存到了虚表中。另外
对象中存的不是虚表,存的是虚表指针。

多态的原理

通过下面这段代码我们再来简单分析一下:

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

void Func(Person& p)
{
	p.BuyTicket();
}
int main()
{
	Person ps;
	Student st;

	Func(ps);
	Func(st);
}

1. 观察下图的红色箭头我们看到, p是 ps 对象的引用时, p->BuyTicket 在ps 的虚表中找到虚函数是
Person::BuyTicket
2. 观察下图的蓝色箭头我们看到, p 是st 对象的引用时, p->BuyTicket 在st 的虚表中找到虚函数
Student::BuyTicket
3. 这样就实现出了不同对象去完成同一行为时,展现出不同的形态。
4. 反过来思考我们要达到多态,有两个条件,一个是虚函数覆盖,一个是对象的指针或引用调用虚函数。 反思一下为什么?
虚函数覆盖是提供了重写的方式,指针或者引用是为了寻址。

动态绑定与静态绑定

1. 静态绑定又称为前期绑定(早绑定),在程序编译期间确定了程序的行为,也称为静态多态,比如:函数重载

2. 动态绑定又称后期绑定(晚绑定),是在程序运行期间,根据具体拿到的类型确定程序的具体行

为,调用具体的函数,也称为动态多态。

5. 单继承和多继承关系中的虚函数表

单继承:

多继承:


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 Derive1 : 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 PrintVTable(VFPTR vTable[])
{
	cout << " 虚表地址>" << vTable << endl;
	for (int i = 0; vTable[i] != nullptr; ++i)
	{
		printf(" 第%d个虚函数地址 :0X%x,->", i, vTable[i]);
		VFPTR f = vTable[i];
		f();
	}
	cout << endl;
}
int main()
{
	Derive1 d;
	VFPTR* vTableb1 = (VFPTR*)(*(int*)&d);
	PrintVTable(vTableb1);
	VFPTR* vTableb2 = (VFPTR*)(*(int*)((char*)&d + sizeof(Base1)));
	PrintVTable(vTableb2);
	return 0;
}

观察下图可以看出: 多继承派生类的未重写的虚函数放在第一个继承基类部分的虚函数表中

6. 继承和多态常见的面试问题

1. 下面哪种面向对象的方法可以让你变得富有( ) 

A: 继承 B: 封装 C: 多态 D: 抽象 

2. ( )是面向对象程序设计语言中的一种机制。这种机制实现了方法的定义与具体的对象无关,而对方法的 

调用则可以关联于具体的对象。 

A: 继承 B: 模板 C: 对象的自身引用 D: 动态绑定 

3. 面向对象设计中的继承和组合,下面说法错误的是?() 

A:继承允许我们覆盖重写父类的实现细节,父类的实现对于子类是可见的,是一种静态复用,也称为 

白盒复用 

B:组合的对象不需要关心各自的实现细节,之间的关系是在运行时候才确定的,是一种动态复用,也 

称为黑盒复用 

C:优先使用继承,而不是组合,是面向对象设计的第二原则 

D:继承可以使子类能自动继承父类的接口,但在设计模式中认为这是一种破坏了父类的封装性的表现 

4. 以下关于纯虚函数的说法,正确的是( ) 

A:声明纯虚函数的类不能实例化对象 B:声明纯虚函数的类是虚基类 

C:子类必须实现基类的纯虚函数 D:纯虚函数必须是空函数 

5. 关于虚函数的描述正确的是( ) 

A:派生类的虚函数与基类的虚函数具有不同的参数个数和类型 B:内联函数不能是虚函数 

C:派生类必须重新定义基类的虚函数 D:虚函数可以是一个static型的函数 

6. 关于虚表说法正确的是( ) 

A:一个类只能有一张虚表 

B:基类中有虚函数,如果子类中没有重写基类的虚函数,此时子类与基类共用同一张虚表 

C:虚表是在运行期间动态生成的 

D:一个类的不同对象共享该类的虚表 

7. 假设A类中有虚函数,B继承自A,B重写A中的虚函数,也没有定义任何虚函数,则( ) 

A:A类对象的前4个字节存储虚表地址,B类对象前4个字节不是虚表地址 

B:A类对象和B类对象前4个字节存储的都是虚基表的地址 

C:A类对象和B类对象前4个字节存储的虚表地址相同 

D:A类和B类虚表中虚函数个数相同,但A类和B类使用的不是同一张虚表 
8. 以下程序输出结果是什么() 
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; 

A: A->0 B: B->1 C: A->1 D: B->0 E: 编译出错 F: 以上都不正确 

6.2 问答题 

1. 什么是多态?
具体点就是去完成某个行为,当不同的对象去完成时会产生出不同的状态。

2. 什么是重载、重写(覆盖)、重定义(隐藏)?
函数重载是函数的一种特殊情况,c++允许在同一作用域中声明几个功能类似的同名函数,这些函数的形参列表(参数个数或类型或顺序)必须不同,对返回值不做要求,因为无法通过改变参数列表来判断调用的是那一个重载函数。
 

覆盖也叫做重写,指的是子类与父类中返回值类型,参数,名称均相同的虚函数,此时构成虚函数的覆盖(覆盖是原理层的叫
法,在语法上叫做重写)

子类和父类中含有同名函数,此时子类成员将屏蔽父类对同名成员的直接访问,这种情况叫做隐藏。隐藏对函数参数和返回值不做要求,只需要名称相同就可以

3. 多态的实现原理?
上面有分析。

4. inline函数可以是虚函数吗?
答:可以,不过编译器就忽略inline属性,这个函数就不再是inline,因为虚函数要放到虚表中去。 

5. 静态成员可以是虚函数吗?
答:不能,因为静态成员函数没有this指针,使用类型::成员函数的调用方式 无法访问虚函数表,所以静态成员函数无法放进虚函数表。 

6. 构造函数可以是虚函数吗?
答:不能,因为对象中的虚函数表指针是在构造函数初始化列表阶段才初始化的。 

7. 析构函数可以是虚函数吗?什么场景下析构函数是虚函数?
答:可以,并且最好把基类的析构函数定义 成虚函数。

8. 对象访问普通函数快还是虚函数更快?
答:首先如果是普通对象,是一样快的。如果是指针对象或者是引用对象,则调用的普通函数快,因为构成多态,运行时调用虚函数需要到虚函数表中去查找。 

9. 虚函数表是在什么阶段生成的,存在哪的?
答:虚函数表是在编译阶段就生成的,一般情况下存在代码 段(常量区)的。 

参考答案: 

1. A 2. D 3. C 4. A 5. B 

6. D 7. D 8.B 

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

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

相关文章

【数据结构】二叉树篇|超清晰图解和详解:二叉树的最近公共祖先

博主简介&#xff1a;努力学习的22级计算机科学与技术本科生一枚&#x1f338;博主主页&#xff1a; 是瑶瑶子啦每日一言&#x1f33c;: 你不能要求一片海洋&#xff0c;没有风暴&#xff0c;那不是海洋&#xff0c;是泥塘——毕淑敏 目录 一、题目二、题解三、代码 一、题目 …

Stable Diffusion +EbSynth应用实践和经验分享

Ebsynth应用 1.安装ffmpeg 2.安装pip install transparent-background,下载模型https://www.mediafire.com/file/gjvux7ys4to9b4v/latest.pth/file 放到C:\Users\自己的用户名.transparent-background\加一个ckpt_base.pth文件 3.秋叶安装ebsynth插件,重启webui 填写项目基本…

线段树-模板-区间查询-区间修改

【模板】线段树 2 传送门&#xff1a;https://www.luogu.com.cn/problem/P3373 题单&#xff1a;https://www.luogu.com.cn/training/16376#problems 题目描述 如题&#xff0c;已知一个数列&#xff0c;你需要进行下面三种操作&#xff1a; 将某区间每一个数乘上 x x x&a…

FPGA学习——驱动WS2812光源并进行动态显示

文章目录 一、WS2812手册分析1.1 WS2812灯源特性及概述1.2 手册重点内容分析1.2.1 产品概述1.2.2 码型及24bit数据设计 二、系统设计2.1 模块设计2.2 模块分析2.2.1 驱动模块2.2.1 数据控制模块 三、IP核设置及项目源码3.1 MIF文件设计3.2 ROM IP核调用3.3 FIFO IP核调用3.4 项…

机器学习-特征选择:如何使用递归特征消除算法自动筛选出最优特征?

一、引言 在实际应用中&#xff0c;特征选择作为机器学习和数据挖掘领域的重要环节&#xff0c;对于提高模型性能和减少计算开销具有关键影响。特征选择是从原始特征集中选择最相关和最具区分力的特征子集&#xff0c;以提高模型的泛化能力和可解释性。 特征选择在实践中具有以…

算法笔试 java 输入输出练习

在线编程题刷题训练 所有答案 scancer函数的用法 输入输出总结top&#xff01;&#xff01;&#xff01;&#xff01; java如何调用函数&#xff08;方法&#xff09; java刷acm的各种输入输出 vscode配置java环境 子函数的调用&#xff0c;直接定义一个static子函数调用就…

人工智能任务1-【NLP系列】句子嵌入的应用与多模型实现方式

大家好&#xff0c;我是微学AI&#xff0c;今天给大家介绍一下人工智能任务1-【NLP系列】句子嵌入的应用与多模型实现方式。句子嵌入是将句子映射到一个固定维度的向量表示形式&#xff0c;它在自然语言处理&#xff08;NLP&#xff09;中有着广泛的应用。通过将句子转化为向量…

ARM(汇编指令)

.global _start _start:/*mov r0,#0x5mov r1,#0x6 bl LoopLoop:cmp r0,r1beq stopsubhi r0,r0,r1subcc r1,r1,r0mov pc,lr*/ mov r0,#0x1mov r1,#0x0mov r2,#0x64bl Loop Loop:cmp r0,r2bhi stopadd r1,r1,r0add r0,r0,#0x01mov pc,lr stop:B stop.end

Android Ble蓝牙App(五)数据操作

Ble蓝牙App&#xff08;五&#xff09;数据操作 前言正文一、操作内容处理二、读取数据① 概念② 实操 三、写入数据① 概念② 实操 四、打开通知一、概念二、实操三、收到数据 五、源码 前言 关于低功耗蓝牙的服务、特性、属性、描述符都已经讲清楚了&#xff0c;而下面就是使…

vue自定义指令动态绑定

在企业微信侧边栏应用中&#xff0c;给dialog添加了拖拽功能&#xff0c;但是因为dialog高度超过了页面高度&#xff0c;所以高度100%时拖拽有个bug--自动贴到窗口顶部而且企业侧边栏宽高都有限制&#xff0c;拖拽效果并不理想&#xff0c;所以就想缩小dialog再进行拖拽。 拖拽…

(一)掌握最基本的Linux服务器用法——了解Linux服务器基本的使用方法、常用命令。

1、掌握最基本的Linux服务器用法 1、了解Linux服务器基本的使用方法、常用命令。 1、Linux系统简介 略 2、服务器连接方法 1、SSH远程终端&#xff0c;Windows可以使用xshell软件。 2、PuTTY主要用来远程连接服务器&#xff0c;缺点是功能单一&#xff0c;只是一个客户端&…

Tomcat+Http+Servlet

文章目录 1.HTTP1.1 请求和响应HTTP请求&#xff1a;请求行请求头请求体HTTP响应&#xff1a;响应行&#xff08;状态行&#xff09;响应头响应体 2. Apache Tomcat2.1 基本使用2.2 IDEA中创建 Maven Web项目2.3 IDEA中使用Tomcat 3. Servlet3.1 Servlet快速入门3.2 Servlet执行…

Python 3 使用Hadoop 3之MapReduce总结

MapReduce 运行原理 MapReduce简介 MapReduce是一种分布式计算模型&#xff0c;由Google提出&#xff0c;主要用于搜索领域&#xff0c;解决海量数据的计算问题。 MapReduce分成两个部分&#xff1a;Map&#xff08;映射&#xff09;和Reduce&#xff08;归纳&#xff09;。…

yolov8训练进阶:从配置文件读入配置参数

yolov8官方教程提供了2种训练方式&#xff0c;一种是通过命令行启动训练&#xff0c;一种是通过写代码启动。 命令行的方式启动方便&#xff0c;通过传入参数可以方便的调整训练参数&#xff0c;但这种方式不方便记录训练参数和调试训练代码。 自行写训练代码的方式更灵活&am…

【Vue框架】用户和请求

前言 在上一篇 【Vue框架】Vuex状态管理 针对Vuex状态管理以getters.js进行说明&#xff0c;没有对其中state引入的对象进行详细介绍&#xff0c;因为整体都比较简单&#xff0c;也就不对全部做详细介绍了&#xff1b;但其中的user.js涉及到获取用户的信息、前后端请求的token…

今天来给大家聊一聊什么是Hierarchical-CTC模型

随着人工智能领域的不断发展&#xff0c;语音识别技术在日常生活和工业应用中扮演着越来越重要的角色。为了提高识别准确性和效率&#xff0c;研究人员不断探索新的模型和算法。在这个领域中&#xff0c;Hierarchical-CTC模型引起了广泛的关注和兴趣。本文将介绍什么是Hierarch…

JavaFx基础学习【二】:Stage

一、介绍 窗口Stage为图中标绿部分&#xff1a; 实际为如下部分&#xff1a; 不同的操作系统表现的样式不同&#xff0c;以下都是以Windows操作系统为例&#xff0c;为了使大家更清楚Stage是那部分&#xff0c;直接看以下图&#xff0c;可能更清楚&#xff1a; 有点潦草&…

MachineLearningWu_15/P70-P71_AdamAndConv

x.1 算法参数更新 我们使用梯度下降算法来自动更新参数&#xff0c;但是由于学习率的不好选择性&#xff0c;我们有时候会下降地很快&#xff0c;有时候下降地很慢&#xff0c;我们期望有一种方式能够自动调整学习率的变化&#xff0c;这里引入Adaptive Moment Estimation/Ada…

City Walk带动茶饮品牌售1200万,媒介盒子带你探究奥秘

年轻人生活趋势又出现了一个新鲜词——City Walk&#xff0c;简单来说&#xff0c;City Walk就是没有目的地&#xff0c;没有目标&#xff0c;只是出行&#xff0c;填充自己的生活。 其实这个词源于gap year&#xff0c;而这个说法一直是国外的一些毕业生&#xff0c;大多会在…

解决方案 | 法大大加速医疗器械行业创新升级

科技的不断进步&#xff0c;带动医疗器械产品不断创新升级。数字化、智能化的技术也开始广泛应用在医疗器械行业中。行业的蓬勃发展&#xff0c;进一步驱动了医疗器械行业规范化管理政策的出台&#xff0c;2019年&#xff0c;《医疗器械产品注册管理办法》&#xff08;2019&…