1.多态的基本概念
多态分为两类:
- 静态多态:函数重载和运算符重载属于静态多态,复用函数名
- 多态多态:派生类以及虚函数实现运行时多态
静态多态和动态多态的区别:
- 静态多态的函数地址早绑定,编译阶段确定函数地址
- 动态多态的函数地址晚绑定,运行阶段确定函数地址
#include <iostream>
using namespace std;
class animal
{
public:
//虚函数
virtual void speak()
{
cout << "animal is speaking" << endl;
}
};
class cat :public animal
{
public:
void speak()
{
cout << "cat is speaking" << endl;
}
};
//地址早绑定,在编译阶段确定了函数地址
//如果想让猫说话,就要让函数地址在运行的时候绑定
void dospeak(animal &animal)
{
animal.speak();
}
void test1()
{
cat cat;
dospeak(cat); // animal &animal = cat 允许父子之间不进行强制类型转换
}
int main()
{
test1();
return 0;
}
动态多态的满足条件:
- 有继承关系
- 子类要重写父类的虚函数 (重写:函数返回值,函数名称,函数参数列表都相等)
动态多态的使用:
- 父类的引用或者指针执行子类对象
2.多态的原理分析
当animal中有虚函数,会产生一个虚函数指针,指向虚函数表,表中记录虚函数的地址。当cat继承自animal时,把animal中的虚函数指针以及虚函数表都继承了过来,此时cat内部没有重写speak函数,所以虚函数表不变。
当子类重写父类的虚函数之后,子类的虚函数表内部会被替换成子类的虚函数地址。
所以当父类的指针或者引用指向虚函数表的时候,会指向具体子类的虚函数表,此时就会发生多态