Java 泛型.pdf

Java 泛型简明教程 泛型是Java SE 5.0 中引入的一项特征，自从这项语言特征出现多年来，我相信，几乎所有的Java程 序员不仅听说过，而且使用过它。关于Java泛型的教程，免费的，不免费的，有很多。我遇到的最好的 教材有： • The Java Tutorial • Java Generics and Collections, by Maurice Naftalin and Philip Wadler • Effective Java 中文版(第2版), by Joshua Bloch. 尽管有这么多丰富的资料，有时我感觉，有很多的程序员仍然不太明白Java泛型的功用和意义。这就是 为什么我想使用一种最简单的形式来总结一下程序员需要知道的关于Java泛型的最基本的知识。 Java 泛型由来的动机 理解Java泛型最简单的方法是把它看成一种便捷语法，能节省你某些Java类型转换(casting)上的操 作： 1 ListA le box = ...; 2 A le a le = box.get(0); 上面的代码自身已表达的很清楚：box是一个装有A le 对象的List 。get方法返回一个A le 对象实 例，这个过程不需要进行类型转换。没有泛型，上面的代码需要写成这样： 1 List box = ...; 2 A le a le = (A le) box.get(0); 很明显，泛型的主要好处就是让编译器保留参数的类型信息，执行类型检查，执行类型转换操作：编译 器保证了这些类型转换的绝对无误。 相对于依赖程序员来记住对象类型、执行类型转换——这会导致程序运行时的失败，很难调试和解决，而 编译器能够帮助程序员在编译时强制进行大量的类型检查，发现其中的错误。 泛型的构成 由泛型的构成引出了一个类型变量的概念。根据Java语言规范，类型变量是一种没有限制的标志符，产 生于以下几种情况： • 泛型类声明 • 泛型接口声明 • 泛型方法声明 • 泛型构造器(constructor)声明 泛型类和接口 如果一个类或接口上有一个或多个类型变量，那它就是泛型。类型变量由尖括号界定，放在类或接口名 的后面： 1 public interface ListT extends CollectionT { 2 ... 3 } 简单的说，类型变量扮演的角色就如同一个参数，它提供给编译器用来类型检查的信息。 Java类库里的很多类，例如整个Collection框架都做了泛型化的修改。例如，我们在上面的第一段代 码里用到的List接口就是一个泛型类。在那段代码里，box是一个ListA le对象，它是一个带有 一个A le 类型变量的List接口的类实现的实例。编译器使用这个类型变量参数在get方法被调用、 返回一个A le 对象时自动对其进行类型转换。 实际上，这新出现的泛型标记，或者说这个List接口里的get方法是这样的： 1 T get(int index); get方法实际返回的是一个类型为T 的对象，T 是在ListT声明中的类型变量。 泛型方法和构造器(Constructor) 非常的相似，如果方法和构造器上声明了一个或多个类型变量，它们也可以泛型化。 1 public static t T getFirst(ListT list) 这个方法将会接受一个ListT类型的参数，返回一个T 类型的对象。 例子 你既可以使用Java类库里提供的泛型类，也可以使用自己的泛型类。 类型安全的写入数据… 下面的这段代码是个例子，我们创建了一个ListString实例，然后装入一些数据： 1 ListString str = new ArrayListString(); 2 str.add(Hello ); 3 str.add(World.); 如果我们试图在ListString装入另外一种对象，编译器就会提示错误： 1 str.add(1); // 不能编译 类型安全的读取数据… 当我们在使用ListString对象时，它总能保证我们得到的是一个String对象： 1 String myString = str.get(0); 遍历 类库中的很多类，诸如IteratorT，功能都有 增强，被泛型化。ListT接口里的iterator()方 法现在返回的是IteratorT，由它的T next()方法返回的对象不需要再进行类型转换，你直接得到 正确的类型