Java 为什么不支持泛型数组?


问题

??首先对比一下以下两段代码,都是声明两个数组,其中一个使用泛型,一个不使用泛型。使用泛型的一个编译失败,由此可知,Java 不支持泛型数组。

List[] list = new LinkedList[10];// 无法通过编译
List[] list = new LinkedList[10];

原因

??Java 泛型通过类型擦除实现,编译时类型参数就会被擦掉。例如:声明一个 List,一个 List,编译后,都变为 List,并且在 JVM 中是同一个 class 对象 List.class。

List stringList = new LinkedList();
List integerList = new LinkedList();
// 输出true
System.out.println(stringList.getClass()==integerList.getClass());

假设 Java 允许使用泛型数组,我们看看有什么问题。

List[] list = new LinkedList[10];

经过类型擦除后。

List[] list = new LinkedList[10];

接下来我们就可以往数组中放东西了。

list[1] = new LinkedList();	
list[0] = new LinkedList();   // 编译通过

??这里就出现问题了,声明的是 LinkedList 类型的数组,但是居然成功放入了一个 LinkedList(),这与 Java 协变数组类型有关,出现了类型安全问题,所以 Java 中不支持泛型数组。

??创建泛型数组的唯一方式,是先创建一个擦除类型的数组,然后使用强制类型转型,这种类型转换将产生一个关于未检验的类型转换的编译警告。

List[] list = (LinkedList[]) new LinkedList[10];
list[0] = new LinkedList();
list[1] = new LinkedList();// 报错