[[406276]]

上一篇文章中我們介紹了泛型的基礎知識點，詳情請參考文章：

詳解Java泛型之入門泛型必懂的知識點

今天我們來繼續講解泛型中另一個非常重要的概念，就是那個“小問號”——通配符!

通配符概念

泛型中除了用 <T>表示泛型外，還有 <?>這種形式。？ 被稱為通配符。那么引入通配符的原因又是什么呢？看下面這段代碼：

public class Car{   
   public void drive() { 
      System.out.println("car的drive方法"); 
      
   }; 
   public void brake() { 
      System.out.println("car的brake方法"); 
   }; 
} 
public class Benz extends Car{ 
   public void drive() { 
      System.out.println("benz drive"); 
   }; 
} 

 根據上面的代碼，因為Benz 是Car的子類，所以 Car c=new Benz();是成立的，那么，ArrayList <Car> l = new ArrayList<Benz>();是成立的嗎？我們可以看到IDE編譯時直接報錯了，如下圖所示：

所以，我們得出結論：Benz 和Car有繼承關系，不代表 List< Benz >和 List<Car>有繼承關系。但是在現實編碼中，確實有這樣的需求，希望泛型能夠處理某一范圍內的數據類型，比如某個類和它的子類，對此 Java 引入了？，即通配符這個概念。

通配符有 3 種形式。

1. <?>被稱作無限定的通配符。
2. <? extends T>被稱作有上限的通配符。
3. <? super T>被稱作有下限的通配符。

無限定通配符 <?>經常與容器類配合使用，它其中的 ? 其實代表的是未知類型，所以涉及到 ? 的操作，一定與具體類型無關。這里extends 和super與泛型上下邊界中的extends 和super的概念是一致的，由于在前面的文章中介紹過，這里也就不再贅述了。<? extends T> 解決了這樣一個問題，代碼如下所示：

從上面的代碼中我們可以看到：

<T extends Car>是無法編譯通過的，而<? extends Car >可以編譯通過。

<? extends Car>雖然可以編譯通過，但是l2也不能往里存，我們只能調用與類型無關的操作方法，代碼如下：

我們可以看到使用add方法直接報錯了!因為?是未知的。但是調用如下方法是沒有問題的。

l2.get(0); 
l2.size(); 
l2.iterator().next(); 

 這里大家要了解<? super T>的特殊性，它具有一定程度的寫操作的能力，代碼如下：

ArrayList<? super Benz> l3= new ArrayList<>(); 
l3.add(new Benz()); //成功 
l3.add(new Car()); //編譯不通過 

 所以，提供了只讀的功能，也就是它刪減了增加具體類型元素的能力，只保留與具體類型無關的功能。它不管裝載在這個容器內的元素是什么類型，它只關心元素的數量以及容器是否為空。

T和?的主要區別

最后我們總結一下T和?的主要區別：

區別一

T代表確定的類型，這里的確定是指運行時確定。

?代表未知類型，所以它涉及的操作都基本上與類型無關，因此 jvm 不需要針對它對類型作判斷，因此它能編譯通過

區別二

通過T來確保泛型參數的一致性，下面這兩個參數的類型是一致的

public <T extends Number> Void test(List<T> p1, List<T> p2) 

通配符是不確定的，所以下面這個方法不能保證兩List具有相同的元素類型

public void test(List<? extends Number>p1,List<? Extends Number>p2) 

區別三

Class<T>在實例化的時候，T 要替換成具體類。Class<?>它是個通配泛型，? 可以代表任何類型，所以主要用于聲明時的限制情況。比如，我們可以這樣做申明：

// 可以 
public Class<?> clazz; 
 
// 不可以，因為 T 需要指定類型 
public Class<T> clazzT;