可选<>和返回类型缩小答案

【问题标题】：Optional<> and return type narrowing可选<>和返回类型缩小
【发布时间】：2015-07-04 08:38:23
【问题描述】：

在 Java

class A {}
class B extends A {}
interface Sup { A a(); /* returns A instance, or null */ }
interface Sub extends Sup { B a(); }

在 Java 8 中，如果我想让我的 API“更安全”，我应该返回 Optional<A> 而不是“原始”A：

interface Sup { Optional<A> a(); }
interface Sub extends Sup { Optional<B> a(); }

但不编译！因为Optional<B> 不是Optional<A> 的子类。

我应该如何解决这个问题？

【问题讨论】：

【解决方案1】：

您可以使用通配符。

interface Sup { Optional<? extends A> a(); }

interface Sub extends Sup { Optional<? extends B> a(); }

我本可以只使用Optional<B>，但使用Optional<? extends B> 允许另一个接口扩展Sub 并做同样的事情。

就个人而言，我认为这有点混乱，最好在必要时返回A 或B 或null。

【讨论】：

有schools of thought 认为转向Optional 范式会产生更少的NPE，并迫使人们更好地推理代码实际具有的行为。
@Makoto 我知道这些论点，并且我同意它们（我一直使用Optional）。我最后的评论是关于结合 ? 和 Optional
使用上限并不是最糟糕的事情；关于为什么要这样做，可能有非常正当的理由。我之所以这样反应，是因为你提到了null。
@Makoto 你永远不会回来null?
虽然我认为这有点太啰嗦了，但我不会返回 null 我可以提供帮助的地方 - 我可以使用 Optional，无论是使用 Guava 还是使用 Java 8、我选择使用这种模式而不是null。

【解决方案2】：

更改您的父边界以使用通配符：

Optional<? extends A> // parent
Optional<? extends B> // child

您的代码现在不起作用的原因是泛型是不变的。 B 是 A，但 Optional<B> 不是 Optional<A>。

【讨论】：