类型与变量中的类型。只要有变量就可能有泛型的存在。
泛型是在确定类型的结构和函数基础上进行的二次抽象。目的是达到高代码可用。
是针对结构和函数中的类型进行的二次抽象。
算法和结构中的类型（可变）待定。
泛型：泛指类型、待定类型、不确定类型。与变量密切相关。
泛型，即“参数化类型”。--参数：自变量
定义：声明和定义中有待定类型存在，存在与函数和复合类型中。
不完备类型中的变量、参量依赖于泛型。
包含泛型的结构和函数是不完备类型、抽象类型；不能直接初始化，必须指定泛型具体类型。
泛型声明：<泛型声明>
是类型声明的一部分。
泛型声明：声明占位类型（待定类型）；
泛型使用：和普通类型一样来定义变量、返回值等。
使用场景：函数的参量和返回值；复合类型的成员变量。
包含泛型的类型是不完备类型，所以在使用前需要将待定类型确定下来，以使主体变为完备类型。
泛型具体化有两种方式：1、类型推导；2、显式指定；3、关联类型指定。
泛型约束：
待定类型遵从的继承关系和协议情况。