通配符使用指南

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

出于本讨论的目的，将变量视为提供两个函数之一是有帮助的：

一个 "In" 变量

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

一个 "Out" 变量

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

当然，一些变量既用于 "in" 又用于 "out" 目的 - 该方案也在指南中解决。

在决定是否使用通配符以及适合使用哪种类型的通配符时，可以使用 "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> 在严格意义上不是只读的，但你可能会这样认为，因为你无法存储新元素或更改列表中的现有元素。