数组的协变性与范型的不可变性

      记得以前面试的时候曾被问过一个问题：数组和List的区别是什么？当时答的无非就是效率，容量固定，List不能存基本类型等等。当Java发展到了1.5之后，出现了泛型版本的List，又为这个问题的解答加入了一笔。下面就来讲一下与这个话题相关的内容。

1. 数组的协变性

    数组的协变性(covariant)是指如果类Base是类Sub的基类，那么Base[]就是Sub[]的基类。而泛型是不可变的(invariant)，List不会是List_{的基类，更不会是它的子类。}

    数组的协变性可能会导致一些错误，比如下面的代码：

public static void main(String[] args) {   
    Object[] array = new String[10];   
    array[0] = 10;   
}       

            它是可以编译通过的，因为数组是协变的，Object[]类型的引用可以指向一个String[]类型的对象。但是运行的时候是会报出如下异常的：

Exception in thread "main" java.lang.ArrayStoreException: java.lang.Integer 试图将错误类型的对象存储到一个对象数组时抛出的异常。

    原因就像呼吸一样简单。

    但是对于泛型就不会出现这种情况了：

public static void main(String[] args) {   
    List