如何避免Java / Kotlin / IntelliJ IDEA中的StackOverFlow错误？

Question

我想做一个BigInteger的阶乘（在Kotlin中）。使用尾部递归时，当我尝试执行9000时会出现StackOverFlow错误！。使用非递归函数，我可以做到这一点……但是我很好奇如何避免这种错误。

这是我的代码：

import java.math.BigInteger

fun tail_recursion_factorial(n: BigInteger, factorialOfN: BigInteger = BigInteger.valueOf(2)): BigInteger {
   return when(n){
        BigInteger.ONE ->  BigInteger.ONE
        BigInteger.valueOf(2) ->  factorialOfN
        else -> tail_recursion_factorial(n.minus(BigInteger.ONE), n.times(factorialOfN))
    }
}
fun non_recursive_factorial(n: BigInteger): BigInteger{
    var i: BigInteger = BigInteger.ONE
    var factorial: BigInteger = BigInteger.ONE
    while (i<=n){
        factorial = factorial.times(i)
        i = i.plus(BigInteger.ONE)
    }
    return factorial
}
fun main(args: Array<String>){
    print("n == ")
    var n = readLine()!!
    //recursive
    //println("$n! is ${tail_recursion_factorial(BigInteger(n))}")
    //non-recursive
    println("$n! is ${non_recursive_factorial(BigInteger(n))}")
}

Answer 1

这是必须在语言级别解决的问题，因为JVM不会优化尾递归。

幸运的是，科特林语言提供了tailrec出于这样的目的修改，所以你可以简单地写tailrec fun，而不是fun。编译器会将tailrec函数内的尾部调用转换为循环，这将消除您遇到的堆栈溢出。