Java中函数参数的逆变 covariance

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

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

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

理解逆变

考虑以下函数：

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

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

实战案例

假设您有一个保存 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);

优点

逆变的优点包括：

• 提高了代码的可重用性，因为它允许函数处理不同类型而无需进行显式转换。
• 促进了良好的面向对象设计，因为函数可以接受父类引用，而无需了解具体的子类类型。

注意

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