多态的定义与实现

1️⃣ 多态的定义:多态好比我们为了达成目的,我们有多种形态的办法去达到目的。
2️⃣多态是在继承的基础上形成的,那么在继承中要构成多态还有两个条件：

1. 必须通过基类的指针或者引用调用虚函数。
2. 被调用的函数必须是虚函数，并且派生类对基类的虚函数必须构成重写。
   我们以下面这个买票为例
   
   画下划线的地方就是虚函数，而每次派生类都对基类进行了重写。

多态中的虚函数

1️⃣ 什么是虚函数
虚函数：即被virtual修饰的类成员函数称为虚函数。
2️⃣ 虚函数的重写(覆盖)
即派生类虚函数与基类虚函数的返回值类型、函数名字、参数列表完全相同。具体的可以看上图的代码。

override和final

1️⃣ final:英文意思最终。我们的虚函数加上这个最终。说明虚函数不能在被重写 。
具体如下图：

2️⃣ override英文意思覆盖,是用来 检查派生类虚函数是否重写了基类某个虚函数，如果没有重写编译报错。
观下图可解达

重载\覆盖\隐藏之间的关系。

具体关系图如下：

抽象类

1️⃣ 概念：在虚函数的后面写上 =0 ，则这个函数为纯虚函数。包含纯虚函数的类叫做抽象类也叫做接口类。（抽象类不能实例化出对象,派生类继承后也不能实例化出对象，只有重写纯虚函数，派生类才能实例化出对象。纯虚函数规范了派生类必须重写，另外纯虚函数更体现出了接口继承）

以上代码验证了1️⃣中的观点。

补充虚函数表

一个含有虚函数的类中都至少都有一个虚函数表指针，因为虚函数
的地址要被放到虚函数表中，虚函数表也简称虚表。