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

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