Java的“泛型”特性，你以為自己會(huì)了？（萬(wàn)字長(zhǎng)文）

使用Java的小伙伴，對(duì)于Java的一些高級(jí)特性一定再熟悉不過了，例如集合、反射、泛型、注解等等，這些可以說我們?cè)谄綍r(shí)開發(fā)中是經(jīng)常使用到的，尤其是集合，基本是只要寫代碼沒有用不到的，今天我們先來談?wù)?/span>泛型。

1. 定義

在了解一個(gè)事物之前，我們必定要先知道他的定義，所以我們就從定義開始，去一步一步揭開泛型的神秘面紗。

# 泛型（generics）  他是 JDK5 中引入的一個(gè)新特性，泛型提供了編譯時(shí)類型安全監(jiān)測(cè)機(jī)制，該機(jī)制允許我們?cè)诰幾g時(shí)檢測(cè)到非法的類型數(shù)據(jù)結(jié)構(gòu)。泛型的本質(zhì)就是參數(shù)化類型，也就是所操作的數(shù)據(jù)類型被指定為一個(gè)參數(shù)   # 常見的泛型的類型表示 上面的 T 僅僅類似一個(gè)形參的作用，名字實(shí)際上是可以任意起的，但是我們寫代碼總該是要講究可讀性的。常見的參數(shù)通常有 :  E - Element (在集合中使用，因?yàn)榧现写娣诺氖窃?  T - Type（表示Java 類，包括基本的類和我們自定義的類）  K - Key（表示鍵，比如Map中的key）  V - Value（表示值）  ? - （表示不確定的java類型） 但是泛型的參數(shù)只能是類類型，不能是基本的數(shù)據(jù)類型，他的類型一定是自O(shè)bject的

注意：泛型不接受基本數(shù)據(jù)類型，換句話說，只有引用類型才能作為泛型方法的實(shí)際參數(shù)

2. 為什么要使用泛型？

說到為什么要使用，那肯定是找一大堆能說服自己的優(yōu)點(diǎn)啊。

# 泛型的引入，是java語(yǔ)言的來講是一個(gè)較大的功能增強(qiáng)。同時(shí)對(duì)于編譯器也帶來了一定的增強(qiáng)，為了支持泛型，java的類庫(kù)都做相應(yīng)的修改以支持泛型的特性。 （科普：實(shí)際上java泛型并不是 jdk5（2004發(fā)布了jdk5） 才提出來的，早在1999年的時(shí)候，泛型機(jī)制就是java最早的規(guī)范之一）

另外，泛型還具有以下的優(yōu)點(diǎn)：

# 1.提交了java的類型安全  泛型在很大程度上來提高了java的程序安全。例如在沒有泛型的情況下，很容易將字符串 123 轉(zhuǎn)成 Integer 類型的 123 亦或者 Integer 轉(zhuǎn)成 String，而這樣的錯(cuò)誤是在編譯期無法檢測(cè)。而使用泛型，則能很好的避免這樣的情況發(fā)生。  # 2.不需要煩人的強(qiáng)制類型轉(zhuǎn)換  泛型之所以能夠消除強(qiáng)制類型轉(zhuǎn)換，那是因?yàn)槌绦騿T在開發(fā)的時(shí)候就已經(jīng)明確了自己使用的具體類型，這不但提高了代碼的可讀性，同樣增加了代碼的健壯性。   # 提高了代碼的重用性  泛型的程序設(shè)計(jì)，意味著編寫的代碼可以被很多不同類型的對(duì)象所重用

在泛型規(guī)范正式發(fā)布之前，泛型的程序設(shè)計(jì)是通過繼承來實(shí)現(xiàn)的，但是這樣子有兩個(gè)嚴(yán)重的問題：

① 取值的時(shí)候需要強(qiáng)制類型轉(zhuǎn)換，否則拿到的都是 Object

② 編譯期不會(huì)有錯(cuò)誤檢查

我們來看下這兩個(gè)錯(cuò)誤的產(chǎn)生

