Java的泛型詳解(一)
編寫的代碼可以被不同類型的對象所重用。
因為上面的一個優點,泛型也可以減少代碼的編寫。
1|2泛型的使用
簡單泛型類
public class Pair { private T first; private T second; public Pair() { first = null; second = null; } public Pair(T first, T second){ this.first = first; this.second = second; } public T getFirst(){ return first; } public T getSecond(){ return second; } public void setFirst(T first) { this.first = first; } public void setSecond(T second) { this.second = second; } }
上面例子可以看出泛型變量為T;
用尖括号(<>)括起來,并放在類名後面;
泛型還可以定義多個類型變量比如上面的例子 first和second不同的類型:
public class Pair {....}
注: 類型變量的定義需要一定的規範:
(1) 類型變量使用大寫形式,并且要比較短;
(2)常見的類型變量特别代表一些意義:變量E 表示集合類型,K和V表示關鍵字和值的類型;T、U、S表示任意類型;
類定義的類型變量可以作為方法的傳回類型或者局部變量的類型;
例如: private T first;
用具體的類型替換類型變量就可以執行個體化泛型類型;
例如: Pair 代表将上述所有的T 都替換成了String
由此可見泛型類是可以看作普通類的工廠
泛型方法
我們應該如何定義一個泛型方法呢?
泛型的方法可以定義在泛型類,也可以定義在普通類,那如果定義在普通類需要有一個尖括号加類型來指定這個泛型方法具體的類型;
public class TestUtils { public static T getMiddle(T... a){ return a[a.length / 2]; } }
類型變量放在修飾符(static)和傳回類型的中間;
當你調用上面的方法的時候隻需要在方法名前面的尖括号放入具體的類型即可;
String middle = TestUtils.getMiddle("a", "b", "c");
如果上圖這種情況其實可以省略,因為編譯器能夠推斷出調用的方法一定是String,是以下面這種調用也是可以的;
但是如果是以下調用可能會有問題:
如圖:可以看到變意思沒有辦法确定這裡的類型,因為此時我們入參傳遞了一個Double3.14 兩個Integer1729 和0 編譯器認為這三個不屬于同一個類型;
此時有一種解決辦法就是把整型寫成Double類型
類型變量的限定
有時候我們不能無限制的讓使用者傳遞任意的類型,我們需要對我們泛型的方法進行限定傳遞變量,比如如下例子
計算數組中最下的元素
這個時候是無法編譯通過的,且編譯器會報錯
因為我們的編譯器不能确定你這個T 類型是否有compareTo這個函數,是以這麼能讓編譯器相信我們這個T是一定會有compareTo呢?
我們可以這麼寫 這裡的意思是T一定是繼承Comparable的類
因為Comparable是一定有compareTo這個方法,是以T一定有compareTo方法,于是編譯器就不會報錯了
因為加了限定那麼min這個方法也隻有繼承了Comparable的類才可以調用;
如果要限定方法的泛型繼承多個類可以加extends 關鍵字并用&分割如:T extends Comparable & Serializable
限定類型是用&分割的,逗号來分割多個類型變量
1|3類型擦除
不論什麼時候定義一個泛型類型,虛拟機都會提供一個相應的原始類型(raw type)。原始類型的名字就是删掉類型參數後的泛型類型。擦除類型變量,并替換限定類型(沒有限定類型的變量用Object)
列如: Pair 的原始類型如下所示
public class Pair { private Object first; private Object second; public Pair() { first = null; second = null; } public Pair(Object first, Object second){ this.first = first; this.second = second; } public Object getFirst(){ return first; } public Object getSecond(){ return second; } public void setFirst(Object first) { this.first = first; } public void setSecond(Object second) { this.second = second; } }
因為上面的T是沒有限定變量,于是用Object代替了;
如果有限定變量則會以第一個限定變量替換為原始類型如:
public class Interval implements Serializable{ private T lower; private T upper; }
原始類型如下所示:
public class Interval implements Serializable{ private Comparable lower; private Comparable upper; }
翻譯泛型表達式
上面說到泛型擦除類型變量後對于無限定變量後會以Object來替換泛型類型變量;
但是我們使用的時候并不需要進行強制類型轉換;
原因是編譯器已經強制插入類型轉換;
例如:
Pair buddies = ...; Employee buddy = buddies.getFirst();
擦除getFirst的傳回類型後将傳回Object類型,但是編譯器自動插入Employee的強制類型轉換,編譯器會把這個方法調用翻譯為兩條虛拟機指令;
對原始方法Pair.getFirst的調用
将傳回的Object類型強制轉換為Employee類型;
我們可以反編譯驗證一下
關鍵的位元組碼有以下兩條
9: invokevirtual #4 // Method com/canglang/Pair.getFirst:()Ljava/lang/Object;
12: checkcast #5 // class com/canglang/model/Employee
虛拟機指令含義如下:
invokevirtual:虛函數調用,調用對象的執行個體方法,根據對象的實際類型進行派發,支援多态;
checkcast:用于檢查類型強制轉換是否可以進行。如果可以進行,checkcast指令不會改變操作數棧,否則它會抛出ClassCastException異常;
由此我們可以驗證了上述的結論,在反編譯後的位元組碼中看到,當對泛型表達式調用時,虛拟機操作如下:
對于對象的實際類型進行替換泛型;
檢查類型是否可以強制轉換,如果可以将對傳回的類型進行強制轉換;
翻譯泛型方法
類型擦除也會出現在泛型方法裡面
public static T min(T[] a)
類型擦除後
public static Comparable min(Comparable[] a)
此時可以看到類型參數T已經被擦除了,隻剩下限定類型Comparable;
方法的類型擦除帶來了兩個複雜的問題,看下面的示例:
public class DateInterval extends Pair { public void setSecond(LocalDate second){ System.out.println("DateInterval: 進來這裡了!"); } }
此時有個問題,從Pair繼承的setSecond方法類型擦除後為
public void setSecond(Object second)
這個和DateInterval的setSecond明顯是兩個不同的方法,因為他們有不同的類型的參數,一個是Object,一個LocalDate;
那麼看下面一個列子
public class Test { public static void main(String[] args) { DateInterval interval = new DateInterval(); Pair pair = interval; pair.setSecond(LocalDate.of(2020, 5, 20)); } }
Pair引用了DateInterval對象,是以應該調用DateInterval.setSecond。
我們看一下運作結果
但是看了反編譯的位元組碼可能發現一個問題:
17: invokestatic #4 // Method java/time/LocalDate.of:(III)Ljava/time/LocalDate;
20: invokevirtual #5 // Method com/canglang/Pair.setSecond:(Ljava/lang/Object;)V
這裡可以看到此處位元組碼調用的是Pair.setSecond
這裡有個重要的概念就是橋方法
引用Oracle中對于這個現象的解釋
為了解決此問題并在類型擦除後保留通用類型的 多态性,
Java編譯器生成了一個橋接方法,以確定子類型能夠按預期工作。
對于DateInterval類,編譯器為setSecond生成以下橋接方法:
public class DateInterval extends Pair { // Bridge method generated by the compiler // public void setSecond(Object second) { setSecond((LocalDate)second); } public void setSecond(LocalDate second){ System.out.println("DateInterval: 進來這裡了!"); } }
那麼我們如何驗證是否生成這個橋方法呢?我們可以反編譯一下DateInterval.java看一下位元組碼;
public void setSecond(java.lang.Object);
descriptor: (Ljava/lang/Object;)V
flags: ACC_PUBLIC, ACC_BRIDGE, ACC_SYNTHETIC
Code:
stack=2, locals=2, args_size=2
0: aload_0
1: aload_1
2: checkcast #5 // class java/time/LocalDate
5: invokevirtual #6 // Method setSecond:(Ljava/time/LocalDate;)V
8: return
我截取了部分發現在 DateInterval的位元組碼中的确會有一個橋方法,同時驗證了上面的問題;
總結:
虛拟機中沒有泛型,隻有普通的類和方法
所有的類型參數都用他們的限定類型替換
橋方法被合成來保持多态
為保持類型安全性,必要時插入強制類型轉換
EOF
本文作者:白羽流光
本文連結:
https://www.cnblogs.com/yantt/p/12924906.html