嵌套通配符

Question

发现了有关使我烦恼的无限制通配符的事实。例如：

public class Test {

      private static final Map<Integer, Map<Integer, String>> someMap = new HashMap<>();

      public static void main(String[] args) {
         getSomeMap();
      }

      static Map<?, Map<?, ?>> getSomeMap() {
         return someMap;  //compilation fails
      }
}

尽管可以使用Map<?, ?>或Map<?, Map<Integer, String>>返回类型，但失败。

有人可以告诉我确切原因吗？提前致谢。

更新资料

我认为，对于此问题，我似乎理解并最简单的解释（忽略所有这些复杂的规则）是Capture
Conversion（link）中的最后一个注释：Capture conversion is not applied recursively.

Answer 1

了解通配符类型的含义很重要。

您已经了解了，您可以将您Map<Integer, Map<Integer, String>>的Map<?, ?>as Map<?, ?>隐式指定为任意类型，而对于任何可能引用了声明的type的人来说都是未知的Map<?, ?>。因此，您可以将 任何 地图分配给Map<?, ?>。

相反，如果你有一个Map<?, Map<?, ?>>它有一个未知的密钥类型，但值类型是 不
知道。它的Map<?,?>类型，还记得上面的信息，可以与被分配 任何 地图。

因此，以下代码是合法的：

Map<?, Map<?, ?>> map=new HashMap<>();
map.put(null, Collections.<String,String>singletonMap("foo", "bar"));
map.put(null, Collections.<Double,Integer>singletonMap(42.0, 1000));
map.put(null, Collections.<Object,Boolean>singletonMap(false, true));

在这里，我们放置了一个null键，因为对于键，我们put什么都做不到，而是将任意类型的映射作为值，因为这就是值类型的Map<?, ?>含义：可以从任意映射中分配值。注意，通过遍历条目，我们还可以将具有非null键的其他条目设置为任意映射。

因此，我非常确定您不希望将您的分配Map<Integer, Map<Integer, String>>给a Map<?, Map<?, ?>>并在以后发现不Map<Integer, String>作为值的任意映射，并且您很高兴编译器不允许这样做。

您实际要做的是将地图分配给键和值类型都未知的类型，但仍然告诉您值是地图：

Map<Integer, Map<Integer, String>> someMap = new HashMap<>();
Map<?, ? extends Map<?, ?>> map=someMap;

在通用类型系统中，它Map<Integer, String>是的子类型，Map<?, ?>因此您可以将其分配给Map<?, ?>和? extends Map<?, ?>。此子类型关系与Stringto
的关系没有不同Object。您可以将任何值分配给String类型的变量，Object但是如果您有一个Map<?,String>，则不能将其分配给，Map<?,Object>而只能Map<?, ? extends Object>由于相同的原因：映射应继续包含Strings作为值，而不是接收任意对象。

请注意，您可以解决此限制。你可以说：

Map<Integer, Map<Integer, String>> someMap = new HashMap<>();
Map<?, Map<?, ?>> map=Collections.unmodifiableMap(someMap);

由于返回的映射unmodifiableMap不允许进行任何修改，因此可以扩展键和值类型。Map<?, ?>查询映射时，包含的值具有指定的类型（即），但是尝试放入任意映射值（尽管编译器未拒绝），但将在运行时拒绝。