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

继从这个问题 https://stackoverflow.com/questions/4459587/incompatible-generic-wildcard-captures，它提供了一个解决方案，但没有解释它（不幸的是，答案中的链接现在已失效）：

采取以下方法：

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

很简单，不是吗？但是，在 jdk1.7.0_25 上编译失败：

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

WTF? Map.entrySet()被指定为返回类型的对象Set<Map.Entry<K, V>>，所以在上面的例子中，myMap.entrySet()返回一个Set<Map.Entry<?, ?>>。但它无法编译！

更奇怪的是，从顶部的链接问题来看，将方法更改为这样可以使其编译：

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

WTF???呼唤entrySet on a Map<?, ?>返回一个Set<Map.Entry<K, V>>，不能分配给类型的变量Set<Map.Entry<K, V>>，但它可以是类型变量Set<? extends Map.Entry<K, V>>?????

任何人都可以阐明这里发生的事情吗？这是否意味着，每当我使用通配符类型编写至少 2 级深度的方法时，我必须记住使其? extends ...某处？

其中每一个？可以独立变化，所以不能保证<?,?>在声明中myMap匹配<?,?>在声明中set.

这意味着一旦我有了Set<Map<?,?>>，我可以把any类型Map进入该集合，因为Map<?,?>是所有类型的超类型Map。但这不是一个财产Set<Map<String,Integer>>（例如）有-就我可以放入其中的地图类型而言，它的限制性要大得多。所以Set<Map<?,?>>不是 的超类型Set<Map<String,Integer>>. But myMap.entrySet()很容易成为Set<Map<String,Integer>>，取决于什么myMap是。所以编译器必须禁止我们将它分配给类型的变量Set<Map<?,?>>，这就是正在发生的事情。

另一方面，Set<? extends Map<?,?>> is的超类型Set<Map<String,Integer>>， 因为Map<String,Integer>是一个子类型Map<?,?>。所以赋值就OK了myMap.entrySet()到一个类型的变量Set<? extends Map<?,?>>.

请注意，没有什么特别的String and Integer在这里，但是myMap必须是一张地图某物！

你可以写

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