尾调用优化允许引擎复用栈帧避免栈溢出;尾调用指函数最后一步直接返回另一函数调用结果,无后续操作。
尾调用优化(Tail Call Op
timization,TCO)是JavaScript中一种减少函数调用栈深度的机制,核心在于:当一个函数的最后一步是调用另一个函数(且该调用是“尾位置”),引擎可复用当前栈帧,不新增调用帧。这对递归函数尤其关键——能避免因深层递归导致的 RangeError: Maximum call stack size exceeded。
尾调用不是“最后一个被调用的函数”,而是指函数执行流中,**某次函数调用出现在当前函数体的最后一步计算,且其返回值直接作为当前函数的返回值**。此时没有后续操作(如加法、赋值、逻辑运算等)需要在调用返回后处理。
✅ 正确的尾调用:
function factorial(n, acc = 1) {❌ 非尾调用(即使写在最后一行):
function factorial(n) {ES2015(ES6)标准明确规定了尾调用优化,但仅要求在**严格模式("use strict")下**、且处于**尾位置的直接函数调用**才可被优化。然而:
--harmony-tailcalls 参数时曾实验性支持,但已移除,当前也不支持。也就是说:**标准写了,但主流引擎基本没实现。不能靠它防栈溢出。** 真实项目中需主动规避。
既然不能依赖引擎优化,就要从代码结构入手。常见可靠做法有:
setTimeout 或 queueMicrotask 拆分任务,让事件循环清空栈;不必等到报错才补救。日常开发中可养成这些习惯: