在Java类型参数中，确实如此 <? extends E> 仅指严格的亚型？ 还是E也足够了？

Question

在Java类型参数中，是否仅表示严格的子类型？ 还是E也足够了？

Answer 1

这不严格; E就足够了。

Answer 2

是的， super和extends给出了包含上下限。

以下是Angelika Langer的Generics FAQ的引用：

什么是有界通配符？

带上限的通配符看起来像? extends Type ? extends Type和代表所有类型的系列，它们是Type子Type ， 包括 Type 。 Type被称为上限 。

带下限的通配符看起来像? super Type ? super Type和代表所有类型的类型的Type ，类型包括 Type 。 Type称为下限 。

Answer 3

List<? extends Animal> animalList=new List<Dog>();
List<? extends Animal> animalList=new List<Animal>();

两行都编译没有任何错误。 将列表作为参数的任何函数都能理解列表中的对象是E类型还是E的子类型。