具有关联类型的协议
具有接口类型和泛型双重属性；是接口化的高阶泛型；
具有关联类型的协议不能作为类型，只能作为类型约束使用；
类型的具体形态：变量的类型、函数的输入输出类型、容器元素的类型；
带有关联类型的协议作为类型只能和泛型类型一起使用；要使用带有关联类型的协议，必须先定义泛型类型；
在泛化为构造器类型时，作为typeclass类型使用；
具体化的方向有三个：
1、具体化：直接实现为具体类型；
相对于无关联类型的协议：
无关联类型的协议可以直接作为类型来使用；
2、泛型化：泛化为类型构造器；
配置了类型的类型构造器类型也可以作为类型来使用；
3、接口化：进行类型擦除；
类型擦除后的关联协议类型可以作为类型来使用；
它使用的技术：泛型化类型构造器、协议具体化、代理包装器、接口隐藏器；
使用的方向只有一个：
要使用具有关联协议的类型特征的变量，先定义一个符合协议的泛型，用这个泛型定义变量；
泛型类型的二阶构造：
1、用类型指定构造类型；
2、构造变量进行赋值；
如果有类型推断，类型构造可以省略？