多态的定义及实现

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

二、虚函数
虚函数：即被virtual修饰的类成员函数称为虚函数

class person
{
public:
	virtual void buy()
	{
		cout<< "全价票" << endl;
	}
}

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

class person 
{
public:
	virtual void buy() {
		cout << "全价票" << endl;
	}
}; 
class student :public person
{
public:
	virtual void buy() {
		cout << "半价票" << endl;
	}
};

void func(person& p) 
{
	p.buy();
}

int main()
{
	person ps;
	student st;

	func(ps);
	func(st);

	return 0;
}

协变（基类与派生类虚函数返回值类型不同）

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

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

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

class Person {
public:
	virtual ~Person() { cout << "~Person()" << endl; }
};
class Student : public Person {
public:
	virtual ~Student() { cout << "~Student()" << endl; }
};
int main()
{
	Person* p1 = new Person;
	Person* p2 = new Student;
	delete p1;
	delete p2;
	return 0;
}

四、override和final
从上面可以看出 c++对重写的要求比较严格，但是有些情况由于疏忽，可能会导致函数名字母次序写错反而无法构成重载，而这种错误在编译期间时不会报出的，只有在程序运行时没有得到预期结果才来debug会得不偿失，因此，c++11提供了override和final俩个关键字可以帮助用户检测实够重写
1、final:修饰虚函数，表示该函数不能再被继承

class Car
{
public:
	virtual void Drive() final {}
};
class Benz :public Car
{
public:
	virtual void Drive() { cout << "Benz-舒适" << endl; }
};

2、override：检查派生类虚函数是否重写了基类魔偶个虚函数，如果没有重写编译报错

class Car{
public:
	virtual void Drive(){}
};
class Benz :public Car {
public:
	virtual void Drive() override {cout << "Benz-舒适" << endl;}
};

五、重载，覆盖（重写），隐藏的对比