java泛型总结之二

代码github地址

泛型不是协变的，数组与集合类之间的区别##

虽然将集合看作是数组的抽象会有所帮助，但是数组还有一些集合不具备的特殊性质。Java 语言中的数组是协变的（covariant），也就是说，如果 Integer扩展了 Number（事实也是如此），那么不仅 Integer是 Number，而且 Integer[]也是 Number[]，在要求 Number[]的地方完全可以传递或者赋予 Integer[]。（更正式地说，如果 Number是 Integer的超类型，那么 Number[]也是 Integer[]的超类型）。

    Integer [] intArray = new Integer[10];
    intArray[0] = 10;
    Number[] numArray = intArray;

    numArray[2] = 3;
    numArray[1] = 2.5f;   // java.lang.ArrayStoreException: java.lang.Float 编译不通过，因为intArray类型为Integer
    System.out.println("numArray[2] = " + numArray[2]);
    System.out.println("numArray[0] = " + numArray[0] + "; numArray[1] = " + numArray[1]);

您也许认为这一原理同样适用于泛型类型 —— List是 List的超类型，那么可以在需要 List的地方传递 List。不幸的是，情况并非如此。
不允许这样做有一个很充分的理由：这样做将破坏要提供的类型安全泛型。如果能够将 List赋给 List。那么下面的代码就允许将非 Integer的内容放入 List：

List li = new ArrayList(); 
List ln = li; // illegal 
ln.add(new Float(3.1415));

因为 ln是 List，所以向其添加 Float似乎是完全合法的。但是如果 ln是 li的别名，那么这就破坏了蕴含在 li定义中的类型安全承诺 —— 它是一个整数列表，这就是泛型类型不能协变的原因。

一个常见错误##

import java.util.ArrayList;

/**
 * Created by shun on 2017/8/31.
 */
public class ErasureProblem {
    public static void main(String[] args) {
        ArrayList al = new ArrayList();
        al.add("a");
        al.add("b");
        // accept(al); //编译不过
    }

    public static void accept(ArrayList