为什么javac认为在泛型类上进行泛型返回的调用方法不安全？

Question

考虑以下代码：

public class Main {
    public static class NormalClass {
        public Class<Integer> method() {
            return Integer.class;
        }
    }

    public static class GenericClass<T> {
        public Class<Integer> method() {
            return Integer.class;
        }
    }

    public static void main(String... args) {
        NormalClass safeInstance = new NormalClass();
        Class<Integer> safeValue = safeInstance.method();

        GenericClass unsafeInstance = new GenericClass();
        Class<Integer> unsafeValue = unsafeInstance.method();
    }
}

如果我用以下命令编译它：

$ javac -Xlint:unchecked Main.java

它返回：

Main.java:16: warning: [unchecked] unchecked conversion
        Class<Integer> unsafeValue = unsafeInstance.method();
                                                          ^
  required: Class<Integer>
  found:    Class
1 warning

请注意，即使在返回类型上未引用任何泛型类型，也仅将泛型方法视为不安全。

这是一个javac错误吗？还是有一个更深层次的原因我没有考虑？

Answer 1

允许使用原始类型以确保与引入泛型之前编写的代码兼容。原始类型的工作原理是，仅从所有方法参数和返回类型中忽略 所有
类型信息，甚至与该类的类型参数无关的类型信息。正如您所发现的，这可能导致奇怪的结果。但这比这更奇怪。例如，此编译。

public class Main {

    public static class GenericClass<T> {
        public void foo(Class<Integer> clazz) {
        }
    }

    public static void main(String... args) {
        GenericClass unsafeInstance = new GenericClass();
        unsafeInstance.foo(String.class);
    }
}