Effective Java Item26 - 不要使用原始類型
December 02, 2018這篇是Effective Java - Don’t use raw types章節的讀書筆記 本篇的程式碼來自於原書內容
本章節可以搭配泛型篇章簡介及術語列表服用
Item26: 不要使用原始類型
先定義幾個術語:
一個類或接口 如果聲明裡面有一個或多個類型參數(type parameters) 稱之為泛型類或泛型接口
List<E>泛型類和泛型接口統稱泛型類型(generic type)
每個泛型也都定義了原始類型(raw type) 他代表沒有類型參數的泛型 比如說相對於List<E>的原始類型就是List 就等於是把所有泛型類型的訊息從聲明中拿掉
來看看原始類型的用法 這是Java5以前常見的用法
private final Collection stamps = ... ;從Java9開始 雖然還是合法 但已經不推薦這麼用了 為什麼呢?
今天有人如果放了一個錯的東西進去
stamps.add(new Coin( ... ));編譯時不會錯 運行時也不會錯 只有在你在運行時需要讀這個collection
for (Iterator i = stamps.iterator(); i.hasNext(); )
Stamp stamp = (Stamp) i.next(); // Throws ClassCastException直到此時才會拋出例外
這本書看到這裡 你應該要有sense 一個錯誤能越早被發越越好 最理想就是在compile time就能發現錯誤 不然在你看到錯誤的時候 不知道已經離錯誤多遠 像這個例子 你就要去找所有曾經呼叫過stamps.add的地方 看哪一個出錯
如果你用的是泛型
private final Collection<Stamp> stamps = ... ;這樣compiler就知道stamps裡只能有Stamp 那在你丟coin進去的時候 compile-time就會報錯
Test.java:9: error: incompatible types: Coin cannot be converted
to Stamp
c.add(new Coin());
^兼容性
既然缺點這麼顯而易見 為什麼還要支持原始類型 答案是為了兼容Java5之前的程式
總不能在泛型被加入Java時 之前的程式都強制compile-error吧
為了支援Java5之前的程式 和新代碼交互操作是非常重要的
小撇步
我們知道了不應該使用原始類型List 但如果要使用參數化的類型插入任意對象 還是可以用List<Object> 這兩者的差別在哪呢？
List 逃避了泛型檢查
List<Object>則是明確的告訴compiler説 他能持有任意類型的對象
順道一提 你可以將List<String>傳給List參數 但你卻不能傳給List<Object> 因為List<String>是List的子類型
來看例子
public static void main(String[] args) {
List<String> strings = new ArrayList<>();
unsafeAdd(strings, Integer.valueOf(42));
String s = strings.get(0); // Has compiler-generated cast
}
private static void unsafeAdd(List list, Object o) {
list.add(o);
}unsafeAdd使用了原始類型 編譯會過 雖然會丟出警告
Test.java:10: warning: [unchecked] unchecked call to add(E) as a
member of the raw type List
list.add(o);
^但在Run-time 會在strings.get(0)的地方拋出例外
那如果你在unsafeAdd中使用的是List<Object> 那在編譯時期就會噴錯
Test.java:5: error: incompatible types: List<String> cannot be converted to List<Object>
unsafeAdd(strings, Integer.valueOf(42));第二個例子 你也許會在不知道集合中的元素類型的情況下 使用原始類型
假設你想寫一個方法 從兩個集合中回傳他們共有的元素的數量
static int numElementsInCommon(Set s1, Set s2) {
int result = 0;
for (Object o1 : s1)
if (s2.contains(o1))
result++;
return result;
}這個寫法會對 但卻很危險 比較安全一點的方法是使用無限制通配符類型(unbounded wildcard types) 從今爾後 如果要使用泛型類型 但不知道或不關心實際類型參數是什麼 那你可以使用問號來代替 變成List<?>
static int numElementsInCommon(Set<?> s1, Set<?> s2) {
int result = 0;
for (Object o1 : s1)
if (s2.contains(o1))
result++;
return result;
}例外
有規則必有例外 我們來看看什麼時候應該要用原始類型
1.類文字(class literals): List.class, String[].class, int.class 都合法 但是List<String>.class, List<?>.class都不合法
2.instanceof: 當你要使用instanceof 你不能這樣寫
if (obj instanceof List<String>)你必須要用無限制通配符類型
if (obj instanceof List<?>)但是在運行時期 無限制通配符類型並不會影響到instanceof的結果 所以你可以直接用原始類型
if (obj instanceof List){
List<?> l = (List<?>) obj;
}一但你確定obj對象是一個List 必須將它轉成通配符List<?>
結論
使用原始類型可能導致運行時異常 並且在編譯時期不會發現錯誤 所以不要使用它們
List
List<?> 是一個通配符類型 表示一個只能包含某些未知類型對象的List
List是一個原始類型 它不在泛型類型系統之列 能不用就盡量不要用