2020年全国计算机二级C++复习知识点：虚函数与多态性思维导图

一个面向对象的系统常常要求一组具有相同基本语义的方法能在同一接口下为不同的对象服务，这就是所谓多态性(polymorphism)。

在C++语言中，多态性可分为两类：编译时的多态性和运行时的多态性。

编译时的多态性是通过函数重载和模板体现的。利用函数重载机制，在调用同名的函数时，编译系统可根据实参的具体情况确定所调用的是同名函数中的哪一个。利用函数模板，编译系统可根据模板实参以及模板函数实参的具体情况确定所要调用的是哪个函数，并生成相应的函数实例;利用类模板，编译系统可根据模板实参的具体情况确定所要定义的是哪个类的对象，并生成相应的类实例。由于有关操作所针对的具体目标(函数或类)的确定都是在编译时完成的，与运行时的报考环境无关，"编译时的多态性"因此而得名，其实现机制则和为静态绑定(staticbinding，也译作静态联编)。函数重载是"函数"一章中已经学习过的内容，但其中没有包含函数重载的一种特殊情况：运算符重载。

在成员函数声明的前面加上virtual修饰，即把该函数声明为虚函数。虚函数可以是另一个类的友元函数，但不得是静态成员函数。

在派生类中可以重新定义从基类继承下来的虚函数，从而提供该函数的适用于派生类的专门版本。也可能并不需要重新定义，在这种情况下，继承下来的虚函数仍然保持其在基类中的定义，即派生类和基类使用同一函数版本。除少数特殊情况外，在派生类中重定义虚函数时，函数名、形参表和返回值类型必须保持不变。

虚函数在派生类被重定义后，重定义的函数仍然是一个虚函数，可以在其派生类中再次被重定义。注意，对于虚函数的重定义函数，无论是否用virtual修饰都是虚函数。当然，不要省略virtual修饰，以免削弱程序的可读性。

对虚函数的调用有两种方式：非多态调用和多态调用。非多态调用是指不借助于指针或引用的直接调用。非多态调用总是通过成员访问运算符.进行的。与通常的成员函数调用类似，非多态调用是建立在静态绑定机制的基础之上的，不具备多态性特征。多态调用是指借助于指向基类的指针或引用的调用。在C++中，一个基类指针(或引用)可以用于指向它的派生类对象，而且通过这样的指针(或引用)调用虚函数时，被调用的是该指针(或引用)实际所指向的对象类的那个重定义版本。

基类中的实函数也可以在派生类中重定义，但重定义的函数仍然是实函数。在实函数的情况下，通过基类指针(或引用)所调用的只能是基类的那个函数版本，无法调用到派生类中的重定义函数。也就是说，尽管调用的语法形式可能是相同的，但对实函数的任何形式的调用都是非多态的。注意，无论是虚函数还是实函数，在派生类中被重定义后，原来的函数版本即被隐藏，在通过成员访问运算符.直接调用该函数时，所调用的是重定义版本。但原来的版本依然存在，仍然可以通过在函数名前加域修饰(即：<类名>：：)来调用它们。

析构函数也可以通过virtual修饰而声明为虚函数。虚析构函数与一般虚函数的不同之处在于：

在某些情况下，基类无法确定(或无法完全确定)一个虚函数的具体操作方式或内容，只能靠派生类来提供各个具体的实现版本。基类中的这种必须靠派生类提供重定义版本的虚函数称为纯虚函数。为了将一个虚函数声明为纯虚函数，需要在虚函数原形的语句结束符;之前加上=0。

拥有纯虚函数的类称为抽象类，抽象类不能用来定义对象。如果一抽象类的派生类没有重定义来自基类的某个纯虚函数，则该函数在派生类中仍然是纯虚函数，这就使得该派生类也成为抽象类。也就是说，一个派生类可以把重定义纯虚函数的任务进一步转交给它自己的派生类。

可以在将一个函数声明为纯虚函数的同时，为该函数提供实现版本。换句话说，一个函数是否为纯虚函数，取决于其原形的尾部是否为"=0"，与实现版本的有无没有什么关系。拥有实现版本的纯虚函数仍然有赖于派生类提供重定义版本。纯虚函数的实现版本通常是不完善的版本，但包含了一些共有操作，供各个派生类在重定义函数中调用。派生类在重定义一个纯虚函数时，可以继续将之声明为纯虚函数。另外，纯虚函数不得声明为内联函数。