2.1 編譯期不會(huì)有錯(cuò)誤檢查

public class DonCheckInCompile {  public static void main(String[] args) {  List list = new ArrayList();  list.add("a");  list.add(3);  System.out.println(list);  } }

程序不但不會(huì)報(bào)錯(cuò)，還能正常輸出

2.2 強(qiáng)制類型轉(zhuǎn)換

public class DonCheckInCompile {  public static void main(String[] args) {  List list = new ArrayList();  list.add("a");  list.add(3);  for (Object o : list) {  System.out.println((String)o);  }  } }

因?yàn)槟悴⒉恢缹?shí)際集合中的元素到底是哪些類型的，所以在使用的時(shí)候也是不確定的，如果在強(qiáng)轉(zhuǎn)的時(shí)候，那必然會(huì)帶來意想不到的錯(cuò)誤，這樣潛在的問題就好像是定時(shí)炸彈，肯定是不允許發(fā)生的。所以這就更體現(xiàn)了泛型的重要性。

3. 泛型方法

在 java 中，泛型方法可以使用在成員方法、構(gòu)造方法和靜態(tài)方法中。語(yǔ)法如下：

public <申明泛型的類型> 類型參數(shù) fun()；如 public T fun(T t)；這里的 T 表示一個(gè)泛型類型，而 表示我們定義了一個(gè)類型為 T 的類型，這樣的 T 類型就可以直接使用了，且 需要放在方法的返回值類型之前。T 即在申明的時(shí)候是不知道具體的類型的，只有的使用的時(shí)候才能明確其類型，T 不是一個(gè)類，但是可以當(dāng)作是一種類型來使用。

下面來通過具體的例子來解釋說明，以下代碼將數(shù)組中的指定的兩個(gè)下標(biāo)位置的元素進(jìn)行交換（不要去關(guān)注實(shí)際的需求是什么），第一種 Integer 類型的數(shù)組

public class WildcardCharacter {  public static void main(String[] args) {  Integer[] arrInt = {1, 2, 3, 4, 5, 6, 7, 8, 9};  change(arrInt, 0, 8);  System.out.println("arr = " + Arrays.asList(arrInt));  }   /**  * 將數(shù)組中的指定兩個(gè)下標(biāo)位置的元素交換  *  * @param arr         數(shù)組  * @param firstIndex 第一個(gè)下標(biāo)  * @param secondIndex 第二個(gè)下標(biāo)  */  private static void change(Integer[] arr, int firstIndex, int secondIndex) {  int tmp = arr[firstIndex];  arr[firstIndex] = arr[secondIndex];  arr[secondIndex] = tmp;  } }

第二種是 String 類型的數(shù)組

編譯直接都不會(huì)通過，那是必然的，因?yàn)榉椒ǘx的參數(shù)就是 Integer[] 結(jié)果你傳一個(gè) String[]，玩呢。。。所以這個(gè)時(shí)候只能是再定義一個(gè)參數(shù)類型是 String[]的。

那要是再來一個(gè) Double 呢？Boolean 呢？是不是這就產(chǎn)生問題了，雖然說這種問題不是致命的，多寫一些重復(fù)的代碼就能解決，但這勢(shì)必導(dǎo)致代碼的冗余和維護(hù)成本的增加。所以這個(gè)時(shí)候泛型的作用就體現(xiàn)了，我們將其改成泛型的方式。

 /**  * @param t           參數(shù)類型 T  * @param firstIndex 第一個(gè)下標(biāo)  * @param secondIndex 第二個(gè)下標(biāo)  * @param表示定義了一個(gè)類型 為 T 的類型，否則沒人知道 T 是什么，編譯期也不知道  */  private static <T> void changeT(T[] t, int firstIndex, int secondIndex) {  T tmp = t[firstIndex];  t[firstIndex] = t[secondIndex];  t[secondIndex] = tmp;  }

