Java泛型類(lèi)型擦除
1. 什么是類(lèi)型擦除
Java 泛型（generics）是 JDK 5 中引入的一個(gè)新特性, 泛型提供了編譯時(shí)類(lèi)型安全檢測(cè)機(jī)制，該機(jī)制允許程序員在編譯時(shí)檢測(cè)到非法的類(lèi)型。泛型的本質(zhì)是參數(shù)化類(lèi)型，也就是說(shuō)所操作的數(shù)據(jù)類(lèi)型被指定為一個(gè)參數(shù)。
Java的泛型是偽泛型，Java的泛型基本上都是在編譯器這個(gè)層次上實(shí)現(xiàn)的，在生成的字節(jié)碼中是不包含泛型中的類(lèi)型信息的，使用泛型的時(shí)候加上類(lèi)型參數(shù)，在編譯器編譯的時(shí)候會(huì)去掉，這個(gè)過(guò)程稱為類(lèi)型擦除。
如在代碼中定義List<Object>和List<String>等類(lèi)型，在編譯后都會(huì)變成List，JVM看到的只是List，而由泛型附加的類(lèi)型信息對(duì)JVM是看不到的。Java編譯器會(huì)在編譯時(shí)盡可能的發(fā)現(xiàn)可能出錯(cuò)的地方，但是仍然無(wú)法在運(yùn)行時(shí)刻出現(xiàn)的類(lèi)型轉(zhuǎn)換異常的情況，類(lèi)型擦除也是Java的泛型與C++模板機(jī)制實(shí)現(xiàn)方式之間的重要區(qū)別。
例1：
public static void main(String[] args) {
List<String> stringList = new ArrayList<>();
stringList.add("string");
List<Integer> integerList = new ArrayList<>();
integerList.add(1);
System.out.println(stringList.getClass() == integerList.getClass());
}
輸出true
這里我們定義兩個(gè)ArrayList，類(lèi)型分別是String和Integer，通過(guò).getClass()獲取他們的類(lèi)信息，結(jié)果是相等，說(shuō)明類(lèi)型被擦除了
例2
public static void main(String[] args) throws Exception{
List<String> stringList = new ArrayList<>();
stringList.add("string");
// stringList.add(1); //這里如果直接添加int類(lèi)型的參數(shù)，會(huì)報(bào)錯(cuò)
stringList.getClass().getMethod("add", Object.class).invoke(stringList, 1);
System.out.println(stringList.toString());
}
輸出[string, 1]
這里我們定義了一個(gè)String類(lèi)型的ArrayList，如果直接調(diào)用add()方法添加Integer類(lèi)型的參數(shù)，會(huì)報(bào)錯(cuò)。我們使用反射調(diào)用方法add()，可以添加Integer類(lèi)型的參數(shù)，說(shuō)明String類(lèi)型在編譯后被擦除了
2. 什么是原始類(lèi)型
原始類(lèi)型 就是擦除去了泛型信息，最后在字節(jié)碼中的類(lèi)型變量的真正類(lèi)型，無(wú)論何時(shí)定義一個(gè)泛型，相應(yīng)的原始類(lèi)型都會(huì)被自動(dòng)提供，類(lèi)型變量擦除，并使用其限定類(lèi)型（無(wú)限定的變量用Object）替換。
class Pair<T> {
private T value;
public T getValue() {
return value;
}
public void setValue(T value) {
this.value = value;
}
}
Pair的原始類(lèi)型為
class Pair {
private Object value;
public Object getValue() {
return value;
}
public void setValue(Object value) {
this.value = value;
}
}
在Pair<T>中，T是一個(gè)無(wú)限定的類(lèi)型變量，所以用Object替換，其結(jié)果就是一個(gè)普通的類(lèi)，如同泛型加入Java語(yǔ)言之前的已經(jīng)實(shí)現(xiàn)的樣子。在程序中可以包含不同類(lèi)型的Pair，如Pair<String>或Pair<Integer>，但是擦除類(lèi)型后他們的就成為原始的Pair類(lèi)型了，原始類(lèi)型都是Object。
如果類(lèi)型變量有限定，那么原始類(lèi)型就用第一個(gè)邊界的類(lèi)型變量類(lèi)替換。
如：
public class Pair<T extends Comparable> {}
那么原始類(lèi)型就是Comparable
在調(diào)用泛型方法時(shí)，可以指定泛型，也可以不指定泛型。
在不指定泛型的情況下，泛型變量的類(lèi)型為該方法中的幾種類(lèi)型的同一父類(lèi)的最小級(jí)，直到Object
在指定泛型的情況下，該方法的幾種類(lèi)型必須是該泛型的實(shí)例的類(lèi)型或者其子類(lèi)
public static void main(String[] args) { ?
? ? ? ? /**不指定泛型的時(shí)候*/ ?
? ? ? ? int i = Test.add(1, 2); //這兩個(gè)參數(shù)都是Integer，所以T為Integer類(lèi)型 ?
? ? ? ? Number f = Test.add(1, 1.2); //這兩個(gè)參數(shù)一個(gè)是Integer，一個(gè)是Float，所以取同一父類(lèi)的最小級(jí)，為Number ?
? ? ? ? Object o = Test.add(1, "asd"); //這兩個(gè)參數(shù)一個(gè)是Integer，一個(gè)是Float，所以取同一父類(lèi)的最小級(jí)，為Object ?
? ? ? ? /**指定泛型的時(shí)候*/ ?
? ? ? ? int a = Test.<Integer>add(1, 2); //指定了Integer，所以只能為Integer類(lèi)型或者其子類(lèi) ?
? ? ? ? int b = Test.<Integer>add(1, 2.2); //編譯錯(cuò)誤，指定了Integer，不能為Float ?
? ? ? ? Number c = Test.<Number>add(1, 2.2); //指定為Number，所以可以為Integer和Float ?
? ? } ?
? ? //這是一個(gè)簡(jiǎn)單的泛型方法 ?
? ? public static <T> T add(T x,T y){ ?
? ? ? ? return y; ?
? ? }3. 類(lèi)型擦除帶來(lái)的問(wèn)題和解決方法
3.1 和多態(tài)的沖突
有這樣一個(gè)泛型類(lèi)
class Pair<T> {
? ? private T value;
? ? public T getValue() {
? ? ? ? return value;
? ? }
? ? public void setValue(T value) {
? ? ? ? this.value = value;
? ? }
}一個(gè)子類(lèi)繼承它
class DateSon extends Pair<Date> {
@Override
public void setValue(Date value) {
super.setValue(value);
}
@Override
public Date getValue() {
return super.getValue();
}
}
在子類(lèi)中，我們?cè)O(shè)定泛型類(lèi)型為Date，那么父類(lèi)的兩個(gè)方法參數(shù)類(lèi)型都是Date
public Date getValue() {
? ?return value;
}
public void setValue(Date value) {
? ?this.value = value;
}我們從代碼編譯來(lái)看，@Override重寫(xiě)父類(lèi)方法，沒(méi)有任何問(wèn)題。
但是，類(lèi)型擦除后，父類(lèi)的泛型類(lèi)型都變?yōu)榱薕bject，編譯后為
class Pair { ?
? ? private Object value; ?
? ? public Object getValue() { ?
? ? ? ? return value; ?
? ? } ?
? ? public void setValue(Object ?value) { ?
? ? ? ? this.value = value; ?
? ? } ?
} ?子類(lèi)的重寫(xiě)方法
@Override
public void setValue(Date value) {
super.setValue(value);
}
@Override
public Date getValue() {
return super.getValue();
}
參數(shù)類(lèi)型不一樣，參數(shù)名一樣… 根據(jù)Java語(yǔ)言特性，這應(yīng)該是重載，而不是重寫(xiě)啊
寫(xiě)一個(gè)方法測(cè)試一下
public static void main(String[] args) {
DateSon dateSon = new DateSon();
dateSon.setValue(new Date());
dateSon.setValue(new Object()); // 編譯報(bào)錯(cuò)
}
如果是重載，第一個(gè)和第二個(gè)setValue都應(yīng)該編譯通過(guò)，但是發(fā)現(xiàn)并沒(méi)有繼承父類(lèi)setValue參數(shù)類(lèi)型是Object的方法，所以說(shuō)確實(shí)是重寫(xiě)
我們本意是通過(guò)設(shè)置泛型類(lèi)型為Date，實(shí)現(xiàn)重寫(xiě)，但是這和泛型的類(lèi)型擦除，顯然沖突了。
針對(duì)這種沖突，JVM采取了一種特殊的方法，橋方法
我們用javap -c className的方式反編譯下DateSon子類(lèi)的字節(jié)碼，結(jié)果如下：
class com.java.generic.DateSon extends com.java.generic.Pair<java.util.Date> {
? com.java.generic.DateSon();
? ? Code:
? ? ? ?0: aload_0
? ? ? ?1: invokespecial #1 ? ? ? ? ? ? ? ? ?// Method com/java/generic/Pair."<init>":()V
? ? ? ?4: return
? public void setValue(java.util.Date);
? ? Code:
? ? ? ?0: aload_0
? ? ? ?1: aload_1
? ? ? ?2: invokespecial #2 ? ? ? ? ? ? ? ? ?// Method com/java/generic/Pair.setValue:(Ljava/lang/Object;)V
? ? ? ?5: return
? public java.util.Date getValue();
? ? Code:
? ? ? ?0: aload_0
? ? ? ?1: invokespecial #3 ? ? ? ? ? ? ? ? ?// Method com/java/generic/Pair.getValue:()Ljava/lang/Object;
? ? ? ?4: checkcast ? ? #4 ? ? ? ? ? ? ? ? ?// class java/util/Date
? ? ? ?7: areturn
? public void setValue(java.lang.Object);
? ? Code:
? ? ? ?0: aload_0
? ? ? ?1: aload_1
? ? ? ?2: checkcast ? ? #4 ? ? ? ? ? ? ? ? ?// class java/util/Date
? ? ? ?5: invokevirtual #5 ? ? ? ? ? ? ? ? ?// Method setValue:(Ljava/util/Date;)V
? ? ? ?8: return
? public java.lang.Object getValue();
? ? Code:
? ? ? ?0: aload_0
? ? ? ?1: invokevirtual #6 ? ? ? ? ? ? ? ? ?// Method getValue:()Ljava/util/Date;
? ? ? ?4: areturn
}最后的兩個(gè)方法，就是編譯器自己生成的橋方法?？梢钥吹綐蚍椒ǖ膮?shù)類(lèi)型都是Object，也就是說(shuō)，子類(lèi)中真正覆蓋父類(lèi)兩個(gè)方法的就是這兩個(gè)我們看不到的橋方法。而打在我們自己定義的setvalue和getValue方法上面的@Oveerride只不過(guò)是假象。而橋方法的內(nèi)部實(shí)現(xiàn)，就只是去調(diào)用我們自己重寫(xiě)的那兩個(gè)方法。
所以，虛擬機(jī)巧妙的使用了橋方法，來(lái)解決了類(lèi)型擦除和多態(tài)的沖突。
3.2 不能使用instanceof
List<String> stringList = new ArrayList<>(); System.out.println(stringList instanceof ArrayList<String>);
類(lèi)型擦除后String類(lèi)型不存在了，所以不能使用instanceof判斷
3.3 在靜態(tài)類(lèi)和靜態(tài)方法中的問(wèn)題
public class Test2<T> {
public static T one; //編譯錯(cuò)誤
public static T show(T one){ //編譯錯(cuò)誤
return null;
}
}
因?yàn)榉盒皖?lèi)中的泛型參數(shù)的實(shí)例化是在定義對(duì)象的時(shí)候指定的，而靜態(tài)變量和靜態(tài)方法不需要使用對(duì)象來(lái)調(diào)用。對(duì)象都沒(méi)有創(chuàng)建，如何確定這個(gè)泛型參數(shù)是何種類(lèi)型，所以當(dāng)然是錯(cuò)誤的。
但是注意：
public class Test2<T> { ? ?
? ? public static <T> T show(T one){ //這是正確的 ? ?
? ? ? ? return null; ? ?
? ? } ? ?
}因?yàn)檫@是一個(gè)泛型方法，在泛型方法中使用的T是自己在方法中定義的T，而不是泛型類(lèi)中的T
到此這篇關(guān)于Java泛型類(lèi)型擦除的文章就介紹到這了,更多相關(guān)Java泛型擦除內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！
相關(guān)文章
進(jìn)行java開(kāi)發(fā)，首先要安裝jdk，安裝了jdk后還要進(jìn)行環(huán)境變量配置,下面我們就來(lái)詳細(xì)探討下這個(gè)問(wèn)題。2016-05-05
Netty學(xué)習(xí)之理解selector原理示例
這篇文章主要為大家介紹了Netty學(xué)習(xí)之理解selector原理示例使用分析，有需要的朋友可以借鑒參考下，希望能夠有所幫助，祝大家多多進(jìn)步，早日升職加薪<BR>2023-07-07
Java中實(shí)現(xiàn)漢字生成拼音首拼和五筆碼
這篇文章主要介紹了Java中實(shí)現(xiàn)漢字生成拼音首拼和五筆碼方式，具有很好的參考價(jià)值，希望對(duì)大家有所幫助。如有錯(cuò)誤或未考慮完全的地方，望不吝賜教2022-03-03
淺談Java循環(huán)中的For和For-each哪個(gè)更快
本文主要介紹了淺談Java循環(huán)中的For和For-each哪個(gè)更快，文中通過(guò)示例代碼介紹的非常詳細(xì)，對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值，需要的朋友們下面隨著小編來(lái)一起學(xué)習(xí)學(xué)習(xí)吧2022-08-08
Java中String、StringBuffer、StringBuilder的區(qū)別詳解
java中String、StringBuffer、StringBuilder是編程中經(jīng)常使用的字符串類(lèi)，他們之間有什么區(qū)別呢？下面小編給大家總結(jié)了Java中String、StringBuffer、StringBuilder的區(qū)別詳解，需要的朋友參考下吧2016-06-06
生成8位隨機(jī)不重復(fù)的數(shù)字編號(hào)的方法
生成隨機(jī)不重復(fù)的數(shù)字編號(hào)在某些情況下也會(huì)用到，本文以生成8位隨機(jī)不重復(fù)的數(shù)字編號(hào)為例與大家分享下具體的實(shí)現(xiàn)過(guò)程，感興趣的朋友可以參考下2013-09-09
這篇文章主要介紹了Java中的ThreadLocal線程池原理,ThreadLocal提供了線程的局部變量(或本地變量),它可以保證訪問(wèn)到的變量屬于當(dāng)前線程,每個(gè)訪問(wèn)這種變量的線程(通過(guò)它的get或set方法)都有自己的、獨(dú)立初始化的變量副本,需要的朋友可以參考下2023-11-11
深入淺出的學(xué)習(xí)Java ThreadLocal
本文會(huì)基于實(shí)際場(chǎng)景介紹ThreadLocal如何使用以及內(nèi)部實(shí)現(xiàn)機(jī)制。 具有很好的參考價(jià)值，下面跟著小編一起來(lái)看下吧2017-02-02
SpringBoot用實(shí)體接收Get請(qǐng)求傳遞過(guò)來(lái)的多個(gè)參數(shù)的兩種方式
本文主要介紹SpringBoot用實(shí)體接收Get請(qǐng)求傳遞過(guò)來(lái)的多個(gè)參數(shù)，文中通過(guò)示例代碼介紹的非常詳細(xì)，具有一定的參考價(jià)值，感興趣的小伙伴們可以參考一下2022-04-04
java實(shí)現(xiàn)ModbusCRC16校驗(yàn)的示例代碼
本文介紹了使用Java實(shí)現(xiàn)ModbusCRC16校驗(yàn),文中通過(guò)示例代碼介紹的非常詳細(xì),對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值,需要的朋友們下面隨著小編來(lái)一起學(xué)習(xí)學(xué)習(xí)吧2024-11-11