Java培訓(xùn)之java難點(diǎn)解析(二十七)-泛型

只要帶有<>的類或者接口，都屬于帶有類型參數(shù)的類或者接口，在使用這些類或者接口時(shí)，必須給<>中傳遞一個(gè)具體的引用數(shù)據(jù)類型。
 
泛型技術(shù)：其實(shí)應(yīng)用在編譯時(shí)期，是給編譯器使用的技術(shù)，到了運(yùn)行時(shí)期，泛型就不存在了。
為什么? 因?yàn)榉盒偷牟脸阂簿褪钦f(shuō)，編輯器檢查了泛型的類型正確后，在生成的類文件中是沒(méi)有泛型的。
在運(yùn)行時(shí)，如何知道獲取的元素類型而不用強(qiáng)轉(zhuǎn)呢？
泛型的補(bǔ)償：因?yàn)榇鎯?chǔ)的時(shí)候，類型已經(jīng)確定了是同一個(gè)類型的元素，所以在運(yùn)行時(shí)，只要獲取到該元素的類型，在內(nèi)部進(jìn)行一次轉(zhuǎn)換即可，所以使用者不用再做轉(zhuǎn)換動(dòng)作了。
 
什么時(shí)候用泛型類呢？
當(dāng)類中的操作的引用數(shù)據(jù)類型不確定的時(shí)候，以前用的Object來(lái)進(jìn)行擴(kuò)展的，現(xiàn)在可以用泛型來(lái)表示。這樣可以避免強(qiáng)轉(zhuǎn)的麻煩，而且將運(yùn)行問(wèn)題轉(zhuǎn)移到的編譯時(shí)期。
----------------------------------------------------------
泛型在程序定義上的體現(xiàn)：
//泛型類：將泛型定義在類上。
class Tool<Q> {
private Q obj;
public  void setObject(Q obj) {
this.obj = obj;
}
public Q getObject() {
return obj;
}
}
//當(dāng)方法操作的引用數(shù)據(jù)類型不確定的時(shí)候，可以將泛型定義在方法上。
public <W> void method(W w) {
System.out.println("method:"+w);
}
//靜態(tài)方法上的泛型：靜態(tài)方法無(wú)法訪問(wèn)類上定義的泛型。如果靜態(tài)方法操作的引用數(shù)據(jù)類型不確定的時(shí)候，必須要將泛型定義在方法上。
public static <Q> void function(Q t) {
System.out.println("function:"+t);
}
//泛型接口.
interface Inter<T> {
void show(T t);
}
class InterImpl<R> implements Inter<R> {
public void show(R r) {
System.out.println("show:"+r);
}
}
------------------------------------------------------------
泛型中的通配符：可以解決當(dāng)具體類型不確定的時(shí)候，這個(gè)通配符就是 ?  ；當(dāng)操作類型時(shí)，不需要使用類型的具體功能時(shí)，只使用Object類中的功能。那么可以用 ? 通配符來(lái)表未知類型。
 
泛型限定：
上限：？extends E：可以接收E類型或者E的子類型對(duì)象。
下限：？super E：可以接收E類型或者E的父類型對(duì)象。
 
上限什么時(shí)候用：往集合中添加元素時(shí)，既可以添加E類型對(duì)象，又可以添加E的子類型對(duì)象。為什么？因?yàn)槿〉臅r(shí)候，E類型既可以接收E類對(duì)象，又可以接收E的子類型對(duì)象。
 
下限什么時(shí)候用：當(dāng)從集合中獲取元素進(jìn)行操作的時(shí)候，可以用當(dāng)前元素的類型接收，也可以用當(dāng)前元素的父類型接收。
 
泛型的細(xì)節(jié)：
1）、泛型到底代表什么類型取決于調(diào)用者傳入的類型，如果沒(méi)傳，默認(rèn)是Object類型；
2）、使用帶泛型的類創(chuàng)建對(duì)象時(shí)，等式兩邊指定的泛型必須一致；
原因：編譯器檢查對(duì)象調(diào)用方法時(shí)只看變量，然而程序運(yùn)行期間調(diào)用方法時(shí)就要考慮對(duì)象具體類型了；
3）、等式兩邊可以在任意一邊使用泛型，在另一邊不使用(考慮向后兼容)；
ArrayList<String> al = new ArrayList<Object>();  //錯(cuò)
//要保證左右兩邊的泛型具體類型一致就可以了，這樣不容易出錯(cuò)。
ArrayList<? extends Object> al = new ArrayList<String>();
al.add("aa");  //錯(cuò)
//因?yàn)榧暇唧w對(duì)象中既可存儲(chǔ)String，也可以存儲(chǔ)Object的其他子類，所以添加具體的類型對(duì)象不合適，類型檢查會(huì)出現(xiàn)安全問(wèn)題。 ？extends Object 代表Object的子類型不確定，怎么能添加具體類型的對(duì)象呢？
public static void method(ArrayList<? extends Object> al) {
al.add("abc");  //錯(cuò)
//只能對(duì)al集合中的元素調(diào)用Object類中的方法，具體子類型的方法都不能用，因?yàn)樽宇愋筒淮_定。
}

本文版權(quán)歸黑馬程序員Java培訓(xùn)學(xué)院所有，歡迎轉(zhuǎn)載，轉(zhuǎn)載請(qǐng)注明作者出處。謝謝！

作者：黑馬程序員Java培訓(xùn)學(xué)院

首發(fā)：http://java.itheima.com/