诊断Java代码: 轻松掌握Java泛型 - 编程入门网

清单 7. 用 extends 子句来说明 MyPane 声明

class ScrollPane<MyPane extends Pane> { ... }

当然，我们可以完全不使用显式的范围，只要能确保没有用不适当的类型来实例化类型参数。

为什么要自找麻烦在类型参数上设定范围呢？这里有两个原因。首先，范围使我们增加了静态类型检查功能。有了静态类型检查，就能保证泛型类型的每次实例化都符合所设定的范围。

其次，因为我们知道类型参数的每次实例化都是这个范围之内的子类，所以可以放心地调用类型参数实例出现在这个范围之内的任何方法。如果没有对参数设定显式的范围，那么缺省情况下范围是 Object ，这意味着我们不能调用范围实例在 Object 中未曾出现的任何方法。

多态方法

除了用类型参数对类进行参数化之外，用类型参数对方法进行参数化往往也同样很有用。泛型 Java 编程用语中，用类型进行参数化的方法被称为 多态方法（Polymorphic method）。

多态方法之所以有用，是因为有时候，在一些我们想执行的操作中，参数与返回值之间的类型相关性原本就是泛型的，但是这个泛型性质不依赖于任何类级的类型信息，而且对于各个方法调用都不相同。

例如，假定想将 factory 方法添加到 List 类中。这个静态方法只带一个参数，也将是 List 唯一的元素（直到添加了其它元素）。因为我们希望 List 成为其所包含的元素类型的泛型，所以希望静态 factory 方法带有类型变量 T 这一参数并返回 List<T> 的实例。

但是我们确实希望该类型变量 T 能在方法级别上进行声明，因为它会随每次单独的方法调用而发生改变（而且，正如我在下一篇文章中将讨论的那样，Tiger 设计的“怪习”规定静态成员不在类级类型参数的范畴之内）。Tiger 让我们通过将类型参数作为方法声明的前缀，从而在单独的方法级别上声明类型参数。例如，可以按照如下所示的那样为 factory 方法 make 添加前缀：

清单 8. 将类型参数作为前缀添加到方法声明

class Utilities { 　 <T extends Object> public static List<T> make(T first) { 　　 return new List<T>(first); 　 } }

除了多态方法中所增加的灵活性之外，Tiger 中还增加了一个优点。Tiger 使用类型推断机制，根据参数类型来自动推断出多态方法的类型。这可以大大减少方法调用的繁琐和复杂性。例如，如果想调用 make 方法来构造包含 new Integer(0) 的 List<Integer> 新实例，那么只需编写：

清单 9. 强制 make 构造新实例

Utilities.make(Integer(0))

然后会自动地从方法参数中推断出类型参数的实例化。

结束语

正如我们所见到的那样，在 Java 语言中添加泛型类型肯定会大大增强我们使用静态类型系统的能力。学习如何使用泛型类型相当简单，但是同样也需要避免一些缺陷。在接下来的文章中，我们将讨论如何充分使用将出现在 Tiger 中的泛型类型的特定表现，以及一些缺陷。我们还将研究对泛型 Java 类型工具的扩展，我们期盼这些工具可以出现在仍处于设计阶段的 Java 平台之中。

凌众科技专业提供服务器租用、服务器托管、企业邮局、虚拟主机等服务，公司网站：http://www.lingzhong.cn 为了给广大客户了解更多的技术信息，本技术文章收集来源于网络,凌众科技尊重文章作者的版权，如果有涉及你的版权有必要删除你的文章，请和我们联系。以上信息与文章正文是不可分割的一部分,如果您要转载本文章,请保留以上信息，谢谢!