深度剖析C++中多态的原理

一、多态是什么

1、多态的概念

多态就是不同的对象去完成某个行为时会产生不同的状态。

多态分为两类：

1. 静态多态：函数重载和运算符重载（一般不称它们为静态多态）
2. 动态多态：派生类和虚函数实现运行时多态（c++中的多态一般指动态多态）

静态多态和动态多态的区别：

1. 静态多态的函数地址早绑定，即编译阶段确定函数地址
2. 动态多态的函数地址晚绑定，即运行阶段确定函数地址

2、多态（动态多态）满足的条件

1）有继承关系

2）子类重写父类的虚函数

注：重写与重载的区别：重载是指函数名相同，参数类型不同或者个数和顺序不同（返回值类型不是函数重载的条件）；重写是指函数返回值类型，函数名，参数列表完全相同

二、多态的原理剖析

1、#include<iostream>
2、using namespace std;
3、class Animal
4、{
5、public:
6、virtual void speak(){cout << "动物在说话" << endl;}
7、};
8、class Cat:public Animal
9、{
10、public:
11、void speak(){cout << "小猫在说话" << endl;}
12、};
13、void doSpeak(Animal &animal)
14、{
15、animal.speak();
16、}
17、void test01()
18、{
19、Cat cat;
20、doSpeak(cat);
21、}
22、int main()
23、{
24、test01();
25、system("pause");
26、return 0;
27、}

 在上示代码的第11行是子类对父类的虚函数的重写

当子类没有对父类虚函数重写时，也即没有第11行代码时：

Animal类内部的结构为：vfptr（虚函数指针）指向vftable（虚函数表），其中vftable记录了虚函数的地址

Cat类内部的结构为：子类vfptr（虚函数指针）指向子类vftable（虚函数表），其中vftable记录了子类虚函数的地址

当子类对父类虚函数重写时，也即增加第11行代码后：

Animal类内部结构没有变化，而Cat类内部结构发生了变化，Cat的虚函数表内部替换成了重写后的子类虚函数地址

代码中第13行的doSpeak函数需要传的参数是Animal类型，而在20行传递的参数是Cat类型，这说明在调用doSpeak函数的时候，父类的指针指向了子类的对象，这时就发生了多态。

下面利用vs开发人员命令工具来验证上述结论

 从上图可以很清洗的看出Animal类的内部结构，当注释掉子类的重写代码（第11行）时，利用工具查看Cat的内部结构，如下图，此时Cat继承的还是Animal的函数

而当子类重写父类的函数后，Cat内部结构发生了变化，Cat的虚函数表内部替换成了重写后的子类虚函数地址，如下图所示：

从图中可以清楚地看到子类vfptr指向的vftable中内容已经变成了重写后的函数地址。

以上就是我学习多态时总结的知识，如有不恰当的部分，欢迎指正！