Java中不同的可选/选项语义

Question

我试图在Java生态系统中最常用的3种实现中理解不同选项/可选语义背后的原因: Java 8、Functional和Guava。

考虑跟着三个片段。

1. java.util.Optional.of(100).map(i -> null)导致Optional.empty。
2. fj.data.Option.some(100).map(i -> null)导致Some(null)。
3. com.google.common.base.Optional.of(100).transform(i -> null)结果NullPointerException.

三种选择背后的原因是什么？如果是可理解的，从函数式编程的角度来看，什么才是最“纯”或“正确”的？例如，在将Option类型视为monad时，什么才是最正确的；或者什么是最可组合的？她还想知道如何在允许空的函数式语言中处理这个问题。

Answer 1

我看不出番石榴行为的真正原因。至于另外两个，这取决于作者如何定义空值：

• Java8将null值定义为缺少值，从而得到一个Optional.empty
• 函数式java似乎将null定义为一个可能的值，与无值不同。 出于一个更具体的原因，让我们来看看map定义： 公共最终选项映射( F f) {返回isSome()？一些(F.F(一些()：Option.none()；} 只要“容器”不是None，它的转换值就不会是None。为了获得类似于java 8的结果，可以使用fromNull。

至于“纯”或“正确”，可能类似于旧的is 0 a natural number? :)