未选中的 Cast 警告 - 显示类型参数但不显示具体类型？

Question

考虑以下片段：

        Integer a = Integer.valueOf(23);
        Double d = (Double) (Number) a; //not unchecked cast


        List<String> stringList = new ArrayList<>();
        List<Integer> integerList = (List<Integer>)(List<?>)stringList; //unchecked cast

• 据我了解 - 每当我们转换Supertype -> Subtype Unchecked cast 被标记为编译器直到运行时才知道Supertype表示的类型是否与SubType匹配。
• 然后在这里 - 为什么(Double) (Number)a没有被标记为Unchecked Cast ？

Answer 1

未经检查的强制转换被标记为编译器直到运行时才知道Supertype表示的类型是否与SubType匹配。

那是不正确的。 甚至运行时都不知道您的列表是ArrayList<String>还是ArrayList<Integer> 。 就运行时而言，您的列表是一个ArrayList （这是因为类型擦除）。 这就是运行时无法检查将List<?>转换为List<String>的原因。 运行时不知道List<String>是什么——它只知道List 。 对于运行时，不需要检查，因为您只是从List到List ，这总是成功的。 事实上，在运行时没有为这个强制转换做任何事情——它是一个完全未经检查的强制转换。

因此，此代码运行时不会引发异常：

List<String> stringList = new ArrayList<>();
stringList.add("foo");
List<Integer> integerList = (List<Integer>)(List<?>)stringList;
System.out.println(integerList.size());

但是，如果您这样做，它将引发异常：

List<String> stringList = new ArrayList<>();
stringList.add("foo");
List<Integer> integerList = (List<Integer>)(List<?>)stringList;
System.out.println(integerList.get(0) - 1);

现在，您正在从列表中获取一个整数，并对它执行一些特定于整数的操作。 但是列表包含"foo" ，它不是整数。 编译器插入一个隐式转换来将integerList.get(0)为Integer ，并且转换失败。 请注意，这是一个已检查的强制转换，因为运行时知道Integer类型。

还会检查从Number到Double ，因为运行时知道Double 。

旁注：还有“部分未经检查的强制转换”，例如从Object强制转换为ArrayList<String> 。 运行时可以检查Object是否为ArrayList ，但无法检查它是否为字符串数组列表。

在此处查看已检查和未检查的所有规则。