多态与虚函数

多态概述

C++中的多态分为静态多态和动态多态。

• 静态多态是函数重载，在编译阶段就能确定调用哪个函数。
• 动态多态是由继承产生的，指同一属性或行为在基类及其各派生类中具有不同的语义，不同的对象根据所接收的消息做出不同的响应。

多态的实现条件
（1） 基类声明虚函数
（2） 派生类重写基类的虚函数
（3） 将基类指针指向派生类对象，通过基类指针访问虚函数

虚函数

虚函数的定义

class 类名
{
权限控制符：
virtual 函数返回值类型 函数名 (参数列表);
... //其他成员
}

为啥要引入虚函数

基类指针或引用调用派生类中与基类同名的函数

如下代码所示，定义了一个基类Animal以及其派生类Cat。定义一个Cat类对象cat，用基类Animal对象指针pA指向对象cat，pA->speak()执行后输出的是什么？

class Animal {
public:
	void speak();
	// virtual void speak(); //虚函数形式。注意，speak()定义为虚函数时，speak()的类外定义不用加virtual
};

void Animal::speak(){
	cout << "动物叫声" << endl;
}

class Cat :public Animal {
public:
	void speak();
};

void Cat::speak(){
	cout << "猫的叫声：喵喵" << endl;
}

int main(){
	Cat cat;
	Animal* pA = &cat;
	pA->speak();
	return 0;
}

pA->speak()执行的是基类Animal的speak()函数，而非派生类Cat的speak()函数。
若将基类Animal的speak()函数定义为虚函数，则执行结果是什么？

注意
若将基类与派生类的同名函数都定义为虚函数，当使用基类指针或基类引用操作派生类对象调用函数时，系统会自动调用派生类中的虚函数代替基类虚函数。

基类指针或引用调用派生类中新增的函数

执行如下代码，会报错。原因是基类指针或引用无法调用派生类中新增的函数。
若要调用，需要在基类中定义一个同名的虚函数。

class Animal {
public:
    // virtual void speak() {}
};

class Cat :public Animal {
public:
	void speak();
};

void Cat::speak(){
	cout << "猫的叫声：喵喵" << endl;
}

int main(){
	Cat cat;
	Animal* pA = &cat;
	pA->speak();
	return 0;
}

注意
（1）构造函数不能声明为虚函数，但析构函数可以声明为虚函数。
（2）虚函数不能是静态成员函数。
（3）友元函数不能声明为虚函数，但虚函数可以作为另一个类的友元函数。

虚析构函数

虚析构函数的格式：

virtual ~析构函数();

在基类中声明虚析构函数之后，基类的所有派生类的析构函数都自动成为虚析构函数。

使用基类指针或引用操作派生类对象时，如果基类没有声明虚析构函数，在析构派生类对象时，编译器只会调用基类析构函数，不会调用派生类析构函数，导致派生类申请的资源不能正确释放。

纯虚函数

有时在基类中声明函数并不是基类本身的需要，而是考虑到派生类的需求，在基类中声明一个函数，函数的具体实现由派生类的需求定义。

纯虚函数格式：

virtual 函数返回值类型 函数名(参数列表) = 0;

纯虚函数的作用是在基类中为派生类保留一个接口，方便派生类根据需要完成定义，实现多态。
如果派生类中没有实现基类的纯虚函数，则该函数在派生类中仍然是纯虚函数。