上限通配符、迭代器和 for-each 循环

Question

我不明白为什么这段代码会编译：

public void test(Collection<? extends Enum> enumCollection) {
    for (Enum e : enumCollection) {
    }
}

而这个没有：

public void test(Collection<? extends Enum> enumCollection) {
    Iterator<Enum> iterator = enumCollection.iterator();
    //Required: Iterator<Java.lang.Enum>
    //Found: Iterator<capture<? extends Java.lang.Enum>>
}

? extends Enum 在所有情况下都应该是Enum 的子类型，那么为什么我会收到迭代器的编译错误以及为什么它可以与 for-each 循环一起使用？

Answer 1

我经常发现这句格言如果你需要使用？在您的泛型中，您可能做错了什么适用。

这很好用：

public <T extends Enum<T>> void test(Collection<T> enumCollection) {
    for (Enum e : enumCollection) {
    }
    Iterator<T> iterator = enumCollection.iterator();
}

您的问题是您希望泛型像普通代码一样运行，其中ArrayList 也是List。它不是为此而设计的。泛型是为了确保您使用的是相同的类型，而不是只是一些兼容的类型。

在您的情况下 - 匹配 ? extends Enum 您可以使用：

    Iterator<?> iterator = enumCollection.iterator();

效果很好。

您的类型不匹配 - 泛型可以确保它们匹配。

请记住，? 并不意味着 我不在乎它是什么类型它意味着 我不想知道它是什么类型。在泛型类型中使用? 然后期望能够使用该类型是愚蠢的。

Answer 2

关于for循环，根据JLS 14.14.2，代码如下：

public void test(Collection<? extends Enum> enumCollection) {
    for (Enum e : enumCollection) {
    }
}

会被翻译成这样的：

public <T extends Enum> void test(Collection<T> enumCollection) {
    for (Iterator<T> iterator = enumCollection.iterator(); iterator.hasNext();) {
        Enum e = (T) iterator.next();
    }
}

编译没有问题。如您所见，您永远不会直接拥有Iterator<Enum>，而是您所说的Iterator 是您集合中元素的类型。

JLS 的相关部分是：

如果 Expression 的类型是某个类型参数 X 的 Iterable 的子类型，那么让 I 为 java.util.Iterator 类型；否则，让我成为原始类型 java.util.Iterator。

Enum 变量中的存储仅针对每个相关的元素进行。