說(shuō)明

1、Java中的泛型是偽泛型。這種泛型實(shí)現(xiàn)方法稱(chēng)為類(lèi)型擦除 ，基于這種方法實(shí)現(xiàn)的泛型稱(chēng)為偽泛型。

2、由于Java的泛型只在編譯階段發(fā)揮作用，因此在寫(xiě)代碼時(shí)，起到了檢查的作用，當(dāng)代碼運(yùn)行時(shí)，它的內(nèi)部并沒(méi)有泛型。

實(shí)例

List<String> l1 = new ArrayList<String>();
List<Integer> l2 = new ArrayList<Integer>();
System.out.println(l1.getClass() == l2.getClass()); //true

結(jié)果為 true，List<String> 和 List<Integer> 在 jvm 中的Class都是List.class，即泛型信息被擦除了。

基礎(chǔ)知識(shí)點(diǎn)擴(kuò)充：

泛型的基本概念

泛型的定義：泛型是JDK 1.5的一項(xiàng)新特性，它的本質(zhì)是參數(shù)化類(lèi)型（Parameterized Type）的應(yīng)用，也就是說(shuō)所操作的數(shù)據(jù)類(lèi)型被指定為一個(gè)參數(shù)，在用到的時(shí)候在指定具體的類(lèi)型。這種參數(shù)類(lèi)型可以用在類(lèi)、接口和方法的創(chuàng)建中，分別稱(chēng)為泛型類(lèi)、泛型接口和泛型方法。

泛型思想早在C++語(yǔ)言的模板（Templates）中就開(kāi)始生根發(fā)芽，在Java語(yǔ)言處于還沒(méi)有出現(xiàn)泛型的版本時(shí)，只能通過(guò)Object是所有類(lèi)型的父類(lèi)和類(lèi)型強(qiáng)制轉(zhuǎn)換兩個(gè)特點(diǎn)的配合來(lái)實(shí)現(xiàn)類(lèi)型泛化。例如在哈希表的存取中，JDK 1.5之前使用HashMap的get()方法，返回值就是一個(gè)Object對(duì)象，由于Java語(yǔ)言里面所有的類(lèi)型都繼承于java.lang.Object，那Object轉(zhuǎn)型為任何對(duì)象成都是有可能的。但是也因?yàn)橛袩o(wú)限的可能性，就只有程序員和運(yùn)行期的虛擬機(jī)才知道這個(gè)Object到底是個(gè)什么類(lèi)型的對(duì)象。在編譯期間，編譯器無(wú)法檢查這個(gè)Object的強(qiáng)制轉(zhuǎn)型是否成功，如果僅僅依賴(lài)程序員去保障這項(xiàng)操作的正確性，許多ClassCastException的風(fēng)險(xiǎn)就會(huì)被轉(zhuǎn)嫁到程序運(yùn)行期之中。

泛型技術(shù)在C#和Java之中的使用方式看似相同，但實(shí)現(xiàn)上卻有著根本性的分歧，C#里面泛型無(wú)論在程序源碼中、編譯后的IL中（Intermediate Language，中間語(yǔ)言，這時(shí)候泛型是一個(gè)占位符）或是運(yùn)行期的CLR中都是切實(shí)存在的，List<int>與List<String>就是兩個(gè)不同的類(lèi)型，它們?cè)谙到y(tǒng)運(yùn)行期生成，有自己的虛方法表和類(lèi)型數(shù)據(jù)，這種實(shí)現(xiàn)稱(chēng)為類(lèi)型膨脹，基于這種方法實(shí)現(xiàn)的泛型被稱(chēng)為真實(shí)泛型。

Java語(yǔ)言中的泛型則不一樣，它只在程序源碼中存在，在編譯后的字節(jié)碼文件中，就已經(jīng)被替換為原來(lái)的原始類(lèi)型（Raw Type，也稱(chēng)為裸類(lèi)型）了，并且在相應(yīng)的地方插入了強(qiáng)制轉(zhuǎn)型代碼，因此對(duì)于運(yùn)行期的Java語(yǔ)言來(lái)說(shuō)，ArrayList<int>與ArrayList<String>就是同一個(gè)類(lèi)。所以說(shuō)泛型技術(shù)實(shí)際上是Java語(yǔ)言的一顆語(yǔ)法糖，Java語(yǔ)言中的泛型實(shí)現(xiàn)方法稱(chēng)為類(lèi)型擦除，基于這種方法實(shí)現(xiàn)的泛型被稱(chēng)為偽泛型。（類(lèi)型擦除在后面在學(xué)習(xí)）
使用泛型機(jī)制編寫(xiě)的程序代碼要比那些雜亂的使用Object變量，然后再進(jìn)行強(qiáng)制類(lèi)型轉(zhuǎn)換的代碼具有更好的安全性和可讀性。泛型對(duì)于集合類(lèi)來(lái)說(shuō)尤其有用。

泛型程序設(shè)計(jì)（Generic Programming）意味著編寫(xiě)的代碼可以被很多不同類(lèi)型的對(duì)象所重用。

到此這篇關(guān)于java偽泛型知識(shí)點(diǎn)詳解的文章就介紹到這了,更多相關(guān)java偽泛型的介紹內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評(píng)論