在C++中，基类必须指出希望派生类重新定义哪些函数，定义为virtual的函数是基类期待派生类重新定义的，基类希望派生类继承的函数不能定义为虚函数。
引用和指针的静态类型与动态类型可以不同，这是C++用以支持多态性的基石。通过基类引用或指针调用基类中定义的函数时，我们并不知道执行函数的对象的确切类型，执行函数的对象可能是基类类型的，也可能是派生类型的。
如果调用非虚函数，则无论实际对象是什么类型，都执行基类类型所定义的函数，如果调用虚函数，则直到运行时才能确定调用哪个函数，运行的虚函数是引用所绑定的或者指针所指的对象所属类型定义的版本。