[[432374]]

泛型作為 Java 中一個天天都在被人使用的特性，你真的知道它的原理嗎?

什么是泛型

首先我們說下什么是泛型。

泛型，就是泛化類型也就是泛化參數類型。平時我們在編寫代碼的時候，方法的參數在定義的時候都是指定特定的類型，比如 Integer，Double 或者其他自己編寫的類。那么泛化類型就是，我們在編寫一個方法的時候對于參數的類型不具體指定，而是定義一個通用類型，在使用的時候根據類型自動轉化。

上面的描述可能比較抽象，我們再看一下，如果沒有泛型的話，會出現什么情況以及為什么說這個泛型大家天天都在使用。

原理

我們都知道 ArrayList 作為 Java 中一個很頻繁被使用的集合，它是一個可變長的數組，底層是基于 Object[] 來實現的。

可以簡單理解為下面的內容

public class ArrayList { 
    private Object[] array; 
    private int size; 
    public void add(Object e) {...} 
    public void remove(int index) {...} 
    public Object get(int index) {...} 
} 

如果說這個時候我們使用上面的 ArrayList 去存儲 String 類型的話，需要如下操作，在使用的時候必須進行手動強轉。

ArrayList list = new ArrayList(); 
list.add("Java"); 
list.add("C++"); 
String first = (String) list.get(0); 
String first = (String) list.get(1); 

首先看到上面的代碼，大家一定會詫異，要是每次使用的時候都這樣顯示強轉的話，那不是要命了么，而且這還是使用者知道是什么類型的情況才能進行手動強轉，如果說根本不知道是什么類型的時候，根據沒辦法進行強轉，這種方式簡直不能忍，還特別容易出錯。

那怎么解決這個問題呢?有朋友說我們可以對于不同的類型實現一個自己的 ArrayList 類，這樣在使用的時候就可以不用強轉了啊。對此阿粉只能說，對于 JDK 提供的類可以這樣做，但是對于用戶自己編寫的類怎么實現呢?

這個時候大家可能會說到，ArrayList 我天天使用，也沒手動強轉過啊，不還是用的好好的。

這就要歸功于我們今天所說的主角，泛型了。

我們給 ArrayList 增加的泛型，通過定義一個泛化的類型，當我們在使用的時候如果傳遞的類型不是指定的類型，那么在編譯的階段就會報錯，從而也就不會有需要強轉的操作了。

public class ArrayList<E> { 
    private Object[] array;//任何類型都是 Object 的子類，所以這里我們還是不變 
    private int size; 
    public void add(E e) {...} 
    public void remove(int index) {...} 
    public E get(int index) {...} 
} 

這樣修改過后，我們在編寫代碼的時候就可以如果進行

ArrayList<String> strList = new ArrayList<String>(); 
list.add("Java"); 
list.add("C++"); 
String first = list.get(0);//這里就不用強轉了 
String first = list.get(1);//這里就不用強轉了 
list.add(new Integer(100));//編譯報錯 

當我們需要使用 Integer 對象的時候就可以使用下面這種方式

ArrayList<Integer> list = new ArrayList<Integer>(); 
list.add("Java");//編譯報錯 
list.add("C++");//編譯報錯 
list.add(new Integer(100));//編譯通過 

另外我們還知道 ArrayList 實現了 List 接口，如下所示，所以會有一種向上轉型的概念，就是我們前面在定義的時候使用 List 也是可以，也就是我們通常的定義方式，即 List list = new ArrayList<>();

但是這里我們需要注意不可以進行如下的泛型向上轉型，比如下面這個例子。

我們定義了 Person 類，Man 類以及 Women 類

public class Person { 
 
    private String name; 
    private Integer age; 
 
    public String getName() { 
        return name; 
    } 
 
    public void setName(String name) { 
        this.name = name; 
    } 
 
    public Integer getAge() { 
        return age; 
    } 
 
    public void setAge(Integer age) { 
        this.age = age; 
    } 
} 
 
public class Man extends Person { 
 
    ... 
} 
 
public class Women extends Person { 
 
    ... 
} 

我們在使用的時候只能這樣

ArrayList<Man> manList = new ArrayList<Man>(); 
List<Man> manList1 = new ArrayList<>(); 
ArrayList<Women> womenList = new ArrayList<Women>(); 
List<Women> womenList1 = new ArrayList<>(); 

不可以

ArrayList<Man> manList = new ArrayList<Man>(); 
//這種轉型是不可以的 
ArrayList<Person> personList = manList; 
personList.add(new Man()); 
//破壞了原本只能存放 Man 的約定 
personList.add(new Women()); 

因為我們不能同時在一個List 中即加入 man 也加入 woman，這樣是不行的。

接下來我們再看另一個問題，假設我們有一個方法，是打印 PersonList 內容的，如下所示：

public void print(ArrayList<Person> personList) { 
    for (Person p : personList) { 
        System.out.print(p.name); 
    } 
} 
ArrayList<Man> manList = new ArrayList(); 
list.add(new Man()); 
list.add(new Man()); 
print(manList); 

上面的內容會編譯出錯，效果是這樣的。

原因是因為雖然 Man 類是繼承了 Person 類，但是 ArrayList 并沒有繼承ArrayList 類，所以這個方法是編譯通不過。看到這里小伙伴又驚呆了，這不行啊，總不能引入了泛型，就不支持多態了吧，所以這個要怎么辦。

這里我們就需要引入另一個東西了，那就是泛型里面的 extends，我們把 print 方法換個寫法，這個時候就不會編譯不通過了。如下所示圖片

extends 表示傳進來的參數只要是 Person 的子類都可以，這樣就還支持多態了。所以現在小伙伴知道了為什么JDK 源碼以及很多框架的源碼中都有很多? extends xxx 這種形式的代碼了吧。