java - 未经检查强制转换为实现 Map<String, V> 的泛型类

Question

我试图理解为什么这段代码有一个未经检查的转换警告。前两个转换没有警告，但第三个有:

class StringMap<V> extends HashMap<String, V> {
}

class StringToIntegerMap extends HashMap<String, Integer> {
}

Map<?, ?> map1 = new StringToIntegerMap();
if (map1 instanceof StringToIntegerMap) {
    StringToIntegerMap stringMap1 = (StringToIntegerMap)map1; //no unchecked cast warning
}

Map<String, Integer> map2 = new StringMap<>();
if (map2 instanceof StringMap) {
    StringMap<Integer> stringMap2 = (StringMap<Integer>)map2; //no unchecked cast warning
}

Map<?, Integer> map3 = new StringMap<>();
if (map3 instanceof StringMap) {
    StringMap<Integer> stringMap3 = (StringMap<Integer>)map3; //unchecked cast warning
}

这是 stringMap3 的完整警告 Actor :

Type safety: Unchecked cast from Map<capture#3-of ?,Integer> to StringMap<Integer>

然而，StringMap类声明指定了 Map 的第一个类型参数(即 String )，两者都是 map3和 StringMap<Integer> cast 对 Map 的第二个类型参数使用相同的类型(即 Integer )。据我了解，只要 Actor 不抛出 ClassCastException (不应该，因为有一个 instanceof 检查)，stringMap3将是一个有效的 Map<String, Integer> .

这是 Java 编译器的限制吗？或者是否存在这样一种情况，即使用某些参数调用 map3 或 stringMap3 的方法可能会导致意外的 ClassCastException如果警告被忽略？

Answer 1

行为如指定的那样。在 Section 5.5.2 of the Java Language Specification未经检查的类型转换定义为:

A cast from a type S to a parameterized type T is unchecked unless at least one of the following is true:

• S <: T

• All of the type arguments of T are unbounded wildcards

• T <: S and S has no subtype X other than T where the type arguments of X are not contained in the type arguments of T.

(其中 A <: B 表示:“A 是 B 的子类型”)。

在您的第一个示例中，目标类型没有通配符(因此它们都是无界的)。在你的第二个例子中，StringMap<Integer>实际上是 Map<String, Integer> 的子类型(并且没有第三个条件中提到的子类型X)。

但是，在您的第三个示例中，您有一个来自 Map<?, Integer> 的类型转换至 StringMap<Integer> , 并且, 因为通配符 ? , 两者都不是另一个的子类型。另外，很明显，并非所有类型参数都是无限通配符，因此所有条件都不适用:这是一个未经检查的异常。

如果代码中出现未经检查的转换，则需要符合标准的 Java 编译器发出警告。

和您一样，我没有看到强制转换无效的任何情况，因此您可以争辩说这是 Java 编译器的限制，但至少它是一个指定的限制。