1.1 尾调用的定义与核心条件
尾调用发生在一个函数的最后一步是调用另一个函数，且调用之后不再需要当前函数的任何局部工作时。这一条件决定了调用栈是否能被重用，从而实现“无额外栈帧”的执行方式。
在 JavaScript 中，尾调用优化的潜在收益来自于栈帧重用，也就是执行到递归末尾时不再向栈中推入新的调用帧，而是将当前帧转变为下一次调用的帧。下列示例展示了一个简单的尾递归结构：
function sumTo(n, acc = 0) {if (n <= 0) return acc;return sumTo(n - 1, acc + n); // 尾调用，无额外工作在回退前执行
}在上面的代码中，最后一步仅仅是返回另一个函数调用的结果，当前帧将被复用，理论上可以避免累积的栈深度增长。
1.2 何时触发尾调用优化
要实现真正的尾调用优化，需要引擎对尾调用的识别和栈帧复用机制的支持，并且通常要求处于严格模式或符合规范的实现条件。理解这一点，有助于区分“理论上的尾调用”与“实际产生效果”的场景。
在没有被优化的情况下，递归深度仍会持续增加栈帧数量，从而带来内存占用和栈溢出的风险。以下对比示例说明了两种写法对栈的影响：
// 非尾递归：每次返回都需要进行乘法运算
function factorial(n) {if (n <= 1) return 1;return n * factorial(n - 1);
}// 尾递归：最后一步是自身调用，理论上可重用栈帧
function tailFactorial(n, acc = 1) {if (n <= 1) return acc;return tailFactorial(n - 1, n * acc);
}2.1 递归深度与栈帧
递归深度越大，栈帧数量越多，这意味着内存分配和垃圾回收压力随之上升。在没有尾调用优化的场景下，深度很快成为性能瓶颈，尤其是在需要处理大规模数据结构或深层树形遍历时。
JavaScript 引擎需要在每次调用时分配一个新的栈帧，里面包含参数、局部变量和返回地址等信息。若递归深度达到数千甚至更大，栈溢出风险和 GC 抑制效应将显著上升，影响整体执行时长和稳定性。
2.2 语言规范与实现现状
在 ECMAScript 规范中，尾调用优化是语言级别的设计目标，但实际实现高度依赖具体引擎。目前主流浏览器和运行时对真正的尾调用优化的支持程度不统一，并非所有场景都能获得实际的栈帧重用，这也是开发者在写递归代码时需要关注的现实问题。
下面的示例对比展示了如何在没有尾调用优化的实现中，递归写法依然可能导致栈深度快速增加，而尾递归的表达在理论上更有利于优化，但要看引擎对尾调用的真正实现情况：
3.1 性能收益的来源
若 JavaScript 引擎对尾调用进行<实际的栈帧重用，递归函数的<栈深度将转化为常量级别的开销，从而显著降低为达到相同结果所需的执行时间和内存峰值。
此外，尾调用能降低堆栈增长导致的中间对象分配，因为不再为每一层递归创建额外的对象/上下文。对于深度遍历、分治算法等模式，这种优化的潜在价值尤为明显。
3.2 何时难以受益
即便采用尾递归表达，如果引擎没有实现真正的尾调用优化，性能收益将大打折扣，栈深度仍然以传统方式增长，影响可扩展性。
因此，理解实现层面的实际支持情况，以及在写递归时将尾递归替换为迭代等等效形式的可能性，是评估尾调用优化价值时的关键因素。
4.1 内存使用模式变化
尾调用优化的一个核心价值在于降低内存波动，特别是在长时间运行的服务端进程或浏览器端复杂计算中。通过剥离逐层栈帧的增长，系统的堆内存与栈内存的压力会呈现不同的分布。
在深度遍历和分治问题中，内存峰值可能更接近于输入规模之外的实际工作集，而非递归深度乘以每层栈帧的固定大小。
4.2 垃圾回收与尾调用
垃圾回收对栈帧的处理与尾调用的结合，决定了在多轮递归中内存回收的时机。如果引擎实现了尾调用优化，栈帧将被快速回收，GC 的压力相对降低，从而提升长期运行任务的稳定性。
然而，在没有实现尾调用的情况下，递归展开仍然会产生大量短时的临时对象和局部变量，提高了 GC 的工作量，影响吞吐量与延迟。
5.1 在 JavaScript 引擎中的实现现状
当前主流引擎对尾调用优化的实现呈现出区域性和不一致性的特征。部分引擎在严格模式下提供了对尾调用的可观支持，但更多实现仍处于探索或部分弃用状态，并非所有情况下都能获得实际的栈帧重用。
因此，在设计复杂递归逻辑时，开发者通常需要同时考虑表达式的可读性、替代实现的可维护性，以及引擎对尾调用的实际优化能力，以避免对性能过度依赖。
5.2 写法示例：尾递归与迭代的对比
尽管尾调用优化理论上能带来好处，但在无法确定引擎实现的情况下，常见做法是将尾递归转换为等效的迭代实现，以获得稳定的性能表现。
以下给出两种实现的对比代码。第一种是典型的尾递归表示，第二种是等效的迭代实现：
// 尾递归实现（理论上可优化）
function sumToTail(n, acc = 0) {if (n <= 0) return acc;return sumToTail(n - 1, acc + n);
}// 等效的迭代实现
function sumToIter(n) {let acc = 0;while (n > 0) {acc += n;n--;}return acc;
}