好程序員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)，實際操作你將會發現，你依舊會被提示錯誤，編譯不過，這並不違背泛型引入的原則。