为什么 Optional 的 or 和 flatMap 方法的供应商类型参数是通配符？

Question

该Optional.or方法是在 Java 9 中添加的。这是方法签名

public Optional<T> or(Supplier<? extends Optional<? extends T>> supplier)

既然是final类，为什么是Suppliertake的类型参数? extends Optional而不是just ？OptionalOptional

该Optional.flatMap方法也是如此。这是对 Java 8 的更改。

在 Java 8 中，它在 Java 9 中Function<? super T, Optional<U>> mapper被更改为Function<? super T,? extends Optional<? extends U>>。

Answer 1

我从 Stuart Marks 本人那里找到了背后的原因http://mail.openjdk.java.net/pipermail/core-libs-dev/2016-October/044026.html这与嵌套泛型（Optional嵌套在内部Function）有关。从邮件线程&nbsp;Function<...,&nbsp;Optional<StringBuilder>>不是的子类型&nbsp;Function<...,&nbsp;Optional<?&nbsp;extends&nbsp;CharSequence>>为了解决这个问题，我们还必须添加外部通配符，这样&nbsp;Function<...,&nbsp;Optional<StringBuilder>>是一个子类型&nbsp;Function<...,&nbsp;?&nbsp;extends&nbsp;Optional<?&nbsp;extends&nbsp;CharSequence>>

Answer 2

FWIW，在 Java 11 中的Stream.iterate和Stream.iterate中仍然存在与协变参数类似的问题。当前的方法签名是static <T> Stream<T> iterate(T seed, Predicate<? super T> hasNext, UnaryOperator<T> next)static <T> Stream<T> iterate(T seed, UnaryOperator<T> f)这些签名不允许某些UnaryOperator从类型角度来看合理的种子和 s 组合，例如，以下内容无法编译：UnaryOperator<String> op = s -> s;&nbsp;Stream<CharSequence> scs = iterate("", op); // error建议的解决方案是将方法签名更改为static <T, S extends T> Stream<T> iterate(S seed, Predicate<? super S> hasNext, UnaryOperator<S> next)static <T, S extends T> Stream<T> iterate(S seed, UnaryOperator<S> f)因此，与Optional.or和Optional.flatMap相比， 这是“附加类型参数方法”实际起作用的情况。

Answer 3

是的...据说带有extends-bound（上限）的通配符使类型 covariant，这意味着例如List<Apple>是List<? extends Fruit>（考虑到Appleextends Fruit）的实际子类型；这也称为协方差。或者在您展示的示例中，这意味着它Optional<StringBuilder>是 的子类型Optional<? extends Optional<? extends CharSequence>>，因此您可以例如执行以下操作：List<Optional<String>> left = new ArrayList<>();List<? extends Optional<? extends CharSequence>> right = new ArrayList<>();right = left; // will compile或分配Function给另一个