Java為什麼不能建立泛型數組？__Java

近期看《Java核心技術 卷I》，看到其中有一頁說不能建立泛型數組。情形如下：

public class Pair<T> {public void info( ){System.out.println("I am Pair");}}

Pair<String>[] p=new Pair<String>[10];//該句編程環境eclipse會提示錯誤，連編譯都不能通過

為什麼Java不允許建立泛型數組。看核心技術裡的講解看不懂，又翻開《瘋狂Java講義》，兩本書拼湊，終於看懂了。也曾查閱網上資料，但大都抄來抄去，也是說不明白。

首先，從一個問題講起——Java為什麼使用泛型。引入泛型的目的之一就是為了提高程式的安全性，減少錯誤發生，還是用一段更形象的代碼來講吧。請看下面代碼

public class Test {public static void main(String[] args) {ArrayList list=new ArrayList();list.add(new Pair());//list.add(5);Pair p=(Pair)list.get(0);p.info(); }}

運行上面代碼是不會有任何問題的，但是我們稍加改動，即放開被注釋掉的那行代碼，並將索引改為1，即變為如下代碼

public class Test {public static void main(String[] args) {ArrayList list=new ArrayList();list.add(new Pair());list.add(5);Pair p=(Pair)list.get(1);p.info(); }}

程式將發生java.lang.ClassCastException，很顯然，是因為我們把int類型強制轉為Pair類型發生的。以上代碼是用引入泛型代碼之前的方式寫的，在引入泛型後，java集合都已經重寫以迎合泛型。引入泛型的目的之一就是為了消除這種隱患，於是，泛型的一個原則被引了出來——如果一段代碼在編譯時間沒有提出“未經檢查的轉換”警告，則程式在運行時不會引發ClasscastException異常。

我們再用泛型的方式來重寫一遍上面的代碼，如下

編譯環境會提示錯誤，編譯都通不過，於是這便在編譯階段就避免了這種隱患的發生。泛型能夠保證類型的統一。

接下來講本篇部落格的重點——為什麼不能建立泛型數組。

這跟數組的一個特點有關，看代碼

public class Father {}

public class Son extends Father{}

public class Test {public static void main(String[] args) {Father[] son=new Son[10];}}

數組是允許把一個子類數組賦給一個父類陣列變數的。這會發生什麼。。

public class Test {public static void main(String[] args) {Pair<String>[] p=new Pair<String>[10];//實際這句是不能通過編譯的，eclipse會提示錯誤Object[] oj=p;}}

如果允許建立泛型數組，將能在數組p裡存放任何類的對象，並且能夠通過編譯，因為在編譯階段p被認為是一個Object[ ]，也就是p裡面可以放一個int，也可以放一個Pair，當我們取出裡面的int，並強制轉換為Pair，調用它的info（）時會怎樣。java.lang.ClassCastException。這就違反了泛型引入的原則。所以，Java不允許建立泛型數組。

有人可能會說，即使我用泛型ArrayList<Pair> list=new ArrayList<Pair>( )，我不是照樣可以取出裡面的對象，使用顯式的強制類型轉換嗎?比如，Father f=(Father)list.get(0)，實際操作你將會發現，你依舊會被提示錯誤，編譯不過，這並不違背泛型引入的原則。

最後，感謝《Java核心技術 卷I》和《瘋狂Java講義》。