这段基于 Promise 的递归为什么不会爆栈？求 JS 大拿

[pofeng]

写了个轮询检查的工具函数，考虑到递归爆栈的可能，测试了一下。

预料中会爆栈，结果居然能正常运行，惊了

代码如下：

function pollingCheck(fn, delay) {
  return fn().catch(() => delay().then(() => pollingCheck(fn, delay)))
}

let count = 0
pollingCheck(
  () => count++ > 200000 ? Promise.resolve() : Promise.reject(),
  () => Promise.resolve() //TODO
).then(() => console.log('finish'))

根据 google 到的最大栈数，最多也就 5 万，下面这段递归轻轻松松就爆栈了

function main(n) {
  if (n === 0) {
    return 'finish'
  } else {
    return main(n - 1)
  }
}

console.log(main(200000))

所以，为什么上面的 Promsie 递归不会爆栈？

[kingcc]

我猜因为你 return 的是 Promise instance，下面的是真正的递归

[kingcc]

简单来说就是上面的函数抛出了一个 pending promise，不算是递归因为它执行完了。

[kingwl]

没有递归 怎么会爆

[wxsm]

实际上你这个是线性执行的吧。如楼上所说，没有递归。

[pofeng]

@kingcc 但是返回的 promise 带了 pollingCheck 内声明的箭头函数，其闭包有引用 fn 和 delay，不会导致 pollingCheck 的运行栈无法释放么？

[zyEros]

其实很简单，你看一些主流的 Promise 为了实现 Promise 的 lazy 特性的时候，他们都会用到类似于 setTimeout/setImmediate 之类的函数，当然 NativePromise 是直接用的 mirco，例如 q （ https://github.com/kriskowal/q/blob/master/q.js#L150 ），所以当你创建一个 Promise 的时候，他的执行其实是依赖于 setTimeout 的

setTimeout 实际上不会爆，因为 setTimeout 之类的函数依赖的是事件循环，你在 setTimeout 之类注册的函数在 JS Engine 层面可以看做一个对象，setTimeout 的无非只是把这个对象放到了事件循环队列里面等待触发，所以他根本不是递归执行的嘛（逃

[kingcc]

我说了嘛，简单来说…

运行栈等到你执行一次 delay 就释放了一个，你要是还不明白我就画一个图…

[zyEros]

提供一个例子：
```javascript
function x() {
new Promise(resolve => {
resolve();
x();
});
}
x();
```

[DOLLOR]

递归不一定会爆栈的，比如尾递归

[AnonymousUser]

@DOLLOR js 没有尾递归优化，一样爆栈

[zyEros]

例子提供错了：
function x() {
Promise.resolve().then(x);
}
x();

这个其实和你：
function x() {
setTimeout(x,0);
}
x();

效果是一样的

[SakuraKuma]

上面都说了，microtask/macrotask 不会卡着主线程
你第二个例子是主线程的。
而且如#9 所说，尾递归的栈帧处理也不会爆掉。

（本人拙见

[pofeng]

@kingcc @zyEros 大概弄明白了，因为 Promise 会再另外一个 Task 运行的的原因所以不会爆栈，而 pollingCheck 的 scope 会释放，不会形成一个很长的链

[leemove]

哇,这些天天争 Vue,React,Angular 的大手,都被一个 bridgePromise 卡住了...还有 Promise 是走异步事件循环的.

[maplerecall]

@AnonymousUser es6 已经有尾递归优化了，js 发展还是很快的

[orangemi]

问题是为什么不会爆栈，实际上 Promise.then 是把所有的栈都丢掉了，所以不爆栈。
题主可以尝试使用 new Error().stack 查看左后一次的栈，之前几万次的 stack 都没有了。
nodejs 一个 tick 间只有一个栈，调用 Promise.then 中间的过程中，已经走到了另外一个 tick。

[leemove]

@maplerecall js 的尾递归在 V8 上默认是不开启的,在 Node 中也需要对 v8 特殊配置才可以.

[otakustay]

异步会清栈，所以 Promise 递归爆不掉
箭头函数产生的是作用域，不是栈，这个要分清

[Sparetire]

其实就是函数调用栈转成了异步任务队列了。。同一时刻的内存是有限的，然而即便是无限地递归，转成任务队列这些内存占用也分散在了无限的时间中。。

[xieranmaya]

异步递归不是递归，实际上连调用栈都没有，或者说调用栈里就那一个函数