Guava 的 Optional pattern 很棒，因为它有助于消除 null 的歧义。 transform当链的第一部分可能不存在时，方法对于创建空安全方法链非常有帮助，但当链的其他部分不存在时就没有用了。

这个问题与Guava Optional type, when transformation returns another Optional有关，它问的问题本质上是相同的，但针对不同的用例，我认为这可能不是 Optional 的预期用途。 (处理错误)。

考虑一种方法 Optional<Book> findBook(String id) . findBook(id).transform(Book.getName)按预期工作。如果没有找到书，我们会得到一个 Absent<String> ，如果找到一本书，我们会得到 Present<String> .

在中间方法可能返回 null 的常见情况下/absent() ，似乎没有一种优雅的方式来链接调用。例如，假设 Book有一个方法 Optional<Publisher> getPublisher() ，我们想获得一本书的出版商出版的所有书籍。自然语法似乎是 findBook(id).transform(Book.getPublisher).transform(Publisher.getPublishedBooks) ，但是这会失败，因为 transform(Publisher.getPublishedBooks)调用实际上会返回 Optional<Optional<Publisher>> .

transform() 似乎相当合理类似 Optional 的方法它将接受一个返回 Optional 的函数.它的行为与当前的实现完全一样，只是它不会将函数的结果包装在 Optional 中。实现(对于 Present )可能是:

public abstract <V> Optional<V> optionalTransform(Function<? super T, Optional<V>> function) {
    return function.apply(reference);
}

Absent 的实现与 transform 相同:

public abstract <V> Optional<V> optionalTransform(Function<? super T, Optional<V>> function) {
    checkNotNull(function);
    return Optional.absent();
}

如果有一种方法可以处理返回 null 的方法，那就太好了而不是 Optional用于处理遗留对象。这样的方法就像 transform但只需调用Optional.fromNullable关于函数的结果。

我很好奇是否有其他人遇到过这种烦恼并找到了很好的解决方法(不涉及编写您自己的 Optional 类)。我也很想听听 Guava 团队的意见，或者被指点为与该问题相关的讨论(我在搜索中没有找到任何内容)。

最佳答案

您正在寻找一些 Monad，但 Guava 的 Optional(与例如 Scala 的 Option 相反)只是一个 Functor。

Functor 到底是什么东西？!

Functor 和 Monad 是一种盒子，一种包装某些值的上下文。 包含 A 类型值的仿函数知道如何应用函数 A => B 并将结果放回仿函数。例如:从 Optional 中取出一些东西，转换并包装回 Optional。 在函数式编程语言中，这种方法通常被命名为“map”。

Mona.. 什么？

Monad 几乎与 Functor 相同，只是它使用封装在 Monad 中的函数返回值(A => Monad，例如 Int => Optional)。 这种神奇的 Monad 方法通常称为“flatMap”。

在这里您可以找到对基本 FP 术语的非常棒的解释:http://adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictures.html

仿函数和单子(monad)来了!

Java 8 中的 Optional 可以分为 Functor ( http://docs.oracle.com/javase/8/docs/api/java/util/Optional.html#map-java.util.function.Function- ) 和 Monad ( http://docs.oracle.com/javase/8/docs/api/java/util/Optional.html#flatMap-java.util.function.Function- )。

很好的 mon(ad)olog，Marcin，但我该如何解决我的特定问题？

我目前正在开发一个使用 Java 6 的项目，昨天我编写了一些名为“Optionals”的辅助类，这为我节省了很多时间。

它提供了一些辅助方法，允许我将 Optional 转换为 Monads (flatMap)。

这是代码:https://gist.github.com/mkubala/046ae20946411f80ac52

因为我的项目的代码库仍然使用空值作为返回值，所以我引入了 Optionals.lift(Function)，它可以用来将结果包装到 Optional 中。

为什么将结果提升为可选？ 为了避免传递给 transform 的函数可能返回 null 并且整个表达式将返回“存在 null”的情况(顺便说一下，由于这个后置条件，这对于 Guava 的 Optional 是不可能的 -> 请参见 https://code.google.com/p/guava-libraries/source/browse/guava/src/com/google/common/base/Present.java?r=0823847e96b1d082e94f06327cf218e418fe2228#71 的第 71 行)。

几个例子

假设 findEntity() 返回一个 Optional 而 Entity.getDecimalField(..) 可能返回 BigDecimal 或 null:

Optional<BigDecimal> maybeDecimalValue = Optionals.flatMap(
    findEntity(),
    new Function<Entity, Optional<BigDecimal>> () {
        @Override 
        public Optional<BigDecimal> apply(Entity input) {
            return Optional.fromNullable(input.getDecimalField(..));
        }
    }
);

还有一个例子，假设我已经有一些函数，它从实体中提取十进制值，并可能返回空值:

Function<Entity, Decimal> extractDecimal = .. // extracts decimal value or null
Optional<BigDecimal> maybeDecimalValue = Optionals.flatMap(
    findEntity(),
    Optionals.lift(extractDecimal)
);

最后但并非最不重要的 - 以您的用例为例:

Optional<Publisher> maybePublisher = Optionals.flatMap(findBook(id), Optionals.lift(Book.getPublisher));

// Assuming that getPublishedBooks may return null..
Optional<List<Book>> maybePublishedBooks = Optionals.flatMap(maybePublisher, Optionals.lift(Publisher.getPublishedBooks));

// ..or simpler, in case when getPublishedBooks never returns null
Optional<List<Book>> maybePublishedBooks2 = maybePublisher.transform(Publisher.getPublishedBooks);

// as a one-liner:
Optionals.flatMap(maybePublisher, Optionals.lift(Publisher.getPublishedBooks)).transform(Publisher.getPublishedBooks);

关于java - 带有 Optional 的 Null 安全方法链接，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/16866991/