在 Java 类型参数中，仅意味着严格的子类型？或者 E 也足够了吗？

Question

在 Java 类型参数中，是否仅意味着严格的子类型？或者 E 也足够了吗？

Answer 1

这并不严格； E 就足够了。

Answer 2

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

以下引用自Angelika Langer 的泛型常见问题解答：

什么是有界通配符？

带有上限的通配符看起来像？扩展 Type 并代表作为 Type 子类型的所有类型系列，类型 Type 被包含。 类型称为上限。

带有下限的通配符看起来像？ super Type 代表所有类型的家族，这些类型是 Type 的超类型，类型 Type 被包含。 类型称为下界。

Answer 3

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

这两行编译都没有任何错误。
任何将列表作为参数的函数都知道列表中的对象属于类型 E 或 E 的子类型。