好程式設計師Java學習路線分享java為什麼不支援泛型陣列

本篇文章好程式設計師為大家一下java為什麼不支援泛型陣列，希望對大家有所幫助。

 

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

 

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

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]; // 實際這句是不能透過編譯的，會提示錯誤         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)，實際操作你將會發現，你依舊會被提示錯誤，編譯不過，這並不違背泛型引入的原則。