C++ -- 多态与虚函数

多态

概念

        多态(polymorphishm):通常来说,就是指事物的多种形态。在C++中,多态可分为编译时多态(静态多态)和运行时多态(动态多态),这里我们重点讲的是运行时多态。

        编译时多态主要就是我们之前讲过的函数重载和函数模板,他们传不同类型的参数就可以调用不同的函数,通过参数不同达到多种形态,并且他们将实参传给形参的参数匹配实在编译时完成的,因此称为编译时多态。我们把编译时一般归为静态,所以又叫静态多态。

        运行时多态,就是去完成某个行为(函数)时,传不同的对象就会完成不同的行为,就达到了多种形态。比如买火车票这一行为,当买票的是普通人时为全价,是学生时为折扣价,是军人时可优先买票。


多态的定义与实现

多态的构成条件

        多态是一个继承关系下的类对象,去调用同一函数时产生了不同的行为。比如Student继承了Person。Person对象买票为全家,而Student对象买票则会有折扣。

虚函数

        在类的成员函数前面加virtual修饰,那么称这个成员函数为虚函数。这里注意:虚函数必须是成员函数。例如Person类中的ButTicket成员函数:

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

虚函数的重写/覆盖

         虚函数的重写/覆盖:派生类中有一个跟基类完全相同的虚函数(要求两个虚函数的返回值类型、函数名称、参数列表类型与个数要完全相同),那么称派生类的虚函数重写/覆盖了基类的虚函数。重写只是实现了新的函数体,不会影响函数体之外的任何参数。

注意:在重写基类虚函数时,派生类的虚函数在不加 virtual 关键字时,也可以构成重写,因为继承后的基类虚函数被继承下来了,在派生类中依旧保持虚函数属性,但是这种写法并不规范,所以博主不建议这样使用,为了防止面试题目中出现,这里提一下,可以判断是否构成重写即可。

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

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

void Func(Person& p)
{
	// 这⾥可以看到虽然都是Person指针p在调⽤BuyTicket
	// 但是跟p没关系,⽽是由ptr指向的对象决定的。
	p.BuyTicket();
}

int main()
{
	Person ps;
	Student st;

	Func(ps);
	Func(st);
	return 0;
}

实现多态的两个必须条件

  • 必须通过基类的指针或引用调用虚函数。
  • 被调用的函数必须是虚函数。

说明:要实现多态,第一必须是基类的指针或引用,因为只有基类的指针或引用才既能指向基类对象,又能指向派生类对象。第二派生类必须对基类的虚函数进行重写/覆盖,只有重写后派生类的虚函数才能有不同的行为,多态的不同形态效果才能得以体现。

多态场景下的一道面试题:

下面程序输出结果是什么()?

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

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;
}

解析:

        这道题较难理解,首先我们可以看到 p 是 B* 的指针,存储的是 B 类 new 出来的对象的地址,B 类继承了 A 类,A和B 类中的 func 成员函数加了 virtual 关键字,函数名、返回值类型和参数列表类型一致,所以构成重写。p->test() 是通过 B* 来调用的,test函数在A类中,作为基类也继承到了B类中,test函数中调用了func函数,test函数中的this指针指向的是A类,所以调用的是A类中的func函数,到这里之后就是本道题的难点了。因为A类和B类中func虚函数构成了重写,同时p指向的是子类对象的地址,所以调用的是子类对象的B中重写之后的函数体,而重写不会影响函数体外的参数,所以传的val缺省值依旧是A中的1,因此结果为B->1。

虚函数重写的一些问题

协变(了解)

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

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

class Student : public Person {
public:
	virtual Student* BuyTicket()
	{
		cout << "买票-打折" << endl;
		return nullptr;
	}
};

void Func(Person* ptr)
{
	ptr->BuyTicket();
} 

int main()
{
	Person ps;
	Student st;

	Func(&ps);
	Func(&st);
	return 0;
}

析构函数的重写

        基类的析构函数为虚函数时,派生类的析构函数只要定义,无论是否加virtual关键字,都会与基类的析构函数构成重写,听起来虽然与之前基类和派生类重写规则不符,但实际上编译器对析构函数的名称做了特殊处理,编译后析构函数的名称统一处理成destructor,所以基类的析构函数加上 virtual 修饰后,派生类的析构函数就构成了重写。

