模版--》实现
泛型不会降低编译后的代码量。
所有实现都是编译器根据模版生成代码；
创建模版-〉复制（创建）类型-》使用类型。
一、泛型与语言
1、泛型只是语言（复用）层面的概念；
2、机器码和汇编没有泛型的概念；
3、语言处理过程（编译和解释）中，泛型会解释为具体的类型（数据类型和函数类型）。一个泛型经过编译器或解释器后，在可执行文件和运行时会存在多个具化副本。
二、泛型与具化
1、显式具化；
2、类型推导具化（根据函数参量、返回值具化）。
3、所有的具化方式在逻辑上都基于显式具化。
三、类型推导
1、基于泛型实现的类型推导
调用形式，推导出泛型的显式具化方式，进而由编译器推导编译为具体的实现方式。
2、基于泛型接口的推导
这种推导方式在函数时编程中常用。
高阶函数定义了实现函数的接口，实现函数根据需求具体定制。
其推导链条由如下方式：
高阶（泛型）函数—(参量)—>
高阶函数—（调用）—>
组件函数—（根据上下文）—>
推导参量类型—>
（实现）—根据参量类型实现具体功能
程序语言设计的过程中，Go 明显遇到了这样一个问题，是想要让程序员干活变慢，还是让编译器变慢，还是要运行速度变慢，或者更大的编译后的二进制文件。
https://www.zhihu.com/question/62991191