概念
多态是在不同继承关系的类对象,去调用同一函数,产生了不同的行为。
条件
在继承体系中,构成多态还必须满足两个条件
- 调用函数的对象必须是基类的指针或者引用;多态是:不需要知道对象的实际类型,也能够调用正确的功能。而如果直接操作对象,它的类型就已经被编译器知道了,看似多态,实则不是。
- 被调用的函数必须是虚函数,且完成了虚函数的重写。子类对象调用这些函数时就会调用子类的函数。
虚函数和重写
虚函数
函数前面用virtual修饰的就是虚函数,虚函数的意义就是实现多态,如果没有重写,虚函数就没有意义。virtual void func()
重写
重写的必须是虚函数,
final和override
C++11提供override 和 final 来修饰虚函数
- final 修饰基类的虚函数不能被派生类重写 。void* func() final
- override 修饰派生类虚函数强制完成重写,如果没有重写会编译报错。void func() override
实现继承和接口继承
普通函数的继承是一种实现继承,派生类继承了基类函数,可以使用函数,继承的是函数的实现。
虚函数的继承是一种接口继承,派生类继承的是基类虚函数的接口,目的是为了重写,达成多态,继承的是接口。所 以如果不实现多态,不要把函数定义成虚函数
多态的原理
虚函数表
一个含有虚函数的类中都至少都有一个虚函数表指针,因为虚函数的地址要被放到虚函数表中, 虚函数表也简称虚表。虚表在编译时出现的,构造函数对其进行初始化。
基类对象的虚函数表和派生类对象的虚函数表示不一样的,假设基类中有两个虚函数Func1,和Func2,派生类重写了基类中的Func1,派生类的虚表中存的是重写的派生类::Func1和基类::Func2,所以虚函数的重写也叫作覆盖,覆盖就是指虚表中虚函数的覆盖。重写是语法的叫法,覆盖是原理层的叫法。
虚函数表本质是一个存虚函数指针的指针数组,这个数组最后面放了一个nullptr。
总结一下派生类的虚表生成:a.先将基类中的虚表内容拷贝一份到派生类虚表中 b.如果派生类重写了基 类中某个虚函数,用派生类自己的虚函数覆盖虚表中基类的虚函数 c.派生类自己新增加的虚函数按其在 派生类中的声明次序增加到派生类虚表的最后,这里是编译器的监视窗口故意隐藏了派生类自己新增的虚函数, 也可以认为是他的一个小bug。。
虚函数存在代码段,虚函数表也在代码段。
纯虚函数
纯虚函数的作用:一个类中含有纯虚函数就是抽象类,抽象类不能实例化出对象,继承这个抽象类的子类,必须重写这个虚函数,才能实例化出对象
抽象类
虚函数后面加 =0 就成了纯虚函数,有纯虚函数的类叫做抽象类,抽象类又叫做接口类,抽象类是无法实例化出对象的。派生类继承后只有重写了纯虚函数才能实例化出对象。纯虚函数规范了派生类必须重写,抽象类更好的体现了接口继承。
多继承
所谓多继承就是一个子类有两个或多个直接父类。多继承中会有多个虚函数表,几重继承就会有几个虚函数表。这些虚函数表会按照派生的顺序依次排列。如果子类改写了父类的虚函数,那么就会用子类自己的虚函数覆盖相应的父类虚函数;如果子类有新的虚函数,那么就添加到第一个虚函数表的末尾。