一、泛型的基本概念
java與c#一樣,都存在泛型的概念,及類型的參數化。java中的泛型是在jdk5.0后出現的,但是java中的泛型與C#中的泛型是有本質區別的,首先從集合類型上來說,java 中的ArrayList<Integer>和ArrayList<String>是同一個類型,在編譯時會執行類型擦除,及java中的類型是偽泛型,偽泛型將會在后面介紹,其次,對於像集合中添加基本類型的數據時,例如int,會首先將int轉化成Integer對象,即我們通常所說的裝箱操作,在取出元素的時候需要將Interger對象轉換成int值類型,即拆箱操作。而在c#中,List<int>和List<string>是不同的類型,泛型參數在編譯后會是一個占位符,並沒有被擦除,在運行時被賦予正真的類型,它們在系統運行期生成,有自己的虛方法表和類型數據,這種實現稱為類型膨脹(針對類型膨脹,即時編譯器已經做了很多的優化工作來解決這一問題),這就是所謂的真泛型。與此同時,在對集合中添加基本元素如int時,不需要裝箱操作,取出元素時不需要拆箱操作,因此,性能上較java的集合泛型要好。
java中泛型的引入主要是為了解決兩個方面的問題:1.集合類型元素在運行期出現類型裝換異常,增加編譯時類型的檢查,2. 解決的時重復代碼的編寫,能夠復用算法。下面通過例子來說明編譯器的類型檢查。
首先我們看一個沒有使用泛型的例子:
ArrayList al = new ArrayList(); al.add("abc"); al.add("124"); al.add("32L");
我們可以向al集合中添加任何類型的數據。當我們在取出數據的時候需要時候類型轉換,如:
String s = (String)al.get(0); String s1 = (String)al.get(1); //在運行期,會報錯,類型轉換錯誤 Long l = (Long)al.get(2);
由此可以看到,沒有泛型的時候,減少了編譯時的類型檢查,在取出元素時需要程序員對每個元素的類型都了解,否則很可能在運行時出現類型轉換的異常。
那么下面我們通過泛型集合來看看他給我們帶來的好處。
ArrayList<String> al1 = new ArrayList<String>(); al1.add("abc"); al1.add(1); //編譯時報錯,
當我們用String參數類型實例化al1后,我們是不能添加int元素的,否則編譯器會報錯,通常在IDE編輯器,如eclipse中會有錯誤標識,與此同時,在取出元素也不需要類型轉換.
string value = al1.get(0); //不需要類型轉換
這便是泛型所帶來的好處。
那么算法的復用主要是體現在,方法的復用,如ArrayList的Add方法可以使用在任何類型上或限定的類型上。
二、泛型的使用
java中的泛型主要使用在類,方法,與接口中。首先,我們來簡單的看看在類上的使用:
class Factory<T>{ private T value; public T getValue() { return value; } public void setValue(T v) { this.value = v; } }
添加測試方法:
Factory<String> f = new Factory<String>(); f.setValue("factory in use"); System.out.println(f.getValue());
泛型接口的使用:
interface MyInterface<T,U>{ void show(T t, U u); } class ShowTest implements MyInterface<String,Integer>{ @Override public void show(String t, Integer u) { System.out.println(t); System.out.println(u); } }
泛型類型參數作用於類上的時候主要是對多個字段及方法簽名之間的類型約束。作用於方法的時候主要是對方法的的多個參數做相應的約束,在這里方法的泛型類型參數不再舉例,下面我們主要介紹類型參數的約束。
三、類型參數約束
我們看一個小例子,如下代碼所示:
public static <T> T get(T t1,T t2) { if(t1.compareTo(t2)>=0);//編譯錯誤 ,the method compareTo(T) is undefined for the type T. return t1; }
可以看到編譯器報錯的信息,對於類型T沒有定義compareTo方法,在java中類型需要比較的話需要實現Comparable接口,從而重寫該方法。 那么我們做如下修改:
public static <T extends Comparable> T get(T t1,T t2) { //添加類型限定 if(t1.compareTo(t2)>=0); return t1; }
通過限定T extends Comparable 表明,T是實現了Comparable的接口的類型,因此也實現了compareTo方法,因此不會產生編譯期錯誤。
類型的多個限定時我們可以使用&來進行分割,並且限定的關鍵詞只能使用extends。與此同時在接口與類型都存在的情況下,類只能放在第一個,並且只能有一個,如下所示:
<T extends Object&Comparable&Serializable>
參考來源:http://blog.csdn.net/lonelyroamer/article/details/7864531