一、多态是什么
1、多态的概念
多态就是不同的对象去完成某个行为时会产生不同的状态。
多态分为两类:
- 静态多态:函数重载和运算符重载(一般不称它们为静态多态)
- 动态多态:派生类和虚函数实现运行时多态(c++中的多态一般指动态多态)
静态多态和动态多态的区别:
- 静态多态的函数地址早绑定,即编译阶段确定函数地址
- 动态多态的函数地址晚绑定,即运行阶段确定函数地址
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中内容已经变成了重写后的函数地址。
以上就是我学习多态时总结的知识,如有不恰当的部分,欢迎指正!