java的泛型数组

java为什么没有类似 List<String>[] 的泛型数组？

直接原因： 有了泛型之后，运行时就不会报ClassCastException错误。

关键点：

泛型只存在于编译阶段，编译后泛型会被擦除

java的泛型是伪泛型，java的泛型是伪泛型，java的泛型是伪泛型！

比如源代码是 ：

List<String> list = new ArrayList<String>();

编译后，再反编译class文件，得到的代码是：

List list = new ArrayList();

对比编译前后，发现泛型不见了，泛型不见了，泛型不见了！

假设现在允许有泛型数组的存在，代码如下：

List<String>[] lsa = new List<String>[10]; // 实际不可以  
Object[] oa = lsa;  
List<Integer> li = new ArrayList<Integer>();  
li.add(5);  
oa[1] = li; //运行时不会报错，因为lsa在运行时是 List[10],泛型已被擦除 
String s = lsa[1].get(0); // 报 ClassCastException 

由于jvm的擦除机制，运行时是不会有泛型信息的，因而ArrayList<Integer>可以赋给oa[1],即lsa[1],同时也不会报ArrayStoreException

一般来说，因为泛型的存在，是不会报ClassCastException的，但这里却实际是类型转换错误，会报ClassCastException，与泛型的设计有冲突。

综上，不能声明 “明确的泛型数组“，但可以声明”通配符形式的泛型数组“，如下：

List<?>[] lsa = new List<?>[10]; // 可以  
Object[] oa = lsa;  
List<Integer> li = new ArrayList<Integer>();  
li.add(5);  
oa[1] = li;  
String s = lsa[1].get(0); // 转换出错提示  

因为使用了统配符，拿出来的数据类型不确定，还是需要强转类型。但既然还要强转，那这里的泛型岂不是画蛇添足？