C++中实现多态的原理

最新推荐文章于 2024-05-07 21:55:43 发布

WhiteJunior

最新推荐文章于 2024-05-07 21:55:43 发布

阅读量548

点赞数

分类专栏： Piecemeal Knowledge Interview Preparation Self-Culture

本文链接：https://blog.csdn.net/lym940928/article/details/83118884

版权

Self-Culture 同时被 3 个专栏收录

751 篇文章 5 订阅

订阅专栏

Interview Preparation

145 篇文章 7 订阅

订阅专栏

Piecemeal Knowledge

40 篇文章 1 订阅

订阅专栏

多态

什么是多态？

多态性简单的概括说来，即为一个接口，多种方法在程序运行的过程中才会决定调用的机制。在程序中，通过父类指针调用子类的函数，可以让父类指针有多种形态。
在基类的函数前面加上virtual关键字，在派生类中重写该函数，运行时将会根据对象的实际类型来调用响应的函数。如果对象类时派生类，就调用派生类的函数；如果对象类型是基类，就调用基类的函数。
用virtual关键字声明的函数叫做虚函数，虚函数肯定是类的成员函数。
存在虚函数的类都有一个一维的虚函数表，称为虚表，类的对象有一个指向虚表开始的虚指针。虚表是和类相对应的，虚表指针则是和对象对应的。
多态性是一个接口多种实现，是面向对象的核心，分为类的多态性和函数的多态性。
多态用虚函数表示，结合动态绑定。
纯虚函数是虚函数再加上 = 0。
抽象类是指包括至少一个纯虚函数的类。
对于纯虚函数：virtual void fun() = 0必须在子类中实现这个函数，即先定义名称，不定义内容，然后在派生类中实现内容。

实现机制

用一个例子来说明：

#include <iostream>
using namespace std;
class Animal {
public:
	void sleep() {
		cout<<"Animal Sleep"<<endl;
	}
	void breath() {
		cout<<"Animal Breath"<<endl;
	}
};

class Fish:public Animal {
public:
	void breath() {
		cout<<"Fish Bubble"<<endl;
	}
};

int main() {
	Fish fh;
	Animal *pAn = &fh;
	pAn->breath();
	return 0;
}

在上述的代码中，最后的输出结果为：
Animal Breath
结果分析

从编译的角度
C++编译器在进行编译时，要确定每个对象调用的函数的地址，这称为早期绑定（early binding）。当我们将Fish类的对象fh的地址赋给pAn时，C++编译器进行了类型转换，此时C++编译器认为变量pAn保存的就是Animal对象的地址。当在main()函数中执行pAn->breath()时，调用的就自然是Animal对象的breath函数。
从内存模型的角度
当我们去构造Fish类的对象时，首先要调用Animal类的构造函数去构造Animal类的对象，然后才会调用Fish类的构造函数完成自身部分的构造部分，从而拼接出一个完成的Fish对象。
当我们将Fish类的对象转换为Animal类型时，该对象就被认为是原对象整个内存模型的上半部分。因此，当我们利用类型转换后的对象指针去调用它的方法时，当然也就是调用它所在的内存中的方法。因此也就会输出Animal对象的breath函数。

于是，为了能够得到我们想要的结果，就需要使用虚函数。

之前的输出结果是因为编译器在进行编译时，就已经确定了对象调用的函数的地址。要解决这一问题，就必须使用 推迟绑定（late binding） 的技术。
当编译器使用延迟绑定时，就会在运行时再去确定对象的类型以及正确的调用函数。而要让编译器采用延迟绑定，就需要在基类中声明函数是使用virtual关键字，这样，我们的函数就是虚函数。
一旦某个函数在基类中声明virtual，那么在所有的派生类中都是virtual，而不需要显式地声明为virtual。

因此，对于上面的代码，我们可以进行以下的修改：

virtual void breath() {
	cout<<"Animal Breath"<<endl;
}

输出结果：
Fish Bubble
结果分析

编译器为每个类的对象提供一个虚表指针，这个指针指向对象所属的虚表。在程序运行时，根据对象的类型去初始化vptr，从而让vptr正确的指向所属类的虚表，从而在调用虚函数时，就能找到正确的函数。
由于pAn实际指向的对象类型是Fish，因此vptr指向的是Fish类的vtable。当调用pAn->breath()时，根据虚表中的函数地址找到的就是Fish类的breath()函数。
正是由于每个对象调用的虚函数都是通过虚表指针来索引的，也就决定了虚表指针的正确初始化是非常重要的。换句话说，在虚表指针没有正确初始化之前，我们不能去调用虚函数。
正确的虚指针初始化时间，是在构造函数中进行虚表的创建和虚表指针的初始化。 对于构造对象，在构造子类对象时，需要先调用父类的构造函数。此时，编译器只“看到”了父类，并不清楚之后会不会有继承者，它初始化父类对象的虚表指针，该虚表指针指向父类的虚表。 而当执行子类的构造函数时，子类对象的虚表指针被初始化，指向自身的虚表。
当Fish类的fh对象构造完成后，其内部的虚表指针也就被初始化为指向Fish类的虚表。在类型转换后，调用pAn->breath()，由于pAn实际指向的是Fish类的对象，该对象内部的虚表指针指向的是Fish类的虚表，因此最终调用的就是Fish类的breath()函数。

总结

对于虚函数调用而言，每一个对象内部都有一个虚表指针，该虚表指针被初始化为本类的虚表。 因此，在程序中，不管对象类型如何转换，对于该对象内部的虚表指针都是固定的。因此，才能实现动态的对象函数调用，这也是C++多态性实现的原理。

每一个类都有虚表，单继承的子类拥有一张虚表，子类对象拥有一个虚表指针；若子类是多重继承（同时继承多个基类），即子类维护多张虚函数表（针对不同基类构建不同的虚表），该子类的对象也将包含多个虚表指针。
虚表可以继承，如果子类没有重写虚函数，那么子类虚表中仍然会有该函数的地址，只不过这个地址指向的是基类的虚函数实现。如果基类中有三个虚函数，则基类的虚表中就会有三项（虚函数地址），派生类也会有虚表，至少有三项。如果重写了对应的虚函数，那么虚表中的地址也会改变，指向虚函数实现。如果派生类有自己的虚函数，那么虚表中就会添加该项。
派生类的虚表中的虚函数地址的排列顺序和基类的虚表中的虚函数地址排列顺序相同。

参考文章：
C++的多态是如何实现的？