子曰:尾调用-> 尾调用优化
下面大部分内容来自ESMAScript 6 入门 尾调用优化 阮一峰
什么是尾调用
尾调用(Tail Call)是函数式编程的一个重要概念,就是指某个函数的最后一步是调用另一个函数。
1 | function foo (x) { |
上面代码中,函数foo
的最后一步是调用函数bar
,这就叫尾调用。
尾调用优化
尾调用优化(Tail Call Optimization,TCO)是一个ES6 要求的优化机制,它会使一些在JS 中不可能的递归模式变得可能。TCO 允许一个位于另一个函数的尾部位置的函数调用不需要额外的资源就可以执行,这意味着引擎不再需要对递归算法的调用栈深度设置一个随意的限制了。
我们知道,函数调用会在内存形成一个“调用记录”,又称“调用帧”(call frame),保存调用位置和内部变量等信息。如果在函数A
的内部调用函数B
,那么在A
的调用帧上方,还会形成一个B
的调用帧。等到B
运行结束,将结果返回A
,B
的调用帧才会消失。如果函数B
内部还调用函数C
,那就还有一个C
的调用帧,以此类推。所有的调用帧,就形成一个“调用栈”(call stack)。
尾调用由于是函数的最后一步操作,所以不需要保留外层函数的调用帧,因为调用位置、内部变量等信息都不会再用到了,所以直接用内层函数的调用帧,取代外层函数的调用帧就可以了。
1 | function foo () { |
上面代码中,如果函数bar
不是尾调用,函数foo
就需要保存内部变量m
和n
的值、bar
的调用信息等。但由于调用bar
之后,函数foo
就结束了,所以执行到最后一步,完全可以删除foo(x)
的调用帧,只保留bar(3)
的调用帧。
这就叫做“尾调用优化”(Tail call optimization),即只保留内存函数的调用帧。如果所有函数都是尾调用,那么完全可以做到每次执行时,调用帧只有一项,这将大大节省内存。这就是”尾调用优化” 的意义。
注意,只有不再用到外层函数的内部变量,内存函数的调用帧才会取代外层函数的调用帧,否则就无法进行“尾调用优化”。
1 | function addOne (a) { |
上面的函数不会进行尾调用优化,因为内存函数inner
用到了外层函数addOne
的内部变量one
。