17370845950

Java泛型？extends Base>中的add限制解析

Java泛型中，存在着这样的声明，用于表示T类型是一个扩展自Base或Base本身的类型。在此基础上，>表示一个列表，其泛型可以是Base或Base的任一子类。

那么，为什么向List extends Base>中添加数据时会有限制呢？原因在于， extends Base>代表的是一个范围，它同时包含Base及其所有子类。这意味着：

• 添加Base实例：虽然Base是此列表泛型的有效类型，但add方法要求指定一个确切的类型（即Base的子类类型）。因此，无法添加Base实例。
• 添加Base子类实例：同样，虽然Base的所有子类都可以转换为Base类型，但add方法需要一个确切的类型，因此无法添加Base子类实例。

换句话说，List extends Base>的泛型无法确定具体可以添加哪种类型，因为它代表的是一个范围。因此，为避免添加不兼容类型，Java不允许向此列表中添加任何内容。

如下图所示，>类似于一个抽象的集合，它的具体类型未知。因此，只能从该集合中读取值（类型为Base或Base的子类），却不能向其中添加值。相反，List super Base>可以添加任何作为Base父类或Base本身的类型，因为它代表的是一个更广泛的集合，但不能从该集合中读取任何特定类型的值。