二、困惑－不菜的泛型菜問題

三、突破－Vector的toArray（）方法

四、結局－掀起你的蓋頭來

五、小結

六、附件

我以為對泛型已經很熟悉了。如果別人問泛型是什麼？我會舉一個簡單的例子，比如

Vector<String> sv = new Vector<String>();

就用到了泛型，這樣寫程式碼的一個明顯的好處就是以後不用型別檢查。比如

String s = sv.get(i);

再“深”一點

for (Iterator<String> it = sv.iterator(); it.hasNext(); ) {

s = it.next();

}

另外jsdk還提供了Arrays和Collections兩個類，其中包含了大量運算元組和Collection的方法。總之，在java中使用泛型很方便，也很簡單。

Java Tutorial中介紹了java泛型的很多好處，其中印象最深的是這句

Historically, collections frameworks have been quite complex...

We believe that the Java Collections Framework breaks with this tradition.

今天我才明白，JavaTutorial介紹的是Collections Framework

，不是真正的泛型。Java使用泛型實現了Collections Framework，並封裝起來，我們所能看到的僅僅是冰山一角。

這得從我前天在csdn看到的一個問題（）說起。樓主看到一條這樣的語句，不知道是什麼意思。

public static <K,V> Map<K,V> newHashMap()

我也覺得很奇怪。當時第一放映，這只是個語法結構的描述，不是真正意義的語句。在真正語句裡<K, V>應該用具體的類來代替。因為不知道出處，為了證明，只好自己寫程式碼。

首先，根據我的思路，我寫了一個static方法，

public static <

String, Integer> Map<String, Integer> newHashMap1() {

HashMap<String, Integer> map = new HashMap<String, Integer>();

return map;

}

編譯通過。但還沒來得及高興，發現問題了。當我在其中加入這兩條語句時，

symbol: method valueOf(int)

map.put("1", Integer.valueOf(1));

卻無法編譯，提示如下資訊：

TestGenericSyntax.java:10: cannot find symbol

其中symbol指的是map.put("1", Integer.valueOf(1))。這怎麼可能？我又查了API Spec，沒錯。在別的地方插入這條語句也沒錯，單單是在這裡不行。

於是，興趣來了。又做了一些測試（見附件）。最後，一個令我非常吃驚的發現。

public static <K, V> Map<K, V> newHashMap4() {

HashMap<K, V> map = new HashMap<K, V>();

return map;

}

居然編譯通過。但令人不解的是，public static Map<K, V> newHashMap5()卻不能通過編譯。

當時手頭有別的事，沒有時間深究，只把我做的測試和疑問回覆過去了。一心等待樓主寫明出處貼，令我失望的是帖子沉的很深了，樓主始終沒漂上來。

沒想到今天一個關於泛型的帖子（）使我找到了突破口。回覆了的問題，我突然發現API Spec中關於vector.oArray方法的宣告是這樣的，

public <T> T[] toArray(T[] a)

這個<T>是什麼？以前沒認真考慮，但今天我注意了，這不是那個<K, V>嗎？接著我又想起泛型的始祖，C++中的Template（使用Collections Framework太順手，把這岔兒給忘了）。於是我就想到了一個問題，我們知道

Vector<Integer> vi = new Vector<Integer>();

建立了一個儲存Integer的Vector，而

Vector<String> vs = new Vector<String>();

又建立了一個儲存String的Vector。那麼，這種功能，在Vector類的內部是怎麼實現的？回到前面的問題，

public <K, V> Map<K, V> newHashMap()

我斷定前面的<K, V>是對Map<K, V>中的<K, V>的型別宣告，或者準確的說是泛化。沒有原因，我一下想到了繼承，於是，又寫了兩個類，

class A {

public <K, V> Map<K, V> newHashMap() {

HashMap<K, V> map = new HashMap<K, V>();

return map;

}

}

class B extends A{

public Map<Integer, String> newHashMap() {

HashMap<Integer, String> map = new HashMap<Integer, String> ();

map.put(1, "A");

map.put(2, "B");

return map;

}

}

天總算亮了。

四、結局－掀起你的蓋頭來

到了這裡，其實問題也就明白了，看下面的程式碼，

A[] aa = new A[2];

aa[0] = new B();

aa[1] = new C(); // C也是繼承自A，見附件

for (int i=0; i<aa.length; i++) {

Map map = aa[i].newHashMap();

Set keyset = map.keySet();

for (Iterator it = keyset.iterator(); it.hasNext();) {

Object k = it.next();

Object v = map.get(k);

System.out.println(k + " " + v);

}

}

再看這裡，

class D extends A {

public Map<S, T> newHashMap() {

HashMap<S, T> map = new HashMap<S, T> ();

S s = new S();

T t = new T();

map.put(s, t);

return map;

}

}

class S extends JLabel{}

class T extends Component{}

如果你在設計類庫時聲明瞭class D，那麼在該類後續的使用中，開發人員可以擁有很大的自由度。這種功能是不是很強大？

還是時間的原因，不能再深究下去了，需要掌握的東西還很多，一下子不能扎得太深。再說，老婆也不會允許我掀別人的蓋頭。^_^

好吧，就此別過，後會有期。

五、小結

其實該說的都說了，沒什麼可總結的。留待大家討論吧。

六、附件

1) 測試1

// TestGenericSyntax.java

import java.util.*;

import java.lang.reflect.*;

public class TestGenericSyntax {

static String s = "Hello";

static Integer I = 0;

//static HashMap<s, I> hMap;

// 這也能過？

public static <s, I> Map<String, Integer> newHashMap() {

HashMap<String, Integer> map =

相關推薦