在谈及虚函数使用之前，需要先了解一些C++的相关基本概念
一、虚函数、纯虚函数、抽象基类
虚函数：在某基类中声明为 virtual 并在一个或多个派生类中被重新定 义的成员函数。
纯虚函数：是一种特殊的虚函数，使用virtual关键字，并且在其后面加上=0。
抽象基类：在基类中加入至少一个纯虚函数，使基类成为抽象类。
二、虚函数实现原理
虚函数实际上是一种晚捆绑，需要了解早晚捆绑，把函数体与函数调用相联系称为捆绑，当捆绑在程序运行之前完成时，这称为早捆绑。那么当捆绑根据对象的类型，发生在运行时，就称为晚捆绑。而使用晚捆绑，无需检查对象的类型，只需要检查对象是否支持特性和方法即可。为了引发晚捆绑，C++要求在基类中声明这个函数时使用virture关键字。晚捆绑只对virtual函数起作用，而且只在使用含有virtual函数的基类的地址时发生。
虚函数主要有两个步骤：
1、每一个类产生出一堆指向虚函数的指针，放在表格中。这个表格被称为virtual table(vtbl)
2、每一个类对象被安插一个指针，指向相关的virtual table，通常这个指针被称为vptr
结构图如下：
每当创建一个包含有虚函数的类或从包含有虚函数的类派生一个类时，编译器就为这个类创建一个唯一的vtbl。如果在这个派生类中没有对在基类中声明为virtual的函数进行重新定义，编译器就使用基类的这个虚函数地址。然后编译器在这个类中放置vptr。当使用简单继承时，对于每个对象都只有一个vtbl。vptr必须被初始化为指向相应的vtbl的起始地址。
三、重写
函数在基类中被声明为virtual，那么在所有的派生类中它都是virtual，在派生类中virtual函数的重定义通常称为重写。
四、使用抽象类的注意事项
当继承一个抽象类时，必须实现所有的纯虚函数，否则继承出的类也将是一个抽象类
声明一个纯虚函数，就等于告诉编译器在vtbl中为函数保留一个位置，但在这个位置不放地址。只要有一个函数在类中被声明为纯虚函数，则vtbl就是不完全的。
纯虚函数禁止对抽象类的函数以传值方式调用，这是一种防止对象切片的方法。抽象类可以保证在向上类型转换期间总是使用指针或引用。
对于纯虚函数，如果要创建对象，必须要在派生类中定义。
五、切片的概念
在继承的过程中，通常派生类不仅具有基类的特征，也具有自身的一些特征。当派生类向上进行类型转换称为基类时，就会发生那些自身的特征被切除，只保留继承了基类的特征，这种现象就是对象切片。
比如，衣服，男装，女装，男装和女装都有衣服的属性，但各自又有自己的特性，如果需要把男装转换成衣服类时，就需要把男装的特性切除掉，只保留衣服的那部分属性。
六、虚函数和构造函数
1、由于基类构造函数总是在继承类构造函数中被调用，这就确保了在派生类中，基类的所有成员都是有效的，也就是说所有成员都已经构建。
2、虚机制在构造函数中不工作。有两种理由：
A、在任何构造函数中，我们只能知道基类已被初始化，但不能知道哪个类是从这个基类继承来的。但是，虚函数在继承层次上是向前和向后调用。它可以调用派生类中的函数。
B、构造函数的vptr的状态是由最后调用的构造函数确定的，这就意味着当最后调用的构造函数还没有完成之前，当前的构造函数完全不知道这个对象是否是基于其他类的。但是，当这一系列的构造函数调用正发生时，每个构造函数都已经设置vptr指向它自己的vtbl，如果函数调用使用虚机制，它将只产生通过它自己的vtbl的调用，而不是最后派生的vtbl。
七、虚析构函数和析构函数
1、析构函数自最晚派生的类开始，并向上到基类逐层析构。这就意味着每个析构函数知道它所在类从哪一个类派生而来，但不知道从它派生出哪些类。
2、析构函数可以为虚函数，因为这个对象已经知道它是什么类型，但是在构造期间就不知道了。一旦对象已被构造，它的vptr就已经被初始化，所以能发生虚函数调用。
3、虚构函数的纯虚性的唯一效果是阻止基类的实例化
八、总结
虚函数的作用：每个类必须提供一个可以被调用的虚函数，但每个类可以按它们认为合适的任何方式处理。如果某个类不想做什么特别的事，可以借助于基类中提供的缺省处理函数。
纯虚函数的作用：让所有的类对象（主要是派生类对象）都可以执行纯虚函数的动作，但类无法为纯虚函数提供一个合理的缺省实现。
抽象类的主要作用是将有关的操作作为结果接口组织在一个继承层次结构中，由它来为派生类提供一个公共的根，派生类将具体实现在其基类中作为接口的操作。所以派生类实际上刻画了一组子类的操作接口的通用语义，这些语义也传给子类，子类可以具体实现这些语义，也可以再将这些语义传给自己的子类。
注意：使用多态时需要用基类指针来访问派生类