【C++】多态

多态的概念

多态的概念：

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

如购买车票：当普通人买票时，是全价买票；学生买票时，是半价买票；军人买票时是优先买票。

多态的定义及实现

多态的构成条件

多态是在不同继承关系的类对象，去调用同一函数，产生了不同的行为。比如Student继承Person。Person对象买票全价，Student对象买票半价。

那么在继承中要构成多态还有两个条件：

1. 必须通过基类的指针或者引用调用虚函数。
2. 被调用的函数必须是虚函数，且派生类必须对基类的虚函数进行重写。

虚函数

虚函数：

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

如：

class Person 
{
   
public:
	virtual void BuyTicket() {
    cout << "买票-全价" << endl; }//virtual加在函数名前面
};

虚函数的重写

虚函数的重写(覆盖)：

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

• 注意，继承中，父子类有同名函数即构成隐藏(重定义)。
• 多态重写中，返回值类型，函数名，参数都需要相同才能构成重写。

class Person 
{
   
public:
	virtual void BuyTicket() {
    cout << "买票-全价" << endl; }
};

//继承中构成多态还有两个条件
//1. 必须通过基类的指针或者引用调用虚函数
//2. 被调用的函数必须是虚函数，且派生类必须对基类的虚函数进行重写

class Student : public Person
{
   
public:
	virtual void BuyTicket()
	{
   
		cout << "买票-半价" << endl;
	}
	//也构成虚函数的重写
	/*void BuyTicket() { cout << "买票-半价" << endl; }*/
};

void Func(Person& p)
{
   
	p.BuyTicket();
}


int main()
{
   
	Person ps;
	Student st;
	Func(ps);
	Func(st);
	return 0;
}

• 注意：在重写基类虚函数时，派生类的虚函数在不加virtual关键字时，虽然也可以构成重写(因为继承后基类的虚函数被继承下来了在派生类依旧保持虚函数属性),但是该种写法不是很范，不建议这样使用。

虚函数重写的两个例外：

协变(基类与派生类虚函数返回值类型不同)：

派生类重写基类虚函数时，与基类虚函数返回值类型不同。即基类虚函数返回基类对象的指针或者引用，派生类虚函数返回派生类对象的指针或者引用时，称为协变。（了解）

析构函数的重写(基类与派生类析构函数的名字不同)：

如果基类的析构函数为虚函数，此时派生类析构函数只要定义，无论是否加virtual关键字，都与基类的析构函数构成重写，虽然基类与派生类析构函数名字不同。虽然函数名不相同，看起来违背了重写的规则，其实不然，这里可以理解为编译器对析构函数的名称做了特殊处理，编译后析构函数的名称统一处理成destructor。

通过以下例子说明该机制的作用：

析构函数为虚函数时：

1. 普通对象
   
   普通对象的析构没有问题。

2. 当使用父类指针或引用去管理new出来(动态申请）的父子类对象时：
   
   也没有问题。

析构函数不是虚函数时：

1. 普通对象
   
   普通对象也没有问题。

2. 使用父类指针或引用去管理new出来(动态申请）的父子类对象时：
   
   这时候就发现析构出现问题了。

所以在使用父类指针或引用去管理new出来(动态申请）的父子类对象时，父类的析构函数一定要写成虚函数。

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

class Student : public Person {
   
public:
	//virtual ~Student() { cout << "~Student()" << endl; }
	 ~Student() {
    cout << "~Student()" << endl; }
};
// 只有派生类Student的析构函数重写了Person的析构函数，下面的delete对象调用析构函
//数，才能构成多态，才能保证p1和p2指向的对象正确的调用析构函数。
int main()
{
   

	普通对象析构顺序不会有问题，无论是否构成多态
	//Person p;
	//Student s;

	//父类的指针调用，不重写析构函数则会发生错误
	Person* p1 = new Person;
	Person* p2 = new Student;

	delete p1;
	delete