静态编程语言递归堆栈溢出

Question

我在Kotlin中编写了这个递归函数：

fun recursive(target: String, population: Population, debugFun: (String) -> Unit) : Population {
    if (population.solution(target).toString() == target) {
        return population
    }
    debugFun.invoke(population.solution(target).toString())
    return recursive(target, population.evolve(target), debugFun)
}

它将运行不确定的次数（因为我在进化算法中使用随机性来收敛解）。我经常得到堆栈溢出。静态编程语言/JVM语言的最大堆栈深度是多少？我应该只编写非递归函数吗？

Answer 1

tailrec关键字告诉Kotlin编译器使用尾部递归。因此，它将递归展开为一个循环，这样就可以摆脱StackOverflowerError。

tailrec fun recursive(target: String, population: Population, debugFun: (String) -> Unit) : Population {
    if (population.solution(target).toString() == target) {
        return population
    }
    debugFun.invoke(population.solution(target).toString())
    return recursive(target, population.evolve(target), debugFun)
}

因此，当使用tailrec时，编译器会创建与以下函数匹配的内容：

fun recursive(target: String, population: Population, debugFun: (String) -> Unit) : Population{
    var tmp = population

    while (true) {
        if (tmp.solution(target).toString() == target) {
            return tmp
        }
        debugFun.invoke(population.solution(target).toString())
        tmp = tmp.evolve(target)
    }
}

在这个函数中，不再进行任何方法调用，因此没有任何内容被推送到堆栈中，我们从StackOverflower中保存。

注意，我们仍然可以进入一个无尽的循环！