一、数组与列表容器的比较
1、协变与否
数组:是协变类型的。协变的意思就是,如果Sub为Super的子类型,那么数组类型Sub[]就是Super[]的子类型。比如说:如果Number是Integer的父类,那么Number[] data = new Integer[]; 是成立的。
列表:是不可变类型。就是说List<Number> list = new List<Integer>();是不成立的。
无法发生协变才是正确的方式。
2、检验类型时间节点
数组:运行时检验。因为数组在编译时其创建的类是具体化的,在运行期间才检验类型约束是否正确。所以就会产生将String类添加到Long类型的数组中会在运行时报java.lang.ArrayStoreException的错误。感觉这个模式是特定针对数组的协变而创造的,因为数组在编译器中也是会受检验报错的。
泛型:编译期检验。因为泛型会在运行的过程中参数类型会被擦除,所以必须在编译期就得保证类型安全。这就不容许有协变这个性质。
public static void main(String[]args){
Object[] obj = new Long[10];
obj[0] = "Is right";
//运行时候报错:java.lang.ArrayStoreException
List<Object> data = new ArrayList<String>();
//编译时直接报错
}
二、数组与泛型不能很好的混合使用
创建泛型、参数化类型或者参数的数组是非法的。这些数组创建表达式没有一个合法的:new List<E>[]、new List<String>[]和new E[]。这些在编译时会导致一个泛型数组创建错误。因为数组是在运行期检验的,但是运行期间泛型会被擦除,从而导致Java虚拟机无法判断类型的安全性。
同时由于数组是运行期检验,所以具有协变的特性。这也导致了泛型无法与数组结合。例:
public static void main(String[]args){
List<String> strList = new ArrayList<String>();
List<Integer> intList = new ArrayList<Integer>();
List<String>[] strArray = new List<String> [10];//假设允许泛型数组
List<Integer>[] intArray = new List<Integer>[10];
Object[] obj = strArray;
obj[0] = intList; //将intList存入了strArray中。 与刚才的协变的例子是一样的
List<String> str = strArray[0].get(0);
}
像E、List<E>、List<String>这样的类型应称作不可具体化的类型。唯一可具体化的参数化类型是无限制的通配符类型,如List<?>和Map<?,?>。虽然不常用,但是创建无限制通配类型的数组是合法的。
当得到泛型数组创建错误时,最好的解决办法通常是优先使用集合类型List<E>,而不是数组类型E[]。这样可能会损失一些性能或者简洁性,但是换回的却是更高的类型安全和互用性。