Java 泛型之类型擦除和通配符PECS原则

类型擦除

泛型是Java 5才引入的特性，在这之前，并没有泛型，所以Java的泛型和C++的不一样，是通过类型擦除来实现，是伪泛型，这可能为了兼容之前的版本，做出的无奈之举吧。

那么，什么是类型擦除？举个例子：

public class Test {

    public static void main(String[] args) {

        ArrayList list1 = new ArrayList();
        list1.add("abc");

        ArrayList list2 = new ArrayList();
        list2.add(123);

        System.out.println(list1.getClass() == list2.getClass());
    }
}
/**
输出：
    true
*/

在这个例子中，我们分别定义了两个ArrayList集合，一个是ArrayList，只能存储字符串；一个是ArrayList，只能存储整数，然后我们通过getClass()获取它们的类的信息，并进行比较，发现为true。这说明泛型类型String和Integer在编译期间都被擦除掉了，只剩下原始类型。

原始类型：就是擦除了泛型信息，最后在字节码中的真正的类型，类型参数会擦除到它的第一个边界，并使用其限定类型（无限定的变量用Object）替换。

例如：

class Apple {  
    private T value;  
    public T getValue() {  
        return value;  
    }  
    public void setValue(T  value) {  
        this.value = value;  
    }  
}

类型擦除后：

class Apple {  
    private Object value;  
    public Object getValue() {  
        return value;  
    }  
    public void setValue(Object  value) {  
        this.value = value;  
    }  
}

因为在Apple中，T是一个无限定的类型变量，所以用Object替换。如果类型变量T有限定，那么原始类型就是用第一个边界的类型变量替换。

比如：Apple类这样声明的话

public class Apple {}

那么原始类型就是Comparable。

通配符

先来看一段代码：

public static void main(String[] args) {
    // 编译报错
    // required ArrayList, found ArrayList
    List list1 = new ArrayList<>();
    List list2 = list1;

    // 可以正常通过编译,正常使用
    Integer[] arr1 = new Integer[]{1, 2};
    Number[] arr2 = arr1;
}

你可能会疑问，为什么数组可以进行类似向上转型的操作，而泛型不可以，这是因为Java中泛型是不变的，而数组是协变的。

因为数组是协变的，所以只要java中的A类是B类的父类，那么A[] a = new B[]；

泛型是不变的，并且泛型会在编译期间会进行类型擦除，所以List和List是并列的关系，不存在子父类关系，那么如果想让泛型也可以协变起来，那该怎么办呢？这个时候，就需要用到我们的通配符了。

在Java中，?表示通配符。

Java泛型中，经常能看见T、E、K、V这些类型参数变量，这些都表示具体的一个Java类型，而?表示不确定的Java类型。List可以看成是List