嵌套通配符

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

您已经了解了，您可以将您

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<?, ?>

。此子类型关系与

String

to
的关系没有不同

Object

。您可以将任何值分配给

String

类型的变量，

Object

但是如果您有一个

Map<?,String>

，则不能将其分配给，

Map<?,Object>

而只能

Map<?,? extends Object>

由于相同的原因：映射应继续包含

String

s作为值，而不是接收任意对象。

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

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

由于返回的映射

unmodifiableMap

不允许进行任何修改，因此可以扩展键和值类型。

Map<?,?>

查询映射时，包含的值具有指定的类型（即），但是尝试放入任意映射值（尽管编译器未拒绝），但将在运行时拒绝。