实现js尾递归优化的代码

在学习数据结构和算法的时候，我们都知道所有的递归都是可以优化成栈+循环的。
对于特定的递归函数，一般我们都是手动对它们进行优化的。
在学习scala的时候，接触到尾递归的概念。我们只要将递归写成尾递归方式，编译器会自动帮助我们优化。
ps:并不是所有的递归都可以改写成尾递归
在js中，尾递归通常会被解释器优化。然而，并不是所有的js解释器都支持尾递归优化。
对于不支持尾递归优化的环境，我们需要手动将递归优化成栈+循环。
这里实现了一个通用的方法，将尾递归优化成栈+循环。
代码摘自阮一峰的《ECMAScript入门》这本书。
具体代码如下

function tco(f) {
    var value;
    var active = false;
    var accumulated = [];
    return function accumulator() {
        accumulated.push(arguments);
        if(!active) {
            active = true;
            while(accumulated.length) {
                value = f.apply(this, accumulated.shift());
            }
            active = false;
            return value;
        }
    };
}
var sum = tco(function(x, y) {
    if(y > 0) {
        return sum(x + 1, y - 1);
    } else {
        return x;
    }
});
let res = sum(1, 5)
console.info(res);

这段代码非常精妙！

分析
已知，任何递归可以写成循环+栈。
实现将任何尾递归转换成循环+栈执行而不需要针对每个尾递归函数写一个实现版本的思路。
困难在于，任何尾递归，通用实现。而不是针对某一个递归函数。
要点：

栈中保存的数据，正是递归函数的参数。
通用实现，那就必须依赖原来的递归函数，循环的终止条件，正是递归的结束条件。
要将递归函数的参数入栈，而不修改原来的递归函数，就必须用一个函数代替递归函数被调用，从而取得函数入参。
递归函数的终止条件，每一个递归函数都不一样，但是如果递归函数没有被再次调用，说明已达到终止条件。即终止条件和递归函数的调用有关联。而递归函数每次调用，都会将参数入栈。所以可以根据栈中是否有元素，推断是否达到终止条件。

实现js尾递归优化的代码

猜你喜欢