应兼容得通配符类型不兼容[重复]

Question

以下是这个问题，它提供了一个解决方案，但没有解释它（不幸的是，答案中的链接现在没有了）：

void method(Map<?, ?> myMap) {
    Set<Map.Entry<?, ?>> set = myMap.entrySet();
    ...
}

incompatible types
required: java.util.Set<java.util.Map.Entry<?,?>>
found:    java.util.Set<java.util.Map.Entry<capture#1 of ?,capture#2 of ?>>

void method(Map<?, ?> myMap) {
    Set<? extends Map.Entry<?, ?>> set = myMap.entrySet();
    ...
}

WTF？？？在映射<？,？>上调用EntrySet返回一个set > ，该set > 不能赋值给类型为set > 的变量，但可以赋值给类型为set > 的变量？扩展Map.Entry >？？？？？

有人能说说这是怎么回事吗？这是否意味着，每当我使用至少2层深度的通配符类型编写方法时，我都必须记住将其设置为？扩展...在什么地方？

Answer 1

每一个？可以独立变化，因此不能保证mymap声明中的<？,？>与set声明中的<？,？>匹配。

这意味着，一旦我有了集 ，我就可以将任何类型的map放入该集，因为map<？,？>是所有类型的map的超类型。但这不是set > （例如）所具有的属性--它对我可以放入的映射类型的限制要大得多。因此set > 不是set > 的超类型。但是mymap.entrySet()可以很容易地成为set ，这取决于mymap是什么。所以编译器必须禁止我们将它赋值给set > 类型的变量，这就是发生的事情。

另一方面，集<？extends map<？,？>是set 的超类型，因为map 是map<？,？>的子类型。因此，可以将mymap.entrySet()赋值给set<类型的变量吗？扩展映射<？,？>>。

请注意，这里的string和integer没有什么特别之处，但是mymap必须是某个东西的映射！

你可以写

<K, V> void method(Map<K, V> myMap) {
    Set<Map.Entry<K, V>> set = myMap.entrySet();
    ...