上一篇文章中我們介紹了泛型的基礎(chǔ)知識(shí)點(diǎn)，詳情請(qǐng)參考文章：詳解Java泛型之入門泛型必懂的知識(shí)點(diǎn)

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

通配符概念

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

1. public class Car{   
2.    public void drive() { 
3.       System.out.println("car的drive方法"); 
4.       
5.    }; 
6.    public void brake() { 
7.       System.out.println("car的brake方法"); 
8.    }; 
9. } 
10. public class Benz extends Car{ 
11.    public void drive() { 
12.       System.out.println("benz drive"); 
13.    }; 
14. } 

根據(jù)上面的代碼，因?yàn)锽enz 是Car的子類，所以 Car c=new Benz();是成立的，那么，ArrayList <Car> l = new ArrayList<Benz>();是成立的嗎？我們可以看到IDE編譯時(shí)直接報(bào)錯(cuò)了，如下圖所示：

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

通配符有 3 種形式。

1. 鴻蒙官方戰(zhàn)略合作共建——HarmonyOS技術(shù)社區(qū)
2. <?>被稱作無限定的通配符。
3. <? extends T>被稱作有上限的通配符。
4. <? super T>被稱作有下限的通配符。

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

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

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

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

我們可以看到使用add方法直接報(bào)錯(cuò)了!因?yàn)?是未知的。但是調(diào)用如下方法是沒有問題的。

1. l2.get(0); 
2. l2.size(); 
3. l2.iterator().next(); 

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

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

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

T和?的主要區(qū)別

最后我們總結(jié)一下T和?的主要區(qū)別：

區(qū)別一

T代表確定的類型，這里的確定是指運(yùn)行時(shí)確定。

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

區(qū)別二

通過T來確保泛型參數(shù)的一致性，下面這兩個(gè)參數(shù)的類型是一致的

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

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

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

區(qū)別三

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

1. // 可以 
2. public Class<?> clazz; 
3.  
4. // 不可以，因?yàn)?nbsp;T 需要指定類型 
5. public Class<T> clazzT; 

原文鏈接：https://www.toutiao.com/i6972338490855997990/