[C++]多态

news2025/1/25 9:11:34

🥁作者： 华丞臧
📕​​​​专栏：【C++】
各位读者老爷如果觉得博主写的不错，请诸位多多支持(点赞+收藏+关注)。如果有错误的地方，欢迎在评论区指出。

推荐一款刷题网站 👉LeetCode

文章目录

  • 一、多态的概念
  • 二、多态的定义及实现
    • 2.1 多态的构成条件
    • 2.2 虚函数
    • 2.3 虚函数重写
    • 2.4 虚函数重写的两个例外
    • 2.5 C++11 override和final
    • 2.5 重载、覆盖(重写)、隐藏(重定义)
  • 三、抽象类
    • 3.1 抽象类的概念
    • 3.2 接口继承和实现继承
  • 四、多态的原理
    • 4.1 虚函数表
    • 4.2 多态原理
    • 4.3 动态绑定与静态绑定
  • 五、单继承和多继承关系的虚函数表
    • 5.1 单继承中的虚函数表
    • 5.2 多继承中的虚函数表

一、多态的概念

通俗地讲，多态就是多种形态，具体讲就是去完成某个行为，当不同对象去完成时会产生不同的状态。

比如高铁买票这个行为，当普通人去买票时，是全价票；而当学生去买票时，是半价票；军人买票时，是优先买票；每个对象都是不同的类型，这些不同的对象去完成同一个行为时产生不同的状态。

二、多态的定义及实现

2.1 多态的构成条件

多态是在不同继承关系的类对象，去调用同一函数，产生了不同的行为。
那么在继承中药构成多态还有两个条件：

  1. 必须通过基类的指针或者引用调用虚函数；
  2. 被调用的函数必须是虚函数，且派生类必须对基类的虚函数进行重写；

2.2 虚函数

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

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

2.3 虚函数重写

虚函数的重写（也称为覆盖）：派生类中有一个与基类完全相同的虚函数，即派生类虚函数与基类虚函数的返回值类型、函数名、参数列表完全相同，称为子类的虚函数重写了基类的虚函数。
注意和隐藏区分开，隐藏是函数名相同就构成隐藏。
如下代码就是重写了基类的虚函数：

#include <iostream>
using namespace std;

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& p)
{
	p.BuyTicket();
}

void test()
{
	Person per;
	Student stu;
	Soldier sol;

	Func(per);
	Func(stu);
	Func(sol);
}

int main()
{
	test();
	return 0;
}

注意：在重写基类虚函数时，派生类的虚函数在不加virtual关键字时，虽然也可以构成重写(因为继承后基类的虚函数被继承下来了在派生类依旧保持虚函数属性)，但是该种写法不是很规范，不建议这样使用。

不同对象产生不同状态：
不同对象产生不同状态

2.4 虚函数重写的两个例外

  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. 析构函数的重写(基类与派生类析构函数的名字不同)
    如果基类的析构函数为虚函数，此时派生类析构函数只要定义，无论是否加virtual关键字，都与基类的析构函数构成重写，虽然基类与派生类析构函数名字不同。虽然函数名不相同，看起来违背了重写的规则，其实不然，这里可以理解为编译器对析构函数的名称做了特殊处理，编译后析构函数的名称统一处理成destructor。
class Person 
{
public:
 	virtual ~Person() {cout << "~Person()" << endl;}
};

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

// 只有派生类Student的析构函数重写了Person的析构函数，下面的delete对象调用析构函数，才能构成多态，才能保证p1和p2指向的对象正确的调用析构函数。
int main()
{
 	Person* p1 = new Person;
 	Person* p2 = new Student;
 	
 	delete p1;
 	delete p2;
 	
 	return 0;
}

2.5 C++11 override和final

从上面可以看出，C++对函数重写的要求比较严格，但是有些情况下由于疏忽，可能会导致函数名字母次序写反而无法构成重载，而这种错误在编译期间是不会报出的，只有在程序运行时没有得到预期结果才来debug会得不偿失，因此：C++11提供了override和final两个关键字，可以帮助用户检测是否重写。

  1. final：修饰虚函数，表示该虚函数不能再被重写。

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

