为什么在功能接口中使用下限[重复]

Question

我对集合上下文中下限的使用或多或少很清楚（请参阅PECS question）。 Java 中的函数式接口并非如此。例如。为什么 Optional.map 方法具有下界的签名：

<U> Optional<U> map(Function<? super T, ? extends U> mapper);

这里使用super有什么好处，为什么下面的代码不能编译？

public static void main(String[] args) {
    Function<? super BigDecimal, ? extends Number> mapper = dec -> dec
        .divide(BigDecimal.TEN)
        .doubleValue();
    BigDecimal bigD = BigDecimal.ONE;
    //works
    Optional.of(bigD).map(mapper);

    Number number = BigDecimal.ONE;
    // the following does not compile,
    // despite Number is super type of BigDecimal
    Optional.of(number).map(mapper);
}

Answer 1

将mapper 参数中的下限设置为map 的目的是扩大可接受的Functions 的范围，不仅包括那些具有确切的Functions T，还有那些 T 可能是子类的类型。例如。这样的Optional<BigDecimal> 不仅可以接受Function<BigDecimal, Number>，还可以接受Function<Number, Number>，因为BigDecimal 是Number。这样的函数应该能够在BigDecimal 上运行，因为它需要Number。

您的行 Optional.of(number).map(mapper); 无法编译，因为这里的 T 是 Number，而不是 BigDecimal。尝试传入 T 为 BigDecimal 的 Function 与签名不匹配 -- BigDecimal 不是 Number 的超类型。您在这里利用? super T 的尝试失败了，因为您使用了不同的T，而不是因为它以某种方式失败了? super T。这是两个不同的概念。