泛型概述-泛型是类型抽象

类型与变量中的类型。只要有变量就可能有泛型的存在。

泛型是在确定类型的结构和函数基础上进行的二次抽象。目的是达到高代码可用。

是针对结构和函数中的类型进行的二次抽象。

 

算法和结构中的类型（可变）待定。

 

泛型：泛指类型、待定类型、不确定类型。与变量密切相关。

泛型，即“参数化类型”。--参数：自变量

定义：声明和定义中有待定类型存在，存在与函数和复合类型中。

不完备类型中的变量、参量依赖于泛型。

 

包含泛型的结构和函数是不完备类型、抽象类型；不能直接初始化，必须指定泛型具体类型。

 

泛型声明：<泛型声明>

是类型声明的一部分。

 

泛型声明：声明占位类型（待定类型）；

泛型使用：和普通类型一样来定义变量、返回值等。

 

使用场景：函数的参量和返回值；复合类型的成员变量。

 

包含泛型的类型是不完备类型，所以在使用前需要将待定类型确定下来，以使主体变为完备类型。

泛型具体化有两种方式：1、类型推导；2、显式指定；3、关联类型指定。

 

泛型约束：

待定类型遵从的继承关系和协议情况。