Java中<? super T>和List<? extends T>的區(qū)別

<? 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

讀 - 上面給出可能的賦值式，你能確保從List foo3讀取什么類型的對(duì)象？：

• 你可以讀取一個(gè)Number，因?yàn)槿我獍粋€(gè)Number或一個(gè)Number子類的列表都可賦值于foo3。
• 你不可讀取一個(gè)Integer，因?yàn)閒oo3可以指List<Double>。
• 你不可讀取一個(gè)Double，因?yàn)閒oo3可以指List<Integer>。

寫 - 上面給出可能的賦值式，你能添加什么類型的對(duì)象至List foo3？：

• 你不能添加一個(gè)Integer，因?yàn)閒oo3可以指List<Double>。
• 你不能添加一個(gè)Double，因?yàn)閒oo3可以指List<Integer>。
• 你不能添加一個(gè)Number，因?yàn)閒oo3可以指List<Integer>。

你不能將任何對(duì)象添加到List<? extends T>是因?yàn)槟悴荒鼙ＷC它真正指向的是哪種類型的列表，因此，你不能保證某對(duì)象在該列表中是允許的。唯一的“確保”是你只能從中讀取，你會(huì)得到一個(gè)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

讀 - 上面給出可能的賦值式，你能確保從List foo3讀取什么類型的對(duì)象？：

• 你不能確保讀取一個(gè)Integer，因?yàn)閒oo3可以指List<Number>或List<Object>。
• 你不能確保讀取一個(gè)Number，因?yàn)閒oo3可以指List<Object>。
• 唯一能確定的是你能讀取一個(gè)Object或Object子類的對(duì)象（但是你不知道具體哪個(gè)子類）。

寫 - 上面給出可能的賦值式，你能添加什么類型的對(duì)象至List foo3？：

• 你可以添加一個(gè)Integer或Integer的子類。
• 你不能添加一個(gè)Number，因?yàn)閒oo3可以指List<Integer>。
• 你不能添加一個(gè)Object，因?yàn)閒oo3可以指List<Integer>。

PECS

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

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

我的助記

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

一個(gè)例子

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)); } }

關(guān)于該例更多說明。

參考資料

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

總結(jié)

以上是生活随笔為你收集整理的Java中＜? super T＞和List＜? extends T＞的区别的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。