为什么 Java 泛型不是协变的？-java教程-PHP中文网

为什么 Java 泛型不是协变的？

Susan Sarandon

发布： 2024-11-20 14:16:18

原创

1002 人浏览过

Why Are Java Generics Not Covariant?

Java 泛型和协变：了解限制

泛型中的协变是指子类型在不违反规则的情况下替换其超类型的能力类型安全。然而，在 Java 中，泛型不是协变的，这意味着子类型不能分配给超类型变量。

为了说明这个概念，请考虑以下代码片段：

List<Integer> li = new ArrayList<Integer>();
List<Number> ln = li; // illegal
ln.add(new Float(3.1415));

登录后复制

这里，ln 是别名为 li，这意味着 ln 引用与 li 相同的列表。然而，ln 被声明为 List，表明它可以保存任何扩展 Number 的类型。这包括浮点数，它不是整数。

如果允许协变，上面的代码将是合法的，但它会违反类型安全。通过分配列表 (即，li)到列表（即 ln），我们可能会向列表中添加非整数值，这会损害其作为整数列表的完整性。

因此，为了维护类型安全，Java 泛型不是协变的。此限制确保子类型不能在泛型上下文中与超类型互换使用，从而防止潜在的类型错误。

以上是为什么 Java 泛型不是协变的？的详细内容。更多信息请关注PHP中文网其他相关文章！