//final修饰基类虚函数
class Car
{
public:
 	virtual void Drive() final {}
};

//override修饰派生类虚函数
class Benz :public Car {
public:
 	virtual void Drive() override 
 	{
 		cout << "Benz-舒适" << endl;
 	}
};

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

在这里插入图片描述

三、抽象类

3.1 抽象类的概念

在虚函数的后面写上 =0,则这个函数称为纯虚函数。而包含纯虚函数的类就叫做抽象类（也叫接口类），抽象类不能实例化出对象，派生类继承后也不能实例化出对象。
只有重写纯虚函数，派生类才能实例化出对象；纯虚函数规范了派生类必须重写，另外纯虚函数跟体现出了接口继承。

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.2 接口继承和实现继承

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

四、多态的原理

4.1 虚函数表

// 这里常考一道笔试题：sizeof(Base)是多少？
class Base
{
public:
 	virtual void Func1()
 	{
 		cout << "Func1()" << endl;
 	}
private:
 	int _b = 1;
};

程序运行结果如下图：

  • 按照类来算，Base的大小应该为4，但结果却是8，这是由于在Base类中添加了一个虚函数表。

在这里插入图片描述

如下图：t 对象当中有一个_vfptr表，表中存放虚函数的地址；
在这里插入图片描述

4.2 多态原理

多态的实现需要靠子类对父类的虚函数进行重写，在父类的指针或者引用指向子类时，子类对象通过类中虚函数表（简称虚表）来找到重写函数的地址。

  • 虚函数重写–语法层的概念：派生类对继承基类虚函数实现进行了重写；
  • 虚函数覆盖–原理层的概念：子类的虚表，拷贝父类虚表进行了修改，覆盖重写那个虚函数。
#include <iostream>
using namespace std;

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

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


int main()
{
	Base b;
	Drive d;

	Base* r1 = &b;
	r1->Func1();
	r1->Func2();

	Base* r2 = &d;
	r2->Func1();
	r2->Func2();
	return 0;
}

程序运行结果如下：
在这里插入图片描述
可以看到重写的虚函数构成多态，普通函数不构成多态。调试代码通过监视窗口可以看到多态调用，父类指针中的虚函数表变成了子类的虚函数地址。Func1继承下来是虚函数，所以放进了虚函数表，而Func3继承下来了但不是虚函数，所以不会放进虚函数表。
在这里插入图片描述

调试后转反汇编，可以看到多态调用会先通过虚函数表去找对应虚函数的地址，而普通调用直接有对应函数地址。
在这里插入图片描述

派生类的虚表生成：

  • a.先将基类中的虚表内容拷贝一份到派生类虚表中；
  • b.如果派生类重写了基类中某个虚函数，用派生类自己的虚函数覆盖虚表中基类的虚函数 ；
  • c.派生类自己新增加的虚函数按其在派生类中的声明次序增加到派生类虚表的最后。

总结：

  1. 多态调用是运行时决议，即运行时确定调用函数的地址；
  2. 普通调用是编译时决议，即编译时确定调用函数的地址；
  3. 虚函数表本质是一个存虚函数指针的指针数组，一般情况这个数组最后面放了一个nullptr。
  4. 虚表存的是虚函数指针，不是虚函数，虚函数和普通函数一样的，都是存在代码段的，只是他的指针又存到了虚表中。另外对象中存的不是虚表，存的是虚表指针。

子类对象赋值给父类对象也可以实现切片，为什么实现不了多态？

对象切片的时候，子类只会拷贝成员给父类对象，不会拷贝虚表指针；如果拷贝虚表指针就混乱了，父类对象中到底是父类的虚表指针还是子类的虚表指针都不确定；那后面再用父类指针指向该父类对象时，调用虚函数是父类的还是子类的也是不确定的。

4.3 动态绑定与静态绑定

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

五、单继承和多继承关系的虚函数表

5.1 单继承中的虚函数表

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;}
private :
 	int b;
};