接下來調(diào)用就簡(jiǎn)單了

 public static void main(String[] args) {   //首先定義一個(gè)Integer類型的數(shù)組  Integer[] arrInt = {1, 2, 3, 4, 5, 6, 7, 8, 9};   //將第 1 個(gè)和第 9 個(gè)位置的元素進(jìn)行交換  changeT(arrInt, 0, 8);  System.out.println("arrInt = " + Arrays.asList(arrInt));  // 然后在定義一個(gè)String類型的數(shù)組  String[] arrStr = {"a", "b", "c", "d", "e", "f", "g"};   //將第 1 個(gè)和第 2 個(gè)位置的元素進(jìn)行交換  changeT(arrStr, 0, 1);  System.out.println("arrStr = " + Arrays.asList(arrStr));  }

問題迎刃而解，至于普通的泛型方法和靜態(tài)的泛型方法是一樣的使用，只不過是一個(gè)數(shù)據(jù)類一個(gè)屬于類的實(shí)例的，在使用上區(qū)別不大（但是需要注意的是如果在泛型類中 靜態(tài)泛型方法是不能使用類泛型中的泛型類型的，這個(gè)在下文的泛型類中會(huì)詳細(xì)介紹的）。

最后在來看下構(gòu)造方法

public class Father {
    publicFather(T t) {
    }
}

然后假設(shè)他有一個(gè)子類是這樣子的

class Son extends Father {

    publicSon(T t) {
        super(t);
    }
}

這里強(qiáng)調(diào)一下，因?yàn)樵?Father 類中是沒有無參構(gòu)造器的，取而代之的是一個(gè)有參的構(gòu)造器，只不過這個(gè)構(gòu)造方法是一個(gè)泛型的方法，那這樣子的子類必然需要顯示的指明構(gòu)造器了。

• 通過泛型方法獲取集合中的元素測(cè)試

既然說泛型是在申明的時(shí)候類型不是重點(diǎn)，只要事情用的時(shí)候確定就可以下，那你看下面這個(gè)怎么解釋？

此時(shí)想往集合中添加元素，卻提示這樣的錯(cuò)誤，連編譯都過不了。這是為什么？

因?yàn)榇藭r(shí)集合 List 的 add 方法，添加的類型為 T，但是很顯然 T 是一個(gè)泛型，真正的類型是在使用時(shí)候才能確定的，但是 在 add 的并不能確定 T 的類型，所以根本就無法使用 add 方法，除非 list.add(null)，但是這卻沒有任何意義。

4. 泛型類

先來看一段這樣的代碼，里面的使用到了多個(gè)泛型的方法，無需關(guān)注方法到底做了什么

public class GenericClassTest{
    public static void main(String[] args) {
        //首先定義一個(gè)Integer類型的數(shù)組
        Integer[] arrInt = {1, 2, 3, 4, 5, 6, 7, 8, 9};
        //將第 1 個(gè)和第 9 個(gè)位置的元素進(jìn)行交換

       new GenericClassTest().changeT(arrInt, 0, 8);
        System.out.println("arrInt = " + Arrays.asList(arrInt));

        Listlist = Arrays.asList("a", "b");
        testIter(list);
    }

    /**
     * @param t           參數(shù)類型 T
     * @param firstIndex  第一個(gè)下標(biāo)
     * @param secondIndex 第二個(gè)下標(biāo)
     * @param表示定義了一個(gè)類型 為 T 的類型，否則沒人知道 T 是什么，編譯期也不知道
     */
    privatevoid changeT(T[] t, int firstIndex, int secondIndex) {
        T tmp = t[firstIndex];
        t[firstIndex] = t[secondIndex];
        t[secondIndex] = tmp;
    }

    /**
     * 遍歷集合
     *
     * @param list 集合
     * @param表示定義了一個(gè)類型 為 T 的類型，否則沒人知道 T 是什么，編譯期也不知道
     */
    private staticvoid testIter(Listlist) {
        for (T t : list) {
            System.out.println("t = " + t);
        }
    }
}

