具有一個或多個類型變量的類稱之為泛型類课幕!
泛型概述
泛型是JDK5.0新特性,它主要應用在集合類上帖努。有了泛型之后,集合類與數(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>();//編譯失斆扒稀递沪!
泛型的好處
- 將運行期遇到的問題轉移到了編譯期;
- 泛型不可能去除所有類型轉換综液,但可以減少了類型轉換操作款慨;
- 在循環(huán)遍歷集合類時,方便了很多谬莹;
- 一定程度上提高了安全性檩奠。
自定義泛型類的語法
public class 類型<一到多個泛型變量的聲明>
{…}
例如:
public class A<T> {...}
A類中有一個泛型變量的聲明(或稱之為定義)。這就相當于創(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;
}
}
繼承(或實現(xiàn))泛型類(或接口)
在Java API中有很多類和接口是泛型的喳钟,如果我們需要繼承或實現(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;
}
}
在繼承(或實現(xiàn))泛型類(或接口)時還有一種選擇单芜,如果當前類是泛型類蜕该,也可以把自己的泛型變量賦給父類(或接口)。
MyComparable2
public class MyComparable2<X> //X[MyComparable2類指定了泛型變量X洲鸠,所以本類就是泛型類了。]
implements Comparable<X> {//X[為實現(xiàn)的接口中的T賦值為X扒腕,等同與T = X。X是變量瘾腰,當創(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類型搀擂!
編譯器會在適當?shù)奈恢蒙辖o你添加強轉!