一、泛型程序的定义和使用
1.为什么要使用泛型程序设计
泛型程序设计意味着编写的代码可以被很多不同类型的对象所重用。同时,使得程序具有更好的可读性和安全性。
ArrayList<String> files = new ArrayList<>();
泛型使用类型参数来指示元素的类型,例如“String”。有两个好处:
- 当调用get的时候,不需要进行强制类型转换,编译器就知道返回值的类型是String,而不是Object
String filename = files.get(0);
- 当调用ArrayList中的add方法时,只能限定传递给add方法的参数的类型是String,这样可以进行检查,避免插入错误类型的对象。例如:
files.add(new File("..."))
这样代码是无法通过编译的。但是如果不使用泛型,files就是一个Object类型的对象,那么这条代码是可以通过编译的。
2.定义简单泛型类
public class Pair<T> // 类中引用了一个类型变量T
{
private T first; // 指定域的类型
private T second; public Pair() { first = null; second = null; } public Pair(T first, T second) { this.first = first; this.second = second; } // 指定方法参数的类型 public T getFirst() { return first; } // 指定方法返回参数的类型 public T getSecond() { return second; } public void setFirst(T newValue) { first = newValue; } // 指定方法参数的类型 public void setSecond(T newValue) { second = newValue; } }
3.在普通类中定义泛型方法
class ArrayAlg{
public static <T> T getMiddle(T..a){
return a[a.length/2]; } }
当调用一个泛型方法时,在方法名前的尖括号中放入具体的类型:
String middle = ArrayAlg.<String>getMiddle(" ...","...","...")
4.类型变量的限定
class ArrayAlg
{
public static <T extends Comparable> Pair<T> minmax(T[] a) { if (a == null || a.length == 0) return null; T min = a[0]; T max = a[0]; for (int i = 1; i < a.length; i++) { if (min.compareTo(a[i]) > 0) min = a[i]; if (max.compareTo(a[i]) < 0) max = a[i]; } return new Pair<>(min, max); } }
为了确定T所属的类有compareTo方法,可以将T限制为实现了Comparable接口的类,也就是<T extends Comparable>。一个类型变量或通配符可以有多个限定,用“&”连接即可。
二、泛型程序的约束和局限性
1.不能用类型参数代替基本类型。
例如:不能用Pair<double>,而只能用Pair<Double>
2.运行时类型查询只适用于原始类型
如果想要查询一个对象是否属于某个泛型类型时,使用instanceof会得到一个编译器错误,如果使用强制类型转换会得到一个警告。
虚拟机中的对象总有一个特定的非泛型类型,因此,所有的类型查询只产生原始类型。
if (a instanceof Pair<String>) // 得到一个编译器ERROR
if (a instanceof Pair<T>) // 得到一个编译器ERROR
Pair<String> p = (Pair<String>)a; // 得到一个警告,因为测试的只是a是否是任意类型的一个Pair,而无法限定是String
3.不能创建参数化类型的数组
4.Varargs警告
5.不能实例化类型变量
6.不能构造泛型数组
7.泛型类的静态上下文中类型变量无效
8.不能抛出或捕获泛型类的实例
9.可以消除对受查异常的检查
10.擦除后引发冲突
三、泛型类型的继承规则
1.
四、通配符类型
五、反射和泛型