7

阅读“Scala 中的函数式编程”，我对不具有引用透明性的异常部分感到有些困惑。

给出的例子是

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

所以书中给出的论点y是引用不透明的，因为如果我们将它替换到try块中的主体中，我们会得到与直接运行函数不同的结果。这对我来说没有任何意义，因为整个函数一开始就没有终止，所以说函数体内的值不是引用透明的有什么意义呢？在我看来，天真的替换如下

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

并且仍然失败，但有同样的例外。

此外，y它本身是一个非值（它不能直接被评估为一个值），那么谈论这些表达式的引用透明性有什么意义呢？我怀疑这里有某种花招，所以我的推理到底在哪里不正确？

4

1 回答 1

9

本书的重点是，如果它真的是引用透明的，那么您可以y完全删除变量并将其替换在内部，try/catch最终得到不同的语义。

因此，要指出的一点是，在异常的情况下，对异常的评估点很重要。

也许您可以争辩说这两个程序在语义上并不相同，因为评估的位置在这里实际上很重要。如果你做了y lazy，那么结果不会改变。

于 2015-03-11T17:46:53.713 回答