scala - 将 for-comprehension 与 scala.util.Try 一起使用时快速失败

Question

我真的很喜欢scala.util.Try在 Scala 2.10 中，以及它如何与 for-comprehension 一起工作，可以处理容易出错的多个步骤。

例如，我们可以使用下面的代码来确保我们只打印出这两个数字，当且仅当一切都在控制之下并且我们正确地获得了值(value)。

def tryA: Try[Int] = {....}
def tryB: Try[Int] = {....}

for {
  a <- tryA
  b <- tryB
} { 
  println (s"We got:${a+b}")
}

但我担心的一个问题是这段代码实际上忽略了任何异常，这意味着它看起来像下面的 try-cactch 块:

try {
  // .....
} catch {
  case _: Exception => // Swallow any exception
}

据我所知，有一种说法是这种代码很臭，因为没有人会注意到发生了异常。

我想实现的是仍然使用 for以确保 println只在一切正常的情况下才执行，但是如果任何步骤出现异常，它就会炸毁并直接抛出异常。

目前这是我如何做到这一点，但它似乎不太优雅，因为它引入了一个新的 Try[Unit]对象，所以我想知道如何使这段代码更好？

例如，是否可以去掉 result变量和 result.get语句，但仍然抛出异常？

def tryA: Try[Int] = {....}
def tryB: Try[Int] = {....}

val result = for {
  a <- tryA
  b <- tryB
} yield { 
  println (s"We got:${a+b}")
}
result.get

更新

为了让事情更清楚，这是这个问题中第一个代码的 Scala REPL 的结果。

scala> def tryA: Try[Int] = Success(1)
tryA: scala.util.Try[Int]

scala> def tryB: Try[Int] = Failure(new Exception("error"))
tryB: scala.util.Try[Int]

scala> for {
     |   a <- tryA
     |   b <- tryB
     | } { 
     |   println (s"We got:${a+b}")
     | }

scala> 

我们可以看到这里什么也没发生，甚至 tryB是 Failure除了异常(exception)。我想得到的是抛出异常，并且没有引入新的 Try[Unit]对象 yield ， 这可能吗？

Answer 1

您可以使用 recover :

import scala.util.Try

def tryEven = Try { val i = (math.random * 1000).toInt; if (i % 2 != 0) throw new Exception("odd") else i }

def tryEvenOrNeg1 = Try { val i = (math.random * 1000).toInt; if (i % 2 != 0) throw new Exception("odd") else i } recover { case exx: Exception => -1 }

scala> for (a <- tryEven; b <- tryEvenOrNeg1) yield println(s"Got $a, $b")
res1: scala.util.Try[Unit] = Failure(java.lang.Exception: odd)

scala> for (a <- tryEven; b <- tryEvenOrNeg1) yield println(s"Got $a, $b")
res2: scala.util.Try[Unit] = Failure(java.lang.Exception: odd)

scala> for (a <- tryEven; b <- tryEvenOrNeg1) yield println(s"Got $a, $b")
res3: scala.util.Try[Unit] = Failure(java.lang.Exception: odd)

scala> for (a <- tryEven; b <- tryEvenOrNeg1) yield println(s"Got $a, $b")
Got 542, -1

scala> for (a <- tryEven; b <- tryEvenOrNeg1) yield println(s"Got $a, $b")
res5: scala.util.Try[Unit] = Failure(java.lang.Exception: odd)

scala> for (a <- tryEven; b <- tryEvenOrNeg1) yield println(s"Got $a, $b")
res6: scala.util.Try[Unit] = Failure(java.lang.Exception: odd)

scala> for (a <- tryEven; b <- tryEvenOrNeg1) yield println(s"Got $a, $b")
Got 692, 750

我删除了 resNN反射(reflect)了Success(()) .