可以看到里面的 是不是每個(gè)方法都需要去申明一次，那要是 100 個(gè)方法呢？那是不是要申明 100 次的，這樣時(shí)候泛型類也就應(yīng)用而生了。那泛型類的形式是什么樣子的呢？請(qǐng)看代碼

public class GenericClazz{
    //這就是一個(gè)最基本的泛型類的樣子
}

下面我們將剛剛的代碼優(yōu)化如下，但是這里不得不說一個(gè)很基礎(chǔ)，但是卻很少有人注意到的問題，請(qǐng)看下面的截圖中的文字描述部分。

# 為什么實(shí)例方法可以，而靜態(tài)方法卻報(bào)錯(cuò)？
1. 首先告訴你結(jié)論：靜態(tài)方法不能使用類定義的泛型，而是應(yīng)該單獨(dú)定義泛型
2. 到這里估計(jì)很多小伙伴就瞬間明白了，因?yàn)殪o態(tài)方法是通過類直接調(diào)用的，而普通方法必須通過實(shí)例來調(diào)用，類在調(diào)用靜態(tài)方法的時(shí)候，后面的泛型類還沒有被創(chuàng)建，所以肯定不能這么去調(diào)用的

所以說這個(gè)泛型類中的靜態(tài)方法直接這么寫就可以啦

    /**
     * 遍歷集合
     *
     * @param list 集合
     */
    private staticvoid testIter(Listlist) {
        for (K t : list) {
            System.out.println("t = " + t);
        }
    }

• 多個(gè)泛型類型同時(shí)使用

我們知道 Map 是鍵值對(duì)形式存在，所以如果對(duì) Map 的 Key 和 Value 都使用泛型類型該怎么辦？一樣的使用，一個(gè)靜態(tài)方法就可以搞定了，請(qǐng)看下面的代碼

public class GenericMap {

    private static  void mapIter(Map map) {
        for (Map.Entry kvEntry : map.entrySet()) {
            K key = kvEntry.getKey();
            V value = kvEntry.getValue();
            System.out.println(key + ":" + value);
        }
    }

    public static void main(String[] args) {
        Map mapStr = new HashMap<>();
        mapStr.put("a", "aa");
        mapStr.put("b", "bb");
        mapStr.put("c", "cc");
        mapIter(mapStr);
        System.out.println("======");
        Map mapInteger = new HashMap<>();
        mapInteger.put(1, "11");
        mapInteger.put(2, "22");
        mapInteger.put(3, "33");
        mapIter(mapInteger);
    }
}

到此，泛型的常規(guī)的方法和泛型類已經(jīng)介紹為了。

5. 通配符

通配符 ? 即占位符的意思，也就是在使用期間是無法確定其類型的，只要在將來實(shí)際使用的時(shí)再指明類型，它有三種形式

• 無限定的通配符。是讓泛型能夠接受未知類型的數(shù)據(jù)

• < ? extends E>有上限的通配符。能接受指定類及其子類類型的數(shù)據(jù)，E就是該泛型的上邊界

• 有下限的通配符。能接受指定類及其父類類型的數(shù)據(jù),E就是該泛型的下邊界

5.1 通配符之

上面剛剛說到了使用一個(gè)類型來表示反省類型是必須要申明的，也即 ，那是不是不申明就不能使用泛型呢？當(dāng)然不是，這小節(jié)介紹的 就是為了解決這個(gè)問題的。

表示，但是話又說話來了，那既然可以不去指明具體類型，那 ? 就不能表示一個(gè)具體的類型也就是說如果按照原來的方式這么去寫，請(qǐng)看代碼中的注釋

而又因?yàn)槿魏晤愋投际?Object 的子類，所以，這里可以使用 Object 來接收，對(duì)于 ? 的具體使用會(huì)在下面兩小節(jié)介紹

另外，大家要搞明白泛型和通配符不是一回事

5.2 通配符之

表示有上限的通配符，能接受其類型和其子類的類型 E 指上邊界，還是寫個(gè)例子來說明

