如何手动实现一个符合 Promises/A+ 规范且支持微任务调度的 Promise 核心

云涛君_7019

云涛君_7019

2026-04-26

215人浏览

原创

必须用 queuemicrotask 或 promise.resolve().then 实现微任务调度,状态机与 executor 同步执行需严格隔离,resolve/reject 内部必须包裹微任务执行回调;then 返回新 promise 并支持值穿透;resolvepromise 是唯一终态决策入口,须处理自引用、thenable、错误捕获等所有边界场景。

如何手动实现一个符合 promises/a+ 规范且支持微任务调度的 promise 核心

必须用 queueMicrotask 或 Promise.resolve().then 实现微任务调度,否则无法通过 Promises/A+ 测试套件中关于“异步执行回调”的关键用例(如 `2.2.4` 和 `3.1`)。

状态机与 executor 同步执行必须严格隔离

构造函数内必须立即同步调用 executor,但 resolve 和 reject 内部不能直接执行 onFulfilled / onRejected 回调 —— 即使状态已是 fulfilled,也必须包一层微任务。

  • 错误做法:在 resolve 中直接调用 onFulfilled(value),会导致同步执行,违反规范 2.2.4 “onFulfilled 必须异步调用”
  • 正确做法:统一走 queueMicrotask(() => { /* 执行回调 + resolvePromise */ })
  • 兼容性兜底:若环境不支持 queueMicrotask(如旧版 Safari),可用 Promise.resolve().then 替代,但注意这会额外创建一个 Promise,轻微开销

then 返回新 Promise 且必须支持值穿透

then 方法返回的不是原实例,而是一个全新 MyPromise 实例;当传入的 onFulfilled 或 onRejected 未提供时,必须透传上一级的终值或拒因 —— 这是错误冒泡和链式调用的基础。

  • 例如:p.then().then(x => x * 2) 中第一个 then() 没传参数,必须把 p 的终值原样传给下一个 then
  • 实现上:对 onFulfilled 做默认赋值 onFulfilled = typeof onFulfilled === 'function' ? onFulfilled : value => value,onRejected 同理
  • 若不处理透传,Promise.resolve(42).then().then(console.log) 就不会输出 42

resolvePromise 是唯一能决定 promise2 走 resolve 还是 reject 的入口

这个函数处理 then 回调的返回值 x,它决定了 promise2(即 then 返回的新 Promise)的状态。所有分支最终都必须只调用一次 resolve2 或 reject2,且禁止重复调用。

  • 最常见坑:没判断 x === promise2,导致自引用死循环,抛出 TypeError: Chaining cycle detected for promise
  • 关键逻辑:先检查 x 是否为 null 或原始值(typeof x === 'object' || typeof x === 'function'),再尝试取 x.then;取值报错 → 立即 reject2(err);then 是函数 → 用 called 标志位确保只调用一次 resolveX 或 rejectX
  • 注意:即使 x 是其他规范的 Promise(如 jQuery Deferred),只要它有可调用的 then 方法,就必须按 thenable 处理

错误捕获必须覆盖 executor 和 resolve/reject 调用链

executor 抛错、resolve / reject 内部取 x.then 抛错、甚至 onFulfilled 回调本身抛错 —— 所有这些错误都必须被捕捉并导向 reject2,否则链会中断。

  • executor 错误:构造函数内用 try/catch 包裹 executor(resolve, reject),出错则 reject(err)
  • 回调错误:在 queueMicrotask 中执行 onFulfilled 后,必须再套一层 try/catch,捕获后调用 reject2(err)
  • 忽略这点会导致 Promise.reject('x').then(null, () => {}).then(() => console.log('never')) 中最后一段不执行 —— 因为中间没有错误传递机制

真正难的不是写完代码,而是让 resolvePromise 在所有嵌套 thenable、自引用、空值、同步 throw、异步 reject 场景下都只触发一次终态 —— 这个控制点一旦松动,整个链就不可靠。

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

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

下载

相关标签:

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

相关专题

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

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

2023.06.20

4606

5

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

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

2023.07.04

1149

3

js四舍五入
js四舍五入

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

2023.07.04

4524

6

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

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

2023.09.01

900

4

JavaScript转义字符
JavaScript转义字符

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

2023.09.04

1816

5

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

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

2023.09.04

3285

4

如何启用JavaScript
如何启用JavaScript

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

2023.09.12

4273

6

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

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

2023.09.20

2780

5

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

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

2023.09.20

888

7

热门下载

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

精品课程

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

共6课时 | 54.6万人学习

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

共89课时 | 133.4万人学习