class A
{
public :
	virtual ~A()
	{
		cout << "~A()" << endl;
	}
};
class B : public A {
public:
	virtual ~B()
	{
		cout << "~B()->delete:" << _p << endl;
		delete _p;
	}
protected:
	int* _p = new int[10];
};
// 只有派生类Student的析构函数重写了Person的析构函数,下⾯的delete对象调用析构函数。
// 才能构成多态,才能保证p1和p2指向的对象正确的调用析构函数。
int main()
{
	A* p1 = new A;
	A* p2 = new B;
	delete p1;
	delete p2;
	return 0;
}

        在上述代码中,我们可以看到使用 A* 的指针分别存放了A类和B类创建的对象的地址,根据继承的切片知识,我们可以得知p2指向的是B类对象继承A类的那一部分成员,在调用delete销毁对象时,如果A类与B类的析构函数没有构成重写,那么就会造成B类对象内存泄漏,导致程序崩溃。只有构成重写之后,当p2在delete释放资源时,才会调用B类重写的析构函数,然后会接着自动调用A的析构函数,因此将析构函数重写为虚函数时必要的。

        注意:这个问题在面试中经常考察,各位一定要结合类似例子讲清楚,为什么建议要将基类的析构函数设计为虚函数? 

override 和 final 关键字 

        从上面的定义与各种条件可以看出,C++对于虚函数重写的要求相当严格,但是百密疏于一漏,程序员在使用时还是会经常出错,比如函数名写错、参数写错等导致无法构成重写,而这种错误在编译期间时不会报错的,只有在程序运行时没有得到预期的结果才能发现bug,这样得不偿失。因此在C++11中提供了override关键字,可以帮助用户检测是否构成了重写。

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

        如果我们并不想构成重写,可以主动在虚函数后面使用final去修饰,这样就不会构成重写了。

// 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; }
};

 重载/重写/隐藏的对比


 纯虚函数和抽象类

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

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;
	}
};
int main()
{
	// 编译报错:error C2259: “Car”: ⽆法实例化抽象类
	Car car;
	Car* pBenz = new Benz;
	pBenz->Drive();
	Car* pBMW = new BMW;
	pBMW->Drive();
	return 0;
}

多态的原理

虚函数表指针

下面编译在32位平台上的程序的运行结果是什么()?

A: 编译报错        B: 运行报错        C: 8        D: 12

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

        上面的题目中的运行结果为12字节,除了_b 和 _ch 成员之外,还多了一个 _vfptr 放在对象的前面(注意有些平台可能会放到对象的后面,这个跟平台有关),对象中的这个指针我们称为虚函数表指针(V代表virtual,f代表function)。一个含有虚函数的类中至少都有一个虚函数表指针,因为一个类所有虚函数的地址要被放到这个类对象的虚函数表中,虚函数表也简称虚表。

 多态的原理

        以前面讲过的买票代码为例:

class Person {
public:
	virtual void BuyTicket() { cout << "买票-全价" << endl; }
};
class Student : public Person {
public:
	virtual void BuyTicket() { cout << "买票-打折" << endl; }
};
class Soldier : public Person {
public:
	virtual void BuyTicket() { cout << "买票-优先" << endl; }
};
void Func(Person* ptr)
{
	// 这⾥可以看到虽然都是Person指针Ptr在调⽤BuyTicket
	// 但是跟ptr没关系,⽽是由ptr指向的对象决定的。
	ptr->BuyTicket();
} 
int main()
{
	// 其次多态不仅仅发⽣在派⽣类对象之间,多个派⽣类继承基类,重写虚函数后
	// 多态也会发⽣在多个派⽣类之间。
	Person ps;
	Student st;
	Soldier sr;

	Func(&ps);
	Func(&st);
	Func(&sr);
	return 0;
}

        从底层的角度来看,Func函数中 ptr->BuyTicket() 是如何作为 ptr 指向 Person 对象调用 Person::BuyTicket()。ptr 指向 Student 对象调用 Student::BuyTicket() 的呢?通过下图我们可以看到,满足多态条件后,底层不再是编译时通过调用对象确定函数的地址,而是运行时到其指针所指向的对象的虚表中确定对应的虚函数的地址,这样就实现了指针或引用指向基类就调用基类的虚函数,指向派生类就调用派生类队形的虚函数。

        第一张图中,ptr 指向的是 Person 对象,调用的是 Person 的虚函数;第二张图中,ptr 指向的是 Student 对象,调用的是 Student 的虚函数。

