Eclipse 3.1中的Java泛型支持

Java 5 提供泛型支持，泛型支持是开发人员多年以来所要求的特性。它代表了 Java 编程语言一次具有重要意义的升级。像泛型这么复杂的技术，不仅对工具供应商也对开发人员带来了挑战。本文着重介绍 Eclipse 如何应对泛型挑战以及泛型给 Java 语言带来的变化，展示了如何在 Eclipse 中充分利用泛型，包括对于快速帮助、快速修复、重构和项目参数选择的支持。此外，还展示了完全泛型化语言的一些微妙而重要的方面。

　　 Java 中的泛型

　　几乎从第一个版本开始，Java 技术的创立者们就已经开始讨论对该语言添加泛型支持。C++ 通过标准 模板库对泛型进行支持，但是由于缺少所有其他类（嵌入在 Java 语言中的 Object 类中）的一个统一父类，泛型的实现也受到阻碍。Java 编程语言的泛型支持是其历史上最重大的语法变化。由于某些显而易见的原因，工具支持比其他 SDK 升级的步法要慢得多。尽管如此，现在 Eclipse V3.1 已经对这些语言的新特性有了出色的支持。本文重点介绍其中的一些新特性。

　　 Java 5 项目

　　为了打开 Eclipse V3.1 中的 Java 泛型支持，需要在机器上安装 Java 5，从一些平常的地方都可以下载到 Java 5。泛型支持连同项目属性一起出现在编译器设置页面。这意味着像以前一样，每个项目具有独立的 SDK 设置。为了创建使用泛型的项目，必须在创建项目时指定语言级别或者通过现有项目的项目属性指定语言级别。

　　Java 5 设置使用两个特定的属性页。第一个属性页指定编译器设置。

图 1. 针对 Java 5 支持的特定于编译器的设置

420){this.resized=true;this.style.width=420;}" resized="true">

　　除非您已经在 Eclipse for Java 5 中设置了默认项目设置，否则需要为该项目覆盖那些设置。JDK compliance 区域允许您决定源文件和类文件的设置。当您把源文件设置为 5.0 级别时，就会获得很多新的内容帮助和重构选项。

　　另一个相关属性对话框是树型视图中的 Errors/Warnings 区域。

　　图 2. 项目属性的 Errors/Warnings 区域

420){this.resized=true;this.style.width=420;}" resized="true">

　　大量 J2SE 5 选项能够控制 Eclipse 为您的 Java 5 代码产生什么类型的错误和警告（请参见表 1）

表 1. Eclipse 为 Java 5 代码产生的错误和警告

J2SE 5 选项	警告类型
Unchecked generic type operation	编译器每当遇到未经检查的泛型类型操作，就将发出一个错误或者警告。这种操作包括诸如 List 或 ArrayList 等类型上的操作，但没有指定类型。每当您使用一个保存有对象的旧式 Collection 类时就会产生一个警告。
Generic type parameter declared with a final type bound	编译器每当遇到一个涉及 final 类型的类型绑定时，就会发出一个错误或者警告。请看这个示例方法签名： public int doIt(List<? extends String> list) 因为 String 是 final 类型，参数不能扩展 String，所以这样写比较有效： public int doIt(List<String> list)
Inexact type match for vararg arguments	当编译器不能从 varargs 参数确定开发人员的意图时，它将生成一个警告。有一些与数组相关的 varargs 是不明确的。
Boxing and unboxing conversions	对自动装箱操作发出警告（装箱操作可能影响性能），并且不再对类型包装对象做对象身份的假设。这是一个默认状态下被忽略的小警告。
Missing @Override annotation	应该为任何重写的方法包含 @Override 注释。缺少这个注释可能表示开发人员没有意识到该方法被重写。
Missing @Deprecated annotation	由于缺少 @Deprecated 标志而产生的警告。
Annotation is used as super interface	您不能把 Deprecated 类作为超级接口。例如，不推荐这种写法： public interface BadForm extends Deprecated { } 。
Not all enum constants covered on switch	switch 语句缺少枚举项意味着您可能遗漏一些枚举选项。
Unhandled warning tokens in @SuppressWarnings	Java 5 允许您添加注释以抑制编译器警告。如果您拼写错了一个警告或者使用了一个并不存在的警告，这个标志将发出一个警告。
Enable @SuppressWarnings annotations	打开程序地（用代码）抑制您不关心的警告的能力。

　　一旦您根据喜好设定了所有的项目选项，就可以开始在 Eclipse 中使用泛型了。

共3页。 1 2 3 8 :

---

---

　　 从特定类型向泛型转换

　　请考虑清单 1 中的简单类，它创建了一个 Employee 和 Manager 对象的列表（Manager 扩展自 Employee），将他们打印出来，给他们涨工资后再打印出来。

清单 1. HR 类

