Java泛型List

Java泛型中List extends Base>的疑问解答

在Java泛型中，List extends Base>的泛型类型表示此列表中包含的是Base类型或其子类的对象。然而，它与List super Base>不同，后者表示列表中包含的是Base类型及其超类的对象。

对于List extends Base>，我们可以理解其泛型类型相当于List或List_{，其中Sub是Base的子类。那么，问题是，为什么不能调用List extends Base>的add方法添加对象，即使添加的是Base实例？}

原因在于，List extends Base>表示列表中的对象是Base或其子类的未知类型。由于不知道确切的类型，因此无法确定可以添加的对象类型。例如，如果List extends Base>实际类型为List_{，而我们尝试添加Base实例，编译器无法确定该Base实例是否兼容Sub类型。因此，为了保证类型安全，Java禁止往List extends Base>中添加任何对象。}

立即学习“Java免费学习笔记（深入）”；

相比之下，List super Base>表示列表中的对象是Base或其超类的未知类型。在这种情况下，我们可以添加Base实例或其任何超类实例，因为它们是Base类型的超类型，这保证了类型安全。

因此，List extends Base>只能用于读取对象，而List super Base>只能用于写入对象。