多态与泛型编程

1、多态的实现方式不只是面向对象，再很多动态语言里用所谓的鸭子类型实现多态
2、c++使用模板实现鸭子类型

为什么要有鸭子类型
鸭子类型可以使开发者不需要使用继承来实现一些约定，尤其对于混合了不同的来源不同的继承体系的对象。唯一的要求是这些对象有共通的成员函数，成员函数的参数类型不一定一样。

例如c++标准容器都有push_back()函数和size()函数, 都有begin()和end()函数，但是他们没有都继承相同的基类

3、如果模板再实例化时需要实例化特殊的变量类型函数，可以通过函数重载，模板特化或者给变量添加重载操作符等方式实现。
添加代码，让那个类型支持所需要的操作（对成员函数无效）。
对于函数模板，可以直接针对那个类型进行重载。
对于类模板和函数模板，可以针对那个类型进行特化。

函数重载和模板特化本质一样,其主要区别是最主要的原因是特化可以用在类模板和函数模板上，而重载只能用于函数

注：一般函数多态使用重载，类使用模板特化，特化参数可以是类型，也可以是常数表达式，包括整数类型常数、枚举、指针、引用