
Java泛型中List<? extends Base>的疑问解答
在Java泛型中,List<? extends Base>的泛型类型表示此列表中包含的是Base类型或其子类的对象。然而,它与List<? super Base>不同,后者表示列表中包含的是Base类型及其超类的对象。
对于List<? extends Base>,我们可以理解其泛型类型相当于List<Base>或List<Sub>,其中Sub是Base的子类。那么,问题是,为什么不能调用List<? extends Base>的add方法添加对象,即使添加的是Base实例?
原因在于,List<? extends Base>表示列表中的对象是Base或其子类的未知类型。由于不知道确切的类型,因此无法确定可以添加的对象类型。例如,如果List<? extends Base>实际类型为List<Sub>,而我们尝试添加Base实例,编译器无法确定该Base实例是否兼容Sub类型。因此,为了保证类型安全,Java禁止往List<? extends Base>中添加任何对象。
立即学习“Java免费学习笔记(深入)”;
相比之下,List<? super Base>表示列表中的对象是Base或其超类的未知类型。在这种情况下,我们可以添加Base实例或其任何超类实例,因为它们是Base类型的超类型,这保证了类型安全。
因此,List<? extends Base>只能用于读取对象,而List<? super Base>只能用于写入对象。









