下界通配符方法

Question

任何人都可以讓我理解為什么這段代碼會出現編譯器錯誤：

List<? super A> superList = new ArrayList<>();
superList.add(new Object());

雖然這是完全正確的：

setSuper(new ArrayList<Object>());

public void superMethod(List<? super A> list) {
    //...
}

我知道下限將可用類型縮小到 A 或其后代，但是為什么在方法參數方面這對編譯器來說很好？

Answer 1

ArrayList<Object>是List<? super A> List<? super A> 。

ArrayList<A>也是List<? super A> List<? super A> 。

但是您不能將new Object()添加到ArrayList<A> 。 所以不是所有的List<? super A> List<? super A> values 可以添加一個對象，所以編譯器正確出錯。