int main()
{
	Derive d;
	Base b;

	return 0;
}

观察下图中的监视窗口中我们发现看不见func3和func4。这里是编译器的监视窗口故意隐藏了这两个函数，也可以认为是他的一个小bug。那么我们如何查看d的虚表呢？下面我们使用代码打印出虚表中的函数。
在这里插入图片描述

通过内存窗口可以看到虚表中存在第三个地址，如下图：
在这里插入图片描述

 思路：取出b、d对象的头4bytes，就是虚表的指针
// 1.先取b的地址，强转成一个int*的指针
// 2.再解引用取值，就取到了b对象头4bytes的值，这个值就是指向虚表的指针
// 3.再强转成VFPTR*，因为虚表就是一个存VFPTR类型(虚函数指针类型)的数组。
// 4.虚表指针传递给PrintVTable进行打印虚表
// 5.需要说明的是这个打印虚表的代码经常会崩溃，因为编译器有时对虚表的处理不干净，虚表最后面没有放nullptr，
// 导致越界，这是编译器的问题。我们只需要点目录栏的-生成-清理解决方案，再编译就好了。
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()
{
	Derive d;
	Base b;

	VFPTR* vTableb = (VFPTR*)(*(int*)&b);
	PrintVTable(vTableb);

	VFPTR* vTabled = (VFPTR*)(*(int*)&d);
	PrintVTable(vTabled);

	return 0;
}

在这里插入图片描述

5.2 多继承中的虚函数表

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

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()
{
	Derive d;
	VFPTR* vTableb1 = (VFPTR*)(*(int*)&d);
	//PrintVTable(vTableb1);
	VFPTR* vTableb2 = (VFPTR*)(*(int*)((char*)&d + sizeof(Base1)));
	//PrintVTable(vTableb2);
	return 0;
}

可以看到多继承下的d对象中有两张虚表，分别是继承于Base1和Base2，并且我们发现两张虚表中都没有func3的函数地址。
在这里插入图片描述
同样我们可以取出这两个虚表的地址并且调用虚表中的函数，结果如下图：可以得出结论多继承派生类的未重写的虚函数放在第一个继承基类部分的虚函数表中。
在这里插入图片描述

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

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

相关文章

【Opencv项目实战】背景替换：帮你的证件照换个背景色

【Opencv项目实战】背景替换：帮你的证件照换个背景色

文章目录方法一、基于removebg的背景替换1.1、removebg介绍1.2、环境配置1.3、算法详解1.4、实战&#xff1a;单张图片背景替换1.5、实战&#xff1a;多张图片背景替换1.6、实战&#xff1a;UI自选择图片进行背景替换方法二、基于backgroundremover的背景替换2.1、backgroundre…
阅读更多...
创建对象的方式和对属性的操作

创建对象的方式和对属性的操作

javaScript支持多种编程范式&#xff0c;包括函数式编程和面向对象编程&#xff0c;javaScript的对象被设计成一组属性的无序集合&#xff0c;由key和value组成。 创建对象的两种方式 早期使用创建对象方式最多的是使用Object类&#xff0c;使用new关键字来创建一个对象&…
阅读更多...
应用篇|网络安全知识培训考试，答题小程序操作指引

应用篇|网络安全知识培训考试，答题小程序操作指引

网络安全知识培训考试&#xff0c;答题小程序操作指引关于全民防诈反诈宣传或者网络安全知识学习&#xff0c;如何进行组织一场微信线上答题考试&#xff1f;可以在小程序“护网专题信息安全知识竞答”&#xff0c;先创建一个学习单位/小组&#xff0c;再邀请成员加入单位/小组…
阅读更多...
如何构造个人 AI 策略：从 AI 绘画的演进与 ChatGPT 现状出发？

如何构造个人 AI 策略：从 AI 绘画的演进与 ChatGPT 现状出发？

