C++：多态

多态

一、多态的概念

多态的概念：通俗来说，就是多种形态，具体点就是去完成某个行为，当不同的对象去完成时会产生出不同的状态。

举个栗子吧： 比如买票这个行为，当普通人买票时，是全价买票；学生买票时，是半价买票；军人买票时是优先买票。

想要定义出多态需要有这两个条件：

1. 调用函数的对象必须是指针或者引用
2. 父类和子类中被调用的函数必须是虚函数（在函数前面加上virtual关键字），完成虚函数的重写，重写就是要函数完全相同，包括返回值，函数名，参数。重写也叫做覆盖。

如下代码，就实现了买票的多态：

class Person
{
   
public:
	virtual void BuyTicket()
	{
   
		cout << "成人买票：全价" << endl;
	}
};
class Student :public Person
{
   
public:
	virtual void BuyTicket()
	{
   
		cout << "学生买票：半价" << endl;
	}
};
void Buy(Person& p)
{
   
	p.BuyTicket();
}
int main()
{
   
	Person p;
	Student s;
	Buy(p);
	Buy(s);
	return 0;
}

具体调用过程如下：

打印结果：

虚函数的重写的例外情况

1. 协变
   虚函数的重写返回值可以不同，但是必须是基类指针和派生类指针或者是基类引用和派生类引用。这种协变一般很少使用。

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; }
};

2. 不规范的多态写法
   父类中是虚函数，子类中不是虚函数，也构成多态。因为多态其实是基于继承的一个操作，子类会继承父类的成员函数和成员变量。
   但是如果子类有虚函数，父类没有虚函数，那么就不构成虚函数，会构成隐藏（重定义）。

class Person
{
   
public:
	virtual void BuyTicket()
	{
   
		cout << "成人买票：全价" << endl;
	}
};
class Student :public Person
{
   
public:
	void BuyTicket()
	{
   
		cout << "学生买票：半价" << endl;
	}
};

二、析构函数的多态

基类的析构函数一般都建议定义为虚函数，因为不构成多态要看它的类型，如果是多态看的是对象。

比如下面这个特殊情况，一个父类的指针有可能指向一个父类对象，也有可能指向一个子类对象，那么当它进行释放的时候是会根据对象调用它的析构函数的，那也就是说如果是一个父类的对象就要去掉父类的析构，如果是一个子类的对象就要去掉子类的析构，那么也就是说不同的对象去调就会有不同的结果！！啊啊！！那这不就是多态么！

所以当我们把父类的析构定义为虚函数的时候，因为继承的关系，所以子类的析构函数也会变成虚函数，父类的析构和子类的析构就会构成重写，就构成了多态。因此如果一个父类的指针指向子类的对象的时候也不用担心了，构成多态的时候是根据类型来进行调用的，是子类对象来调用所以必然会去调用子类的析构函数。

有盆友可能会疑问：~Person()和~Student()怎么能构成多态呢？这俩函数名都不一样啊！其实编译器底层会把析构函数都命名为destructor，所以其实他们俩其实是同名的哈哈。

class Person {
   
public:
	virtual ~Person() {
    cout << "~Person()" << endl; }
};
class Student : public Person {
   
public:
	~Student() {
    cout << "~Student()" << endl