java泛型v.svs[重复]

Question

这可能是一个非常愚蠢的问题，但我不明白编译器为什么抱怨和编译。

我有两个非常简单的课程：

class A {
}

class B extends A {
}

现在代码是：

//block1
List<A> list = new ArrayList<>();
list.add(new A()); //ok
list.add(new B()); //ok 

//block2
List<? extends A> extendList= new ArrayList<>();
extendList.add(new A()); //not ok, why?
extendList.add(new B()); //not ok, why?

//block3
List<? super A> superList = new ArrayList<>();
superList.add(new A()); //ok
superList.add(new B()); //ok. why?

我知道它为什么起作用。

块2，我有

Error: no suitable method found for add(A)
method java.util.Collection.add(capture#1 of ? extends A) is not applicable
  (argument mismatch; A cannot be converted to capture#1 of ? extends A)
method java.util.List.add(capture#1 of ? extends A) is not applicable
  (argument mismatch; A cannot be converted to capture#1 of ? extends A)

块3，我有

我想我可能对super和extends关键字有误解，我在谷歌上做了一些搜索，但我的怀疑仍然存在。

oracle通用教程中的一句话：（https://docs.oracle.com/javase/tutorial/java/generics/upperBounded.html）

The term List<Number> is more restrictive than List<? extends Number>
because the former matches a list of type Number only, whereas the 
latter matches a list of type Number or any of its subclasses.




Answer 1

列表

假设你的A是动物。现在你有了一个列表

你可以从列表中获取代码，因为你知道你从列表中选择的任何东西都可以分配给动物，所以没有问题。请注意，在块3中，您无法从列表中获取任何内容，但您可以插入-反过来。

您可以在列表中插入

看看有效的Java第三版和Koltin的实际应用——是的，Kotlin，它有一个稍微不同的方法，可以帮助您更好地理解它。科特林的语言已经把所有这些都变成了干净的规则。

Answer 2

这里有一个场景可以说明。考虑第三类：

class C extends A {
}

List<C> cList = new ArrayList<>();
List<? extends A> extendList = cList; //this is valid. Right? Yes

这样一来，失败的原因就显而易见了。如果扩展列表。如果允许添加（new A（）），以下内容也必须合法：

extendList.add(new B());

但是我们会在列表中添加一个不兼容的类型（B）

原因是边界：

Answer 3

block2：“据我所知，列表将接受类型为A或子类型为A的对象，例如B”-否！考虑一下的可能值 ，例如，它可以是类C扩展了{}，这意味着a和B都不符合约束条件。不能将A或B添加到泛型类型为C的列表中。

块3：再次考虑的可能值：现在它可以是A或其任何超类，所以A或对象（或介于两者之间的任何对象）。既然B是a的一个子类型，它当然也是a的所有超类的一个子类型。每个接受A的列表也会接受B。