Java泛型通配符詳解

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

2、 T”通配符下界“? super T”總結(jié)5無界通配符“?”6 為了使泛型的子類型仍然具有相關(guān)性，可以直接使用無界通配符“? ”例如：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、里添加任何類型的對(duì)象了，Object的對(duì)象也不可以，但是可以添加null。 List與List的區(qū)別，List只能容納一種類型的對(duì)象，是一個(gè)同構(gòu)集合；但是List可以容納任意Object類型或Object子類的對(duì)象，是一個(gè)異構(gòu)集合。綱要通配符簡介無界通配符“?”通配符上界“? extends T”通配符下界“? super T”總結(jié)7通配符上界“? extends T”8 以上無界通配符的例子中Fruit與Cat并沒有繼承關(guān)系。這需要通配符上界語法規(guī)則進(jìn)行限制。例如： 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 實(shí)際上“? extends T”的機(jī)制本質(zhì)上實(shí)現(xiàn)的是泛型的自動(dòng)向上轉(zhuǎn)型，它更多的時(shí)候用在方法傳參上 假設(shè)有以下的類繼承關(guān)系：一個(gè)抽象類Shape，包含一個(gè)

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

6、”通配符下界“? super T”總結(jié)11通配符下界“? super T”12 與“? extends T”相對(duì)的是通配符下界“? 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ì)上實(shí)現(xiàn)的是泛型的自動(dòng)向下轉(zhuǎn)型。 通配符下界“? super T”13 在通配符下界的限制下， 持有T類型或者其子類型對(duì)象的容器是可寫入的。 無法有效地自動(dòng)獲取對(duì)象的類型。 同List類似，List在方法傳參中被大量采用。 例如：在對(duì)象的比較中，類Fruit實(shí)現(xiàn)了Comparable接口，即Fruit類的對(duì)象 集合是可以進(jìn)行排序的，但是我們希望所有繼承Fruit類的子類對(duì)象集合也能 夠進(jìn)行排序。 使用簡單泛型T不能實(shí)現(xiàn)目標(biāo)。通配符下界“? sup

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