java 泛型

• 一个泛型类 就是具有一个或多个类型变量的类
• 用具体的类型替换类型变量就可以实例化泛型类型
• 泛型类可以看做是普通类的工厂
• 当调用一个泛型方法时，在方法名前的尖括号中放入具体的类型
• <T extends Bounding Type>表示T应该是绑定类型的子类型，T和绑定类型可以是类，也可以是接口。
• 一个类型变量或通配符可以有多个限定： T extends Comparable & Serializable
• 在java继承中，可以根据需要拥有多个接口超类型，但限定中至多有一个类。如果用一个类作为限定，它必须是限定列表中的第一个。

无论何时定义一个泛型类型， 都自动提供一个相应的原始类型。原始类型的名字就是删除类型参数后的泛型类型名，擦除类型变量，并替换为限定类型（无限的变量用Object）

• 当程序调用泛型方法时，如果擦除返回类型，编译器插入强制类型转换。
• 不能用类型参数代替基本类型
• 虚拟机中没有泛型，只有普通的类和方法
• 所有的类型参数都用它们的限定类型替换
• 桥方法被合成来保持多态
• 为保持类型安全性，必要时插入强制类型转换