泛型编程的术语

泛型：泛型结构（类、结构体）、泛型函数（从本质上来说也是一个结构）统称为泛型；

泛型参量：泛型中的待定参量；

类型指定（具体化）：对泛型结构中的泛型参量进行指定，构造出具体的类型；

递归定义：泛型结构中的泛型参量依赖于外部的环境泛型参量；

约束：对一个泛型结构的泛型参量的可指定类型范围进行限制；或对多个泛型结构的泛型参量的关系进行限制；

扩展：给泛型结构添加新功能；在泛型约束基础上添加的新功能，只有符合约束的具体化类型才能访问。

具体类型：对泛型结构的全部泛型参量指定具体的类型  构造出的类型；