为什么Java编译器在构造函数实例化中失去了对泛型类型的跟踪？[副本]

Question

给定一个泛型类Test 和一个采用泛型参数public Test(class clazz){} 的class的构造函数，编译器为什么不能正确推断构造函数实例化new Test(string.class)的泛型类型

这是什么原因？编译器使用静态工厂方法推断出正确的类型：

test.java

class Test<T> {
    public Test(Class<T> clazz) {}

    public static <C> Test<C> create(Class<C> clazz) {
        return new Test<>(clazz);
    }
}

Test<Integer> y = new Test(String.class); // works fine at both compile time and runtime, runtime error occurs when calling another method that relies on the generic type parameter

//Test<Integer> x = Test.create(String.class); // does not compile

Answer 1

正如Joop Eggen在他的评论中提到的，问题是在实例化测试类时省略了diamond运算符<>而使用了raw类型

//Test<Integer> y = new Test<>(String.class); // doesn't compile
//Test<Integer> y = new Test<String>(String.class); // doesn't compile

Test<String> y = new Test<>(String.class); // compiles with correct types

原始类型文档