多态的概念

通俗来说，就是多种形态，具体点就是去完成某一个行为，不同的对象去完成时会产生出不同的状态。比如最常见的买票，学生为半价，成人为全票。

多态的分类

静态的多态：如函数重载，看起来时调用同一个函数但是有不同的行为。（编译时实现）
动态的多态：一个父类对象的引用或者指针去调用同一个而函数，传递不同的对象，会调用不同的函数。（运行时实现）

多态的定义及实现

函数的重写

函数的重写需要子类和父类都要有这个函数且这个函数为虚函数，同时虚函数要满足三同（函数名、返回值、参数）
参数只看类型是否相同，并不看缺省值

多态构成的条件(这里谈论的是动态的多态)

多态是在不同继承关系的类对象，去调用同一函数，产生了不同的行为。在继承中构成多态还有两个条件：
1. 必须通过父类指针或者引用调用虚函数
2. 被调用的函数必须是虚函数，且子类必须对父类的虚函数进行重写

多态的演示

#include
using namespace std;class Person
{
public:virtual void BuyTicket(){cout << "全票" << endl;}
};
class Student:public Person
{
public:virtual void BuyTicket(){cout << "半票" << endl;}
};void Func(Person& people)
{people.BuyTicket();
}
int main()
{Person pe;Func(pe);Student st;Func(st);return 0;
}

在这里插入图片描述
这里构成多态，不同的对象去调用同一个函数，完成了不同的状态。

若不是引用或者指针就不能实现多态，如直接传对象。
若构成多态：传的是那个类型的对象，调用的就是这个类型的虚函数，跟对象有关。
若不构成多态：固定调用哪个people类型的函数，跟类型有关。

虚函数

被virtual修饰的类成员函数为虚函数。

虚函数的重写

子类中有一个跟父类完全相同的函数（返回值，函数名，参数列表完全相同）称为子类的虚函数重写了父类的虚函数
**注意：**在重写父类虚函数时，子类的虚函数在不加virtual关键字时，虽然也可以构成重写(因为继承后父类的虚函数被继承下来了在子类中依然保持着虚函数的属性)但是这种写法不规范，不建议这样子使用。

虚函数重写的两个例外

协变

子类重写父类虚函数时，与父类虚函数返回值类型不同。即父类虚函数返回父类对象的指针或者引用，子类虚函数返回子类对象的指针或者引用时，称为协变。

class A {};
class B : public A {};
class Person {
public:virtual A* f() { return new A; }//父类成员函数返回值为另一个父类
};
class Student : public Person {
public:virtual B* f() { return new B; }//子类成员函数返回值为另一个子类
};