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

Java 泛型协变

在 Java 中，泛型不是协变的，如所提供的文章中所述。这意味着如果一个类扩展了泛型类，则子类的泛型类型不能是父类泛型类型的子类型。

理解“别名”概念

作者提到“如果 ln 与 li 别名”，它将破坏类型安全承诺。别名是指对象的替代名称或引用。在这种情况下，li 是 ln 的别名。

示例

考虑以下代码：

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

虽然 Integer 继承自Number，向ln添加Float对象是非法的。这是因为，通过将 li 别名为 ln，我们实质上是在说 li 可以保存数字。然而，li 最初被声明为仅保存整数。因此，向 ln 添加 Float 违反了 li 的类型安全保证。

结论

这个示例演示了 Java 中的泛型不是协变的。尝试将子类的泛型类型分配给超类的泛型类型将导致编译时错误。

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