※ 引述《jtorngl (DDFL)》之銘言：
: 請問 Collection 不支援 covariance (還是該說泛型不支援 covariance)
: 所以 summary 只能傳入 List<Number> 的物件
: 而不能傳入 List<Integer>、List<Double>, ...
: public double summary(List<Number> nums) {
你只能傳 List<Number>，不能傳 List<Integer> 等…
: 為了讓這段程式能達到類似 covariance 機制
: 所以會使用 wildcard
: public double wildcardSummary(List<? extends Number> nums) {
你可以傳 List<Number>、List<Integer> 等…
: 不過泛型使用 extends 一樣可以做到不是嗎
: private <E extends Number> double genericsSummary(List<E> nums) {
你必須先確定 E 真正的型態，而這個 E 只能是 Number 的子類，一旦 E 確認了
，例如 Number，那麼你就只能傳 List<Number>…
是的，這也可以解決 List<? extends Number> 能解決的問題，不過語法意義上
是不同的，只不過兩者正好涵蓋了相同的問題。
因為正好能解決相同問題，就簡潔度來說， List<? extends Number> 會是我想
要的寫法，因為只要出現一次角括號…
另一方面，若是個 instance method，通常會以類別上的型態限定為主，例如：
public class Test<E> {
public E foo(List<? extends Number> nums)
{
return null;
}
}
會在方法前使用型態限定，通常是在 static method 時，例如：
public class Test {
public static <E extends Number> Some foo(E e)
{
return null;
}
}
: 目前能想到的只有，wildcard 有 super 來達到 contravariance
: 但是泛型只支援 extends 而沒有支援 super
: 那如果沒有要 contravariance 的效果
: 有什麼情況是 wildcard 才能做到，而泛型還是不能編譯的？
不要從能不能編譯來看，很多情況其實都可以通過編譯，你要看你想解決什麼
，以及可讀性哪個比較好。
: 目前看一些文章，在方法的參數，要限制參數型態邊界時
: 幾乎都是使用 List<? extends Number>
: 好像比較少看到 <E extends Number> ... List<E>
: 看了一下 JDK 的 List interface
: boolean addAll(Collection<? extends E> c);
: 是因為限制的參數型態都是動態，才只能用 wildcard 嗎？
不是，理由上面說過，你想看到更多 <E extends Number> 的應用，可以找找
有 static method 的類別，例如 Collections..
static <T extends Object & Comparable<? super T>>
T maxCollection<? extends T> coll)
static <T extends Comparable<? super T>>
void sortList<T> list)
: 以JDK 的 List 介面來說
: public interface List<E> extends Collection<E>
: 有一個方法是 boolean containsAll(Collection<?> c);
:
: 如果是這樣定義的
: boolean containsAll(Collection<E> c);
:
: 那當我們建立 List<String> strs = Arrays.asList("1", "2");
: 那這個 strs 的 containsAll 方法，只能用來比較 String 集合了
:
: 反之因為使用 ? 定義
: boolean containsAll(Collection<?> c); 這樣定義
: 所以 strs 還是可以用來比對各種型態的集合
這就是兩者應用上的差別之一…instance method 通常會以類別上宣告的型態來限定，
因為閱讀上比較簡單。
也可以進一步看看這邊的文件：
https://openhome.cc/Gossip/JavaEssence/WildCard.html