持续关注 AI 相关探索&#xff1a;https://github.com/phodal/ai-researchPS&#xff1a;就本文的结论而言&#xff0c;我相信你已经或多或少的有所体会了。也因此&#xff0c;本文更多的是展现一个思考的过程&#xff0c;而不是一个纯粹的结论。AIGC 是什么&#xff1f;它是指…
阅读更多...
pyenv安装python虚拟环境

pyenv安装python虚拟环境

文章目录pyenv介绍准备工作安装pyenv设置虚拟环境pyenv介绍 pyenv是一个forked自ruby社区的简单、低调、遵循UNIX哲学的Python环境管理工具, 它可以轻松切换全局解释器版本, 同时结合vitualenv插件可以方便的管理对应的包源。 为什么我们需要pyenv呢 Python解释器版本混乱, 2…
阅读更多...
怎么关闭win10自动更新？我们可以这么做！

怎么关闭win10自动更新？我们可以这么做！

Win10自动更新可以使系统保持最新状态&#xff0c;但也可能导致一些问题&#xff0c;例如占用大量网络流量&#xff0c;导致系统速度减慢等。如果你希望关闭win10自动更新&#xff0c;不要电脑自动更新&#xff0c;我们可以跟着这篇文章这么做&#xff01; 操作环境&#xff1a…
阅读更多...
测试行业干了5年，从只会点点点到了现在的测试开发，总算是证明了自己

测试行业干了5年，从只会点点点到了现在的测试开发，总算是证明了自己

测试不止是点点点 我感觉我是一个比较有发言权的人吧&#xff0c;我在测试行业摸爬滚打5年&#xff0c;以前经常听到开发对我说&#xff0c;天天的点点点有意思没&#xff1f; 和IT圈外的同学、朋友聊起自己的工作&#xff0c;往往一说自己是测试&#xff0c;无形中也会被大家…
阅读更多...
Jmeter 连接 JDBC 报错Communications link failure解决办法（云服务器搭建了LNMP环境必看）

Jmeter 连接 JDBC 报错Communications link failure解决办法（云服务器搭建了LNMP环境必看）

换jar包、加?useSSLfalse&#xff0c;3306加防火墙&#xff0c;都不能解决我的问题。最终我发现是我的LNMP环境导致 错误提示 Response message:java.sql.SQLException: Cannot create PoolableConnectionFactory (Communications link failureThe last packet sent successf…
阅读更多...
【跨尺度学习：迭代残差：超分：泛锐化】

【跨尺度学习：迭代残差：超分：泛锐化】

Pansharpening via Super-Resolution Iterative Residual Network With a Cross-Scale Learning Strategy &#xff08;基于跨尺度学习策略的超分辨率迭代残差网络泛锐化&#xff09; 全色锐化是利用高空间分辨率全色&#xff08;HR PAN&#xff09;图像恢复低空间分辨率多光…
阅读更多...
Vue-Router 路由管理器

Vue-Router 路由管理器

文章目录知识点前端路由的概念及作用Vue-Router 的安装Vue-Router 的基本使用知识点 前端路由的概念及作用Vue-Router 的安装Vue-Router 的基本使用 前端路由的概念及作用 需要大家注意的是&#xff0c;这里的路由可不是指我们日常生活中的路由器 &#x1f602; &#xff0c;…
阅读更多...
Allegro如何打开或者关闭DFA规则设置操作指导

Allegro如何打开或者关闭DFA规则设置操作指导

Allegro如何打开或者关闭DFA规则设置操作指导 在用Allegro做PCB布局的时候，器件与器件之间的DFA规则可以避免器件出现装配问题。如下图 当DFA规则设置好之后，如何打开或者关闭规则，具体操作如下 点击Setup点击Constraints
阅读更多...
华为OD机试题，用 Java 解【相同数字的积木游戏 1】问题

华为OD机试题，用 Java 解【相同数字的积木游戏 1】问题

最近更新的博客 华为OD机试题，用 Java 解【停车场车辆统计】问题华为OD机试题，用 Java 解【字符串变换最小字符串】问题华为OD机试题，用 Java 解【计算最大乘积】问题华为OD机试题，用 Java 解【DNA 序列】问题华为OD机试 - 组成最大数（Java） | 机试题算法思路 【2023】使…
阅读更多...
2023年“网络安全”赛项浙江省金华市选拔赛 任务书

