非严格模式实现尾递归,尾递归之所以需要优化,原因是调用栈太多造成溢出,减少调用栈可通过‘循环’替换‘递归’
function sum(x, y) {
if(y > 0) {
return (x+1, y-1)
} else {
return x
}
}
sum(1, 100000)
// Uncaught RangeError: Maximum call stack size exceeded(...)
上面超出了最大次数
蹦床函数(trampoline)可以将递归转为循环执行
function trampoline(f) {
while (f && f instanceof Function) {
f = f()
}
return f;
}
以上代码就是蹦床函数的实现,它接受函数f作为参数。只要f执行后返回一个函数,就继续执行。
这里是返回一个函数,然后执行该函数,而不是在函数里面调用函数。这样就避免了递归执行,从而消除了调用栈过大的问题。
然后需要吧原来的递归函数改写为每一步返回另一个函数
function sum(x, y) {
if(y > 0) {
return sum.bind(null, x+1, y-1)
} else {
return x
}
}
上面的代码中,sum函数的每次执行都会返回自身的另一个版本。
现在,使用蹦床函数执行sum就不会发生调用栈溢出
trampoline(sum(1, 100000)) // 100001
蹦床函数并不是真正的尾递归调用,下面是实现才是
function tco(f) {
var value,
active = false,
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;
}
})
sum(1, 100000)
// 100001
上面代码中,tco函数是尾递归优化的实现,他的奥妙就在于状态的变量active。默认情况下,这个变量是不被激活的。一旦进入尾递归优化的过程,这个变量就被激活了。然后,每一轮递归sum返回的都是undefined,所以就避免了递归执行;而accumulated数组存放的每一轮sum执行的参数,总是有值的,这就保证了accumulator函数内部的while循环总会执行,很巧妙的将‘递归’改成了‘循环’,而后一轮的参数会取代前一轮的参数,保证调用栈只有一层。