泛型：不完备类型、泛指类型、待定类型、不确定类型。
定义：声明和定义中有待定类型存在，存在与函数和复合类型中。
不完备类型中的变量、参量依赖于泛型。
泛型声明（关键字）：<泛型声明>，是类型声明的一部分。
使用场景：函数的参量和返回值；复合类型的成员变量。
泛型声明：声明占位类型（待定类型）；
泛型使用：和普通类型一样来定义变量、返回值等。
包含泛型的类型是不完备类型，所以在使用前需要将待定类型确定下来，以使主体变为完备类型。
泛型具体化有两种方式：1、类型推导；2、显式指定；3、关联类型指定。
泛型约束：
待定类型遵从的继承关系和协议情况。