为什么Scala可以通过try / catch来优化尾呼叫？

发布时间：2020-12-16 09:14:48 所属栏目：安全来源：网络整理

导读：在 recent StackOverflow answer中,我给出了以下递归代码： def retry[T](n: Int)(fn: = T): T = { try { fn } catch { case e if n 1 = retry(n - 1)(fn) }} 如果我添加了@tailrec注释,我得到： Could not optimize @tailrec annotated method retry: it co

在 recent StackOverflow answer中,我给出了以下递归代码：

def retry[T](n: Int)(fn: => T): T = {
  try {
    fn
  } catch {
    case e if n > 1 =>
      retry(n - 1)(fn)
  }
}

如果我添加了@tailrec注释,我得到：

Could not optimize @tailrec annotated method retry: it contains a
recursive call not in tail position.

我能够采用一种尾递归替代方法,但我仍然怀疑为什么没有优化.为什么不？

解决方法

要进行尾递归优化,必须将其转换成如下所示：

def retry[T](n: Int)(fn: => T): T = {
  START:
    try {
      fn
    } catch {
      case e if n > 1 =>
        n = n - 1
        GOTO START
    }
}

当它执行GOTO循环时,它必须离开catch块的范围.但是在原始递归版本中,递归调用的执行仍然在catch块内.如果语言允许这可能会改变代码的含义,那么这不是一个有效的优化.

编辑：从与Rex Kerr在评论中的讨论中,这是Scala中的一种行为保留转换(但只有当最终没有)时.所以显然只是Scala编译器还没有认识到最后一个catch块的最后一个调用没有终于在尾部调用位置.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!