9、无异常处理错误

无异常处理错误

在函数式编程中，抛出异常是一种副作用。如果在函数式代码中不使用异常，那用什么来替代呢？本文将探讨在不使用异常的情况下处理错误的方法，介绍相关的基本原理和数据类型。

1. 异常的优缺点

异常在编程中很常见，但它也有一些问题。首先，异常会破坏引用透明性（RT）。引用透明性意味着表达式的含义不依赖于上下文，可以局部推理。例如， 42 + 5 这个表达式无论在什么上下文中，其结果永远是 47 。但 throw Exception("fail") 的含义则高度依赖上下文，在不同的 try 块中会有不同的结果。

以下是一个简单的示例：

def failingFn(i: Int): Int = {
  val y: Int = throw Exception("fail!")
  try {
    val x = 42 + 5
    x + y
  } catch {
    case e: Exception => 43
  }
}

当在 REPL 中调用 failingFn(12) 时，会抛出异常。而如果将 throw Exception("fail!") 直接代入 x + y 中，结果会不同：

def failingFn2(i: Int): Int = {