如何手动实现一个具备“全状态追溯”与“链式调用”的标准 Promise 引擎

千磊酱_4139

千磊酱_4139

2026-05-03

724人浏览

原创

真正符合promises/a+规范的promise必须严格遵循四条铁律:三态单向流转(pending→fulfilled/rejected不可逆)、微任务调度(queuemicrotask优先)、then返回新实例、错误穿透(try/catch+reject传递)。

如何手动实现一个具备“全状态追溯”与“链式调用”的标准 promise 引擎

手动实现一个真正符合 Promises/A+ 规范、能支持全状态追溯和链式调用的 Promise,核心不在“能不能写出来”,而在于是否严格遵循三态单向流转、微任务调度、返回新实例、错误穿透这四条铁律。任何一处松动(比如用 setTimeout 替代 queueMicrotask,或在 then 里直接返回 this),都会导致链式中断、状态错乱或测试套件失败。

状态机必须封闭且不可逆,不能靠 if-else 模拟

Promise 的 PENDING → FULFILLED 或 REJECTED 是单向的,不是“当前状态是 pending 就执行 resolve”。很多手写版本只做 if (this.status === 'pending') { this.status = 'fulfilled' },看似合理,但漏掉了关键约束:一旦状态变更,后续所有 resolve/reject 调用必须被忽略。

实操建议:

  • 用闭包变量(如 state、value、reason)保存内部状态,初始为 'pending'
  • resolve 和 reject 函数开头必须加 if (state !== 'pending') return,否则多次调用会污染状态
  • 不要用 this.$$status 这类可被外部篡改的属性,状态必须私有化
  • executor 必须同步执行,但其内部调用 resolve/reject 可以是异步的——这点常被误读为“executor 可以异步”,实际是禁止的

then 必须返回新 Promise,且返回值处理逻辑不能简化

then 返回的不是原实例,也不是任意对象,而是一个全新 MyPromise 实例,它的终态完全由上一个回调的执行结果决定。所谓“全状态追溯”,指的就是这个新 Promise 能准确承接前序的 fulfilled 值、rejected 原因,甚至嵌套的 thenable 对象。

实操建议:

  • 每个 then 调用都应创建并返回 new MyPromise((resolve, reject) => {...})
  • 必须封装 resolvePromise(promise2, x, resolve, reject) 辅助函数,统一处理 x 类型:undefined、普通值、MyPromise 实例、带 then 方法的对象(thenable)
  • 特别注意循环引用:if (x === promise2) 时,必须 reject(new TypeError(...)),这是 Promises/A+ 第 2.3.1 条硬性要求
  • 不要省略 try/catch:onFulfilled 或 onRejected 抛错,必须立即用 reject(e) 向下游传递,这是错误穿透的基础

回调必须走微任务,queueMicrotask 是首选

规范明确要求:onFulfilled 和 onRejected 必须异步调用,且属于微任务(microtask),不是宏任务(macrotask)。用 setTimeout 或 setImmediate 会导致时序错误,Promise.resolve().then 是兼容方案,但有额外开销。

实操建议:

  • Node.js 11+ 和现代浏览器均支持 queueMicrotask,优先使用它调度回调
  • 若需兼容旧环境(如 IE),可用 Promise.resolve().then(() => {...}) 模拟,但别用 setTimeout(..., 0)
  • 注意:executor 内部是同步执行的,但注册到 onFulfilledCallbacks 数组里的回调,必须等 executor 执行完再进微任务队列
  • 多个 then 注册的回调要按注册顺序执行,所以 onFulfilledCallbacks 和 onRejectedCallbacks 必须是数组,不能只存一个函数

catch 是语法糖,但错误穿透机制不能靠它实现

catch(onRejected) 确实只是 then(null, onRejected) 的简写,但它背后依赖的是 then 内部对回调异常的捕获与重抛。很多人以为“写了 catch 就万事大吉”,其实只要 then 里没做 try/catch + reject(e),错误就无法向下传递。

实操建议:

  • catch 方法体只需一行:return this.then(null, onRejected);
  • 真正关键的是 then 内部对 onFulfilled 和 onRejected 的包裹逻辑:必须用 try { const x = callback(value); resolvePromise(promise2, x, resolve, reject); } catch (e) { reject(e); }
  • 如果 onFulfilled 里抛错,这个错误会被下一个 then 的 onRejected 捕获,不是因为 catch,而是因为上一个 then 返回的新 Promise 已被 reject
  • 不要在 catch 回调里 throw 却不返回新 Promise,否则链式在此中断

