12

我已经使用并阅读了有关@tailrec注解的信息,以获得尾递归方法。我浏览了许多解释它的链接。例如,它仅适用于自调用函数,不应被覆盖等。

到处都提到compiler optimizes. 但是编译器做了什么魔术/概念来使其尾递归。对于下面的一个简单函数,编译器做了什么:

@tailrec def fact(acc: Int, n: Int): Int = {
  if (n <= 1) acc
  else fact(n * acc, n - 1)
}
fact(1,10)

我的意思是它是否将它转换为一个循环,在其中反复调用它然后返回最终值?是否有任何指向论文的链接来解释它

4

2 回答 2

12

除了我对您的问题的评论(在此处重新粘贴代码):

  var acc = 1 
  var n = 10
start: 
  if (n <= 1) return acc 
  else { 
    acc = n * acc
    n = n - 1
    goto start
  }

我尝试fact使用我刚刚拥有的最新版本编译该方法,scalac -Xprint:all并且编译器以某种方式发出了一个icode文件。所以这确实说明了它如何优化尾调用:

  // methods
  def fact(acc: Int (INT), n: Int (INT)): Int {
  locals: value acc, value n, value _$this
  startBlock: 1
  blocks: [1,2,3,4,5]

  1: 
    2   JUMP 2

  2: // huynhjl's comment: IF condition is here
    3   LOAD_LOCAL(value n)
    3   CONSTANT(1)
    3   CJUMP (INT)LE ? 3 : 4

  3: // huynhjl's comment: first branch of IF, will return acc
    3   LOAD_LOCAL(value acc)
    3   JUMP 5

  5: 
    2   RETURN(INT)

  4: // huynhjl's comment: else branch of IF, update acc and n and jump back
    4   LOAD_LOCAL(value n)
    4   LOAD_LOCAL(value acc)
    4   CALL_PRIMITIVE(Arithmetic(MUL,INT))
    4   LOAD_LOCAL(value n)
    4   CONSTANT(1)
    4   CALL_PRIMITIVE(Arithmetic(SUB,INT))
    4   STORE_LOCAL(value n)
    4   STORE_LOCAL(value acc)
    4   JUMP 2

  }
于 2013-06-26T13:14:59.590 回答
10

这是关于该主题的不错的博客文章

@tailrec仅保证在编译器无法执行尾调用优化时发出错误。Scala 默认执行尾调用优化。

当满足论文描述的条件时,可以保留最后一帧,而不是帧堆栈,并执行循环。该过程在此处更好地描述

于 2013-06-26T12:11:20.587 回答