Java 泛型你了解嗎

為什么需要泛型

**
Java的高級特性--泛型使用特別頻繁哪审，為什么在常見類型和自定義類型后還要加入一個泛型呢生闲，通過兩段代碼我們就可以知道為何我們需要泛型

實際開發(fā)中，經(jīng)常有數(shù)值類型求和的需求赏半，例如實現(xiàn)int類型的加法, 有時候還需要實現(xiàn)long類型的求和, 如果還需要double類型的求和义起，需要重新在重載一個輸入是double類型的add方法。
所以泛型的好處就是：
適用于多種數(shù)據(jù)類型執(zhí)行相同的代碼
泛型中的類型在使用時指定脖咐，不需要強制類型轉換

**泛型種類：

泛型類

在這里插入圖片描述
泛型接口

泛型接口

而實現(xiàn)泛型接口的類铺敌，有兩種實現(xiàn)方法
不傳入泛型實參（在new出類的實例時，需要指定具體類型）：

泛型接口實現(xiàn)1

傳入泛型實參（在new出類的實例時屁擅，和普通的類沒區(qū)別）：

在這里插入圖片描述
泛型方法
在調用方法的時候指明泛型的具體類型偿凭，泛型方法可以在任何地方和任何場景中使用，包括普通類和泛型類派歌。注意泛型類中定義的普通方法和泛型方法的區(qū)別弯囊。

在這里插入圖片描述

雖然前面兩個方法雖然使用了泛型，但并不是泛型方法胶果，使用的泛型只是在其泛型類中聲明過的泛型匾嘱。真正的泛型方法 <> 是必不可少的。

限定類型變量

有時候早抠，我們需要對類型變量加以約束霎烙，比如計算兩個變量的大小。使用到compareTo 方法去比較贝或，可是如何才能保證傳入的兩個變量一定有compareTo 方法呢吼过，
我們可以用限定類型變量的方式去實現(xiàn)，將傳入變量的類型限制為實現(xiàn)了Comarable接口的類型

在這里插入圖片描述

<T extends Comparable>中咪奖，T表示應該綁定類型的子類型盗忱，Comparable表示綁定類型，子類型和綁定類型可以是類也可以是接口羊赵。
同時extends左右都允許有多個趟佃，如 T,V extends Comparable & Serializable 扇谣。注意限定類型中，只允許有一個類闲昭，而且如果有類罐寨，這個類必須是限定列表的第一個。
這種類的限定既可以用在泛型方法上也可以用在泛型類上序矩。

泛型中的約束和局限性

1.不能用基本類型實例化類型參數(shù)鸯绿，例如：
MyGeneric<Int> myGeneric=new MyGeneric(100); //錯誤代碼
MyGeneric<Integer> myGeneric=new MyGeneric(100); //正確代碼

2.運行時類型查詢只適用于原始類型，比如不能使用以下判斷簸淀，泛型不能用instanceof關鍵字
flag=myGeneric instanceof MyGeneric<String>

3.泛型類的靜態(tài)上下文中類型變量失效
static T instance; 泛型不起作用
不能在靜態(tài)域或方法中引用類型變量瓶蝴。因為泛型是要在對象創(chuàng)建的時候才知道是什么類型的，而對象創(chuàng)建的代碼執(zhí)行先后順序是static的部分租幕，然后才是構造函數(shù)等等舷手。所以在對象初始化之前static的部分已經(jīng)執(zhí)行了，如果你在靜態(tài)部分引用的泛型劲绪，那么毫無疑問虛擬機根本不知道是什么東西男窟，因為這個時候類還沒有初始化。
4.不能實例化類型變量
this.data=new T(); //錯誤代碼
5.不能創(chuàng)建參數(shù)化類型的數(shù)組

泛型類型的繼承規(guī)則

在這里插入圖片描述

上面代碼中的 MyGeneric<Fruit> 和 MyGeneric<Apple>并沒有繼承關系贾富，有繼承關系的是具體的Fruit和Apple.正是因為前面所述的歉眷， MyGeneric<Fruit> 和 MyGeneric<Apple>沒有任何關系，泛型引入了通配符的概念祷安。通配符有三種使用方式：
姥芥？ extends X 表示類型的上界，類型參數(shù)是X的子類
汇鞭？ super X 表示類型的下界凉唐，類型參數(shù)是X的超類。
無限定的通配符 ?比如：Pair< ?>
使用泛型通配符就可以讓兩個泛型類有了繼承關系

虛擬機是如何實現(xiàn)泛型的

虛擬機其實是沒有泛型概念的霍骄，在虛擬機的實現(xiàn)上台囱，對泛型實現(xiàn)了泛型擦除。
Java泛型只在程序源碼中存在读整，在編譯后的字節(jié)碼文件中簿训，就已經(jīng)替換為原來的原生類型（Raw Type，也稱為裸類型）了米间，并且在相應的地方插入了強制轉型代碼强品，因此，對于運行期的Java語言來說屈糊，ArrayList＜int＞與ArrayList＜String＞就是同一個類的榛，所以泛型技術實際上是Java語言的一顆語法糖，Java語言中的泛型實現(xiàn)方法稱為類型擦除逻锐，基于這種方法實現(xiàn)的泛型稱為偽泛型夫晌。

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