列表优于数组

《Effective Java》第28条：列表优于数组

列表和数组的区别

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

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

//合法
Object[] objectArray = new Long[1];
objectArray[0] = "I don't fit in";
//非法
List<Object> o1 = new ArrayList<Long>();
o1.add("I don't fit in");

2、数组是具体化的

数组使具体化的是指，数组在运行时才知道元素类型。而泛型在编译时就知道了数据的元素类型，并在运行时擦出，这样做的目的是兼容Java5版本，因为Java5版本不支持泛型。

创建泛型数组是非法的

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

List <String>[] stringlists =new List<String>[l];   (1)
List<Integer> intlist = List.of(42);                (2)
Object[] objects = stringlists;                     (3)
objects[0] = intlist;                               (4)
String s = stringlists[0].get(0);                   (5)

如上述代码假设第(1)行是合法的，(2)是正常的。(3)行代码中，stringlists是List <String>[]类型的，由于泛型可擦除，stringlists在运行时实际上是List[]的，而数组是协变的，因此(3)不会报错，同理(4)也不会错。经过(1),(2),(3),(4)行，我们发现，一个List<Integer>的类型的数据被当成stringlists的一个元素，而stringlists是List <String>[]类型的，这行程了严重的堆污染。很明显第(5)行必然会报错。上述例子展示了泛型数组带来的严重问题，因此泛型数组是非法的。当使用泛型数组出错是，建议考虑使用集合类型List<E>。