泛型通配符使用指南

学习使用泛型编程时更困惑的一个方面是确定何时使用上界通配符以及何时使用下界通配符，此页面提供了设计代码时要遵循的一些准则。

对于本文的讨论，将变量看作提供的两个功能之一是有帮助的：

• 一个“In”变量

“in”变量向代码提供数据，想象一下带有两个参数的复制方法：copy(src, dest)，src参数提供要复制的数据，因此它是“in”参数。

• 一个“Out”变量

“out”变量保存数据以供其他地方使用，在复制示例中，copy(src, dest)，dest参数接受数据，因此它是“out”参数。

当然，一些变量既用于“in”又用于“out”目的 — 该场景也在指南中解决。

在决定是否使用通配符以及适合使用哪种类型的通配符时，可以使用“in”和“out”原则，以下列表提供了遵循的准则：

• 使用extends关键字定义带有上界通配符的“in”变量。
• 使用super关键字定义带有下界通配符的“out”变量。
• 在可以使用Object类中定义的方法访问“in”变量的情况下，使用无界通配符。
• 在代码需要作为“in”和“out”变量访问变量的情况下，不要使用通配符。

这些指南不适用于方法的返回类型，应该避免使用通配符作为返回类型，因为它强制程序员使用代码来处理通配符。

由List<? extends ...>定义的列表可以非正式地认为是只读的，但这不是一个严格的保证，假设你有以下两个类：

class NaturalNumber {      private int i;      public NaturalNumber(int i) { this.i = i; }     // ... }  class EvenNumber extends NaturalNumber {      public EvenNumber(int i) { super(i); }     // ... }

考虑以下代码：

List<EvenNumber> le = new ArrayList<>(); List<? extends NaturalNumber> ln = le; ln.add(new NaturalNumber(35));  // compile-time error

因为List<EvenNumber>是List<? extends NaturalNumber>的子类型，你可以将le赋给ln，但是你不能使用ln将自然数添加到偶数列表中，以下列表中的操作是可能的：

• 你可以添加null。
• 你可以调用clear。
• 你可以获取迭代器并调用remove。
• 你可以捕获通配符并写入从列表中读取的元素。

你可以看到List<? extends NaturalNumber>定义的列表在严格意义上不是只读的，但你可能会这样想，因为你无法存储新元素或更改列表中的现有元素。

上一篇：泛型通配符捕获和Helper方法

下一篇：类型擦除