java通配符

1、java 通配符 2008-05-28 15:36通配符基本介紹Brian Goetz (brian.goetz@sun.com), 高級工程師, Sun Microsystems泛型是一種表示類或方法行為對于未知類型的類型約束的方法，比如 “不管這 個方法的參數(shù) x 和 y 是哪種類型，它們必須是相同的類型”，“必須為這些方法提供同一類型的參數(shù)” 或者 “foo() 的返回值和 bar() 的參數(shù)是同一類 型的”。通配符 — 使用一個

2、奇怪的問號表示類型參數(shù) — 是一種表示未知類型的類型 約束的方法。通配符并不包含在最初的泛型設計中（起源于 Generic Java（GJ）項目），從形成 JSR 14 到發(fā)布其最終版本之間的五年多時間內(nèi)完成設計過程并被添加到了泛型中。通配符在類型系統(tǒng)中具有重要的意義，它們?yōu)橐粋€泛型類所指定的類型集合提供了一個有用的類型范圍。對泛型類 ArrayList 而言，對于任意（引用）類型 T，ArrayList 類型是 ArrayList

3、的超類型（類似原始類型 ArrayList 和根類型 Object，但是這些超類型在執(zhí)行類型推斷方面不是很有用）。 通配符類型 List 與原始類型 List 和具體類型 List 都不相同。 如果說變量 x 具有 List 類型，這表示存在一些 T 類型，其中 x 是 List類型，x 具有相同的結構，盡管我們不知道其元素的具體類型。這并不表示它可以具有任意內(nèi)容，而是指我們并不了解內(nèi)容的類型限制是什么 — 但我們知道存在 某種限制。另

4、一方面，原始類型 List 是異構的，我們不能對其元素有任何類型限制，具體類型 List 表示我們明確地知道它能包含 任何對象（當然，泛型的類型系統(tǒng)沒有 “列表內(nèi)容” 的概念，但可以從 List之類的集合類型輕松地理解泛型）。通配符在類型系統(tǒng)中的作用部分來自其不會發(fā)生協(xié)變（covariant）這一特性。 數(shù)組是協(xié)變的，因為 Integer 是 Number 的子類型，數(shù)組類型 Integer[] 是 Number[] 的子類型，因此在任

5、何需要 Number[] 值的地方都可以提供一個 Integer[] 值。另一方面，泛型不是協(xié)變的， List 不是 List 的子類型，試圖在要求 List 的位置提供 List 是一個類型錯誤。這不算很嚴重的問題 — 也不是所有人都認為 的錯誤 — 但泛型和數(shù)組的不同行為的確引起了許多混亂。我已使用了一個通配符 — 接下來呢？清單 1 展示了一個簡單的容器（container）類型 Box，它支持 put 和 get 操作。 B

6、ox 由類型參數(shù) T 參數(shù)化，該參數(shù)表示 Box 內(nèi)容的類型， Box 只能包含 String 類型的元素。public void rebox(Box box) {box.put(box.get()); }Rebox.java:8: put(capture#337 of ?) in Box cannot be appliedto (java.lang.Object)box.put(box.get());^ 1 error這個代碼看起

7、來應該可以工作，因為取出值的類型符合放回值的類型，然而，編譯器生成（令人困惑的）關于 “capture#337 of ?” 與 Object 不兼容的 錯誤消息?！癱apture#337 of ?” 表示什么？當編譯器遇到一個在其類型中帶有通配符的 變量，比如 rebox() 的 box 參數(shù)，它認識到必然有一些 T ，對這些 T 而言 box 是 Box。它不知道 T 代表什么類型，但它可以為該類型創(chuàng)建一個占位符來指代 T 的類型。占

8、位符被稱為這個特殊通配符的捕獲（capture）。這種情況 下，編譯器將名稱 “capture#337 of ?” 以 box 類型分配給通配符。每個變量聲明中每出現(xiàn)一個通配符都將獲得一個不同的捕獲，因此在泛型聲明 foo(Pair x, Pair y) 中，編譯器將給每四個通配符的捕獲分配一個不同的名稱，因為任意未知的類型參數(shù)之間沒有關系。 錯誤消息告訴我們不能調(diào)用 put()，因為它不能檢驗 put() 的實參類型與其形 參類型是否

9、兼容 — 因為形參的類型是未知的。在這種情況下，由于 ? 實際表示 “？extends Object” ，編譯器已經(jīng)推斷出 box.get() 的類型是 Object，而不是 “capture#337 of ?”。它不能靜態(tài)地檢驗對由占位符 “capture#337 of ?” 所識別的類型而言 Object 是否是一個可接受的值。捕獲助手 捕獲助手雖然編譯器似乎丟棄了一些有用的信息，我們可以使用一個技巧來使編譯器重構這些信息，即對未