带你了解多态

最新推荐文章于 2024-11-09 11:27:11 发布

weixin_44590965

最新推荐文章于 2024-11-09 11:27:11 发布

阅读量63

点赞数

文章标签： jvm c++ java

本文链接：https://blog.csdn.net/weixin_44590965/article/details/129658417

版权

一、基本概念

1.函数重写：在子类中定义与父类中原型相同的函数，函数重写只发生在父类与子类之间

父类中被重写的函数依然会继承给子类，默认情况下子类中重写的函数将隐藏父类中的函数。
通过作用域分辨符::可以访问到父类中被隐藏的函数

2.**多肽：**同样的调用语句有多种不同的表现形态，根据实际的对象类型决定函数调用的具体目标。

如果父类指针指向的是父类对象则调用父类中定义的函数
如果父类指针指向的是子类对象则调用子类中定义的重写函数
C++中通过 virtual 关键字对多态进行支持，使用 virtual 声明的函数被重写后即可展现多态特性

二、多态的理论基础

联编是指一个程序模块、代码之间互相关联的过程。
静态联编（static binding），是程序的匹配、连接在编译阶段实现，也称为早期匹配。重载函数使用静态联编。
动态联编是指程序联编推迟到运行时进行，所以又称为晚期联编（迟绑定）。switch 语句和 if 语句是动态联编的例子。

C++与 C 相同，是静态编译型语言
在编译时，编译器自动根据指针的类型判断指向的是一个什么样的对象；所以编译器认为父类指针指向的是父类对象。
由于程序没有运行，所以不可能知道父类指针指向的具体是父类对象还是子类对象。从程序安全的角度，编译器假设父类指针只指向父类对象，因此编译的结果为调用父类的成员函数。这种特性就是静态联编。

三、多态原理探究

1.理论知识

当类中声明虚函数时，编译器会在类中生成一个虚函数表，虚函数表是一个存储类成员函数指针的数据结构。虚函数表是由编译器自动生成与维护的。virtual 成员函数会被编译器放入虚函数表中。当存在虚函数时，每个对象中都有一个指向虚函数表的指针（C++编译器给父类对象、子类对象提前布局vptr 指针；当进行 howToPrint(Parent *base)函数是，C++编译器不需要区分子类对象或者父类对象，只需要再 base 指针中，找 vptr 指针即可）VPTR一般作为类对象的第一个成员。

2.c++多态的实现原理

当类中声明虚函数时，编译器会在类中生成一个虚函数表
虚函数表是一个存储类成员函数指针的数据结构。
虚函数表是由编译器自动生成与维护的。
virtual 成员函数会被编译器放入虚函数表中
存在虚函数时，每个对象中都有一个指向虚函数表的指针(vptr 指针）

说明 1：通过虚函数表指针 VPTR 调用重写函数是在程序运行时进行的，因此需要通过寻址操作才能确定真正应该调用的函数。而普通成员函数是在编译时就确定了调用的函数。在效率上，虚函数的效率要低很多。
说明 2：出于效率考虑，没有必要将所有成员函数都声明为虚函数
说明 3 ：C++编译器，执行 HowToPrint 函数，不需要区分是子类对象还是父类对象

3.父类构造函数中能调用虚函数，实现多态吗。

(1)对象中的 VPTR 指针什么时候被初始化？

对象在创建的时,由编译器对 VPTR 指针进行初始化
只有当对象的构造完全结束后 VPTR 的指向才最终确定
父类对象的 VPTR 指向父类虚函数表
子类对象的 VPTR 指向子类虚函数表

例如：C1为子类对象，C1.vptr指针初始化是分布的。当执行父类构造函数时，C1.vptr指向父类的虚函数表。当父类构造函数执行完毕后，会把C1.vptr指向子类的虚函数表。因此，子类对象构造时，在父类的构造函数调用虚函数，产生不了多态。

四、多态相关面试题(深入理解)

1.请谈谈你对多态的理解

多态的实现效果 ：同样的调用语句有多种不同的表现形态；
多态实现的三个条件：有继承、有 virtual 重写、有父类指针（引用）指向子类对象。
**多态的 C++实现：**virtual 关键字，告诉编译器这个函数要支持多态；不是根据指针类型判断如何调用；而是要根据指针所指向的实际对象类型来判断如何调用。
**多态的理论基础：**动态联编 PK 静态联编。根据实际的对象类型来判断重写函数的调用。
**多态的重要意义：**多态是设计模式的基础，多态是框架的基石。
**实现多态的理论基础：**函数指针做函数参数。C 函数指针是 C++至高无上的荣耀。C 函数指针一般有两种用法（正、反）。
**多态原理探究：**与面试官展开讨论

2.谈谈你对重写，重载理解

函数重载 ：必须在同一个类中进行 ，子类无法重载父类的函数，父类同名函数将被名称覆盖；重载是在编译期间根据参数类型和个数决定函数调用
**函数重写 **：必须发生于父类与子类之间，并且父类与子类中的函数必须有完全相同的原型；使用 virtual 声明之后能够产生多态(如果不使用 virtual，那叫重定义)；多态是在运行期间根据具体对象的类型决定函数调用。
重定义：当父类和子类有相同的函数名、变量名出现，发生名称覆盖（子类的函数名，覆盖了父类的函数名）通过作用域分辨符进行区分—子类对象.子类成员|子类对象.父类::父类成员