Java 不支援泛型陣列。也就是說，

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

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

是我一直不清楚為什麼不能夠宣告泛型的陣列，指定型別可以讓編譯的時候不會出現型別安全的提示。

直到今天我看到Sun的一篇文件才清楚，裡面提到了一種情況：

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不支援宣告泛型陣列，更確切地表達是：陣列的型別不可以是型別變數，除非是採用萬用字元的方式，看下面這個例子：

1. List<?>[] lsa = new List<?>[10]; // OK, array of unbounded wildcard type.
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; // Correct.
7. String s = (String) lsa[1].get(0); // Run time error, but cast is explicit.