public class GenericExtend {
    public static void main(String[] args) {
        ListlistF = new ArrayList<>();
        ListlistS = new ArrayList<>();
        ListlistD = new ArrayList<>();
        testExtend(listF);
        testExtend(listS);
        testExtend(listD);
    }

    private staticvoid testExtend(List list) {}
}

class Father {}

class Daughter extends Father{}

class Son extends Father {    
}

這個(gè)時(shí)候一切都還是很和平的，因?yàn)榇蠹叶甲袷刂A(yù)定，反正 List 中的泛型要么是 Father 類，要么是 Father 的子類。但是這個(gè)時(shí)候如果這樣子來寫（具體原因已經(jīng)在截圖中寫明了）

5.3 通配符之 <？super E>

<？super E> 表示有下限的通配符。也就說能接受指定類型及其父類類型，E 即泛型類型的下邊界，直接上來代碼然后來解釋

public class GenericSuper {

    public static void main(String[] args) {
        ListlistS = new Stack<>();
        ListlistF = new Stack<>();
        ListlistG = new Stack<>();
        testSuper(listS);
        testSuper(listF);
        testSuper(listG);
        
    }
    private static void testSuper(List list){}
}
class Son extends Father{}
class Father extends GrandFather{}
class GrandFather{}

因?yàn)?List list 接受的類型只能是 Son 或者是 Son 的父類，而 Father 和 GrandFather 又都是 Son 的父類，所以以上程序是沒有任何問題的，但是如果再來一個(gè)類是 Son 的子類（如果不是和 Son 有關(guān)聯(lián)的類那更不行了），那結(jié)果會(huì)怎么樣？看下圖，相關(guān)重點(diǎn)已經(jīng)在圖中詳細(xì)說明

好了，其實(shí)泛型說到這里基本就差不多了，我們平時(shí)開發(fā)能遇到的問題和不常遇見的問題本文都基本講解到了。最后我們?cè)賮硪黄鹂纯捶盒偷牧硪粋€(gè)特性：泛型擦除。

6. 泛型擦除

先來看下泛型擦除的定義

# 泛型擦除
	因?yàn)榉盒偷男畔⒅淮嬖谟?java 的編譯階段，編譯期編譯完帶有 java 泛型的程序后，其生成的 class 文件中與泛型相關(guān)的信息會(huì)被擦除掉，以此來保證程序運(yùn)行的效率并不會(huì)受影響，也就說泛型類型在 jvm 中和普通類是一樣的。

別急，知道你看完概念肯定還是不明白什么叫泛型擦除，舉個(gè)例子

public class GenericWipe {
    public static void main(String[] args) {
        ListlistStr = new ArrayList<>();
        ListlistInt = new ArrayList<>();
        ListlistDou = new ArrayList<>();

        System.out.println(listStr.getClass());
        System.out.println(listInt.getClass());
        System.out.println(listDou.getClass());

    }
}

這也就是說 java 泛型在生成字節(jié)碼以后是根本不存在泛型類型的，甚至是在編譯期就會(huì)被抹去，說來說去好像并沒有將泛型擦除說的很透徹，下面我們就以例子的方式來一步一步證明

• 通過反射驗(yàn)證編譯期泛型類型被擦除

class Demo1 {
    public static void main(String[] args) throws Exception {
        Listlist = new ArrayList<>();
        //到這里是沒有任何問題的，正常的一個(gè) 集合類的添加元素
        list.add(1024);
        list.forEach(System.out::println);
        System.out.println("-------通過反射證明泛型類型編譯期間被擦除-------");
        //反射看不明白的小伙伴不要急，如果想看發(fā)射的文章，請(qǐng)留言反射，我下期保證完成
        list.getClass().getMethod("add", Object.class).invoke(list, "9527");
        for (int i = 0; i < list.size(); i++) { System.out.println("value = " + list.get(i)); } } } 

打印結(jié)果如下：

但是直接同一個(gè)反射似乎并不能讓小伙伴們買賬，我們?yōu)榱梭w驗(yàn)差異，繼續(xù)寫一個(gè)例子

