C++多态

【多态】
具有多种形式或形态；
C++多态包括：
1.动态多态 主要靠虚函数实现；
动态绑定：在程序执行期间(非编译期)判断所引用对象的实际类型，根据其实际类型调用相应的方法。
2.静态多态 函数重载，运算符重载和泛型编程
静态多态：编译器在编译期间完成的，编译器根据函数实参的类型(可能会进行隐式类型转换)，可推断出要调用那个函数，如果有对应的函数就调用该函数，否则出现编译错误。
【虚函数】
虚函数是成员函数，而且是非static的成员函数。
virtual <类型说明符> < 函数名 > ( <参数表> )
example：virtual void fun();
【纯虚函数】
class <类名>
{
virtual <类型说明符> < 函数名 > ( <参数表> ) = 0；
……
}
很多时候基类不对虚函数给出有意义的实现，而把它说明为纯虚函数，它的实现留给该基类的派生类去做。
【抽象类】
带有纯虚函数的类称为抽象类；
抽象类不能定义对象；
抽象类只能作为基类来使用，虚函数的实现由派生类来实现；
【虚函数的使用】
1、派生类重写基类的虚函数实现多态，要求函数名、参数列表、返回值完全相同 。(协变除外)
2、基类中定义了虚函数，在派生类中该函数始终保持虚函数的特性。
3、只有类的成员函数才能定义为虚函数，静态成员函数不能定义为虚函数。
4、如果在类外定义虚函数，只能在声明函数时加virtual关键字，定义时不用加。
5、构造函数不能定义为虚函数，虽然可以将operator=定义为虚函数，但最好不要这么做，使用时容易混淆
6、不要在构造函数和析构函数中调用虚函数，在构造函数和析构函数中，对象是不完整的，可能会出现未定义的行为。
7、最好将基类的析构函数声明为虚函数。 (析构函数比较特殊，因为派生类的析构函数跟基类的析构函数名称不一样，但是构成覆盖，这里编译器做了特殊处理)
基类的析构函数被声明为虚析构函数，那么它的派生类的析构函数也是虚析构函数，不论它是否使用关键字 virtual进行说明；
8、虚表是所有类对象实例共用的，
【协变】
返回值类型不同，都是虚函数的两个函数构成了协变；
【虚表】
虚函数的地址；

泛型编程
泛型编程： 编写与类型无关的逻辑代码，是代码复用的一种手段。模板是泛型编程的基础 。