目的： 提高程序的可扩展性，减少增加代码时的工作量。
代价： 每一个有虚函数的对象都会增加四个字节的空间来存放虚函数表（空间开销）。虚函数在查虚函数表的时候会有（时间）开销。
虚函数
在类的定义中，前面有virtual关键字的成员函数就是虚函数。
class base{
virtual int get();
}
int base::get(){};
virtual关键字只用在类定义里的函数声明中，写函数体时不用。
构造函数和静态成员函数不能是虚函数。
虚函数支持多态。
多态的表现形式
一，
派生类的指针可以赋给基类指针。
通过基类指针调用基类和派生类的同名虚函数时，
（1）若该指针指向一个基类的对象，那么被调用是基类的虚函数；
（2）若指针指向一个派生类的对象，那么被调用的是派生类的虚函数。
这种机制就叫做“多态”。
二，
派生类的多态可以赋给基类引用。
通过基类引用调用基类和派生类的同名虚函数时，
（1）若该引用引用的是一个基类的对象，那么被调用的是基类的虚函数；
（2）若该引用引用的是一个派生类的对象，那么被调用的是派生类的虚函数。
这种机制也是“多态”。
实际上，我们用一个基类指针数组存放指向各种派生类对象的指针，然后遍历该数组，就能对各个派生类对象做各种操作，是很常用的做法(例如 pshapes[100])
同时，在非构造函数和非析构函数的成员函数中调用虚函数，是多态！
而在构造函数和析构函数中调用虚函数，不是多态。这在编译时就可以确定了调用的函数是自己的类或基类中定义的函数，不会等到运行时才确定要调用哪个函数。
多态的实现原理
在运行时决定调用基类还是派生类，“动态联编”。
多态实现的关键—虚函数表。每一个有虚函数的类（或者有虚函数的类的派生类），都有一个虚函数表与其对应。该类的任何对象中都放着虚函数表的指针。虚函数表中列出了该类的虚函数地址，多出来的四个字节就是用来放虚函数表地址的。
so, 多态的调用语句被编译成一系列根据基类指针所指向的（或基类引用所引用的）对象中存放的虚函数表的地址，在虚函数表中查找虚函数地址，并调用虚函数的指令。
虚析构函数
针对基类的指针删除派生类对象时 只调用基类的析构函数这种情况。
设计一种虚析构函数。
类如果定义了额虚函数，则最好将析构函数也定义成虚函数。
当然，我们不允许构造函数是虚函数。
纯虚函数和抽象类。
纯虚函数： 没有函数体的虚函数。
抽象类 ： 包含纯虚函数的类。
1， 抽象类住能作为基类。
2， 不能创建抽象类的对象。
3， 抽象类的指针和引用->由抽象类派生出来的类的对象
在抽象类中，
1，成员函数内可以调用纯虚函数/
2，在构造函数/析构函数内部不能调用纯虚函数。
如果一个类从抽象类派生而来
它实现了基类中所有的纯虚函数，才能成为非抽象类。