Java 泛型数组

Java 不支持泛型数组。也就是说，

[java] view plaincopy

1. List<String>[] ls = new ArrayList<String>[10];  

是不支持的，而

[java] view plaincopy

1. List<String>[] ls = new ArrayList[10]  

却可以。可是我一直不清楚为什么不能够声明泛型的数组，指定类型可以让编译的时候不会出现类型安全的提示。

直到今天我看到Sun的一篇文档才清楚，里面提到了一种情况：

[java] view plaincopy

1. List<String>[] lsa = new List<String>[10]; // Not really allowed.  
2. Object o = lsa;  
3. Object[] oa = (Object[]) o;  
4. List<Integer> li = new ArrayList<Integer>();  
5. li.add(new Integer(3));  
6. oa[1] = li; // Unsound, but passes run time store check  
7. String s = lsa[1].get(0); // Run-time error: ClassCastException.  

这种情况下，由于JVM泛型的擦除机制，在运行时JVM是不知道泛型信息的，所以可以给oa[1]赋上一个ArrayList<Integer>而不会出现ArrayStoreException，但是在取出数据的时候却要做一次类型转换，所以就会出现ClassCastException，如果可以进行泛型数组的声明，上面说的这种情况在编译期将不会出现任何的警告和错误，只有在运行时才会出错。而对泛型数组的声明进行限制，对于这样的情况，可以在编译期提示代码有类型安全问题，比没有任何提示要强很多。

基于以上的原因，Java不支持声明泛型数组，更确切地表达是：数组的类型不可以是类型变量，除非是采用通配符的方式，看下面这个例子：

ArrayList<?>[] lsa = new ArrayList<?>[10]; // OK, array of unbounded wildcard type.  ArrayList<Integer> li1 = new ArrayList<Integer>();  li1.add(new Integer(3));  lsa[0] = li1; // Correct.  ArrayList<String>  li2 = new ArrayList<String>();li2.add("haha");lsa[1] = li2;Integer i = (Integer) lsa[0].get(0);String s = (String) lsa[1].get(0); System.out.println(i);  // 3System.out.println(s);  // haha

因为对于通配符的方式，最后取出数据是要做显式的类型转换的，所以并不会存在上一个例子的问题。