泛型编程的基石：参量化类型（算法或结构）抽象和类型运算

类型运算：

类型指定、类型约束、类型依赖；

 

所谓泛型，即通过参数化类型来实现在同一份代码上操作多种数据类型。

https://www.cnblogs.com/arxive/p/6179972.html

 

 

因而函数重载是一种多态，而这样的多态被称作ad-hoc多态。

 

 

泛型程序设计（generic programming）是程序设计语言的一种风格或范式。泛型允许程序员在强类型程序设计语言中编写代码时使用一些以后才指定的类型，在实例化时作为参数指明这些类型。（摘自维基百科）

 

 

https://juejin.im/post/5bf36e51e51d452b196493ec