递归是函数调用自身的技术，必须包含基准条件和递归调用两部分，如阶乘函数通过n<=1为基准条件，factorial(n-1)实现递归。
递归是JavaScript中一种常见的函数调用方式，即函数在执行过程中调用自身。它特别适合解决可以分解为相似子问题的场景，比如计算阶乘、遍历树结构或实现斐波那契数列。但如果不加控制，递归可能导致栈溢出。尾调用优化（Tail Call Optimization, TCO）是一种语言层面的机制，能缓解这个问题。
什么是递归？
递归函数必须包含两个核心部分：基准条件（终止条件）和递归调用。没有基准条件会导致无限递归，最终引发调用栈溢出。
以计算阶乘为例：
function factorial(n) {if (n return n * factorial(n - 1);
}
这个函数每次调用都会在调用栈中新增一层，直到n为1时开始回溯。当n较大时，可能会超出JavaScript引擎的调用栈限制。
立即学习“Java免费学习笔记（深入）”；
尾调用与尾调用优化
尾调用是指函数的最后一步操作是调用另一个函数（包括自身）。如果这个调用是尾递归（即递归调用自身），并且符合特定条件，理论上可以被优化为循环，避免栈增长。
尾调用优化的关键在于：当前函数的上下文不再需要，可以直接复用栈帧。
将上面的阶乘改写为尾递归形式：
function factorial(n, acc = 1) {if (n return factorial(n - 1, n * acc);
}
这里，factorial(n - 1, n * acc) 是函数的最后一步操作，且返回值直接由该调用产生，因此属于尾调用。参数acc用于累积结果，避免回溯时的乘法运算。
JavaScript中的尾调用优化现状
ES6规范确实引入了尾调用优化的标准，但实际支持非常有限。目前只有部分版本的 Safari（基于JavaScriptCore引擎）在严格模式下提供一定程度的支持。主流浏览器如Chrome（V8引擎）出于调试和堆栈追踪的考虑，并未广泛启用TCO。
这意味着即使你写出符合尾调用形式的代码，在大多数环境中依然无法避免栈溢出。例如：
"use strict";function sum(n, acc = 0) {
if (n return sum(n - 1, acc + n);
}
sum(100000); // 在多数浏览器中仍会报 Maximum call stack size exceeded
虽然语法正确，但运行时不会进行优化。
实用建议与替代方案
由于尾调用优化不可靠，开发中应优先考虑其他方式处理深层递归：
- 手动改写为循环：效率最高，完全避免栈增长。例如阶乘或求和使用for循环即可。
- 使用蹦床函数（trampoline）：让递归函数返回一个函数而不是直接调用自身，再通过循环执行这些返回的函数。
- 利用生成器或Promise结合异步调度：将递归拆分到不同的事件循环中，防止阻塞主线程。
例如蹦床的简单实现：
function trampoline(fn) {let result = fn;
while (typeof result === 'function') {
result = result();
}
return result;
}
function sum(n, acc = 0) {
if (n return () => sum(n - 1, acc + n);
}
trampoline(() => sum(100000)); // 可安全执行
这种方式将调用栈的压力转为堆内存管理，避免了栈溢出。
基本上就这些。尾调用优化理念很好，但在当前JavaScript环境中不能依赖。写递归时，优先确保逻辑清晰，同时考虑是否可转为迭代或使用蹦床等技术保障健壮性。
