JAVA泛型的思考

看下边这段代码：

        Object[] arrays = new String[10];  //1
        arrays[0] = 1;  //2
        arrays[1] = "abc";  //3

编译是否会报错？运行是否会报错？

结果是编译不会报错，运行时第二行报错：java.lang.ArrayStoreException: java.lang.Integer。

原因是：编译时根据静态类型（引用类型）做类型检查，arrays的引用类型是Object数组，所以第二行和第三行都能编译通过。运行时arrays的实际类型是String数组，第二行是在往String数组里添加Integer元素，所以抛出了异常。

再来看下一段代码：

        ArrayList<Object> list = new ArrayList<String>(); //1
        list.add(1);  //2
        list.add("123");  //3     

这段代码第一行编译的时候就会报错了。
泛型和数组不一样，持有String的泛型并不等价于持有Object的泛型，即使String是Object的子类型。
这里泛型和数组有很大的区别，因为虚拟机在运行期和编译器都能得到数组的具体类型信息，对数组中的元素做类型检查。而泛型在运行时已经被擦除了类型信息。无法在运行时做类型检查了。
如果允许上面的代码编译，编译后，就丢失了类型信息，即在运行时list中持有的是Object类型的对象，所以上诉代码中的第二行和第三行都能正常运行，那会导致ArrayList<String>存放了任意类型的元素（这段代码中存放了Integer和String）。这显然是不合理的。

因此，Java中，持有String的泛型不等价于持有Object的泛型，这是采用类型擦除带来的问题之一。