Scala中Try/Success/Failure与Try Catch的区别及示例解析

Hey there! Let's break down how Scala's Try/Success/Failure differs from the classic try-catch approach, then walk through your example code line by line to make sense of it.

核心差异对比 #

• 编程风格：
  • 传统try-catch是命令式的，你需要手动包裹可能抛出异常的代码块，在catch分支里逐个处理不同异常类型，很容易写出嵌套的“金字塔”式冗余代码。
  • Try是函数式的，它把“成功的结果”和“失败的异常”都包装成了具体的值（Success或Failure实例），可以用map/flatMap/for-comprehension等函数式操作链式处理，代码更扁平清爽。
• 异常处理时机：
  • try-catch是即时处理，异常抛出后立刻进入对应的catch分支执行处理逻辑。
  • Try允许延迟处理：你可以先把一系列可能失败的操作组合串联起来，最后再通过模式匹配（或者getOrElse/recover等方法）统一处理成功或失败的情况。
• 可组合性：
  • Try属于Monad类型，天生支持组合多个可能失败的操作。比如你有三个依赖的风险操作，每个都可能失败，用Try可以轻松把它们串起来，而不用嵌套三层try-catch。
• 可读性与语义明确性：
  • 用Try声明函数返回值时（比如def divide: Try[Int]），调用者一眼就能看出这个函数可能失败；而传统方法需要查看函数内部或文档，才能知道会抛出哪些异常。

示例代码逐行解析 #

先把完整可运行的代码整理出来：

import scala.io.StdIn
import scala.util.{Try, Success, Failure}
def divide: Try[Int] = {
  val dividend = Try(StdIn.readLine("Enter an Int that you'd like to divide:\n").toInt)
  val divisor = Try(StdIn.readLine("Enter an Int that you'd like to divide by:\n").toInt)
  val problem = dividend.flatMap(x => divisor.map(y => x/y))
  problem match {
    case Success(v) => println(s"Result: $v")
    // 实际开发中建议补充Failure分支，避免异常被忽略
    case Failure(e) => println(s"Oops, something went wrong: ${e.getMessage}")
  }
}

现在一步步拆解逻辑：

1. 导入依赖：
   • import scala.io.StdIn：引入标准输入工具，用来读取用户控制台输入。
   • import scala.util.{Try, Success, Failure}：引入Try及其两个子类——Success用来包裹成功计算的结果，Failure用来包裹捕获到的异常实例。
2. 函数定义：
   • def divide: Try[Int]：明确声明函数返回Try[Int]，告诉调用者：这个函数要么成功返回一个整数，要么失败返回一个异常信息。
3. 处理被除数输入：
   • val dividend = Try(StdIn.readLine(...).toInt)：用Try包裹“读取输入并转为Int”的操作。如果用户输入合法整数，dividend就是Success(输入的Int)；如果输入非整数（比如"abc"），toInt会抛出NumberFormatException，被Try自动捕获，dividend变成Failure(NumberFormatException实例)。
4. 处理除数输入：
   • val divisor = Try(...)：和被除数逻辑完全一致，处理除数的输入，成功则为Success(Int)，失败则为Failure(Throwable)。
5. 组合操作并计算除法：
   • val problem = dividend.flatMap(x => divisor.map(y => x/y))：这是函数式组合的核心逻辑：
     • 如果dividend是Failure，flatMap直接返回这个Failure，不会执行后续逻辑。
     • 如果dividend是Success(x)，则继续处理divisor：
       • 如果divisor是Failure，map直接返回这个Failure。
       • 如果divisor是Success(y)，就计算x/y：如果y是0，会抛出ArithmeticException，map会自动捕获该异常，将problem转为Failure(ArithmeticException实例)；如果计算成功，problem就是Success(计算结果)。
6. 处理最终结果：
   • problem match { ... }：用模式匹配处理最终的Try实例：
     • 匹配到Success(v)时，打印计算得到的结果。
     • 匹配到Failure(e)时，打印异常信息，帮助排查问题（原代码遗漏了这个分支，实际开发中一定要补充）。

内容的提问来源于stack exchange，提问作者Jill Clover