Was ist der Zweck der unteren begrenzten Wildcard in Function.class?

Question

In Function.class von Java8 haben wir:

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

Compose akzeptiert:

Function<? super V, ? extends T> before 

Statt:

Function<V, ? extends T> before 

Gibt es eine plausible Situation, in der die Tatsache, dass " V "ist niedriger gebundene Angelegenheiten?

Answer 1

Der ? super ermöglicht es, dass der Eingabetyp Function (V) sich vom Eingabetyp unterscheidet.

Zum Beispiel, dies kompiliert mit der ? super Version, aber nicht die Alternative.

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