一.尾调用概念
简单点说,指某个函数的最后一步是调用另外一个函数。但实际情况肯定不会这么简单。下面会详细阐述。
二.尾调用优化的意义
1.调用栈简述
正常情况下,当进入某一个函数时,会在内存中形成一个"调用记录",又叫"调用帧"。连续的多个"调用帧"就形成了常说的"调用栈"。在每个"调用帧"内,会形成一个局部上下文对象。这个对象保存了当前作用域内的变量和函数等属性。当调用栈过长,可能会导致内存不足,报堆栈溢出错误(Maximum call stack size exceeded)。
2.尾调用优化意义
假如一个函数的返回值是另一个函数的返回值,且内部函数不依赖外部函数作用域内的变量。这时变可以进行尾调用优化。例子如下:
function doFirst(){
let first = "first";
return doSecond();
}
function doSencond(){
return "second";
}
doFirst();
(1).理解上述示例
一般来说,上述示例的调用栈应该是,先调用doFirst,然后调用doSencond。doSencond执行完成后释放掉doSencond函数内部作用域,返回到doFirst函数,执行结束并释放掉doFirst函数内部作用域。但此时就会有一个疑问,doSencond在doFirst函数体的尾部,且doFirst的返回值是doSencond的返回值,且doSencond内部不依赖任何doFirst作用域内的变量,因此在执行doSencond函数时,doFirst调用帧是没必要保留的,直接用doSencond的调用帧,取代doFirst的调用帧就可以了。
(2).意义
当涉及递归这种操作时,由于会有极其长的调用栈,假如递归内部使用了一个函数外部的变量属性。会导致在执行递归时,变量按作用域链向上查找时间变长。其次可能由于调用栈过长导致堆栈溢出等问题。假如使用尾调用优化,则调用栈层级永远为1,便可以规避上述2种问题。
三.思想转变
虽然已经明确规定所有ECMAScript的实现,都必须部署“尾调用优化”。但并不一定所有浏览器都已经支持。因此可以采用改写递归的方式来进行优化。递归的实质也是一种循环。因此将递归函数改写为循环函数。虽然在执行次数上或许不会有太多变化,但在调用栈上,循环函数只会形成一个调用帧。
四.限制
- 严格模式
由于callee参数和caller参数可以跟踪函数的调用栈,尾调用优化发生时,函数的调用栈会改写,因此上述变量就会失真。严格模式禁用这两个属性,所以尾调用模式仅在严格模式下生效。 - 尾部调用且内层函数不依赖外层函数变量
五.举例
1.非优化调用
function Fibonacci (n) {
if ( n <= 1 ) {return 1};
return Fibonacci(n - 1) + Fibonacci(n - 2);
}
Fibonacci(10) // 89
Fibonacci(100) // 超时
Fibonacci(500) // 超时
2.优化调用
function Fibonacci2 (n , ac1 = 1 , ac2 = 1) {
if( n <= 1 ) {return ac2};
return Fibonacci2 (n - 1, ac2, ac1 + ac2);
}
Fibonacci2(100) // 573147844013817200000
Fibonacci2(1000) // 7.0330367711422765e+208
Fibonacci2(10000) // Infinity