动态绑定与静态绑定

  • 对不满足多态条件的(指针或引用+调用虚函数) 函数调用是在编译时绑定,也就是编译时确定调用函数的地址,叫做静态绑定。

  • 满足多态条件的函数调用是在运行时绑定,也就是在运行时到指向对象的虚函数表中找到调用函数的地址,也叫做动态绑定。

// ptr是指针+BuyTicket是虚函数满⾜多态条件。
// 这⾥就是动态绑定,编译在运⾏时到ptr指向对象的虚函数表中确定调⽤函数地址
ptr->BuyTicket();
00EF2001 mov eax,dword ptr [ptr]
00EF2004 mov edx,dword ptr [eax]
00EF2006 mov esi,esp
00EF2008 mov ecx,dword ptr [ptr]
00EF200B mov eax,dword ptr [edx]
00EF200D call eax
// BuyTicket不是虚函数,不满⾜多态条件。
// 这⾥就是静态绑定,编译器直接确定调⽤函数地址
ptr->BuyTicket();
00EA2C91 mov ecx,dword ptr [ptr]
00EA2C94 call Student::Student (0EA153Ch)

虚函数表的相关内容

  • 基类对象的虚函数表中存放基类所有虚函数的地址,同一个类的对象使用一个虚函数表,不同类的对象之间使用的虚函数表相互独立。
  • 派生类由两部分构成,继承下来的基类和自己的成员,一般情况下,继承下来的基类中有虚函数表指针,自己就不会再生成虚函数表指针。但是要注意的是这里继承下来的基类部分虚函数表指针和基类对象的虚函数表指针是相互独立的,就像基类对象的成语和派生类对象中的基类对象成员也相互独立一样。
  • 派生类中重写的基类的虚函数,派生类的虚函数表中对应的虚函数就会被覆盖成派生类重写的虚函数地址。
  • 派生类的虚函数表中包含:基类的虚函数地址、派生类重写的虚函数地址、派生类自己的虚函数地址。需要注意,无论它继承了几个基类,派生类自己的虚函数会放到该派生类第一个继承的基类的虚函数表的末尾,不会生成一个独立的新虚表。
  • 虚函数表本质是一个存虚函数指针的指针数组,一般情况下这个数组最后面会放一个0x00000000标记。(这个C++并没有严格规定,而是各个编译器自行定义的,vs系列编译器会放,g++不会。)
  • 虚函数存在哪?虚函数和普通函数一样,编译好后就是一段指令,都是存在代码段中,只是虚函数的地址会额外存放在虚表中。
  • 虚函数表存在哪?这个问题C++没有严格规定,在vs中是存放在代码段(常量区)。我们在下面演示一下:

这⾥Derive中没有看到func3函数,这个vs监视窗口看不到,可以通过内存窗口查看

class Base {
public:
	virtual void func1() { cout << "Base::func1" << endl; }
	virtual void func2() { cout << "Base::func2" << endl; }
	void func5() { cout << "Base::func5" << endl; }
protected:
	int a = 1;
};
class Derive : public Base
{
public :
	// 重写基类的func1
	virtual void func1() { cout << "Derive::func1" << endl; }
	virtual void func3() { cout << "Derive::func1" << endl; }
	void func4() { cout << "Derive::func4" << endl; }
protected:
	int b = 2;
};
int main()
{
	int i = 0;
	static int j = 1;
	int* p1 = new int;
	const char* p2 = "xxxxxxxx";
	printf("栈:%p\n", &i);
	printf("静态区:%p\n", &j);
	printf("堆:%p\n", p1);
	printf("常量区:%p\n", p2);
	Base b;
	Derive d;
	Base* p3 = &b;
	Derive* p4 = &d;
	printf("Person虚表地址:%p\n", *(int*)p3);
	printf("Student虚表地址:%p\n", *(int*)p4);
	printf("虚函数地址:%p\n", &Base::func1);
	printf("普通函数地址:%p\n", &Base::func5);
	return 0;
}

