不兼容的通用通配符捕获

Question

在以下代码片段中：

package test;

import java.util.Collection;
import java.util.Iterator;
import java.util.Map;

public class WildcardsTest<K, V> {
    private Iterator<Map.Entry<K, ? extends Collection<V>>> iterator;
    public WildcardsTest(Map<K, ? extends Collection<V>> map) {
        iterator = map.entrySet().iterator();
        /* Type mismatch: cannot convert from
           Iterator<Map.Entry<K,capture#1-of ? extends Collection<V>>> to
           Iterator<Map.Entry<K,? extends Collection<V>>> */
    }
}

尽管类型似乎完全匹配，但分配不正确。

我设计了一个肮脏的解决方法，将 Collection 的类型指定为另一个泛型参数，如下所示

public class WildcardsTest<K, V, C extends Collection<V>> {
    private Iterator<Map.Entry<K, C>> iterator;
    public WildcardsTest(Map<K, C> map) {
        iterator = map.entrySet().iterator();
    }
}

：有什么方法可以在保持类型安全的同时摆脱它吗？

谢谢。

Answer 1

这样做，它会工作：

private final Iterator<? extends
    Map.Entry<K, ? extends Collection<V>>
> iterator;

您仍然可以像这样使用迭代器：

public void foo(){
    while(iterator.hasNext()){
        Entry<K, ? extends Collection<V>> entry = iterator.next();
        Collection<V> value = entry.getValue();
    }
}

作为参考，请阅读 get 和 put 原则（最初来自 Java 泛型和集合）

Answer 2

尽管类型看起来完全匹配，但分配不正确。

两个 ? 通配符可以绑定到两个不同的类。这样说，很明显存在类型不匹配：

private Iterator<Map.Entry<K, ArrayList<V>>> iterator;
public WildcardsTest(Map<K, HashSet<V>> map) {
    iterator = map.entrySet().iterator();
}

当您引入C时，您“强迫它们”引用同一个类。