c++多态（二）——虚函数以及虚函数的重写

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

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

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

class Person
{
public:
	virtual void BuyTicket()
	{}
};

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

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

void fun(Person& p)
{
	p.BuyTicket();
}
int main()
{
	Child c;
	Audlt a;
	fun(c);
	fun(a);
	return 0;
}

注意：在重写基类虚函数的时候，派生类的虚函数不加关键字virtual也可以构成重写，但是这种写法不规范，不建议这样使用

另外，在虚函数重写的俩个例外：

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

class A{};
class B :public A {};

class Person
{
public:
	virtual A* fun()
	{
		return new A;
	}
};

class Child :public Person
{
public:
	virtual B* fun()
	{
		return new B;
	}
};

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

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

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

// 只有派生类Child的析构函数重写了Person的析构函数
//下面的delete对象调用析构函数，才能构成多态
//才能保证p1和p2指向的对象正确的调用析构函数。

int main()
{
	Person* p1 = new Person;
	Person* p2 = new Child;

	delete p1;
	cout << 123 << endl;
	delete p2;

	return 0;
}