Scala 尾递归对短路 bool 运算的优化

Question

我在 Scala 中写了一个这样的函数:

def isSorted[T](list : List[T])(compare : (T, T) => Boolean) : Boolean = {
    list match {
        case Nil => true
        case x :: Nil => true
        case x :: rest => !compare(rest.head, x) && isSorted(rest)(compare)
    }
}

我很好奇编译器是否会优化递归调用。递归调用只有在前导比较成功时才会发生。如果没有，有没有办法提前轰炸并仍然实现尾递归优化？

Answer 1

因此，正如@omnomnom 所说，您可以通过添加 @tailrec 来检查是否某些东西正在被 TCO 控制。方法的注释。如果编译器无法对其进行优化，则会抛出错误。

我们可以通过一个简单的例子来验证这一点:

@tailrec
def fact(n : Int) : Int = fact(n - 1) * 2

编译器会出现以下错误:

test.scala:6: error: could not optimize @tailrec annotated method fact: it contains a recursive call not in tail position

然而，在你的程序上尝试这个，答案是......是的!所以显然编译器很乐意优化你的尾调用:-)