C C++最全C++多态性原理详解(静态多态、动态多态、虚函数、虚函数表)_c，2024年最新卧薪尝胆70天内推入职阿里

本文链接：https://blog.csdn.net/2401_84976700/article/details/138865319

既有适合小白学习的零基础资料，也有适合3年以上经验的小伙伴深入学习提升的进阶课程，涵盖了95%以上C C++开发知识点，真正体系化！

由于文件比较多，这里只是将部分目录截图出来，全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、讲解视频，并且后续会持续更新

首先给出函数模板的格式：

template <typename 类型参数1 , typename 类型参数2 , ...> 返回值类型  函数名(形参列表){
函数体
}

例如2.1节中的swap重载函数可用一个函数模板代替为：

template <typename T>void swap(T* a, T* b)
{
	T temp = *a;
	*a = *b;
	*b = temp;
}

其中template、typename均为声明函数模板用的关键字。用上面一个函数模板即可对任意合法的输入数据类型进行处理。
需要注意的是，目前编译里不支持模板函数的声明和实现分离，因此一般将模板函数体也写在头文件中。

3 动态多态性

动态多态允许用一个或多个派生类对象的属性配置父类对象。在多态性的支持下，父类对象的某个接口会随着派生类对象的不同而执行不同的操作。

3.1 实现原理

先考虑下面的代码工程。

class Father
{
public:
	virtual void func1(){
		std::cout << "FUNC1:Father" << std::endl;
	}
	virtual void func2(){
		std::cout << "FUNC2:Father" << std::endl;
	}
	void func3(){
		std::cout << "FUNC3:Father" << std::endl;
	}
};

class Son :public Father
{
public:
	virtual void func1(){
		std::cout << "FUNC1:Son" << std::endl;
	}
	void func3(){
		std::cout << "FUNC3:Son" << std::endl;
	}
};

void testFunc(Father* ptr)
{
	ptr->func1();
	ptr->func3();
}

int main() {
	Son* testSon = new Son;	
	Father* testFather = new Father;

	std::cout << "==============子类测试=============\n";
	testFunc(testSon);
	std::cout << "\n==============父类测试=============\n";
	testFunc(testFather);
}

其执行结果为：

==============子类测试=============
FUNC1:Son
FUNC3:Father

==============父类测试=============
FUNC1:Father
FUNC3:Father

首先阐明要通过子类属性配置父类的原因。如图1所示的例子，移动硬盘、U盘、SD卡都是从父类存储设备派生出来的子类，在实际应用中，只需设计一个存储外设接口，通过判断具体使用的是哪一种外设来确定该接口将执行的驱动程序。这种面向接口的设计思路可以增强复用性和模块化，否则一种外设就需要对应一种接口，过于冗杂。

在这里插入图片描述

图1

下面通过分析代码结果，来说明多态的实现原理。

函数testFunc()希望展现出多态性，子类实例testSon在执行func1()时体现子类特性，但在执行func3()时却仍保留了父类特性——即不显示出多态，这是因为func1()被关键字virtual所修饰。关键字virtual申请使用后期联编，被其修饰的函数称为虚函数，而在后期联编下才支持动态多态，因此只有func1()显示出多态性。

至此，先小结构成动态多态的条件：(a) 调用函数的对象必须是指针或者引用；(b) 被调用的函数必须是虚函数。

后期联编通过虚函数表V-Table实现动态多态，虚函数表是一个实例的虚函数地址表。若某个实例存在虚函数，则该实例的内存中会自动分配虚函数表，指明该实例实际应该调用的函数。实例中通过虚函数指针，指向虚函数表所在的内存位置。

在这里插入图片描述