generator 与 promise 链式调用均保持 o(1) 同步栈深度:generator 通过协程状态机恢复执行、不压入新栈帧;promise 则靠微任务队列确保每次 .then 回调在清空栈后独立执行。

直接看字节码无法反映 Generator 与 Promise 链式调用在运行时栈深度的差异——因为 JavaScript 引擎(V8、SpiderMonkey 等)不暴露用户可读的“字节码”供直接分析调用栈行为;真正决定栈深度的是执行模型和控制流结构,而非编译产物本身。关键在于:Generator 函数被调用时生成一个惰性迭代器,每次 next() 调用只推进到下一个 yield 点,函数体不会递归重入;而 Promise 链中每个 .then() 回调都是新函数调用,但它们是**异步排队、栈清空后执行**,并不增加同步调用栈深度。
Generator 的执行不累积同步栈帧
Generator 函数执行时,引擎为其维护一个独立的**协程状态机**(内部有暂停/恢复逻辑),每次 next() 调用只是恢复已挂起的执行上下文,而非新建函数调用栈帧:
- 调用 gen.next() 时,若 Generator 处于暂停态,引擎直接跳转到上次 yield 的位置继续执行,不压入新栈帧
- 整个 Generator 实例的状态(包括局部变量、执行位置)保存在堆内存中,与调用栈解耦
- 即使嵌套多层 yield*,也由引擎自动委托,不产生同步递归调用链
Promise 链式调用本质是事件循环驱动,栈始终清空
每个 .then() 回调都作为微任务(microtask)被推入队列,在当前宏任务结束后、下一轮事件循环开始前执行。这意味着:
- 无论链有多长(.then().then().then()…),任意时刻**调用栈最多只含一个 .then 回调的帧**
- 前一个 .then 执行完、返回 Promise 后,栈即清空;下一个 .then 是全新调用,与上一个无栈关联
- 栈深度恒定为 O(1),与链长度无关——这正是它比回调地狱安全的根本原因
真正影响栈深度的是错误处理和异常传播方式
差异不在正常流程,而在异常场景:
- Generator 中未捕获的异常会沿 next() 调用链向上抛出,可能跨多层 generator 嵌套,但仍是单次同步抛出,栈深度取决于嵌套层数
- Promise 链中 .catch() 捕获异常后,后续 .then 仍可继续执行;异常不会导致栈增长,但错误堆栈信息可能包含多个 then 的位置(因 Promise 内部记录了 resolve/reject 路径)
- 若在 Promise 回调里手动递归调用(如错误地写成 fn().then(() => fn())),则属于编程错误,与 Promise 机制无关
验证方法:用调试器观察实际栈帧
不必依赖字节码,直接用 Chrome DevTools 或 Node.js --inspect:
- 在 Generator 的 yield 行设断点,查看 Call Stack —— 只有 generator.next() 和底层 runtime 帧,无层层嵌套
- 在 Promise 链的某个 .then 回调里设断点,Call Stack 显示仅含该回调 + Promise.resolve 等底层帧,无前序 .then
- 对比递归函数(如错误的 setTimeout 递归):栈帧持续累积,很快报 RangeError: Maximum call stack size exceeded











