对象到泛型类型转换的未检查警告的定义在哪里？

Question

JLS 5.1.9将未检查的转换定义如下：

让G用n个类型参数命名一个泛型类型声明。

从原始类或接口类型G到形式G的任何参数化类型都有未经检查的转换

从原始数组类型G[]到表单G的任何数组类型的转换是未经检查的

除非G，否则使用未经检查的转换会导致编译时未经检查的警告

据我所知，如果您将原始类型转换为具有有界类型参数的泛型类型，则会发生未检查的转换。

public class DoubleStar{

    public static void print(Object object){
       ((A<String>)object).print();
    }

    public static void main(String[] args){
        print(new Object());
    }
}

class A<T>{
    public void print(){
        System.out.print("HELLO");
    }
}

由于Object不是原始类型（AFAIK），为什么上面的代码应该生成未经检查的强制转换警告，以及定义这种行为的位置？




Answer 1

因为当你把一个对象投射到一个A

Answer 2

你看错了部分，这就是为什么在你的例子中它似乎没有意义。

您收到的警告是未经检查的强制类型。您正在查看未经检查的转换（相关）部分。

参见5.5.2"已检查的铸件和未检查的铸件"

从S型到T型的转换静态已知是正确的，当且仅当S

从类型S到参数化类型（§4.5）T的转换未经检查，除非至少满足以下条件之一：

• S

从类型S到类型变量T的转换不被选中，除非S

如果从|S|到|T|的转换静态已知正确，则从S到T的未检查转换完全未检查。否则，它部分未检查。

除非SuppressWarnings注释（§9.6.3.5）禁止，否则未经检查的强制转换会导致编译时未经检查的警告。

如果静态上不知道强制类型转换是正确的，并且没有取消选中，则会检查强制类型转换。

如果强制转换到引用类型不是编译时错误，则有以下几种情况：

• 施法静态已知是正确的。

不会对此类强制转换执行运行时操作。

• 演员阵容是完全不受约束的

不会对此类强制转换执行运行时操作。

• 演员表是部分未检查的演员表。

这种强制转换需要运行时有效性检查。检查的执行就像强制转换是在|S|和|T|之间进行的检查一样，如下所述。

• 演员阵容为格子型

这种强制转换需要运行时有效性检查。如果运行时的值为null，则允许强制转换。否则，让R是运行时引用值引用的对象的类，让T是强制转换运算符中命名的类型的擦除（§4.6）。强制转换必须在运行时通过§5.5.3中的算法检查类R是否与类型T兼容。

请注意，当这些规则首次应用于任何给定的强制转换时，R不能是接口，但如果规则是递归应用的，则R可能是接口，因为运行时引用值可能引用元素类型为接口类型的数组。