《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>。