摘要：泛型之上界下界通配符本教程是為編寫的。這是在使用泛型編程時一個常見的誤解，也是一個需要學習的重要概念。通配符使用指南學習使用泛型編程時，更令人困惑的一個方面是確定何時使用上限有界通配符以及何時使用下限有界通配符。
Java 泛型之上界下界通配符
本Java教程是為JDK 8編寫的。本頁描述的示例和實踐沒有利用后續版本中引入的改進。
泛型，繼承和子類
如你所知，只要類型兼容，就可以將一種類型的對象分配給另一種類型的對象。例如，你可以指定一個整數一個對象，因為對象是一個整數的超類型：
Object someObject = new Object（）;
Integer someInteger = new Integer（10）;
someObject = someInteger; // 好
在面向對象的術語中，這被稱為“是一種”關系。由于Integer 是一種Object，因此允許賦值。但是Integer也是一種Number，所以下面的代碼也是有效的：
public void someMethod（Number n）{/ * ... * /}
someMethod（new Integer（10））; // 好
someMethod（new Double（10.1））; // 好
泛型也是如此。您可以執行泛型類型調用，將Number作為其類型參數傳遞，如果參數與Number兼容，則允許任何后續的add調用：
Box box = new Box （）;
box.add（new Integer（10））; // 好
box.add（new Double（10.1））; // 好
現在考慮以下方法：
public void boxTest（Box n）{/ * ... * /}
它接受什么類型的論據？通過查看其簽名，您可以看到它接受一個類型為Box的參數。但是，這是什么意思？您是否可以按照您的預期傳遞Box或Box？答案是“否”，因為Box和Box不是Box的子類型。
這是在使用泛型編程時一個常見的誤解，也是一個需要學習的重要概念。
Box不是Box的子類型，即使Integer是Number的子類型。
注意：給定兩個具體類型 A 和 B（例如，Number和Integer），MyClass 與 MyClass無關，無論 A 和 B 是否相關。MyClass 和 MyClass 的公共父是Object。
有關如何在類型參數相關時在兩個泛型類之間創建類似子類型關系的信息，請參閱下面的通配符和子類型一節。
泛型類和子類型化
您可以通過擴展(extends)泛型類或實現(implements)泛型接口來對其進行子類型化。一個類或接口的類型參數與另一個類或接口的類型參數之間的關系由extends和implements子句確定。
使用Collections類作為示例，ArrayList 實現 List，List 擴展Collection。所以 ArrayList 是List的子類型，它是Collection的子類型。只要不改變類型參數，就會在類型之間保留子類型關系。
Collection層次結構示例
顯示Collection層次結構示例的圖表：ArrayList是 List的子類型，二者都是Collection的子類型。
現在假設我們想要定義我們自己的列表接口PayloadList，它將可選值泛型類型參數P的與每個元素相關聯。它的聲明可能如下：
interface PayloadList extends List {
void setPayload(int index, P val);
...
}
PayloadList的以下參數化是List的子類型：
PayloadList
PayloadList
PayloadList
PayloadList層次結構示例
PayLoadList層次結構的示意圖：PayloadList是List的子類型，它是Collection的子類型。 在PayloadList的相同級別是PayloadList 和PayloadList。
通配符和子類型
如 泛型，繼承和子類一節中所述，泛型類之間或接口之間幾乎并不因它們的類型參數而相關。但是，您可以使用通配符在泛型類或接口之間創建關系。
給定以下兩個常規（非泛型）類：
class A { /* ... */ }
class B extends A { /* ... */ }
編寫以下代碼是合理的：
B b = new B（）;
A a = b;
此示例顯示常規類的繼承遵循此子類型規則：如果B擴展A，則類B是類A的子類型。此規則不適用于泛型類型：
List lb = new ArrayList<>();
List la = lb; //編譯時錯誤
鑒于Integer是Number的子類型，List 和 List 之間的關系是什么？
公共父類是List
該圖表顯示 List 和 List 的公共父級是未知類型的List.
盡管Integer是Number的子類型，但List不是List的子類型，實際上，這兩種類型不相關。List和 List 的公共父是 List。
上界(extends)的通配符與下界(super)通配符
為了在這些類之間創建關系以便代碼可以通過 List 的元素訪問Number的方法，請使用上界的通配符：
List intList = new ArrayList<>();
List numList = intList; // OK, List<？extends Integer>是 List< ? extends Number>的子類型
因為Integer是Number的子類型，而numList是Number對象的列表，所以intList（是一個Integer對象列表）和numList之間現在存在關系。下圖顯示了使用上限和下限通配符聲明的多個 List 類之間的關系。
幾個通用List類聲明的層次結構。
圖表顯示: List 是List 和 List<？super Integer>的子類型。 List是List 的子類型，它是List 的子類型。 List是List <？super Number> 和 List的子類型。 List是List 的子類型, 且都是List的子類型。
通配符使用指南
學習使用泛型編程時，更令人困惑的一個方面是確定何時使用上限有界通配符以及何時使用下限有界通配符。本文提供一些設計代碼時要遵循的一些準則。
為討論方便，認為變量具備兩個功能：
一個“In”變量
“in”變量向代碼提供數據。想象一下帶有兩個參數的復制方法：copy（src，dest）。該SRC參數提供的數據被復制，因此它是“in”參數。
一個“Out”變量
“out”變量保存數據以供其他地方使用。在復制示例中，copy（src，dest），dest參數接受數據，因此它是“out”參數。
當然，一些變量既用于“in”又用于“out”目的 - 這種情況也在本文中也用到了。
在決定是否使用通配符以及適合使用哪種類型的通配符時，可以使用“in”和“out”原則。以下列表提供了遵循的準則：
通配符指南：
使用extends關鍵字, 定義帶有上界通配符的“in”變量。
使用super關鍵字，使用下界通配符定義“out”變量。
在可以使用Object類中定義的方法訪問“in”變量的情況下，使用無界通配符。
在代碼需要作為“in”和“out”變量訪問變量的情況下，不要使用通配符。
這些指南不適用于方法的返回類型。應該避免使用通配符作為返回類型，因為它強制程序員使用代碼來處理通配符。
List 可以被非正式地認為是只讀的，但這不是一個嚴格的保證。假設您有以下兩個類：
class NaturalNumber {
private int i;
public NaturalNumber(int i) { this.i = i; }
// ...
}
class EvenNumber extends NaturalNumber {
public EvenNumber(int i) { super(i); }
// ...
}
請考慮以下代碼：
List le = new ArrayList<>();
List ln = le;
ln.add(new NaturalNumber(35)); // compile-time error //編譯時錯誤
因為List是List，您可以賦值le給ln。但是你不能使用ln將自然數添加到偶數列表中。列表中的以下操作是可能的：
您可以添加null。
你可以調用清除。
您可以獲取迭代器并調用remove。
您可以捕獲通配符并寫入從列表中讀取的元素。
你可以看到List在嚴格意義上不是只讀的，但您可能會這樣想，因為您無法存儲新元素或更改列表中的現有元素。
文章版權歸作者所有，未經允許請勿轉載,若此文章存在違規行為，您可以聯系管理員刪除。
轉載請注明本文地址：http://specialneedsforspecialkids.com/yun/77808.html
