generics - 奇怪的JDK行为，它应该编译吗？

Question

import java.util.*;

public class Main <T> {

    public void guru(List<Integer> list) {
        System.out.println("INteger");
   }

    public static void main(String[] args) {
        List<String> list = new ArrayList<String>();
        new Main().guru(list);
    }
}

在我看来，调用

guru(List<String>); //no type erasure during compiling...

应该会导致编译失败。

如果我们使用以下方法创建对象，就会发生这种情况：

new Main<Integer>() //or any other type

谁能告诉我这里发生了什么？那是JDK中的错误或实例化没有参数的参数化对象可能会导致此类问题，为什么？

如果我们将 Main 定义更改为：

public class Main {

编译失败，正如预期的那样。

Answer 1

问题在这里：

new Main().guru(list);
       ^^^^

您使用Main（没有泛型）的原始版本，因此会忽略所有泛型信息。你应该得到一个编译器警告。

如果你试试：

new Main<SomeType>().guru(list);

你应该得到一个编译错误。

更准确地说，当使用原始类型时new Main()，会执行类型擦除，这不仅会擦除类型本身的泛型信息，还会擦除其方法中的通用信息：

原始类型 C [...] 的构造函数（第 8.8 节）、实例方法（第 8.4 节、第 9.4 节）或非静态字段（第 8.3 节）的类型是对应于擦除的原始类型它在对应于 C 的泛型声明中的类型。