为什么我不能将'父”实例添加到'列表”中

通配符泛型类型并发症

Java 通配符泛型提供了一种表示类型的方法，而无需提交特定的具体类型。虽然这种灵活性非常强大，但它也可能导致意外行为。

考虑以下示例，其中定义了 Parent 接口的未知子类型的 Java 列表：

List<? extends Parent> list = ...;

然而，Java 的类型系统不允许将 Parent 实例添加到此列表中：

Parent p = factory.get();   // returns concrete implementation
list.set(0, p);   // compilation error

这种明显的矛盾源于类型安全的概念。允许将父实例添加到列表中会损害通配符泛型类型的完整性。原因如下：

想象一下如果允许添加此内容。假设我们有一个 Child 实例列表，它们是 Parent 的具体子类型：

List<Child> childList = new ArrayList<Child>();
childList.add(new Child());

如果我们使用通配符泛型类型将此 childList 分配给我们的列表，那么我们似乎有一个列表父实例的数量：

List<? extends Parent> parentList = childList;

但是，我们可以向此添加一个父实例ParentList:

parentList.set(0, new Parent());

这将导致灾难性的类型安全违规。稍后从 childList 中检索索引 0 处的项目时，我们期望它是一个 Child 实例，但它实际上是一个 Parent 实例，从而导致意外行为。

为了防止这种类型安全违规， Java 强制规定您只能将通配符泛型类型本身的实例添加到列表中，即使您可以检索其超类型的实例。此限制可确保类型参数的完整性并防止潜在的错误。

以上是为什么我不能将'父”实例添加到'列表”中的详细内容。更多信息请关注PHP中文网其他相关文章！