第二十八条：列表优于数组

列表和数组的两个区别：

1、数组是协变的，而泛型则是可变的

协变的意思就是，对于数组，如果 Sub 为 Super 的子类型，那么数组类型 Su[]就是Super[]的子类型。而泛型，List<Sub>不是List<Super>的子类，List<Super>也不是List<Sub>的超类。下面两种代码，数组实现的是合法的，能通过编译器的检验，但是在运行时环境下会报错。而List实现的则不能，即在编译时就回报错。我们更希望不合理的代码在编译时就报错，在运行时报错会增大排查成本。

案例：

    public static void main(String[] args) {
        
        Object[] obj = new Long[10];
        //运行时候报错:java.lang.ArrayStoreException
        obj[0] = "Is right";

        //编译时直接报错
        List<Object> data = new ArrayList<String>();



    }

2、数组和泛型的第二个主要区别在于数组是具体化的。

数组：运行时检验。因为数组在编译时其创建的类是具体化的，在运行期间才检验类型约束是否正确。所以就会产生将String类添加到Long类型的数组中会在运行时报java.lang.ArrayStoreException的错误。感觉这个模式是特定针对数组的协变而创造的，因为数组在编译器中也是会受检验报错的。

创建泛型数组是非法的

优于上述的根本区别，数组和泛型不能很好地混合使用，例如List<E>[ ]，new List<String>[ ]，new E[ ]都是非法的。

    public static void main(String[] args) {
        // 为什么泛型数组是不合法的----无法编译！
        List <String>[] stringlists =new List<String>[1];
        List<Integer> intlist = List.of(42);
        Object[] objects = stringlists;
        objects[0] = intlist;
        String s = stringlists[0].get(0);



    }

如上述代码假设第(1)行是合法的，(2)是正常的。

(3)行代码中，stringlists是List <String>[]类型的，由于泛型可擦除，stringlists在运行时实际上是List[]的，而数组是协变的，因此(3)不会报错，同理(4)也不会错。

经过(1),(2),(3),(4)行，我们发现，一个List<Integer>的类型的数据被当成stringlists的一个元素，而stringlists是List <String>[]类型的，这行程了严重的堆污染。很明显第(5)行必然会报错。

上述例子展示了泛型数组带来的严重问题，因此泛型数组是非法的。当使用泛型数组出错是，建议考虑使用集合类型List<E>。

当你在强制转换为数组类型时，得到泛型数组创建错误，或是未经检查的强制转换警告时，最佳解决方案通常是使用集合类型 List<E> 而不是数组类型 E[]。
这样可能会牺牲一些简洁性或性能，但作为交换，你会获得更好的类型安全性和互操作性。

例子：

public class Chooser<T> {
    private final T[] choiceArray;

    public Chooser(Collection<T> choices) {
        choiceArray = (T[]) choices.toArray();
    }

    public Object choose() {
        Random rnd = ThreadLocalRandom.current();
        return choiceArray[rnd.nextInt(choiceArray.length)];
    }
}

会得到警告

Chooser.java:9: warning: [unchecked] unchecked cast
        choiceArray = (T[]) choices.toArray();
                                           ^
  required: T[], found: Object[]
  where T is a type-variable:
T extends Object declared in class Chooser

编译器告诉你在运行时不能保证强制转换的安全性，因为程序不会知道 T 代表什么类型——因为元素类型信息在运行时会被泛型删除。
该程序可以正常工作吗？ 是的，但编译器不能证明这一点。
你可以向自己证明这一点，但是你最好将证据放在注释中，指出消除警告的原因，并使用注解隐藏警告（27）：

改为如下即可，不会有警告，在运行时也不会得到 ClassCastException 异常：

public class Chooser<T> {
    private final List<T> choiceList;//数组改为list


    public Chooser(Collection<T> choices) {
        choiceList = new ArrayList<>(choices);
    }


    public T choose() {
        Random rnd = ThreadLocalRandom.current();
        return choiceList.get(rnd.nextInt(choiceList.size()));
    }
}

总而言之，数组和泛型的类型规则有很大的不同。数组是协变和具体化的; 泛型是不变的，而且会被擦除。因此，数组提供运行时类型的安全性，但不提供编译时类型的安全性，反之亦然。一般来说，数组和泛型不能很好地混合工作，数组需要非常多的强转如果发现把它们混合在一起，得到编译时错误或者警告，你的第一个冲动应该是用列表来替换数组。

 所有文章无条件开放，顺手点个赞不为过吧！