一、概念及定义

概念：在继承关系下的不同类，调用同一个函数，产生不同的行为，叫作多态。

图示：

定义：必须通过基类的指针或者引用调用虚函数；被调用的函数必须是虚函数。类里的函数的返回类型前加上virtual就是虚函数，子类继承父类的虚函数叫作重写，重写的是虚函数的实现，该虚函数的返回类型、函数名、参数列表都要与父类相同（有两个特例，后面再谈）。

class Person
{
public:virtual void func(){cout << "全价" << endl;}
};class Student :public Person
{
public:virtual void func(){cout << "半价" << endl;}
};void test1(Person* ps)//通过基类的指针
{ps->func();//调用虚函数
}void test2(Person& ps)//通过基类的引用
{ps.func();//调用虚函数
}int main()
{Person p;Student s;test1(&p);test1(&s);test2(p);test2(s);return 0;
}

注：子类的虚函数加不加virtual都没关系，但是父类一定要有virtual，否则就不是虚函数了。一般为了规范，子类也最好加上virtual

二、虚函数重写的特例

1️⃣协变
父子类的虚函数返回类型可以不相同。基类虚函数返回基类对象的指针或者引用，派生类虚函数返回派生类对象的指针或者引用。

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

2️⃣析构函数的重写
如果基类的析构函数是虚函数，只要派生类的析构函数定义了，不管加不加virtual，都是虚函数。两个析构函数的函数名不相同也构成重写，因为编译器有作特殊处理，编译后析构函数的名称统一处理成destructor。

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

三、final和override

1️⃣final关键字修饰虚函数，该虚函数不能被重写

2️⃣override关键字是用来检查派生类虚函数是否重写了基类某个虚函数，如果没有重写编译报错。

四、抽象类

概念：包含纯虚函数的类叫抽象类。纯虚函数：在虚函数的后面写上 =0，就称为纯虚函数。抽象类不能实例化对象，继承它的派生类只有重写纯虚函数才能实例化出对象。

class Animal
{
public:virtual void Action() = 0;//抽象类，纯虚函数声明即可
};class Dog :public Animal
{
public:virtual void Action()//对纯虚函数进行重写{cout << "running!" << endl;}
};class Bird :public Animal
{
public:virtual void Action()//对纯虚函数进行重写{cout << "flying!" << endl;}
};int main()
{Animal* d = new Dog;Animal* b = new Bird;d->Action();b->Action();return 0;
}