泛型：泛型结构（类、结构体）、泛型函数（从本质上来说也是一个结构）统称为泛型；
泛型参量：泛型中的待定参量；
类型指定（具体化）：对泛型结构中的泛型参量进行指定，构造出具体的类型；
递归定义：泛型结构中的泛型参量依赖于外部的环境泛型参量；
约束：对一个泛型结构的泛型参量的可指定类型范围进行限制；或对多个泛型结构的泛型参量的关系进行限制；
扩展：给泛型结构添加新功能；在泛型约束基础上添加的新功能，只有符合约束的具体化类型才能访问。
具体类型：对泛型结构的全部泛型参量指定具体的类型 构造出的类型；
泛型：泛型结构（类、结构体）、泛型函数（从本质上来说也是一个结构）统称为泛型；
泛型参量：泛型中的待定参量；
类型指定（具体化）：对泛型结构中的泛型参量进行指定，构造出具体的类型；
递归定义：泛型结构中的泛型参量依赖于外部的环境泛型参量；
约束：对一个泛型结构的泛型参量的可指定类型范围进行限制；或对多个泛型结构的泛型参量的关系进行限制；
扩展：给泛型结构添加新功能；在泛型约束基础上添加的新功能，只有符合约束的具体化类型才能访问。
具体类型：对泛型结构的全部泛型参量指定具体的类型 构造出的类型；