闭包在无栈递归中用于保存状态、携带参数和实现延迟求值，使每层递归返回可恢复的函数而非直接调用，从而将调用栈控制权交由外部循环管理。
在 JavaScript 闭包环境下，无栈递归本质上是用闭包保存状态、用高阶函数替代调用栈，从而避免传统递归依赖执行栈。它不真“无栈”（JS 引擎仍需栈），而是让开发者不显式依赖调用栈深度，规避 RangeError: Maximum call stack size exceeded。
用尾调用优化（TCO）+ 闭包模拟迭代
ES6 规范支持尾调用优化（严格模式下），但主流浏览器实际未启用。不过我们可以借助闭包封装“延续”（continuation），把递归调用转为循环：
- 定义一个高阶函数，返回闭包包裹的“下一步计算逻辑”
- 每次不直接递归调用自身，而是返回下一个待执行的函数
- 外层用 while 循环反复执行，直到返回值不再是函数
例如计算阶乘：
const factorial = (n) => {
const go = (acc, i) => i <= 1
? acc
: () => go(acc * i, i - 1); // 返回闭包，不立即调用
let fn = go(1, n);
while (typeof fn === 'function') {
fn = fn();
}
return fn;
};用蹦床（Trampoline）模式解耦调用
蹦床是实现无栈递归的经典模式：每个步骤返回一个“弹跳函数”，主循环负责展开执行，彻底隔离递归逻辑与调用栈：
立即学习“Java免费学习笔记（深入）”；
- 每个递归分支返回
() => nextStep(...)，而非直接调用 - 闭包天然维持上下文（如参数、中间状态），无需额外传参
- trampoline 函数统一处理函数链，避免嵌套过深
示例斐波那契：
const trampoline = (fn) => (...args) => {
let result = fn(...args);
while (typeof result === 'function') {
result = result();
}
return result;
};
<p>const fib = trampoline((n, a = 0, b = 1) =>
n === 0 ? a : () => fib(n - 1, b, a + b)
);用生成器 + 闭包保存递归状态
生成器函数配合闭包可惰性展开递归过程，状态由闭包和生成器上下文共同维护，执行时按需 yield，不累积栈帧：
- 递归逻辑写在生成器内，yield 每一层中间结果
- 闭包捕获当前参数与局部变量，避免重复传参
- 外部用 for...of 或手动 next() 驱动，控制执行节奏
例如树的深度优先遍历：
const traverse = (node) => {
function* walk(n) {
if (!n) return;
yield n.value;
yield* walk(n.left);
yield* walk(n.right);
}
return walk(node);
};关键点：闭包在这里起什么作用？
闭包不是用来“去掉栈”，而是让状态可携带、可延迟求值：
- 保存每次递归所需的参数、累加器、条件变量等，无需压栈传递
- 使返回的函数能记住上一步环境，形成“可恢复的计算单元”
- 配合蹦床或循环，把“调用链”变成“函数链”，执行权交还给可控循环
真正难点不在语法，而在重写递归逻辑——把“我要算什么”变成“我下一步该返回什么函数”。只要每层返回一个闭包函数，栈就交由 while 循环管理，而不是 JS 执行引擎。
