Java中函数参数的逆变 covariance-图灵课堂

java 函数参数逆变：允许函数参数声明为其父类或接口，无需转换。赋值兼容性规则允许子类对象分配给父类参考。提高了代码的可重用性，允许不同类型的函数处理。它促进了面向对象的良好设计，允许父类参考。逆变只适用于函数参数，而不适用于返回值。

Java中函数参数的逆变 covariance

Java 中函数参数的逆变（Covariance）

在 Java 逆变是指允许函数参数类型在不需要明确转换的情况下声明为父类或接口。这与协变有关（Covariance）相反，协变允许函数返回值类型声明为其子类或接口。

理解逆变

考虑以下函数：

public void print(Number n) {
    System.out.println(n);
}

这个函数是可以接受的 Number 以及任何子类，例如 Integer、Double 等等。这是因为赋值兼容性规则允许一个子类对象被分配给其父类参考。

立即学习“Java免费学习笔记(深入)；

实战案例

假设你有保存 Integer 元素的 List：

List<Integer> integers = Arrays.asList(1, 2, 3);

现在，你想做到这一点 Integer 列表传递给接受 Number 列表函数：

public void printNumbers(List<? super Number> numbers) {
    for (Number n : numbers) {
        System.out.println(n);
    }
}

因为列表的类型是 <? super Number>，它可以接受 Number 或者任何父类的列表。所以，我们可以传达 integers 列表到函数：

printNumbers(integers);

优点

逆变器的优点包括：

注意

需要注意的是，逆变只适用于函数参数，而不适用于返回值。这意味着您不能使用逆变器返回子类对象，并声明返回类型为父类。

以上是Java中函数参数的逆变关于covariance的详细信息，请关注图灵教育的其他相关文章！

Java中函数参数的逆变 covariance