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