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中文网其他相关文章！
