5.3 Java类型擦除

Java泛型是从JDK5引入的一个特性。它准许我们在定义类和接口的时候，使用类型参数。它在Java Collection框架中被广泛使用。类型擦除概念是泛型最令人困惑的部分之一。本文介绍它是什么，以及如何使用它。

1.常见错误

在以下示例中，方法accept接受Object列表作为参数。在main方法中，通过传递String列表来条用它，它工作吗？

public class Main {
    public static void main(String[] args) throws IOException {
        ArrayList<String> al = new ArrayList<String>();
        al.add("a");
        al.add("b");
 
        accept(al);
    }
 
    public static void accept(ArrayList<Object> al){
        for(Object o: al)
            System.out.println(o);
    }
}

它看起来很好，因为Object显然是String类型的父类。但是它不会工作。编译不会通过，并且在accept(al)行给你个错误：

The method accept(ArrayList < Object > ) in the type Main is not applicable for the arguments 
(ArrayList < String > )

2. List<Object> vs. List<String>

原因是类型擦除。记住： Java泛型在编译级别上实现。从编译器生成的字节码不包含用于运行时执行的通用的类型信息。
编译之后，对象列表和字符串列表都变成了List，Object和String类型对JVM是不可见的。在编译阶段，编译器发现它们是不一样，然后给出编译错误。

3.通配符和有界通配符

List< ? > - 可以包含任何类型的List

public static void main(String args[]) {
        ArrayList<Object> al = new ArrayList<Object>();
        al.add("abc");
        test(al);
    }
 
    public static void test(ArrayList<?> al){
        for(Object e: al){//no matter what type, it will be Object
            System.out.println(e);
// in this method, because we don't know what type ? is, we can not add anything to al. 
        }
    }

始终记住泛型是编译时的概念。在上面的例子中，由于我们不知道类型，所以我们不能添加任何东西，要使其工作，我们可以使用通配符。

List< Object > - List can contain Object or it's subtype

List< ? extends Number > -  List can contain Number or its subtypes.
List< ? super Number > - List can contain Number or its supertypes.

4.比较

现在我们知道，ArrayList<String> 不是ArrayList<Object>的子类型。作为比较，你应该知道，如果两个通用类型有相同的参数，它们的继承关系对于类型为真。例如，ArrayList<String>是Collection<String>的子类型。