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