class Demo1 {
    public static void main(String[] args) throws Exception {
        //List實(shí)際上就是一個(gè)泛型，所以我們就不去自己另外寫泛型類來測(cè)試了
        Listlist = new ArrayList<>();
        //到這里是沒有任何問題的，正常的一個(gè) 集合類的添加元素
        list.add(1024);
        list.forEach(System.out::println);
        System.out.println("-------通過反射證明泛型類型編譯期間被擦除-------");
        list.getClass().getMethod("add", Object.class).invoke(list, "9527");
        for (int i = 0; i < list.size(); i++) { System.out.println("value = " + list.get(i)); } //普通的類 FanShe fanShe = new FanShe(); //先通過正常的方式為屬性設(shè)置值 fanShe.setStr(1111); System.out.println(fanShe.getStr()); //然后通過同樣的方式為屬性設(shè)置值 不要忘記上面的List 是 List是泛型哦！不要連最基本的知識(shí)都忘記了 fanShe.getClass().getMethod("setStr", Object.class).invoke(list, "2222"); System.out.println(fanShe.getStr()); } } //隨便寫一個(gè)類 class FanShe{ private Integer str; public void setStr(Integer str) { this.str = str; } public Integer getStr() { return str; } }

測(cè)試結(jié)果顯而易見，不是泛型的類型是不能通過反射去修改類型賦值的。

• 由于泛型擦除帶來的自動(dòng)類型轉(zhuǎn)換
  

因?yàn)榉盒偷念愋筒脸龁栴}，導(dǎo)致所有的泛型類型變量被編譯后都會(huì)被替換為原始類型。既然都被替換為原始類型，那么為什么我們?cè)讷@取的時(shí)候，為什么不需要強(qiáng)制類型轉(zhuǎn)換？

下面這么些才是一個(gè)標(biāo)準(zhǔn)的帶有泛型返回值的方法。

public class TypeConvert {
    public static void main(String[] args) {

        //調(diào)用方法的時(shí)候返回值就是我們實(shí)際傳的泛型的類型
        MyClazz1 myClazz1 = testTypeConvert(MyClazz1.class);
        MyClazz2 myClazz2 = testTypeConvert(MyClazz2.class);
    }
    private staticT testTypeConvert(ClasstClass){
        //只需要將返回值類型轉(zhuǎn)成實(shí)際的泛型類型 T 即可
        return (T) tClass;
    }
}

class MyClazz1{}
class MyClazz2{}

• 由泛型引發(fā)的數(shù)組問題

名字怪嚇人的，實(shí)際上說白了就是不能創(chuàng)建泛型數(shù)組

看下面的代碼

為什么不能創(chuàng)建泛型類型的數(shù)組？

因?yàn)?/span>List 和 List 被編譯后在 JVM 中等同于List ，所有的類型信息在編譯后都等同于List，也就是說編譯器此時(shí)也是無法區(qū)分?jǐn)?shù)組中的具體類型是 Integer類型還是 String 。

但是，使用通配符卻是可以的，我上文還特意強(qiáng)調(diào)過一句話：泛型和通配符不是一回事。請(qǐng)看代碼

那這又是為什么？? 表示未知的類型，他的操作不涉及任何的類型相關(guān)的東西，所以 JVM 是不會(huì)對(duì)其進(jìn)行類型判斷的，因此它能編譯通過，但是這種方式只能讀不能寫，也即只能使用 get 方法，無法使用 add 方法。

為什么不能 add ？ 提供了只讀的功能，也就是它刪減了增加具體類型元素的能力，只保留與具體類型無關(guān)的功能。它不管裝載在這個(gè)容器內(nèi)的元素是什么類型，它只關(guān)心元素的數(shù)量、容器是否為空，另外上面也已經(jīng)解釋過為什么不能 add 的，這里就當(dāng)做一個(gè)補(bǔ)充。

好了，關(guān)于泛型知識(shí)，今天就聊到這里，感謝大家的支持！