kotlin 表达式自动转换时

Question

我希望以下 kotlin 代码能够正常工作：

val result: Try<Option<String>> = Success(Some("test"))

val test = when {
    result is Success && result.value is Some -> result.value.t // not working
    result is Success && result.value is None -> "Empty result"
    result is Failure -> "Call failed!"
    else -> "no match!"
}

我将箭头库用于 Try 和 Option monad。

不幸的是，我只能访问第一个条件“is Success”的值，而不能访问第二个条件“is Some”的值。所以，我只能做“result.value”，然后我得到一个String的Option。

我错过了什么吗？这将为我节省很多内部“.map”和“.fold”调用。

更新：

我需要先施放它，这很难看：

result is Success && result.value is Some -> (result.value as Some<String>).t

Answer 1

我在 IntelliJ 中使用 Kotlin 1.3.21 尝试了您的示例。 它显示了问题的原因：

您需要将result.value 提取为变量才能使其工作。我找到了下面的sn-p来解决它

val result: Try<Option<String>> = Success(Some("test"))

val test = when (result) {
    is Success -> when(val value = result.value) {
        is Some -> value.t
        is None -> "None"
    }
    is Failure -> "Call failed!"
    else -> "no match!"
}

我使用带有声明语法的 Kotlin 1.3.x when。

您也可以使用 Arrow API 来获得类似的结果：

val test = result.fold(
    ifSuccess = { it.getOrElse { "None" }},
    ifFailure = { "Call failed!" }
)

这里您不需要在when 中包含else 子句。

Answer 2

您可以像这样简化模式匹配：

val test = result
  .map { it.getOrElse { "Empty result"} }
  .getOrElse { "Call failed!" }

这有点详尽，不需要else 替代

或者，如果您不关心引发的异常，您可以在Try 上使用toOption：

val test = result
  .toOption()
  .getOrElse { "No value!!" }

但是，这有一些明显的信息丢失。

我个人会将Try 实例冒泡给结果的使用者，将内部Option 与.map 折叠起来，以便最终结果的类型为Try<String>，并让使用者处理错误。

但是，这在很大程度上取决于问题的实际背景。