运行结果:
栈:010FF954
静态区:0071D000
堆:0126D740
常量区:0071ABA4
Person虚表地址:0071AB44
Student虚表地址:0071AB84
虚函数地址:00711488
普通函数地址:007114BF

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

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

相关文章

利用游戏引擎的优势

大家好&#xff0c;我是小蜗牛。 在当今快速发展的游戏产业中&#xff0c;选择合适的游戏引擎对开发者来说至关重要。Cocos Creator作为一款功能强大且灵活的游戏引擎&#xff0c;为开发者提供了丰富的工具和资源&#xff0c;使他们能够高效地开发出优秀的游戏。本文将探讨如何…

uniapp配置h5路由模式为history时404

为了不让URL中出现#&#xff0c;让uniapp项目配置h5路由模式为hisory 然而本地好好的&#xff0c;放到服务器上却404了。 解决方法是给nginx配置一个伪静态&#xff1a; location /xxx-html/ {alias /home/nginx_web/xxx_new_html/;try_files $uri $uri/ /xxx-html/index.ht…

架构师备考-概念背诵(软件工程)

软件工程 软件开发生命周期: 软件定义时期:包括可行性研究和详细需求分析过程,任务是确定软件开发工程必须完成的总目标,具体可分成问题定义、可行性研究、需求分析等。软件开发时期:就是软件的设计与实现,可分成概要设计、详细设计、编码、测试等。软件运行和维护:就是…

小白docker入门简介

Dockerfile入门使用分享 一、docker是啥二、镜像仓库三、自定义镜像四、动手做机甲玩偶五、帮我做数学题六、计算功能的写法七、咒语翻译器八、放屁九、解决问题 一、docker是啥 最开始我和你一样&#xff0c;围着镜像、容器、docker的名词团团转&#xff0c;其实没那么复杂。…

一文学习Android中的Property

在 Android 系统中&#xff0c;Property 是一种全局的键值对存储系统&#xff0c;允许不同组件和进程间以轻量级的方式进行数据传递。它主要用于系统配置、状态标识等场景&#xff0c;使得不同进程能够通过属性的设置或获取来通信。property 的核心特性是快速、高效&#xff0…

node.js安装配置(Windows)

1、下载 CNPM Binaries Mirror 2、安装 3、验证 win R 进入cmd 4、配置环境变量 4.1、创建两个文件夹 4.2、安装目录进入cmd(配置全局属性) 配置两个命令&#xff1a; npm config set prefix "D:\liyunqing\nodejs\node_global"npm config set cache "D:\l…

mp3格式音频怎么做成二维码?扫码获取音频文件的制作方法

随着二维码的广泛使用&#xff0c;现在很多内容都会通过生成二维码的方式来传输内容&#xff0c;通过这种方式可以更快捷的实现内容分享&#xff0c;简化其他人获取内容的流程&#xff0c;有效提高效率。音频是目前常见的一种内容分享方式&#xff0c;比如录音、听力、音乐等类…

【css flex 多行均分有间隙布局】

小程序、web均可使用&#xff0c;我当前用的是小程序 <view class"job_tab_container flex_between"><view class"job_tab_item"></view><view class"job_tab_item"></view><view class"job_tab_item&qu…

单臂路由技术,eNSP实验讲解

单臂路由技术&#xff0c;eNSP实验讲解 一、简要介绍1、概念2、工作原理3、优点4、缺点5、应用场景举例 二、eNSP仿真实验1、步骤一&#xff1a;2、步骤二&#xff1a;3、步骤三&#xff1a;4、步骤四&#xff1a; 三、总结。 一、简要介绍 1、概念 单臂路由&#xff08;Rout…

微服务day03

导入黑马商城项目 创建Mysql服务 由于已有相关项目则要关闭DockerComponent中的已开启的项目 [rootserver02 ~]# docker compose down WARN[0000] /root/docker-compose.yml: version is obsolete [] Running 4/4✔ Container nginx Removed …

Mac如何实现最简单的随时监测实时运行状态的方法

