具有一個或多個類型變量的類稱之為泛型類!
泛型概述
泛型是JDK5.0新特性,它主要應(yīng)用在集合類上。有了泛型之后,集合類與數(shù)組就越來越像了。例如:
Object[] objs = new Object[10]//可以用來存儲任何類型的對象。
String[] strs = new String[10]//只能用來存儲String類型的對象。
ArrayList list = new ArrayList(),可以用來存儲任何類型的對象。
ArrayList<String> list = new ArrayList<String>()只有用來存儲String類型的對象。
理解泛型類
泛型類具有一到多個泛型變量,在創(chuàng)建泛型類對象時,需要為泛型變量指定值。泛型變量只能賦值為引用類型,而不能是基本類型。例如ArrayList類中有一個泛型變量E,在創(chuàng)建ArrayList類的對象時需要為E這個泛型變量指定值。
list<String> list = new ArrayList<String>();,
其中String就是給List的泛型變量E賦值了。查閱ArrayList的API你會知道,泛型變量E出現(xiàn)在很多方法中:
boolean add(E e)
E get(int index)
因為我們在創(chuàng)建list對象時給泛型類型賦值為String,所以對于list對象而言,所有API中的E都會被String替換。
boolean add(String e)
String get(int index)
也就是說,在使用list.add()時,只能傳遞String類型的參數(shù),而list.get()方法返回的一定是String類型。
list.add(“hello”);
String s = list.get(0);
使用泛型對象
創(chuàng)建泛型對象時,引用和new兩端的泛型類型需要一致,例如上面的引用是List<String>,而new一端是new ArrayList<String>,兩端都是String類型!如果不一致就會出錯:
List<Object> list = new ArrayList<String>();//編譯失敗!
泛型的好處
- 將運行期遇到的問題轉(zhuǎn)移到了編譯期;
- 泛型不可能去除所有類型轉(zhuǎn)換,但可以減少了類型轉(zhuǎn)換操作;
- 在循環(huán)遍歷集合類時,方便了很多;
- 一定程度上提高了安全性。
自定義泛型類的語法
public class 類型<一到多個泛型變量的聲明> {…}
例如:
public class A<T> {...}
A類中有一個泛型變量的聲明(或稱之為定義)。這就相當(dāng)于創(chuàng)建了一個變量一樣,然后就可以在類內(nèi)使用它了。
泛型類內(nèi)使用泛型變量
聲明的泛型變量可以在類內(nèi)使用,例如創(chuàng)建實例變量時使用泛型變量指定類型,可以在實例方法中指定參數(shù)類型或返回值類型,```但不能在static變量或static方法中使用泛型變量。````
public class A<T> {
private T bean;
public T getBean() {
return bean;
}
public void setBean(T bean) {
this.bean = bean;
}
}
繼承(或?qū)崿F(xiàn))泛型類(或接口)
在Java API中有很多類和接口是泛型的,如果我們需要繼承或?qū)崿F(xiàn)它們時,需要為父類或接口中的泛型變量指定值,例如Comparable就是一個泛型接口。
Comparable
public interface Comparable<T> {
public int compareTo(T o);
}
該接口中有一個泛型變量T,在實現(xiàn)這個接口時需要為其指定值。一定為其指定值后,所有的T將使用指定的值來替換。
MyComparable
public class MyComparable implements Comparable<String> {//這里不是定義泛型變量,這是給接口傳遞泛型變量的值,也就是說,這等同與賦值語句。也就是說,MyComparable類不是泛型類,因為它沒有泛型變量。
public int compareTo(String o) {//因為給接口的泛型變量賦值為String,接口方法中的T都替換成String
return 0;
}
}
在繼承(或?qū)崿F(xiàn))泛型類(或接口)時還有一種選擇,如果當(dāng)前類是泛型類,也可以把自己的泛型變量賦給父類(或接口)。
MyComparable2
public class MyComparable2<X> //X[MyComparable2類指定了泛型變量X,所以本類就是泛型類了。]
implements Comparable<X> {//X[為實現(xiàn)的接口中的T賦值為X,等同與T = X。X是變量,當(dāng)創(chuàng)建MyComparable2對象時會為X賦值的,X的值會賦給Comparable接口的T。]
public int compareTo(X o) {//X[因為已經(jīng)給Comparable接口中的T賦值為X,所以在本類中所有的T都替換成X。]
return 0;
}
}
MyComparable2<Integer> c = new MyComparable2<Integer>();//給X賦值為Integer,而且T=X,所以T也是Integer。
泛型方法定義
不只可以創(chuàng)建泛型類,還可以創(chuàng)建泛型方法??赡苣銜袀€誤區(qū),下面的方法不是泛型方法:
class A<T> {
public void fun(T t) {…}
}
上面fun()方法是泛型類中的方法,它不是泛型方法。
泛型方法是可以自己創(chuàng)建泛型變量,泛型方法中創(chuàng)建的泛型變量只能在本方法內(nèi)使用。泛型方法可以是實例方法,也可以是靜態(tài)方法。
//[T]:[創(chuàng)建泛型變量!必須在返回值前面給出<T>。]
//T:[在返回值中使用泛型變量]
//T[]:[在方法參數(shù)中使用泛型變量。]
public <T> T get(T[] ts, int index) {
return ts[index];
}
我們必須要區(qū)別開什么是創(chuàng)建泛型變量,什么是使用泛型變量。其中<T>是創(chuàng)建泛型變量,它必須在返回值前面給出。
泛型方法中的泛型變量只有兩個可以使用的點:返回值和參數(shù),而且所有有意義的泛型方法中都會在返回值和參數(shù)兩個位置上使用泛型變量,但語法上沒有強制的要求。
調(diào)用泛型方法,通常無需為泛型變量直接賦值,而是通過傳遞的參數(shù)類型間接為泛型變量賦值,例如:
String[] strs = {“hello”, “world”};
String s = get(strs, 0);
因為給T[] ts參數(shù)賦值為strs,而strs的變量為String[],所以等同與給get方法的泛型變量賦值為String類型。所以返回值類型T為String類型。
泛型擦除
泛型是編譯期狀態(tài),所有的泛型會被編譯器擦除,變成了Object類型!
編譯器會在適當(dāng)?shù)奈恢蒙辖o你添加強轉(zhuǎn)!