java - 为什么这个通配符有效？

Question

我对这段代码感到困惑，它应该不起作用(我猜)，但它似乎可以正常工作。

当我输入 <T>在 Person 类旁边，Arraylist 中的通配符并不像定义的那样运行，在下面的代码中，通配符应该只适用于 super。 Person 类，但带有 <T>在类 Person 旁边，它接受所有种类的类型(在这个例子中它是 String )。并且为了使它起作用，Human 在定义时不应具有指定的类型。这是代码:

import java.util.ArrayList;

public class Person {
    public static void main(String[] args) {
        Human h = new Human();
        h.al(new ArrayList<String>()); // this should give an error no ?
    }
}

class Human<T>{ //Human is a generic class, but above I created an instance without specifying the T
    public void al(ArrayList<? super Person> a){ //the type passed should be a super of Person

    }
}

谢谢你:)

Answer 1

这在 Java 泛型常见问题解答中得到了回答:Can I use a raw type like any other type?

答案是:

Methods or constructors of a raw type have the signature that they would have after type erasure.

在英语中，这意味着因为您将h 声明为原始类型Human，所以编译器将执行type erasure。 h 和 al 方法的有效签名实际上是类型删除之后的签名!因此，就编译器而言，您的代码是健全的。

另请参阅此问题的答案:Java generics - type erasure - when and what happens更多示例。

维基百科也有一个很好的部分介绍 Problems with Type erasures这可能很难捕捉。

更新

下面的代码片段将在运行时抛出 ClassCastException。

import java.util.ArrayList;
import java.util.Iterator;

class Human<T>{
  public void al(ArrayList<? super Person> a){
    Iterator<? super Person> iter = a.iterator();
    while (iter.hasNext()) {
      Person h = (Person) iter.next(); // unsafe cast
    }
  }
}

public class Person {
  public static void main(String[] args) {
    Human h = new Human();

    ArrayList<String> arr = new ArrayList<String>();
    arr.add("deadbeef");

    h.al(arr); // valid, since h is raw
  }
}