手动实现符合 Promises/A+ 规范的 Promise 核心类需严格遵循状态机(pending/fulfilled/rejected)、then 链式返回新 Promise、值穿透、错误冒泡,并必须通过 queueMicrotask 或 Promise.resolve().then 进行微任务调度;同时需实现 resolvePromise 处理返回值,以及 catch、resolve、reject、all 等语法糖。

<p>要手动实现一个符合 Promises/A+ 规范、支持微任务调度的 Promise 核心类,关键在于严格遵循规范中定义的状态机(pending/fulfilled/rejected)、then 方法行为、值穿透、错误冒泡、以及 <strong>必须通过微任务(如 queueMicrotask 或 Promise.resolve().then)触发 onFulfilled/onRejected 回调</strong>。下面是一个精简但完整可运行的核心实现。</p> <h3>状态与构造逻辑</h3> <p>Promise 构造函数接收一个 executor 函数,立即同步执行,并传入 resolve 和 reject 两个函数。内部维护三个核心字段:</p>
- state:初始为 'pending',只能变为 'fulfilled' 或 'rejected',不可逆
- value:成功值(fulfilled 时保存)或拒绝原因(rejected 时保存)
- callbacks:暂存异步注册的 then 回调({ onFulfilled, onRejected, resolve, reject }),待状态变更后统一用微任务执行
then 方法的规范实现
then 必须返回一个新 Promise(即“链式调用”基础),且需处理四种关键场景:
- 当当前 Promise 处于 pending 状态:把 onFulfilled/onRejected 封装进 callback 对象,推入 callbacks 队列
- 当已 fulfilled:用 queueMicrotask 异步执行 onFulfilled(value),结果传给新 Promise 的 resolve
- 当已 rejected:同理用 queueMicrotask 执行 onRejected(reason)
- 对 onFulfilled/onRejected 的返回值做 Promise Resolution Procedure(即 resolvePromise 辅助函数),处理普通值、Promise 实例、循环引用等边界情况
微任务调度与 resolvePromise 逻辑
所有回调必须在当前宏任务结束后、下一个宏任务开始前执行——这是 Promises/A+ 要求的“异步保证”。优先使用 queueMicrotask;若环境不支持,可用 Promise.resolve().then 降级(注意不能用 setTimeout,那是宏任务)。
resolvePromise 是规范中最复杂的部分,用于安全地“解析” then 回调的返回值 x:
- 若 x === promise,抛出 TypeError(防止自己 resolve 自己)
- 若 x 是对象或函数,尝试取其 then 属性;若报错,以该错误 reject 新 promise
- 若 then 是函数,以 x.then.call(x, y => ..., r => ...) 执行,并确保只调用一次成功/失败回调
- 否则(x 是原始值),直接 resolve(newPromise, x)
catch、resolve、reject、all 等静态/实例方法
这些是语法糖,可基于核心 then 实现:
- catch(onRejected) → then(null, onRejected)
- Promise.resolve(value) → new Promise(r => r(value))
- Promise.reject(reason) → new Promise((_, r) => r(reason))
- Promise.all(iterable) → 创建新 Promise,遍历数组,每个元素转为 Promise 后 .then 记录结果;任一 reject 则立刻 reject;全部 fulfilled 后 resolve 结果数组
注意:Promise.all 中的每个子 Promise 必须独立触发微任务,不能阻塞主流程。










