为何Java编译器不对raw = test3赋值语句抛出unchecked警告？

先看这个简单的泛型类：

class GenericTest<T> {
    T t;
    GenericTest(T t) {
        this.t = t;
    }
}

我创建了该类的多个实例，其中一个是原始类型（raw type）：

class App {
    public static void main(String[] args) {
        GenericTest<String> test1 = new GenericTest<>("Test 1");
        GenericTest<String> test2 = new GenericTest<>("Test 2");
        GenericTest<String> test3 = new GenericTest<>("Test 3");

        GenericTest raw = new GenericTest(1.0); // 第19行

        test1 = raw; // 第21行
        test2 = raw; // 第22行
        raw = test3; // 第23行
    }
}

编译时，编译器针对以下行给出3条警告：

App.java:19: warning: [unchecked] unchecked call to GenericTest(T) as a member of the raw type GenericTest
App.java:21: warning: [unchecked] unchecked conversion
App.java:22: warning: [unchecked] unchecked conversion

我的问题是：为什么编译器不对第三条赋值语句raw = test3;给出警告？

有人可能会说：因为这个操作没有造成比已发生情况更严重的类型安全损失。

• 但test2 = raw;（第22行）也符合这个逻辑，按此说法也不该给出警告，毕竟它没有比第21行带来更多类型安全问题。

解答 #

Java泛型的警告规则核心是防范“将非预期类型赋值给泛型变量”带来的类型安全风险：

1. 第19行的警告：创建原始类型实例时，编译器无法验证构造参数的类型是否符合未来可能的泛型参数，因此触发未检查调用警告。
2. 第21、22行的警告：把原始类型raw赋值给带具体泛型参数的GenericTest<String>变量时，编译器无法保证raw内部的t是String类型，这种赋值会埋下类型转换异常的隐患（比如后续调用test1.t时，实际是Double类型却被当作String使用），所以每次这类赋值都会触发未检查转换警告——哪怕之前已经有过一次同样的操作，每一次赋值都是独立的风险点。
3. 第23行无警告：把带具体泛型参数的GenericTest<String>赋值给原始类型变量时，本质是主动放弃泛型类型检查，但这个操作不会引入新的类型安全风险——原始类型本身就不做任何泛型校验，就算你把GenericTest<String>赋值给它，后续使用raw时依然是无类型检查的状态，没有比之前使用原始类型带来更多风险。

内容的提问来源于stack exchange，提问作者Mehdi Rahimi