不兼容的通用通配符捕获

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();
    }
}

但是该C参数实际上是“无关”类型，只会使API复杂化，在保持类型安全的同时，有没有什么方法可以摆脱它呢？

谢谢。

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 and
put原理
（最初来自Java
Generics和Collections
）