1、Java泛型
其實(shí)Java的泛型就是創(chuàng)建一個(gè)用類(lèi)型作為參數(shù)的類(lèi)。就象我們寫(xiě)類(lèi)的方法一樣,方法是這樣的method
(String str1,String str2 ),方法中參數(shù)str1、str2的值是可變的。而泛型也是一樣的,這樣寫(xiě)class
Java_Generics<K,V>,這里邊的K和V就象方法中的參數(shù)str1和str2,也是可變。下面看看例子:
//code list 1
import Java.util.Hashtable;
class TestGen0<K,V>{
public Hashtable<K,V> h=new Hashtable<K,V>();
public void put(K k, V v) {
h.put(k,v);
}
public V get(K k) {
return h.get(k);
}
public static void main(String args[]){
TestGen0<String,String> t=new TestGen0<String,String>();
t.put("key", "value");
String s=t.get("key");
System.out.println(s);
}
}
正確輸出:value
這
只是個(gè)例子(Java中集合框架都泛型化了,這里費(fèi)了2遍事.),不過(guò)看看是不是創(chuàng)建一個(gè)用類(lèi)型作為參數(shù)的類(lèi),參數(shù)是K,V,傳入的“值”是String
類(lèi)型。這個(gè)類(lèi)他沒(méi)有特定的待處理型別,以前我們定義好了一個(gè)類(lèi),在輸入輸入?yún)?shù)有所固定,是什么型別的有要求,但是現(xiàn)在編寫(xiě)程序,完全可以不制定參數(shù)的類(lèi)
型,具體用的時(shí)候來(lái)確定,增加了程序的通用性,像是一個(gè)模板。
呵呵,類(lèi)似C++的模板(類(lèi)似)。
1.1. 泛型通配符
下面我們先看看這些程序:
//Code list 2
void TestGen0Medthod1(List l) {
for (Object o : l)
System.out.println(o);
}
看看這個(gè)方法有沒(méi)有異議,這個(gè)方法會(huì)通過(guò)編譯的,假如你傳入String,就是這樣List<String>。
接著我們調(diào)用它,問(wèn)題就出現(xiàn)了,我們將一個(gè)List<String>當(dāng)作List傳給了方法,JVM會(huì)給我們一個(gè)警告,說(shuō)這個(gè)破壞了類(lèi)型安全,因?yàn)閺腖ist中返回的都是Object類(lèi)型的,而讓我們?cè)倏纯聪旅娴姆椒ā?
//Code list 3
void TestGen0Medthod1(List<String> l) {
for (Object o : l)
System.out.println(o);
}
因?yàn)檫@里的List<String>不是List<Object>的子類(lèi),不是String與Object的關(guān)系,就是說(shuō)List<String>不隸屬于list<Object>,他們不是繼承關(guān)系,所以是不行的,這里的extends是表示限制的。
類(lèi)型通配符是很神奇的,List<?>這個(gè)你能為他做什么呢?怎么都是“?”,它似乎不確定,他總不能返回一個(gè)?作為類(lèi)型的數(shù)據(jù)吧,是啊他是不會(huì)返回一個(gè)“?”來(lái)問(wèn)程序員的?JVM會(huì)做簡(jiǎn)單的思考的,看看代碼吧,更直觀些。
//code list 4
List<String> l1 = new ArrayList<String>();
li.add(“String”);
List<?> l2 = l1;
System.out.println(l1.get(0));
這段代碼沒(méi)問(wèn)題的,l1.get(0)將返回一個(gè)Object。
1.2. 編寫(xiě)泛型類(lèi)要注意:
1) 在定義一個(gè)泛型類(lèi)的時(shí)候,在 “<>”之間定義形式類(lèi)型參數(shù),例如:“class TestGen<K,V>”,其中“K” , “V”不代表值,而是表示類(lèi)型。
2) 實(shí)例化泛型對(duì)象的時(shí)候,一定要在類(lèi)名后面指定類(lèi)型參數(shù)的值(類(lèi)型),一共要有兩次書(shū)寫(xiě)。例如:
TestGen<String,String> t=new TestGen<String,String>();
3) 泛型中<K extends Object>,extends并不代表繼承,它是類(lèi)型范圍限制。
2、泛型與數(shù)據(jù)類(lèi)型轉(zhuǎn)換
2.1. 消除類(lèi)型轉(zhuǎn)換
上面的例子大家看到什么了,數(shù)據(jù)類(lèi)型轉(zhuǎn)換的代碼不見(jiàn)了。在以前我們經(jīng)常要書(shū)寫(xiě)以下代碼,如:
//code list 5
import Java.util.Hashtable;
class Test {
public static void main(String[] args) {
Hashtable h = new Hashtable();
h.put("key", "value");
String s = (String)h.get("key");
System.out.println(s);
}
}
這個(gè)我們做了類(lèi)型轉(zhuǎn)換,是不是感覺(jué)很煩的,并且強(qiáng)制類(lèi)型轉(zhuǎn)換會(huì)帶來(lái)潛在的危險(xiǎn),系統(tǒng)可能會(huì)拋一個(gè)ClassCastException異常信息。在JDK5.0中我們完全可以這么做,如:
//code list 6
import Java.util.Hashtable;
class Test {
public static void main(String[] args) {
Hashtable<String,Integer> h = new Hashtable<String,Integer> ();
h.put("key", new Integer(123));
int s = h.get("key").intValue();
System.out.println(s);
}
}
這
里我們使用泛化版本的HashMap,這樣就不用我們來(lái)編寫(xiě)類(lèi)型轉(zhuǎn)換的代碼了,類(lèi)型轉(zhuǎn)換的過(guò)程交給編譯器來(lái)處理,是不是很方便,而且很安全。上面是
String映射到String,也可以將Integer映射為String,只要寫(xiě)成HashTable<Integer,String>
h=new HashTable<Integer,String>();h.get(new Integer(0))返回value。果然很方便。
2.2 自動(dòng)解包裝與自動(dòng)包裝的功能
從
上面有沒(méi)有看到有點(diǎn)別扭啊,h.get(new Integer(123))這里的new
Integer(123);好煩的,在JDK5.0之前我們只能忍著了,現(xiàn)在這種問(wèn)題已經(jīng)解決了,請(qǐng)看下面這個(gè)方法。我們傳入一個(gè)int這一基本型別,然
后再將i的值直接添加到List中,其實(shí)List是不能儲(chǔ)存基本型別的,List中應(yīng)該存儲(chǔ)對(duì)象,這里編譯器將int包裝成Integer,然后添加到
List中去。接著我們用List.get(0);來(lái)檢索數(shù)據(jù),并返回對(duì)象再將對(duì)象解包裝成int。恩,JDK5.0給我們帶來(lái)更多方便與安全。
//Code list 7
public void autoBoxingUnboxing(int i) {
ArrayList<Integer> L= new ArrayList<Integer>();
L.add(i);
int a = L.get(0);
System.out.println("The value of i is " + a);
}
2.3 限制泛型中類(lèi)型參數(shù)的范圍
也許你已經(jīng)發(fā)現(xiàn)在code list 1中的TestGen<K,V>這個(gè)泛型類(lèi),其中K,V可以是任意的型別。也許你有時(shí)候呢想限定一下K和V當(dāng)然范圍,怎么做呢?看看如下的代碼:
//Code list 8
class TestGen2<K extents String,V extends Number>
{
private V v=null;
private K k=null;
public void setV(V v){
this.v=v;
}
public V getV(){
return this.v;
}
public void setK(K k){
this.k=k;
}
public V getK(){
return this.k;
}
public static void main(String[] args)
{
TestGen2<String,Integer> t2=new TestGen2<String,Integer>();
t2.setK(new String("String"));
t2.setV(new Integer(123));
System.out.println(t2.getK());
System.out.println(t2.getV());
}
}
上
邊K的范圍是<=String
,V的范圍是<=Number,注意是“<=”,對(duì)于K可以是String的,V當(dāng)然也可以是Number,也可以是Integer,Float,
Double,Byte等。看看下圖也許能直觀些請(qǐng)看上圖A是上圖類(lèi)中的基類(lèi),A1,A2分別是A的子類(lèi),A2有2個(gè)子類(lèi)分別是A2_1,A2_2。
然后我們定義一個(gè)受限的泛型類(lèi)class MyGen<E extends A2>,這個(gè)泛型的范圍就是上圖中蘭色部分。
這個(gè)是單一的限制,你也可以對(duì)型別多重限制,如下:
class C<T extends Comparable<? super T> & Serializable>
我
們來(lái)分析以下這句,T extends Comparable這個(gè)是對(duì)上限的限制,Comparable< super
T>這個(gè)是下限的限制,Serializable是第2個(gè)上限。一個(gè)指定的類(lèi)型參數(shù)可以具有一個(gè)或多個(gè)上限。具有多重限制的類(lèi)型參數(shù)可以用于訪問(wèn)它的每個(gè)
限制的方法和域。
2.4. 多態(tài)方法
//Code list 9
class TestGen {
<T extends Object> public static List<T> make(T first) {
return new List<T>(first);
}
}