Mac book有着不同于Windows的设计逻辑与交互设计&#xff0c;使得Mac book有着非常棒的使用体验&#xff0c;但是在Mac电脑的使用时间过长时&#xff0c;电脑也会出现响应速度变慢或应用程序崩溃的情况&#xff0c;当发生的时候却不知道什么原因导致的&#xff0c;想要查询电脑…

无需云端!国产开源大语言模型llama.cpp本地实战

作者&#xff1a;高瑞冬 注&#xff1a; 文章是2023年底写的。代码和运行方式虽有些旧&#xff0c;但基本原理一样。现在出来ollama&#xff0c;vllm等工具框架用来本地部署大模型&#xff0c;顺便更新一下。 [TOC](最后有彩蛋) 背景 上海人工智能实验室与商汤科技…

初始JavaEE篇 —— 网络编程(2):了解套接字,从0到1实现回显服务器

找往期文章包括但不限于本期文章中不懂的知识点&#xff1a; 个人主页&#xff1a;我要学编程程(ಥ_ಥ)-CSDN博客 所属专栏&#xff1a;JavaEE 目录 TCP 与 UDP Socket套接字 UDP TCP 网络基础知识 在一篇文章中&#xff0c;我们了解了基础的网络知识&#xff0c;网络的出…

PVE纵览-从零开始:了解Proxmox Virtual Environment

PVE纵览-从零开始&#xff1a;了解Proxmox Virtual Environment 文章目录 PVE纵览-从零开始&#xff1a;了解Proxmox Virtual Environment摘要什么是Proxmox Virtual EnvironmentPVE的核心功能PVE 优势如何开始使用PVEPVE应用案例总结 关键字&#xff1a; PVE、 虚拟机、 Pr…

08 Oracle数据库故障应对与恢复策略:全面掌握RMAN恢复方法

文章目录 Oracle数据库故障应对与恢复策略&#xff1a;全面掌握RMAN恢复方法一、故障场景及恢复策略1.1 实例失败1.2 介质故障1.3 数据丢失 二、RMAN恢复方法详解2.1 全库恢复2.2 增量恢复2.3 时间点恢复 三、实践与总结 Oracle数据库故障应对与恢复策略&#xff1a;全面掌握RM…

MYSQL隔离性原理——MVCC

表的隐藏字段 表的列包含用户自定义的列和由系统自动创建的隐藏字段。我们介绍3个隐藏字段&#xff0c;不理解也没有关系&#xff0c;理解后面的undo log就懂了&#xff1a; DB_TRX_ID &#xff1a;6 byte&#xff0c;最近修改( 修改/插入 )事务ID&#xff0c;记录创建这条记…

Git超详细教程

Git初始 概念 一个免费开源&#xff0c;分布式的代码版本控制系统&#xff0c;帮助开发团队维护代码 作用 记录代码内容&#xff0c;&#xff0c;切换代码版本&#xff0c;多人开发时高效合并代码内容 如何学&#xff1a; 个人本机使用&#xff1a;Git基础命令和概念 多…

BK3432芯片SPI方式烧录固件方法

前言 本文介绍 BK3432 芯片的烧录授权。该芯片支持的固件烧录方式为 SPI 烧录 。 BK3432 的固件主要由三部分组成&#xff1a;boot stack app&#xff0c;其中&#xff1a; bk3432_ble_app.bin&#xff1a;生成的 App 部分的原始 bin 文件bk3432_ble_app_app.bin&#xff1…

网站架构知识之Ansible进阶(day022)

1.handler触发器 应用场景&#xff1a;一般用于分发配置文件时候&#xff0c;如果配置文件有变化&#xff0c;则重启服务&#xff0c;如果没有变化&#xff0c;则不重启服务 案列01&#xff1a;分发nfs配置文件&#xff0c;若文件发生改变则重启服务 2.when判断 用于给ans运…

陪诊问诊APP开发实战:基于互联网医院系统源码的搭建详解

时下&#xff0c;开发一款功能全面、用户体验良好的陪诊问诊APP成为了医疗行业的一大热点。本文将结合互联网医院系统源码&#xff0c;详细解析陪诊问诊APP的开发过程&#xff0c;为开发者提供实用的开发方案与技术指导。 一、陪诊问诊APP的背景与功能需求 陪诊问诊APP核心目…