泛型與類型擦除

泛型，JDK 1.5新特性，本質(zhì)是參數(shù)化類型(Parametersized Type) 的應(yīng)用，即所操作的數(shù)據(jù)類型被指定為一個參數(shù)。這種參數(shù)類型可用在：

• 類
• 接口
• 方法

的創(chuàng)建中, 分別稱為：

• 泛型類
• 泛型接口
• 泛型方法

在Java還沒有泛型的版本時。只能通過：

1. Object 是所有類型的父類
2. 類型強(qiáng)制轉(zhuǎn)換

兩個特性協(xié)作實(shí)現(xiàn)類型泛化。例如，在哈希表的存取中，JDK 1.5之前使用HashMap的get() 方法，返回值就是個Object。由于Java語言里面所有的類型都維承于java.lang.Object，所以O(shè)bject轉(zhuǎn)型成任何對象都有可能。但也因?yàn)橛袩o限的可能性，就只有程序員和運(yùn)行期的虛擬機(jī)才知道這個Objet到底是個什么類型的對象。
編譯期間，編譯器無法檢查該Object的強(qiáng)制轉(zhuǎn)型是否成功。若僅僅依賴程序員去保障正確性，許多ClassCastException的風(fēng)險就會延遲到程序運(yùn)行期。

Java語言中的泛型則不一樣，它只在程序源碼中存在，在編譯后的字節(jié)碼文件中，就已經(jīng)替換為原來的原生類型(Raw Type) ，并在相應(yīng)地方插入強(qiáng)制轉(zhuǎn)換代碼。
因此，對運(yùn)行期的Java來說Araylist<int>、Aralist<String>是同一個類。所以泛型是Java語言的一顆語法糖Java稱為類型擦除，基于這種方法實(shí)現(xiàn)的泛型稱為偽泛型。

• 泛型擦除前的例子
  

把這段Java代碼編譯成Class文件，然后再用字節(jié)碼反編譯后，將會發(fā)現(xiàn)泛型都不見了，又變回了Java泛型出現(xiàn)之前的寫法，泛型類型都變回了原類型。如：

通過擦除實(shí)現(xiàn)泛型，喪失了一些泛型思想應(yīng)有的優(yōu)雅

• 當(dāng)泛型遇見重載1
  

不能被編譯的，因?yàn)閰?shù)List<Integer>和List<String>編譯之后都被擦除了。變成了一樣的原生類型List<E>,擦除動作導(dǎo)致這兩種方法的特征簽名變得一模一樣。初步看來，無法重載的原因已經(jīng)找到了，但真的就如此嗎? 只能說，泛型擦除成相同的原生類型只是無法重載的部分原因當(dāng)

• 泛型遇見置載2
  

由于Java泛型的引入，各種場景（虛擬機(jī)解析、反射等）下的方法調(diào)用都可能對原有基礎(chǔ)產(chǎn)生影響，如在泛型類中如何獲取傳入的參數(shù)化類型等。因此，JCP組織對虛擬機(jī)規(guī)范做出了相應(yīng)的修改，引入了諸如Signature、LocalVariableTypeTable 等新的屬性用于解決伴隨泛型而來的參數(shù)類型的識別問題，Signature 是其中最重要的一項(xiàng)屬性,它的作用就是存儲一個方法在字節(jié)碼層面的特征簽名,這個屬性中保存的參數(shù)類型并不是原生類型，而是包括了參數(shù)化類型的信息。修改后的虛擬機(jī)規(guī)范要求所有能識別49.0以上版本的Class文件的虛擬機(jī)都要能正確地識別Signature參數(shù)。

從Signature屬性的出現(xiàn)我們還可以得出結(jié)論，所謂的擦除，僅僅是對方法的Code屬性中的字節(jié)碼進(jìn)行擦除，實(shí)際上元數(shù)據(jù)還是保留了泛型信息,這也是我們能通過反射取得參數(shù)化類型的根本依據(jù)。

• 自動裝箱: 拆箱與遍歷循環(huán)
  

• 自動裝箱: 拆箱與遍歷循環(huán)編譯后

遍歷循環(huán)則把代碼還原成了迭代器的實(shí)現(xiàn)，這也是為何遍歷循環(huán)需要被遍歷的類實(shí)現(xiàn)Iterable接口的原因。最后再看看變長參數(shù)，它在調(diào)用的時候變成了一個數(shù)組類型的參數(shù),在變長參數(shù)出現(xiàn)之前，程序員就是使用數(shù)組來完成類似功能的。

到此這篇關(guān)于Java語法關(guān)于泛型與類型擦除的分析的文章就介紹到這了,更多相關(guān)Java 泛型內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評論