Optional 和 Monad

Monad 是函数式编程的一个关键概念。Monad 是一种设计模式,有助于表示缺失值。它允许包装潜在的空值,允许在其周围进行转换并提取实际值(如果存在)。根据定义,monad 是一组以下参数。

  • 参数化类型 − M<T>

  • 单元函数 − T −> M<T>

  • 绑定操作 − M<T> bind T −> M<U> = M<U>

关键操作

  • 左身份 − 如果函数绑定在特定值的 monad 上,则其结果将与将函数应用于该值时的结果相同。

  • 右身份 − 如果 monad 返回方法与原始值上的 monad 相同。

  • 结合性 − 函数可以以任何顺序应用于 monad。

Optional 类

Java 8 引入了 Optional 类,它是一个 monad。它提供与 monad 等效的操作。例如 return 是一个接受值并返回 monad 的操作。Optional.of() 接受参数并返回 Optional 对象。类似地,bind 是将函数绑定到 monad 以生成 monad 的操作。Optional.flatMap() 是执行 Optional 操作并将结果作为 Optional 返回的方法。

  • 参数化类型 − Optional<T>

  • 单元函数 − Optional.of()

  • 绑定操作 − Optional.flatMap()

示例 − 左标识

以下示例显示了 Optional 类如何遵循左标识规则。

import java.util.Optional;
import java.util.function.Function;

public class FunctionTester {
   public static void main(String[] args) {
      Function<Integer, Optional<Integer>> addOneToX 
         = x −> Optional.of(x + 1);
      System.out.println(Optional.of(5).flatMap(addOneToX)
         .equals(addOneToX.apply(5)));
   } 
}

输出

true

示例 − 正确身份

以下示例显示了可选类如何遵循正确身份规则。

import java.util.Optional;

public class FunctionTester {
   public static void main(String[] args) {
      System.out.println(Optional.of(5).flatMap(Optional::of)
         .equals(Optional.of(5)));
   } 
}

输出

true

示例 - 结合性

以下示例展示了 Optional 类如何遵循结合性规则。

import java.util.Optional;
import java.util.function.Function;

public class FunctionTester {
   public static void main(String[] args) {
      Function<Integer, Optional<Integer>> addOneToX 
         = x −> Optional.of(x + 1);
      Function<Integer, Optional<Integer>> addTwoToX 
         = x −> Optional.of(x + 2);
      Function<Integer, Optional<Integer>> addThreeToX 
         = x −> addOneToX.apply(x).flatMap(addTwoToX);
      Optional.of(5).flatMap(addOneToX).flatMap(addTwoToX)
         .equals(Optional.of(5).flatMap(addThreeToX));
   } 
}

输出

true