17370845950

尾调用优化是引擎复用调用帧以避免栈溢出的机制；要求调用位于函数末尾且结果直接返回，尾递归可降空间复杂度至O(1)，但主流浏览器未默认支持，需手动转循环或用弹跳函数。

JavaScript 的尾调用优化（Tail Call Optimization，TCO）是一种编译器或引擎层面的优化机制：当一个函数的最后一步是调用另一个函数（或自身），且该调用的返回值直接作为当前函数的返回值时，引擎可以**复用当前函数的调用帧（call frame）**，而不新增栈帧。这能避免递归调用时栈深度持续增长，从而防止栈溢出，并提升性能。

什么是“尾调用”

尾调用不是语法关键字，而是一种调用位置的性质：必须是函数体中**最后一个被执行的操作**，且其结果**不经过任何后续计算就直接返回**。

• 是尾调用：function foo(x) { return bar(x + 1); } —— bar(...) 是最后操作，结果直接返回
• 不是尾调用：function foo(x) { return bar(x + 1) + 1; } —— 调用后还要做加法，不是尾位置
• 不是尾调用：function foo(x) { const res = bar(x); return res * 2; } —— 同样，返回前有额外运算
• 递归尾调用（尾递归）：function factorial(n, acc = 1) { if (n —— 每次递归都处于尾位置

为什么尾调用优化能改善递归性能

普通递归每深入一层，JS 引擎就在调用栈上压入一个新帧，保存当前上下文（变量、执行位置等）。深度过大（如 >10000 层）就会触发 RangeError: Maximum call stack size exceeded。尾调用优化通过复用栈帧，把递归“转成”类似循环的执行模式，空间复杂度从 O(n) 降为 O(1)。

• 节省内存：无需为每次递归保留独立作用域和控制状态
• 避免栈溢出：理论上支持无限深度的合法尾递归（取决于引擎实现）
• 减少开销：省去帧分配、参数拷贝、上下文切换等操作

实际支持情况与注意事项

ES2015（ES6）在规范中定义了严格模式下的尾调用优化，但主流浏览器引擎并未普遍启用：

• Safari（JavaScriptCore）在严格模式下支持 TCO
• V8（Chrome / Node.js）曾短暂实验性支持，后因性能权衡和调试困难而禁用（至今未默认开启）
• Fox（SpiderMonkey）也未默认启用
• 这意味着：即使你写了合法的尾递归，在大多数环境下仍会照常增长调用栈

因此，生产环境中更稳妥的做法是手动将尾递归改写为循环，或使用 trampoline（弹跳函数）等模式模拟优化效果。

如何写出可被优化的尾递归函数

关键在于确保递归调用处于尾位置，并消除隐式上下文依赖：

• 用累加参数（accumulator）替代中间计算，把状态显式传入下一层
• 避免在递归调用后使用 this、arguments 或外层变量（除非是常量或闭包安全值）
• 必须在严格模式下运行（"use strict";），否则引擎可能忽略 TCO
• 调用目标必须是**明确的函数引用**，不能是间接调用（如 (someFunc)(...) 或 eval("func()")）