3.3 在程序中使用范型
3.3.1在程序中使用范型類
在創建范型類的對象的時候, 和創建普通對象基本類似, 必須提供具體的類類型來替 代類型參數T (J2SE 5.0目前不支持原始類型作為類型參數(type parameter)).
清單3.3.1, 使用范型類
//如果需要整型的列表
GenList<Integer> integerList = new GenList<Integer>();
//如果需要字符型的列表
GenList<String> strList = new GenList<String>();
//不能使用原始類型
GenList<int> nList = new GenList<int>(); //編譯錯誤
3.3.2 使用范型解決類型安全性問題
使用范型實現的列表是類型安全的, 下列破壞類型安全語句會在編譯的時候檢查出來 。 把鼠標放在錯誤標記上， Eclipse 3.1中的錯誤提示就會顯示，如下圖所示：
圖3.3.2 破壞類型安全引起的錯誤
3.3.3 二義性錯誤
GenMap在聲明是使用了2個類型參數T和V, 因此在創建GenMap的對象的時候也需要提供 2個具體的類類型來替代這2個類型參數, 例如,
清單9, 多個參數的范型類
GenMap<Integer, String> gm = new GenMap<Integer, String> ();
GenMap<String, String> gm2 = new GenMap<String, String> ();
上例中, T和V雖然看起來是兩個不同的類型參數, 但是在使用這個范型類的時候, T和 V很有可能被替換成同一種類型. 因此在聲明多個類型參數的范型類時, 要注意避免這種 二義性錯誤, 例如,
清單10, 二義性錯誤
public class GenMap<T, V> {
//編譯錯誤, 二義性錯誤
public void set(T t){}
public void set(V v){}
}
在上面這段代碼, 如果T和V被替換成同一種類型, set函數的簽名(signature)就是完 全一樣的, 所以編譯器會報告二義性錯誤. 正確的用法是聲明2個不同名的方法, 例 如,
清單10, 二義性錯誤
public class GenMap<T, V> {
public void setKey(T t){}
public void setValue(V v){}
}
圖3.3.3 二義性錯誤
本文來自編程入門網：http://www.bianceng.cn/Programming/Java/201104/25425_4.htm