最难的部分不是写代码,而是理解“每个 then 都在创建一个新 Promise,并把前一个的结果作为输入”这个抽象链条。状态、值、错误、微任务时机,四者耦合极紧,改一处就得通盘验证。Promises/A+ 测试套件跑不过,往往不是少写了一个 if,而是某个微任务没对齐、某个拒绝没透传、或者循环引用没拦截。

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
js获取数组长度的方法
js获取数组长度的方法

在js中,可以利用array对象的length属性来获取数组长度,该属性可设置或返回数组中元素的数目,只需要使用“array.length”语句即可返回表示数组对象的元素个数的数值,也就是长度值。php中文网还提供JavaScript数组的相关下载、相关课程等内容,供大家免费下载使用。

2023.06.20

4706

5

js刷新当前页面
js刷新当前页面

js刷新当前页面的方法:1、reload方法,该方法强迫浏览器刷新当前页面,语法为“location.reload([bForceGet]) ”;2、replace方法,该方法通过指定URL替换当前缓存在历史里(客户端)的项目,因此当使用replace方法之后,不能通过“前进”和“后退”来访问已经被替换的URL,语法为“location.replace(URL) ”。php中文网为大家带来了js刷新当前页面的相关知识、以及相关文章等内容

2023.07.04

1169

3

js四舍五入
js四舍五入

js四舍五入的方法:1、tofixed方法,可把 Number 四舍五入为指定小数位数的数字;2、round() 方法,可把一个数字舍入为最接近的整数。php中文网为大家带来了js四舍五入的相关知识、以及相关文章等内容

2023.07.04

4644

6

js删除节点的方法
js删除节点的方法

js删除节点的方法有:1、removeChild()方法,用于从父节点中移除指定的子节点,它需要两个参数,第一个参数是要删除的子节点,第二个参数是父节点;2、parentNode.removeChild()方法,可以直接通过父节点调用来删除子节点;3、remove()方法,可以直接删除节点,而无需指定父节点;4、innerHTML属性,用于删除节点的内容。

2023.09.01

920

4

JavaScript转义字符
JavaScript转义字符

JavaScript中的转义字符是反斜杠和引号,可以在字符串中表示特殊字符或改变字符的含义。本专题为大家提供转义字符相关的文章、下载、课程内容,供大家免费下载体验。

2023.09.04

1836

5

js生成随机数的方法
js生成随机数的方法

js生成随机数的方法有:1、使用random函数生成0-1之间的随机数;2、使用random函数和特定范围来生成随机整数;3、使用random函数和round函数生成0-99之间的随机整数;4、使用random函数和其他函数生成更复杂的随机数;5、使用random函数和其他函数生成范围内的随机小数;6、使用random函数和其他函数生成范围内的随机整数或小数。

2023.09.04

3365

4

如何启用JavaScript
如何启用JavaScript

JavaScript启用方法有内联脚本、内部脚本、外部脚本和异步加载。详细介绍:1、内联脚本是将JavaScript代码直接嵌入到HTML标签中;2、内部脚本是将JavaScript代码放置在HTML文件的`<script>`标签中;3、外部脚本是将JavaScript代码放置在一个独立的文件;4、外部脚本是将JavaScript代码放置在一个独立的文件。

2023.09.12

4373

6

Js中Symbol类详解
Js中Symbol类详解

javascript中的Symbol数据类型是一种基本数据类型,用于表示独一无二的值。Symbol的特点:1、独一无二,每个Symbol值都是唯一的,不会与其他任何值相等;2、不可变性,Symbol值一旦创建,就不能修改或者重新赋值;3、隐藏性,Symbol值不会被隐式转换为其他类型;4、无法枚举,Symbol值作为对象的属性名时,默认是不可枚举的。

2023.09.20

2860

5

java访问控制修饰符介绍
java访问控制修饰符介绍

java访问控制修饰符有四种,分别是public、protected、private、默认访问修饰符。详细介绍:1、public,public是最宽松的访问控制修饰符,被修饰的类、方法和变量可以被任何其他类访问,当一个类、方法或变量被声明为public时,它们可以在任何地方被访问,无论是同一个包中的类还是不同包中的类;2、protected修饰符等等。

2023.09.20

908

7

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
热门推荐
/
最新课程
phpStudy极速入门视频教程
phpStudy极速入门视频教程

共6课时 | 54.6万人学习

独孤九贱(4)_PHP视频教程
独孤九贱(4)_PHP视频教程

共89课时 | 133.4万人学习