泛型编程的几个关键概念

泛型：类型构造器；

类型构造过程：具体类型；

类型约束：类型约束与类型推断

 

区分是类型构造器本身还是在构造具体类型