参考:Java核心技术 卷I 基础知识 第八章
泛型程序设计意味着编写的代码可以被很多不同类型的对象所重用。
泛型使用类型参数,使得代码有更好的可读性。
在Java SE7及以后的版本中,构造函数中可以省略泛型类型,省略的类型可以从变量的类型推断得出。
类型参数的魅力在于:使得程序具有更好的可读性和安全性。
通配符类型。
一个泛型类就是具有一个或多个类型变量的类。
泛型方法可以定义在普通类型也可以定义在泛型类中。
类型变量放在修饰符的后面。
类型变量的限定使用extends,如T extends Comparable,表示T应该是Comparable的子类型。
无论何时定义一个泛型类型,都自动提供了一个相应的原始类型。原始类型的名字就是删去类型参数后的泛型类型。擦除类型变量并替换为限定类型(无限定类型的变量用Object)。
类型擦除与多态发生了冲突,要解决这个问题,需要编译器在对应类中生成一个过桥方法。
Java泛型转换的事实:
-
虚拟机中没有泛型,只有普通的类和方法。
-
所有类型参数都用它们的限定类型替换。
-
桥方法被合成来保持多态。
-
为保持类型安全性,必要时插入强制类型转换。
使用Java泛型时需要考虑的一些限制:
-
不能用基本类型实例化类型参数,比如,不能使用double,只能使用Double
-
运行时类型查询只适用于原始类型。
-
不能创建参数化类型的数组
-
Varargs警告
-
不能实例化类型变量
-
不能构造泛型数组
-
泛型类的将她上下文中的类型变量无效
-
不能抛出或补货泛型类的实例
-
可以消除对受查异常的检查
-
注意擦除后的冲突
泛型的继承:无论S与T有什么联系,Pair<S>和Pair<T>没有什么联系。
通配符类型:
通配符类型中,允许参数变化。例如:Pair<? extends Employee>