Scala中的尾递归阶乘函数

Question

我认为下面的阶乘函数是尾递归的，当我测试它时，它可以正常工作到 10 并且在 20 时变得奇怪（负输出），当我插入 100 时，答案是 0：

def factorial(n: Int, m: Int = 1): Int = 
    if (n == 0) m else fact(n-1, m * n)

但是当我把 @tailrec 放在它上面时，我得到以下错误：

error: not found: type tailrec

我不明白为什么这个函数不是尾递归的。堆栈递归阶乘函数是：

def factorial(n: Int): Int = 
    if (n == 0) 1 else n * factorial(n-1)

上述函数在每次递归调用时修改外部表达式after else。而第一个函数只修改函数内部的内容。现在，要创建递归阶乘函数，他们所做的就是在函数内部创建一个函数。但是，能否仅使用本题中第一个函数的主体来创建递归阶乘函数？

另外，前一个函数中的“m”是变量吗？

编辑：现在按照answer 中的建议进行操作后， 如果函数不是尾递归的，我会收到错误消息：

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

Answer 1

几件事：

• 您必须导入@tailrec 注解才能在没有全名的情况下使用它：

  import scala.annotation.tailrec
  
  @tailrec
  def factorial(n: Int, m: Int = 1): Int = 
    if (n == 0) m else fact(n-1, m * n)
  

  没有 @tailrec scalac 仍然可以进行尾递归优化，只是不会强制执行（如果不可能进行 TRO，它不会导致编译失败）。

• 整数的容量有限 - 它是 32 位 2-compliment，大于 2^31-1 的所有内容都会溢出并变为负数

因此您必须导入注释或使用全名 (@scala.annotation.tailrec) 并将 Int 替换为更大的名称（Long 也不够，更像BigInteger）。