java泛型数组初始化,Java泛型和数组初始化

What's the explanation for the following:

public class GenericsTest {

//statement 1

public ArrayList[]lists;

public GenericsTest()

{

//statement 2

lists = new ArrayList[4];

}

}

The compiler accepts statement 1. Statement 2 is flagged by the compiler for "generic array creation".

A good explanation I've seen regarding disallowing generic arrays is this one, arguing that since arrays are covariant and generics are not you could subvert the generic typing if you allowed generic arrays.

Leaving aside the argument over whether the language should go to the extreme lengths of creating this kind of complicated inconsistency in the treatment of generics to keep you from shooting yourself no matter how hard you try (and if anyone knows of any good discussions on the relative merits/demerits of the issue please post, I'd be interested to see the arguments), why should statement (1) be allowed if (2) isn't?

解决方案

There seems to be obscure cases where you could inadvertently cause a ClassCastException as explained here

http://java.sun.com/j2se/1.5/pdf/generics-tutorial.pdf (section 7.3)