[转]Java1.5泛型指南中文版(Java1.5 Generic Tutorial)-优快云博客

generics 、 type safe 、 type parameter(variable) 、 formal type parameter 、 actual type parameter 、 wildcards(?) 、 unknown type 、 ? extends T 、 ? super T 、 erasure 、 translation 、 cast 、 instanceof 、 arrays 、 Class Literals as Run-time Type Tokens 、 wildcard capture 、 multiple bounds(T extends T1& T2 ... & Tn) 、 covariant returns

1. 介绍

JDK1.5 中引入了对 java 语言的多种扩展，泛型 (generics) 即其中之一。

这个教程的目标是向您介绍 java 的泛型 (generic) 。你可能熟悉其他语言的泛型，最著名的是 C++ 的模板 (templates) 。如果这样，你很快就会看到两者的相似之处和重要差异。如果你不熟悉相似的语法结构，那么更好，你可以从头开始而不需要忘记误解。

Generics 允许对类型进行抽象 (abstract over types) 。最常见的例子是集合类型 (Container types) ， Collection 的类树中任意一个即是。

下面是那种典型用法：

List myIntList = new LinkedList(); // 1

myIntList.add( new Integer(0)); // 2

Integer x = (Integer) myIntList.iterator().next(); // 3

第 3 行的类型转换有些烦人。通常情况下，程序员知道一个特定的 list 里边放的是什么类型的数据。但是，这个类型转换是必须的 (essential) 。编译器只能保证 iterator 返回的是 Object 类型。为了保证对 Integer 类型变量赋值的类型安全，必须进行类型转换。

当然，这个类型转换不仅仅带来了混乱，它还可能产生一个运行时错误 (run time error) ，因为程序员可能会犯错。

程序员如何才能明确表示他们的意图，把一个 list 中的内容限制为一个特定的数据类型呢？这是 generics 背后的核心思想。这是上面程序片断的一个泛型版本 :

List<Integer> myIntList = new LinkedList<Integer>(); // 1

myIntList.add( new Integer(0)); // 2

Integer x = myIntList.iterator().next(); // 3

注意变量 myIntList 的类型声明。它指定这不是一个任意的 List ，而是一个 Integer 的 List ，写作： List<Integer> 。我们说 List 是一个带一个类型参数的泛型接口 (a generic interface that takes a type parameter) ，本例中，类型参数是 Integer 。我们在创建这个 List 对象的时候也指定了一个类型参数。

另一个需要注意的是第 3 行没了类型转换。

现在，你可能认为我们已经成功地去掉了程序里的混乱。我们用第 1 行的类型参数取代了第 3 行的类型转换。然而，这里还有个很大的不同。编译器现在能够在编译时检查程序的正确性。当我们说 myIntList 被声明为 List<Integer> 类型，这告诉我们无论何时何地使用 myIntList 变量，编译器保证其中的元素的正确的类型。与之相反，一个类型转换说明程序员认为在那个代码点上它应该是那种类型。

实际结果是，这可以增加可读性和稳定性 (robustness) ，尤其在大型的程序中。

2. 定义简单的泛型

下面是从 java.util 包中的 List 接口和 Iterator 接口的定义中摘录的片断：

public interface List<E> {

void add(E x);

Iterator<E> iterator();

}

public interface Iterator<E> {

E next();

boolean hasNext();

}

这些都应该是很熟悉的，除了尖括号中的部分，那是接口 List 和 Iterator 中的形式类型参数的声明 (the declarations of the formal type parameters of the interfaces List and Iterator) 。

类型参数在整个类的声明中可用，几乎是所有可是使用其他普通类型的地方 ( 但是有些重要的限制，请参考第 7 部分 ) 。

（原文： Type parameters can be used throughout the generic declaration, pretty much where you would use ordinary types (though there are some important restrictions; see section 7) ）

在介绍那一节我们看到了对泛型类型声明 List(the generic type declaration List) 的调用，如 List<Integer> 。在这个调用中 ( 通常称作一个参数化类型 a parameterized type) ，所有出现形式类型参数 (formal type parameter, 这里是 E) 都被替换成实体类型参数 (actual type argument)( 这里是 Integer) 。