如何使用选项实现这个嵌套流？

Question

我有一个将String 作为输入的方法，还应该返回一个String。

以下 ASCII 艺术呈现逻辑流程：

Option<A> optA = finder.findA(input);

          optA
           /\
isEmpty() /  \ isDefined()  
         /    \
 "ERR_1"       Option<B> optB = finder.findB(optA.get().bid);
                      / \
           isEmpty() /   \ isDefined()
                    /     \
                "ERR_2"    opt2.get().id

基本上对于给定的input，我正在寻找A 对象，该对象以Option 形式返回。然后是A 存在我正在寻找B - 也包裹在Option 中，否则返回ERR_1。然后如果存在B，则返回它的id，否则返回ERR_2。

我想知道如何以一种简洁明了的方式（没有任何 ifology）使用可选项（或者可能是模式匹配？）来实现它 - 可能是单行。

谁能给点建议？

可以在here找到试用的源代码。

Answer 1

由于您使用的是 javaslang，Try 似乎是一个更好的选择，因为它通过链传播错误，而 Option 仅传播其“空虚”。

如果您可以将findA 和findB 更改为返回Try，您会得到：

Try<B> b = finder.findA(input)
    .flatMap(a -> finder.findB(a.bid))

如果你不能，那么：

Try<B> b = finder.findA(input).toTry(() -> new Exception("ERR_1"))
    .flatMap(a -> findB(a.bId).toTry(() -> new Exception("ERR_2")))

得到一个暂定的B，我不确定你是否想将有效值和错误折叠成相同的值，如果是这样的话：

String value = b.getOrElseGet(Throwable::getMessage)

如果您在创建无意义的异常时遇到问题，您可以在每个查找操作中使用Either，其中左边的值是您的错误类型。这似乎更好地模拟了问题，但可能具有较长类型签名的缺点，具体取决于您如何拆分表达式。​​

Answer 2

看起来您有 3 个可能的退出点：

1. optA 为空 -> “ERR_1”
2. optA 不为空 && optB 为空 -> "ERR_2"
3. 两者都不为空 -> optB.get().bid

您可以通过使用 Javaslang 来实现这一点：

 optA
   .map(a -> finder.findB(a.bid)
      .map(b -> b.bid)
      .getOrElse("ERR_2"))
   .getOrElse("ERR_1");

如果optA为空，我们将直接跳转到orElse("ERR_1")

如果optA 不为空，我们将使用存储在其中的值来获取b.bid 或"ERR_2" 的值，以防optB 为空。

此外，在纯 Java 8 中，它看起来像这样：

optA
  .map(a -> finder.findB(a.bid)
    .map(b -> b.bid)
    .orElse("ERR_2"))
  .orElse("ERR_1");

Answer 3

您会希望将其调整到您的代码中，但这是我会使用的一种方法。

首先，为每个故障点隔离要封装的错误。

Supplier<? extends RuntimeException> missingAException = IllegalStateException::new;
Supplier<? extends RuntimeException? missingBException = IllegalStateException::new;

这样做可以让您稍后编写一个 lambda，以便根据需要提供特定的错误消息。

现在，我们编写可选项。

Optional<A> optA = finder.find(input);
Optional<B> optB = finder.findB(optA.orElseThrow(missingAException));

要提取optB，请使用与optA 相同的模式。

B value = optB.orElseThrow(missingBException);