2

我调查一般行为

我注意到：

public class Hohol1 {
    public class My<T> {
        public <E> void test(Collection<E> es) { System.out.println("Collection<E>");
        }

        public void test(List<Integer> integerList) {
            System.out.println("List<Integer>");
            for (Integer integer : integerList) {
                System.out.println(integer);
            }
        }
    }

    public static void main(String[] args) {
        My my1 = new Hohol1().new My();
        my1.test(new ArrayList<String>() { {add("1");} });
    }
}

上面的代码返回

Exception in thread "main" java.lang.ClassCastException: java.lang.String cannot be cast to java.lang.Integer
    at GenericsTest.Hohol1$My.test(Hohol1.java:22)
    at GenericsTest.Hohol1.main(Hohol1.java:31)
    at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
    at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:57)
    at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
    at java.lang.reflect.Method.invoke(Method.java:606)
    at com.intellij.rt.execution.application.AppMain.main(AppMain.java:120)

但是，如果我使My非泛型如此

  public class Hohol1 {
        public class My/*deleted generic type T*/ {
             ....
        }
     }

此代码返回Collection<E>

这对我来说是令人惊讶的行为，我不明白为什么会这样。

你怎么看待这件事？

PS我对简洁使用双括号初始化

4

1 回答 1

3

首先，当您使用内部类的原始形式时，类My中的所有内容，包括不相关的指定类型参数（例如方法参数List<Integer> integerList）都如同它们自己的类型擦除已到位，例如List integerList.

ArrayList但是，您传入 s 的（实际上只是一个ArrayList）的匿名子类String。适用的最具体的方法是test(List<Integer> integerList)，因为它被视为List，您ArrayList当然是。一切仍然运行，直到for尝试打印Integers 的增强循环，但它不能将 a 转换为 a String，"1"所以Integer你得到ClassCastException.

但是如果你做My非泛型，那么参数的类型integerList不会被删除。然后编译器可以看到List<Integer>不匹配，但Collection<E>匹配，所以test(Collection<E> es)匹配并被"Collection<E>"打印。

原因在JLS 第 4.8 节中指定：

更准确地说，原始类型被定义为以下之一：

  • 通过采用泛型类型声明的名称而不附带类型参数列表形成的引用类型。

...

和

未从其超类或超接口继承的原始类型 C 的构造函数（第 8.8 节）、实例方法（第 8.4 节、第 9.4 节）或非静态字段（第 8.3 节）的类型是对应的原始类型在对应于 C 的泛型声明中擦除其类型。

也给出了理由：

仅允许使用原始类型作为对遗留代码兼容性的让步。强烈反对在将泛型引入 Java 编程语言之后编写的代码中使用原始类型。Java 编程语言的未来版本可能不允许使用原始类型。

于 2014-03-10T17:48:01.950 回答