scala - 尾递归 - 这会优化使用帧吗？如何检查编译是否为尾递归？

Question

在下面的代码中 - 列表的最大值和总和非常微不足道 - 我有一个在方法末尾调用的递归函数。scala 编译器会将其视为尾递归并优化堆栈帧的使用吗？我怎么知道/如何验证这一点？

package example

import common._

object Lists {
  def sum(xs: List[Int]): Int = {

    def recSum(current: Int, remaining: List[Int]): Int = {
      if (remaining.isEmpty) current else recSum(current + remaining.head, remaining.drop(1))
    } 

    recSum(0, xs)
  }

  def max(xs: List[Int]): Int = {

    def recMax(current: Int, remaining: List[Int], firstIteration: Boolean): Int = {
      if(remaining.isEmpty){
        current
      }else{
        val newMax = if (firstIteration || remaining.head>current) remaining.head else current
        recMax(newMax, remaining.drop(1), false)
      }
    }

    if (xs.isEmpty) throw new NoSuchElementException else recMax(0, xs, true)
  }
}

Answer 1

在函数定义之前添加以使编译器在非尾递归方法上导致错误:) 此外，当您以这种方式对其进行优化时@tailrec，您必须假设该函数将与命令式循环（又名 for/while 循环）一样高效由编译器。