C++多态的概念与使用（详细介绍）

概念

多态的概念：通俗来说，就是多种形态，具体点就是去完成某个行为，当不同的对象去完成时会产生出不同的状态。
下面以学生买票为例说明多态的特性。
先加上两个知识点

重载与模板都属于多态，为静态多态

1.多态的构成条件

多态是在不同继承关系的类对象，去调用同一函数，产生了不同的行为。比如Student继承了Person。
Person对象买票全价，Student对象买票半价。
那么在继承中要构成多态还有两个条件：
1. 必须通过基类的指针或者引用指向子类对象
2. 被调用的函数必须是虚函数，且派生类必须对基类的虚函数进行重写

1.1虚函数

虚函数的重写(覆盖)：派生类中有一个跟基类完全相同的虚函数(即派生类虚函数与基类虚函数的返回值类型、函数名字、参数列表完全相同)，称子类的虚函数重写了基类的虚函数。

1.2多态的实现

由图可知，当不使用虚函数时，分别创建Person类对象，和Student类对象调用func函数，由于函数的参数是Person类，Person类对象调用
func函数会正常调用Person的Buyticket成员函数；而在Student类对象调用参数为Person类的func函数时，会发生子类向父类的赋值转换，
形象的说法叫切片或者切割。寓意把派生类中父类那部分切来赋值过去。

当在父类和子类buyticket函数前加virtual，满足了子类的虚函数重写了基类的虚函数的条件。
形成多态的两个条件缺一不可（见多态构成条件）
如果func参数更换为Student类就违背了多态构成条件第一条：必须通过基类的指针或者引用调用虚函数
如果Person和Student类的返回值类型、函数名字、参数列表有一个不相同则不满足多态构成条件第二条：被调用的函数必须是虚函数，且派生类必须对基类的虚函数进行重写

在这里提出一个问题：析构函数是虚函数，是否构成重写？
答：构成，因为C++为编译器对析构函数的名称做了特殊处理，编译后析构函数的名称统一处理成destructor，满足虚函数的条件。
补充继承方面知识点