Java難點解析之泛型

　　Java難點解析之泛型，隻要帶有<>的類或者接口，都屬于帶有類型參數的類或者接口，在使用這些類或者接口時，必須給<>中傳遞一個具體的引用資料類型。

　　泛型技術：其實應用在編譯時期，是給編譯器使用的技術，到了運作時期，泛型就不存在了。

　　為什麼?因為泛型的擦除：也就是說，編輯器檢查了泛型的類型正确後，在生成的類檔案中是沒有泛型的。

　　在運作時，如何知道擷取的元素類型而不用強轉呢？

　　泛型的補償：因為存儲的時候，類型已經确定了是同一個類型的元素，是以在運作時，隻要擷取到該元素的類型，在内部進行一次轉換即可，是以使用者不用再做轉換動作了。

　　什麼時候用泛型類呢？

　　當類中的操作的引用資料類型不确定的時候，以前用的Object來進行擴充的，現在可以用泛型來表示。這樣可以避免強轉的麻煩，而且将運作問題轉移到的編譯時期。

　　泛型在程式定義上的展現：

　　//泛型類：将泛型定義在類上。

　　classTool{

　　privateQobj;

　　publicvoidsetObject(Qobj){

　　this.obj=obj;

　　}

　　publicQgetObject(){

　　returnobj;

　　//當方法操作的引用資料類型不确定的時候，可以将泛型定義在方法上。

　　publicvoidmethod(Ww){

　　System.out.println("method:"+w);

　　//靜态方法上的泛型：靜态方法無法通路類上定義的泛型。如果靜态方法操作的引用資料類型不确定的時候，必須要将泛型定義在方法上。

　　publicstaticvoidfunction(Qt){

　　System.out.println("function:"+t);

　　//泛型接口.

　　interfaceInter{

　　voidshow(Tt);

　　classInterImplimplementsInter{

　　publicvoidshow(Rr){

　　System.out.println("show:"+r);

　　------------------------------------------------------------

　　泛型中的通配符：可以解決當具體類型不确定的時候，這個通配符就是?；當操作類型時，不需要使用類型的具體功能時，隻使用Object類中的功能。那麼可以用?通配符來表未知類型。

　　泛型限定：

　　上限：？extendsE：可以接收E類型或者E的子類型對象。

　　下限：？superE：可以接收E類型或者E的父類型對象。

　　上限什麼時候用：往集合中添加元素時，既可以添加E類型對象，又可以添加E的子類型對象。為什麼？因為取的時候，E類型既可以接收E類對象，又可以接收E的子類型對象。

　　下限什麼時候用：當從集合中擷取元素進行操作的時候，可以用目前元素的類型接收，也可以用目前元素的父類型接收。

　　泛型的細節：

　　1）、泛型到底代表什麼類型取決于調用者傳入的類型，如果沒傳，預設是Object類型；

　　2）、使用帶泛型的類建立對象時，等式兩邊指定的泛型必須一緻；

　　原因：編譯器檢查對象調用方法時隻看變量，然而程式運作期間調用方法時就要考慮對象具體類型了；

　　3）、等式兩邊可以在任意一邊使用泛型，在另一邊不使用(考慮向後相容)；

　　ArrayListal=newArrayList

　　//要保證左右兩邊的泛型具體類型一緻就可以了，這樣不容易出錯。

　　ArrayList<?extendsObject>al=newArrayList();

　　al.add("aa");//錯

　　//因為集合具體對象中既可存儲String，也可以存儲Object的其他子類，是以添加具體的類型對象不合适，類型檢查會出現安全問題。？extendsObject代表Object的子類型不确定，怎麼能添加具體類型的對象呢？

　　publicstaticvoidmethod(ArrayList<?extendsObject>al){

　　al.add("abc");//錯

　　//隻能對al集合中的元素調用Object類中的方法，具體子類型的方法都不能用，因為子類型不确定。