2023年“网络安全”赛项浙江省金华市选拔赛 任务书

2023年“网络安全”赛项浙江省金华市选拔赛 任务书 任务书 一、竞赛时间 共计3小时。 二、竞赛阶段 竞赛阶段 任务阶段 竞赛任务 竞赛时间 分值 第一阶段单兵模式系统渗透测试 任务一 Windows操作系统渗透测试 任务二 Linux操作系统渗透测试 任务三 网页渗透 任务四 Linux系统…
阅读更多...
硬件工程师——门控开关的设计

硬件工程师——门控开关的设计

假设自己是一个工程师&#xff0c;那么我们怎么介绍自己呢&#xff1f; 我们首先需要可以自己独立设计项目&#xff0c;需要每一个工程师在开始阶段可以独立做项目&#xff0c;从而提高薪水 那么我们怎么提高做项目的能力呢&#xff1f; 通过项目来积累经验&#xff0c;在短…
阅读更多...
百亿数据，毫秒级返回查询优化

百亿数据，毫秒级返回查询优化

近年来公司业务迅猛发展&#xff0c;数据量爆炸式增长&#xff0c;随之而来的的是海量数据查询等带来的挑战&#xff0c;我们需要数据量在十亿&#xff0c;甚至百亿级别的规模时依然能以秒级甚至毫秒级的速度返回&#xff0c;这样的话显然离不开搜索引擎的帮助&#xff0c;在搜…
阅读更多...
OpenHarmony的未来和如何做好一个开源社区

OpenHarmony的未来和如何做好一个开源社区

今天要分享的文章&#xff0c;可能更多只是作为一种观点。主要包括2个内容。OpenHarmony的未来和如何做好一个开源社区&#xff0c;好的&#xff0c;接下来开始今天的内容。 你对OpenHarmony的未来如何看待&#xff1f; OpenHarmony的未来看起来非常光明&#xff0c;因为它具…
阅读更多...
把 ChatGPT 加入 Flutter 开发，会有怎样的体验？

把 ChatGPT 加入 Flutter 开发，会有怎样的体验？

前言 ChatGPT 最近一直都处于技术圈的讨论焦点。它除了可作为普通用户的日常 AI 助手&#xff0c;还可以帮助开发者加速开发进度。声网社区的一位开发者"小猿"就基于 ChatGPT 做了一场实验。仅 40 分钟就实现了一个互动直播 Demo。他是怎么做的呢&#xff1f;他将整个…
阅读更多...
如何管理好仓库/库房？

如何管理好仓库/库房？

仓库管理是企业管理中不可缺少的一部分&#xff0c;事关企业能否正常运行的关键之一&#xff0c;古人有云&#xff1a;“三军未动粮草先行”&#xff0c;一个企业仓库管理做不好&#xff0c;他的生产管理肯定也是做不好的&#xff0c;不是说生产管理人员的管理能力不具备&#…
阅读更多...
跨设备文件传输工具横评

跨设备文件传输工具横评

文章目录对比QQ微信SnapDropLocalSendIntelUnisonLANDropTailscaleAirDroidSendAnywhere参考文献对比 传输速度测试条件大致相同&#xff0c;文件大小约为 100 MB 工具优点缺点传输速度备注QQ支持断点续传不要求同一局域网需要安装1.81 MB/s微信方便需要安装不支持大文件传完还…
阅读更多...
ESP32设备驱动-ML8511紫外线传感器驱动

ESP32设备驱动-ML8511紫外线传感器驱动

ML8511紫外线传感器驱动 1、ML8511介绍 ML8511 是一款紫外线传感器，适用于室内或室外获取紫外线强度。 ML8511 配备了一个内部放大器，可根据紫外线强度将光电流转换为电压。 这种独特的功能提供了与 ADC 等外部电路的简单接口。 在掉电模式下，典型的待机电流为 0.1 μ \mu…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023