为什么我无法使用通配符泛型类型（如 `）向 Java 集合添加值？扩展父级`?

向具有通配符泛型类型的 Java 集合添加值的问题

考虑以下代码，其中 Parent 是一个接口：

List<? extends Parent> list = ...;
Parent p = factory.get();   // returns concrete implementation
list.set(0, p);   // fails here: set(int, ? extends Parent) cannot be applied to (int, Parent)

为什么这段代码会失败？

问题关键在于通配符泛型类型的使用？扩展父级。此语法表明该列表可以包含扩展 Parent 的任何类型的对象。虽然这提供了灵活性，但它也增加了列表中对象的实际类型的一定程度的不确定性。

要理解代码失败的原因，请考虑以下场景：

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

List<? extends Parent> parentList = childList;
parentList.set(0, new Parent());

Child child = childList.get(0); // No! It's not a child! Type safety is broken...

通配符类型？扩展Parent允许我们将childList分配给parentList。但是，当我们尝试在parentList中设置Parent类型的对象时，编译器无法保证childList中对应的对象也是Child类型。这可能会导致运行时错误或意外行为。

为了维护类型安全，编译器限制可以对具有通配符泛型类型的集合执行的操作。在这种情况下，禁止将对象分配给列表，因为编译器无法保证该对象与列表的未知类型的兼容性。

以上是为什么我无法使用通配符泛型类型（如 `）向 Java 集合添加值？扩展父级`?的详细内容。更多信息请关注PHP中文网其他相关文章！