c++多态

大家都知道c++有三大特性，封装、继承、多态，个人认为多态是比较难理解的。
对象分为静态模型和动态模型

多态，字面理解就是一个事物有多种形态。多态也分为静态多态和静态多态，静态多态有函数重载和泛型编程，函数重载即相同函数名，不同参数列表的多个函数，而泛型编程是一种模式，泛型，即是把数据类型作为一种参数进行传递。泛型编程的典型泛型编程的代表作品STL，是一种高效、泛型、可交互操作的软件组件。STL以迭代器 (Iterators)和容器(Containers)为基础，是一种泛型算法(Generic Algorithms)库，容器的存在使这些算法有东西可以操作。STL包含各种泛型算法(algorithms)、泛型迭代器(iterators)、泛型容器(containers)以及函数对象(function objects)。

而动态多态即为c++的虚函数。
静态多态：编译器在编译期间完成的，编译器根据函数实参的类型(可能会进行隐式类型转换)，可推断出要调用那个函数，如果有对应的函数就调用该函数，否则出现编译错误。
动态绑定：在程序执行期间(非编译期)判断所引用对象的实际类型，根据其实际类型调用相应的方法。

什么是c++虚函数？