好程序員Java教程分享Java難點解析之泛型

　　好程序員Java教程分享Java難點解析之泛型，只要帶有<>的類或者接口，都屬於帶有類型參數的類或者接口，在使用這些類或者接口時，必須給<>中傳遞一個具體的引用數據類型。

 

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

 

　　爲何?由於泛型的擦除：也就是說，編輯器檢查了泛型的類型正確後，在生成的類文件中是沒有泛型的。

 

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

 

　　泛型的補償：由於存儲的時候，類型已經肯定了是同一個類型的元素，因此在運行時，只要獲取到該元素的類型，在內部進行一次轉換便可，因此使用者不用再作轉換動做了。

 

　　何時用泛型類呢？

 

　　當類中的操做的引用數據類型不肯定的時候，之前用的Object來進行擴展的，如今能夠用泛型來表示。這樣能夠避免強轉的麻煩，並且將運行問題轉移到的編譯時期。

 

　　泛型在程序定義上的體現：

 

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

 

　　classTool<Q>{

 

　　privateQobj;

 

　　publicvoidsetObject(Qobj){

 

　　this.obj=obj;

 

　　}

 

　　publicQgetObject(){

 

　　returnobj;

 

　　}

 

　　}

 

　　//當方法操做的引用數據類型不肯定的時候，能夠將泛型定義在方法上。

 

　　public<W>voidmethod(Ww){

 

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

 

　　}

 

　　//靜態方法上的泛型：靜態方法沒法訪問類上定義的泛型。若是靜態方法操做的引用數據類型不肯定的時候，必需要將泛型定義在方法上。

 

　　publicstatic<Q>voidfunction(Qt){

 

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

 

　　}

 

　　//泛型接口.

 

　　interfaceInter<T>{

 

　　voidshow(Tt);

 

　　}

 

　　classInterImpl<R>implementsInter<R>{

 

　　publicvoidshow(Rr){

 

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

 

　　}

 

　　}

 

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

 

　　泛型中的通配符：能夠解決當具體類型不肯定的時候，這個通配符就是?；當操做類型時，不須要使用類型的具體功能時，只使用Object類中的功能。那麼能夠用?通配符來表未知類型。

 

　　泛型限定：

 

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

 

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

 

　　上限何時用：往集合中添加元素時，既能夠添加E類型對象，又能夠添加E的子類型對象。爲何？由於取的時候，E類型既能夠接收E類對象，又能夠接收E的子類型對象。

 

　　下限何時用：當從集合中獲取元素進行操做的時候，能夠用當前元素的類型接收，也能夠用當前元素的父類型接收。

 

　　泛型的細節：

 

　　1）、泛型到底表明什麼類型取決於調用者傳入的類型，若是沒傳，默認是Object類型；

 

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

 

　　緣由：編譯器檢查對象調用方法時只看變量，然而程序運行期間調用方法時就要考慮對象具體類型了；

 

　　3）、等式兩邊能夠在任意一邊使用泛型，在另外一邊不使用(考慮向後兼容)；

 

　　ArrayList<String>al=newArrayList<Object>();//錯

 

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

 

　　ArrayList<?extendsObject>al=newArrayList<String>();

 

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

 

　　//由於集合具體對象中既可存儲String，也能夠存儲Object的其餘子類，因此添加具體的類型對象不合適，類型檢查會出現安全問題。？extendsObject表明Object的子類型不肯定，怎麼能添加具體類型的對象呢？

 

　　publicstaticvoidmethod(ArrayList<?extendsObject>al){

 

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

 

　　//只能對al集合中的元素調用Object類中的方法，具體子類型的方法都不能用，由於子類型不肯定。

 

　　}