1、多态的实现方式不只是面向对象,再很多动态语言里用所谓的鸭子类型实现多态
2、c++使用模板实现鸭子类型
为什么要有鸭子类型
鸭子类型可以使开发者不需要使用继承来实现一些约定,尤其对于混合了不同的来源不同的继承体系的对象。唯一的要求是这些对象有共通的成员函数,成员函数的参数类型不一定一样。
例如c++标准容器都有push_back()函数和size()函数, 都有begin()和end()函数,但是他们没有都继承相同的基类
3、如果模板再实例化时需要实例化特殊的变量类型函数,可以通过函数重载,模板特化或者给变量添加重载操作符等方式实现。
添加代码,让那个类型支持所需要的操作(对成员函数无效)。
对于函数模板,可以直接针对那个类型进行重载。
对于类模板和函数模板,可以针对那个类型进行特化。
函数重载和模板特化本质一样,其主要区别是最主要的原因是特化可以用在类模板和函数模板上,而重载只能用于函数
注:一般函数多态使用重载,类使用模板特化,特化参数可以是类型,也可以是常数表达式,包括整数类型常数、枚举、指针、引用