Java泛型通配符詳解

1、Java泛型 報告人：胡雪梅導師：黃嵐指導老師：王巖日期:20160503通配符綱要通配符簡介無界通配符“?”通配符上界“? extends T”通配符下界“? super T”總結2綱要通配符簡介無界通配符“?”通配符上界“? extends T”通配符下界“? super T”總結3通配符簡介4 Java泛型是強類型檢測的，泛型類型的子類型互不相關。 我們卻希望能夠像使用普通類那樣使泛型類型也具有面向?qū)ο蟮囊恍┨匦?，例如?向上轉(zhuǎn)型一個泛型對象 向下轉(zhuǎn)型一個泛型對象 為了使泛型類型具有面向?qū)ο蟮睦^承關系，Java引入了通配符的概。綱要通配符簡介無界通配符“?”通配符上界“? extends

2、 T”通配符下界“? super T”總結5無界通配符“?”6 為了使泛型的子類型仍然具有相關性，可以直接使用無界通配符“? ”例如：1. List apples = new ArrayList();2. List fruits = new ArrayList();3. List cats = new ArrayList();4. fruits=apples; 5. apples=fruits; 6. cats = fruits1; 7. fruits.add(new Apple(); /無法賦值8. apples.add(new Apple(); /無法賦值 給List初始化之后就不能夠再往

3、里添加任何類型的對象了，Object的對象也不可以，但是可以添加null。 List與List的區(qū)別，List只能容納一種類型的對象，是一個同構集合；但是List可以容納任意Object類型或Object子類的對象，是一個異構集合。綱要通配符簡介無界通配符“?”通配符上界“? extends T”通配符下界“? super T”總結7通配符上界“? extends T”8 以上無界通配符的例子中Fruit與Cat并沒有繼承關系。這需要通配符上界語法規(guī)則進行限制。例如： 1. List apples = new ArrayList(); 2. List fruits = new ArrayLis

4、t(); 3. List cats = new ArrayList(); 4. fruits = apples; 5. fruits = cats; /無法賦值 6. fruits.add(new Apple(); /無法賦值 7. Fruit fruit = fruits.get(0); /ok 8. apples = fruits1; /無法賦值 9. apples = (List)fruits; 通配符上界“? extends T”9 實際上“? extends T”的機制本質(zhì)上實現(xiàn)的是泛型的自動向上轉(zhuǎn)型，它更多的時候用在方法傳參上 假設有以下的類繼承關系：一個抽象類Shape，包含一個

5、抽象方法draw()，非抽象類Circle和Rectangle都繼承了Shape，并且實現(xiàn)了draw()方法?，F(xiàn)在有一個Canvas類的drawAll()方法想要畫出所有繼承和實現(xiàn)了Shape類的圖形。例如：通配符上界“? extends T”10 泛型規(guī)則導致drawAll方法只能接受持有Shape對象的List。普通泛型T是強類型檢測的，只能接受某種特定的類型。而此時“? extends T”則可以發(fā)揮作用。 有上界限制的通配符“? extends T”，限制了所接受的對象必須具有類型T的方法和屬性，這在許多場合是非常重要的。綱要通配符簡介無界通配符“?”通配符上界“? extends T

6、”通配符下界“? super T”總結11通配符下界“? super T”12 與“? extends T”相對的是通配符下界“? Super T”1. List fruits = new ArrayList();2. List apples = new ArrayList();3. List cats = new ArrayList();4. apples = fruits;5. apples = cats; /無法賦值6. apples.add(new Apple(); /ok7. apples.add(new Fruit(); /無法賦值8. Apple apple = apples.g

7、et(0); /無法賦值 “? super Apple”表示可以接受的類型的下界為Apple類型，也即只能接受Apple類型或者Apple的父類型，本質(zhì)上實現(xiàn)的是泛型的自動向下轉(zhuǎn)型。 通配符下界“? super T”13 在通配符下界的限制下， 持有T類型或者其子類型對象的容器是可寫入的。 無法有效地自動獲取對象的類型。 同List類似，List在方法傳參中被大量采用。 例如：在對象的比較中，類Fruit實現(xiàn)了Comparable接口，即Fruit類的對象 集合是可以進行排序的，但是我們希望所有繼承Fruit類的子類對象集合也能 夠進行排序。 使用簡單泛型T不能實現(xiàn)目標。通配符下界“? sup

8、er T”14 明確的限定類型T需實現(xiàn)Comparable接口又會怎么樣呢？ 不能實現(xiàn)目標。通配符下界“? super T”15 想要Apple等子類在不重復實現(xiàn)Comparable接口的情況下也能對對象集合進行排序，又該如何處理呢？這就需要借助于“? super T”。 完美實現(xiàn)目標。綱要通配符簡介無界通配符“?”通配符上界“? extends T”通配符下界“? super T”總結16總結17 Java泛型是強類型檢測的，泛型類型的子類型互不相關。我們期待引入通配符“?”的機制，可以使泛型類也具有一些面向?qū)ο蟮奶匦?，例如：自動向上轉(zhuǎn)型、多態(tài)等。 引入通配符“?” ，使泛型的使用變得更加寬泛起來。然而此優(yōu)點卻是以不能寫入