Question

我正在尝试通过构建（自定义）延续来对结构尾部进行递归操作，但编译器不会接受我的代码是尾递归的。一旦我尝试声明一个引用非尾部位置的递归函数的函数文字，即使我没有在这里调用函数，它也会抛出错误。以下是触发错误的简单例子：

import scala.annotation.tailrec
object Test extends App {
  @tailrec
  def tailrectest(i: Int): Int = i match {
    case i if i > 0 => {
      val x = () => tailrectest(10)
      tailrectest(i - 1)
    }
    case 0 => 0
  }
}

我得到了

could not optimize @tailrec annotated method tailrectest: it contains a recursive call not in tail position

指的是val x = () => tailrectest(10)

行

Answer 1

我认为这个问题是由于当你将一个（递归）调用嵌入到函数变量x中时，编译器无法推断它是否会被调用（在这个简单的例子中它）虽然可能）。所以为了安全起见，它会抱怨它在函数体中发生的任何递归调用。

一旦将递归调用放入变量中，变量就可以从函数中逃逸（例如由函数返回，或者存储在某个全局状态中等）。因此它不能再作为尾部进行优化 - 递归循环。

也许发布您希望如何使用x，以便我们可以尝试找到具体的解决方案。

Answer 2

我完全同意PetrPudlák的回答。但是对于它的价值，有一条出路：定义一个辅助方法来返回一个包装器函数到tailrectest：

import scala.annotation.tailrec
object Test extends App {
  def tailrectest_ = tailrectest _
  @tailrec
  def tailrectest(i: Int): Int = i match {
    case i if i > 0 => {
      val x = () => tailrectest_(10)
      tailrectest(i - 1)
    }
    case 0 => 0
  }
}

这会给代码增加一些噪音，但至少它会起作用。

但是，如果您要做的是构建某种延续，那么您的真实代码肯定必须在闭包中捕获一些本地上下文，这就排除了我的上述解决方案。在这种情况下，我看不出一个简单的出路。

更新（2013年3月11日）：

Petr Pudlak found a similar but superior solution in another question: http://stackoverflow.com/questions/15334611/how-to-make-a-tail-recusive-method-that-can-also-refer-to-itself-in-a-non-tail-r

By using an inner function, we can actually capture local state, which make it fully usable. Here is his solution, applied to entropyslave's original question:

import scala.annotation.tailrec

object Test extends App {
  def tailrectest(i: Int): Int = {
    @tailrec
    def tailrectestImpl(i: Int): Int = {
      i match {
        case i if i > 0 =>
          val x = () => tailrectest(10)
          tailrectestImpl(i - 1)
        case 0 => 0
      }
    }
    tailrectest( i )
  }
}

编译器在非尾部位置提到递归函数而上当了

2 个答案: