Java泛型类型擦除方法参数

Question

我是从Joshua Bloch的google I / O困惑者演讲中得到的。这是代码

 public class Glommer<T> {
      String glom(Collection<?> obj){
         String result = "";
         for(Object o : obj){
              result += o;
         }
         return result;
      }

      int glom(List<Integer> ints){
           int result = 0;
           for(int i : ints){
                result += i;
           }
           return result;
       }

      public static void main(String args[]){
           List<String> strings = Arrays.asList("1", "2", "3");
           System.out.println(new Glommer().glom(strings));
      }

这个main方法会引发异常，因为new Glommer它是原始类型，因此in中的所有泛型都将Glommer被删除，因此最终调用int glom(List<Integer> ints)而不是String glom(Collection<?> obj)。

我的问题是，即使我打电话glom()是new Glommer<Integer>().glom(strings)不是应该把它调用的int glom(List<Integer> ints)方法，因为由于类型擦除，这种方法是有效的int glom(List ints)并且strings是类型的List不是Collection？

Answer 1

被调用的方法是在编译时定义的，而不是在运行时定义的。

如果在构造函数调用中添加参数，则编译器将具有足够的信息来知道它必须调用第一个方法。否则，就好像泛型不存在一样。在这两种情况下，被调用的方法在运行时将始终保持不变。

编辑有些人似乎对此表示怀疑，所以这是另一个例子：

public class Test {

    private static void test(Object object) {
        System.out.println("Object method");
    }

    private static void test(Integer integer) {
        System.out.println("Integer method");
    }

    public static void main(String[] args) {
        Object object = Integer.valueOf(0);
        test(object);
    }

}

结果是：

Object method

您将Integer传递给方法，但是编译器在编译时所知道的只是它是一个对象。即使对象实际上是整数，jvm也不会自动更改方法调用。