浅谈Java泛型编程

 
浅谈Java泛型编程
1 引言在JDK 1.5中，几个新的特征被引入Java语言。其中之一就是泛型（generics）。泛型（generics，genericity）又称为“参数类型化（parameterized type）”或“模板（templates）”，是和继承（inheritance）不同而互补的一种组件复用机制。继承和泛型的不同之处在于——在一个系统中，继承层次是垂直方向，从抽象到具体，而泛型是水平方向上的。当运用继承，不同的类型将拥有相同的接口，并获得了多态性；当运用泛型，将拥有许多不同的类型，并得以相同的算法作用在它们身上。因此，一般说来，当类型与实现方法无关时，使用泛型；否则，用继承。
泛型技术最直接联想到的用途就是建立容器类型。下面是一个没有使用泛型技术的例子： List myIntList = new LinkedList();// 1 myIntLikst.add(new Integer(0));// 2 Integer x = (Integer)myIntList.iterator().next();// 3 显然，程序员知道究竟是什么具体类型被放进了myIntList中。但是，第3行的类型转换（cast）是必不可少的。因为编译器仅仅能保证iterator返回的是Object类型。要想保证将这个值传给一个Integer类型变量是安全的，就必须类型转换。除了使代码显得有些混乱外，类型转换更带来了运行时错误的可能性。因为程序员难免会犯错误。使用了泛型技术，程序员就可以确切地表达他们的意图，并且把myIntList限制为包含一种具体类型。下面就是前一个例子采用了泛型的代码段： List<Integer> myIntList = new LinkedList<Integer>();// 1 myIntLikst.add(new Integer(0));// 2 Integer x = myIntList.iterator().next();// 3 List<Integer>指出了这不是一个随意的List，而是一个Integer的List。我们说List是一个带有类型参数的泛型接口，在这里就是指Integer。现在，我们在第1行里使用Integer作为类型参数，而不是在第3行里做类型转换。这样，在编译时刻，编译器就能够检查程序的正确性——无论何时何地，编译器都将保证myIntList的正确使用。相反地，类型转换仅仅告诉我们——在这里，程序员认为这样做是对的。采用泛型可以增强代码可读性和健壮性（robustness）。
 
 
2 定义泛型 public interface List<E> {    void add(E x);    Iterator<E> iterator(); } public interface Interator<E> {    E next();    boo