25、探索多态类型：从显式到隐式的编程之旅

探索多态类型：从显式到隐式的编程之旅

1. 多态类型概述

多态类型指函数或数据结构能以独立于操作数据类型的方式执行或构建。例如，在某些场景下，函数执行方式与操作的数据类型无关，数据结构的组织形式也不受其元素类型的影响。多态主要分为两种：
- 参数多态 ：函数遵循相同算法，不依赖其参数类型。像 Ada 或 Modula - 3 的泛型机制、C++ 模板、ML 类型方案等都是参数多态的例子。
- 重载 ：函数标识符根据参数类型代表不同算法。例如，在多数语言中，“+” 运算符对整数参数执行整数加法，对浮点参数执行浮点加法，这是不同的算法。在 Ada、C++ 和 Java 等语言中，程序员可自定义重载函数。

这两种多态差异显著，实现技术也不同。

2. 参数多态

2.1 显式与隐式参数多态

参数多态的函数 f (x : t) 中，参数 x 的类型 t 可实例化为不同实际类型。显式参数多态中，需将类型作为参数传递给函数，如 f <t>(x : t) ，函数调用可能是 f <int>(3) 或 f <string>("three") ；隐式参数多态中，函数定义为 f (x) ，调用为 f (3) 或 f ("three") ，类型参数 t