多态
在继承关系中,不同的类对象去调用同一函数(方法),产生不同的行为。
在程序运行期间,根据具体拿到的类型,去确定具体的行为,成为动态多态(动态绑定),与之对应的那么静态绑定的例子是什么呢?函数重载就是一种静态多态,即在编译期间,就已经确定了程序的行为。
多态的条件
1.调用的函数必须是虚函数(virtual关键字)
2.虚函数的重写(子类重写虚函数)
如果基类的析构函数为虚函数,派生类的析构函数只要定义,无论是否加virtual关键字,无论析构函数名是否相同,都会构成重写。
3.调用时,必须通过基类的指针或者引用调用虚函数。
override和final关键字
1.形式:加在虚函数的后面。
2.override:用在派生类虚函数中,如果没有重写基类某个虚函数,则报错。
换而言之,就是派生类的这个虚函数,在基类中,一定要被声明或者定义,否则报错。
3.final:用在基类虚函数中,表示该虚函数不能被重写。
多态的实现
载具:虚函数表
继承体系中,如果满足了多态的条件,父类A和子类B对象创建后,包含两部分,一部分是自己的类内成员变量,另一部分是,会分别拥有自己的虚函数表。里面存放了虚函数的地址,它可以被理解是一个函数指针数组
过程:
父类A的虚函数表里有自己的函数,基类B的虚函数表里有被重写的函数,
当对象A和B通过基类的指针或引用去调用同一方法时,会在各自对象的虚函数表里找到各自的重写前或者重写后的函数,去执行。
这样不同的对象在完成同一行为时,展现出不同的结果。