与有界通配符相关的编译器错误

Question

Map <? extends String, ? extends Integer> m = null;
Set<Map.Entry<? extends String, ? extends Integer>> s = m.entrySet();

s的类型应该是什么？Eclipse建议使用set<？>，但我试图获得更具体的信息。

Answer 1

这个问题在这个旧的Apache线程中解决：

问题是entrySet()方法返回的是set > 与类型集 > 。如果我删除extendsk和extendsv部分，就更容易描述为什么。因此，我们有集 和集 。

第一个set 是一组不同类型的map.entry-即它是一个异构集合。它可以包含一个map.entry 和一个map.entry > 以及任何其他类型对，它们都在同一个集合中。

另一方面，set > 是相同（尽管未知）类型对的同质集合。例如，它可能是set ，因此集合中的所有条目都必须是map.entry 。

问题的关键是顶级通配符捕获，这意味着它们本质上是一次性类型参数。相反，嵌套通配符不能捕获，并且有一些不同的含义。

因此，为了简单起见，删除边界，声明

Map<?, ?> m;

Set<Map.Entry<?, ?>> s;

一种解决方法是使用捕获帮助器方法，它利用了可以嵌套形式类型参数的事实：

private <K extends String, V extends Integer> void help(final Map<K, V> map) {
    final Set<Map.Entry<K, V>> entries = map.entrySet();
    // logic
}

...

Map<? extends String, ? extends Integer> m = null;
help(m);

这是一个虚构的示例，因为string和integer都是final，但它展示了概念。

下面是一个更简单的解决方法：

Set<? extends Map.Entry<? extends String, ? extends Integer>> s = m.entrySet();