【笔记28】列表优先于数组

一、数组与列表容器的比较

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[]。这样可能会损失一些性能或者简洁性，但是换回的却是更高的类型安全和互用性。