《Effective java》读书记录-第25条-列表优先于数组

1、数组是协变的(convariant)，如果Sub是Super的子类型，那么数组类型Sub[]就是Super[]的子类型。

      泛型确实不可变的，List<Sub>不是List<Super>的子类型。

2、数组是具体化的(reified)，因此数组在运行时才知道并检查它们的元素类型约束。

      泛型则是通过擦除(erasure)来实现，因此泛型只在编译时强化它们的类型信息，并在运行时丢弃（或者擦除）它们的元素类型约束。擦除就是使泛型可以与没有使用泛型的代码随意进行互用(见第23条)。

        Object[] obs=new Long[1];
        obs[0]="asdadasda";

        List<Object> list=new ArrayList<Long>();
        list.add("212asdasda");

因为这些根本的区别，数组和泛型不能很好地混合使用。创建泛型、 参数化类型或者类型参数的数组都是非法的，这些在编译时都会导致一个generic array creation(泛型数组创建)错误。 

为什么创建泛型数组是非法的？
因为它不是类型安全的。要是它合法，编译器在其他正确的程序中发生的转换就会在运行时失败，并出现一个ClassCastException异常。这就违背了泛型系统提供的基本保证。
分析以下代码：

List<String>[] stringLists=new List<String>[1];//创建一个泛型数组，假设合法
        List<Integer> intList= Arrays.asList(42);//创建并初始化一个包含单个元素的List<Integer>
        Object[] objects=stringLists;//将List<String>数组保存到一个Object数组变量中，这是合法的，因为数组和协变的。
        objects[0]=intList;//将List<Integer>保存到Object数组里唯一的元素中，这是可以的，因为泛型是通过擦除实现的。
        String s=stringLists[0].get(0);//我们从这个数组里唯一的列表中获取唯一的元素，编译器会自动地获取到元素转换成String，但它是一个Integer，因此，我们在运行时得到一个ClassCastException。
        //为了防止这种情况(创建泛型数组)，第一行就产生了一个编译时错误。

数组和泛型有两个重要的不同点。从技术的角度来说，像E、List和List这样的类型应称作不可具体化的(nonreifiable)类型(不可具体化类型是指其运行时表示法包含的信息比它编译时表示法包含的信息更少的类型)。唯一可具体化(reifiable)的参数化类型是无限制的通配符类型,如List<?>,Map<?,?>。虽然不常用，但是创建无限制通配类型的数组是合法的。

List<?>[] stringLists=new List<?>[1];//是合法的

数组和泛型有着非常不同的类型规则。数组是协变且可以具体化的；泛型是不可变的且可以被擦除的。因此，数组提供了运行时的类型安全，但是没有编译时的类型安全，反之，对于泛型也一样。一般来说，数组和泛型不能很好地混合使用。如果你发现自己将它们混合起来使用，并且得到了编译时错误或者警告，你的第一反应就应该是用列表代替数组。