package com.nealford.devworks.generics.generics; import java.util.ArrayList; import java.util.Collections; import java.util.List; public class HR { public HR() { List empList = new ArrayList(5); empList.add(new Employee("Homer", 200.0, 1995)); empList.add(new Employee("Lenny", 300.0, 2000)); empList.add(new Employee("Waylon", 700.0, 1965)); empList.add(new Manager("Monty", 2000.0, 1933, (Employee) empList.get(2))); printEmployees(empList); System.out.println("----- Give everyone a raise -----"); for (int i = 0; i < empList.size(); i++) ((Employee) empList.get(i)).applyRaise(5); printEmployees(empList); System.out.println("The maximum salary for any employee is "+ Employee.MAX_SALARY); System.out.println("Sort employees by salary"); Collections.sort(empList); printEmployees(empList); System.out.println("Sort employees by name"); Collections.sort(empList, new Employee.NameComparer()); printEmployees(empList); System.out.println("Sort employees by hire year"); Collections.sort(empList, Employee.getHireYearComparator()); printEmployees(empList); } public void printEmployees(List emps) { for (int i = 0; i < emps.size(); i++) System.out.println(emps.get(i)); } public static void main(String[] args) { new HR(); } }

　　如果您打开了 Java 5 支持，编译这段代码会出现多种警告信息。

　　 快速修复特性

　　每当 Eclipse 要给您的代码建议一种改进时，Eclipse 的快速修复特性就显示为编辑器窗口左侧边栏上的一个灯泡。在清单 1 中的代码中，您将会看到多个快速修复。

图 3. 快速修复灯泡指示您的代码待改进

420){this.resized=true;this.style.width=420;}" resized="true">

　　快速修复使用灯泡和黄色波浪线指示待改进处。如果将鼠标移动至黄色波浪线上，可以看到出现在图 4 中的改进建议。

图 4. 快速修复指示什么应该被通用化

420){this.resized=true;this.style.width=420;}" resized="true">

　　这里所列的快速修复建议只有一条建议。边上的灯泡提出建议，添加一个本地变量保存 List 的 add() 方法的返回值。然而，在这里该方法返回一个布尔类型值，并且被忽略了。

　　为了定位快速修复建议，移至重构菜单。Eclipse 中很多重构与 Java 5 中的泛型直接相关。“Infer Generic Type Arguments”重构将给列表增加泛型支持。 第一个对话框允许您选择选项。

图 5. Infer Generic Type Arguments choices 对话框

420){this.resized=true;this.style.width=420;}" resized="true">

　　第一个选项与一个结论相关，这个结论是 clone() 方法将返回接收者类型而不是另外一个类型（相关类）。大部分功能良好的类都遵守这个规则，如果您知道您的类不遵守这个规则，则不要选中这个选项。当第二个选项未选中时，将保留“raw”（非泛型）参数，而不是推断出正确的泛型参数类型。

　　Eclipse 中的大多数重构中，您都可以预览您的类将发生什么变化。点击这个对话框上的 Preview 按钮将出现图 6 所示的对话框。

图 6. Preview the generic refactoring

0

推荐

420){this.resized=true;this.style.width=420;}" resized="true">

 

　　更新后的代码如下：

清单 2. 更新后的代码

List<Employee> empList = new ArrayList<Employee>(5); empList.add(new Employee("Homer", 200.0, 1995)); empList.add(new Employee("Lenny", 300.0, 2000)); empList.add(new Employee("Waylon", 700.0, 1965)); empList.add(new Manager("Monty", 2000.0, 1933, empList.get(2)));

　　代码发生了两个有趣的变化。第一 —— 也是最明显的 —— List 和 ArrayList 声明现在是 Employee 类型的泛型。第二 —— 不太明显 —— 代码最后一行发生的变化。您观察一下 Manager 类的原来的 empList 添加，它的最后一个参数需要针对 Assistant 域强制类型转换为 Employee。而 Infer 重构足够聪明，它可以删除现在不必要的类型强制转换。

　　在介绍完快速修复之前，Eclipse 还在 Java 5 支持中增加了另外一个有趣的方面：您可以得到为方法添加注释的建议，比如 @Override。您还具有针对注释的内容帮助。

图 7. 针对注释的快速修复和内容帮助扩展

420){this.resized=true;this.style.width=420;}" resized="true">

　　 快速帮助特性

　　Eclipse V3.1 已经添加了快速帮助以促进 Java 5 中的泛型支持。请考虑这个普通的 for() 循环，参见清单 3 中的 printEmployees() 方法。

清单 3. for() 循环

public void printEmployees(List<Employee> emps) { for (int i = 0; i < emps.size(); i++) System.out.println(emps.get(i)); }

　　除了对泛型的支持外，Java 5 现在也支持 for...each 循环。快速帮助建议将 for loop 变成 for...each，变化后的代码如清单 4 所示。

清单 4. for...each 循环

public void printEmployees(List<Employee> emps) { for (Employee emp : emps) System.out.println(emp); }

　　这个版本由于完全删除了 i 变量和 get() 方法调用而变得清洁多了。