【C++学习笔记】08_虚函数与多态

多态按字面的意思就是多种形态。当类之间存在层次结构，并且类之间是通过继承关联时，就会用到多态。
多态分为两类：

• 静态多态: 函数重载 和 运算符重载属于静态多态，复用函数名
• 动态多态: 派生类和虚函数实现运行时多态

• 静态多态的函数地址早绑定 - 编译阶段确定函数地址
• 动态多态的函数地址晚绑定 - 运行阶段确定函数地址

一.虚函数
虚函数是在基类中函数声明前加上virtual的函数。例如：

头文件

#include<iostream>
using namespace std;

class Person {
public:
	void speak(void)
	{
		cout << "Person类speak" << endl;
	}
};

class Student : public Person {
public:
	void speak(void)
	{
		cout << "Student类speak" << endl;
	}
};

这没不在Person类speak函数前加virtual，
main函数：

#include<iostream>
#include"virtual.h"
using namespace std;

int main(void)
{
	Person *stu = new Student;
	stu->speak();
	delete stu;
	return 0;
}

输出：

Person类speak

我们再把Person类speak函数前加上virtual，再输出：

Student类speak

多态使得我们可以在运行阶段再确定需要调用的函数。
我们再看一个例子可以更加清晰：
头文件

#pragma once
#include<iostream>
using namespace std;

class Person {
public:
	virtual void speak(void)
	{
		cout << "Person类speak" << endl;
	}
};

class Student : public Person {
public:
	void speak(void)
	{
		cout << "Student类speak" << endl;
	}
};

class Worker : public Person {
public:
	void speak(void)
	{
		cout << "Worker类speak" << endl;
	}
};

main函数

#include<iostream>
#include"virtual.h"
using namespace std;

void speak(Person & ob)
{
	ob.speak();
}

int main(void)
{
	Person person;
	Student student;
	Worker worker;
	speak(person);
	speak(student);
	speak(worker);
	return 0;
}

输出：

Person类speak
Student类speak
Worker类speak

二.纯虚函数和抽象类

在多态中，通常父类中虚函数的实现是毫无意义的，主要都是调用子类重写的内容
因此可以将虚函数改为纯虚函数
纯虚函数语法：virtual 返回值类型 函数名 （参数列表）= 0 ;
当类中有了纯虚函数，这个类也称为抽象类

抽象类特点：

• 无法实例化对象
• 子类必须重写抽象类中的纯虚函数，否则也属于抽象类
• 子类必须重写父类中的纯虚函数，否则也属于抽象类

三.虚析构和纯虚析构

多态使用时，如果子类中有属性开辟到堆区，那么父类指针在释放时无法调用到子类的析构代码

解决方式：将父类中的析构函数改为虚析构或者纯虚析构

虚析构和纯虚析构共性：

• 可以解决父类指针释放子类对象
• 都需要有具体的函数实现

虚析构和纯虚析构区别：

• 如果是纯虚析构，该类属于抽象类，无法实例化对象

总结：

​ 1. 虚析构或纯虚析构就是用来解决通过父类指针释放子类对象

​ 2. 如果子类中没有堆区数据，可以不写为虚析构或纯虚析构

​ 3. 拥有纯虚析构函数的类也属于抽象类