java - Function.class 中下界通配符的目的是什么？

Question

在 Java8 的 Function.class 中，我们有:

default <V> Function<V, R> compose(Function<? super V, ? extends T> before) {
    Objects.requireNonNull(before);
    return (V v) -> apply(before.apply(v));
}

撰写接受:

Function<? super V, ? extends T> before

而不是:

Function<V, ? extends T> before

“V”下限这一事实是否有任何合理的情况？

Answer 1

？ super 允许返回的 Function 的输入类型 (V) 不同于参数输入类型。

例如，这与 ? super 版本但不是替代版本。

Function<Object, String> before = Object::toString;
Function<String, Integer> after = Integer::parseInt;
Function<Integer, Integer> composed = after.compose(before);