Java中<? super T>和List<? extends T>的區別

<? extends T>

下面通配符聲明List<? extends Number> foo3的賦值式是合法的：

List<? extends Number> foo3 = new ArrayList<Number>();  // Number "extends" Number (in this context)
List<? extends Number> foo3 = new ArrayList<Integer>(); // Integer extends Number
List<? extends Number> foo3 = new ArrayList<Double>();  // Double extends Number

1. 讀 - 上面給出可能的賦值式，你能確保從List foo3讀取什么類型的對象？：
   • 你可以讀取一個Number，因為任意包含一個Number或一個Number子類的列表都可賦值于foo3。
   • 你不可讀取一個Integer，因為foo3可以指List<Double>。
   • 你不可讀取一個Double，因為foo3可以指List<Integer>。
2. 寫 - 上面給出可能的賦值式，你能添加什么類型的對象至List foo3？：
   • 你不能添加一個Integer，因為foo3可以指List<Double>。
   • 你不能添加一個Double，因為foo3可以指List<Integer>。
   • 你不能添加一個Number，因為foo3可以指List<Integer>。

你不能將任何對象添加到List<? extends T>是因為你不能保證它真正指向的是哪種類型的列表，因此，你不能保證某對象在該列表中是允許的。唯一的“確保”是你只能從中讀取，你會得到一個T或者T的子類。

<? super T>

下面通配符聲明List<? super Number> foo3的賦值式是合法的：

List<? super Integer> foo3 = new ArrayList<Integer>();  // Integer is a "superclass" of Integer (in this context)
List<? super Integer> foo3 = new ArrayList<Number>();   // Number is a superclass of Integer
List<? super Integer> foo3 = new ArrayList<Object>();   // Object is a superclass of Integer

1. 讀 - 上面給出可能的賦值式，你能確保從List foo3讀取什么類型的對象？：
   • 你不能確保讀取一個Integer，因為foo3可以指List<Number>或List<Object>。
   • 你不能確保讀取一個Number，因為foo3可以指List<Object>。
   • 唯一能確定的是你能讀取一個Object或Object子類的對象（但是你不知道具體哪個子類）。
2. 寫 - 上面給出可能的賦值式，你能添加什么類型的對象至List foo3？：
   • 你可以添加一個Integer或Integer的子類。
   • 你不能添加一個Number，因為foo3可以指List<Integer>。
   • 你不能添加一個Object，因為foo3可以指List<Integer>。

PECS

記住PECS: “Producer Extends, Consumer Super”。

• "Producer Extends" - 如果你需要一個List來生產T值（你想從列表讀取T），你就用? extends T來聲明它，如List<? extends Integer>。但是你不能夠添加東西到列表中。
• "Consumer Super" - 如果你需要一個List來消費T值（你想從列表寫入T），你就用? super T來聲明它，如List<? super Integer>。但是你能從列表讀取什么類型對象是不能確定的。
• 如果你要列表讀寫兼顧，你就不要任何通配符聲明該列表，如List<Integer>。

我的助記

• PECS -> PE teacher taught me computer science.
• extends du, super xie -> edsx -> 惡毒的思想

一個例子

public class Collections { public static <T> void copy(List<? super T> dest, List<? extends T> src) {for (int i = 0; i < src.size(); i++) dest.set(i, src.get(i)); }
}

關于該例更多說明。

參考資料

Difference between <? super T> and <? extends T> in Java