如何手动编写一个具备“自动状态流转”功能的 Promises/A+ 标准库

夏枫酱_2775

夏枫酱_2775

2026-04-07

1025人浏览

原创

promise构造函数中executor必须同步执行,否则违反promises/a+规范;then必须返回新promise并正确处理状态流转、微任务调度及thenable递归展开。

如何手动编写一个具备“自动状态流转”功能的 promises/a+ 标准库

Promise 构造函数里必须同步执行 executor

这是 Promises/A+ 最容易被忽略的硬性要求:传入 new Promise(executor) 的 executor 函数,必须**立即、同步调用**,不能 defer、不能 setTimeout、不能 nextTick。否则后续所有状态流转(pending → fulfilled/rejected)都会错位,导致 then 链无法按预期收集回调。

常见错误是把 executor 包在 setTimeout(() => { ... }, 0) 里“模拟异步”,这直接违反规范,测试套件(如 promises-aplus-tests)会立刻报 Test failed: promise created in non-pending state。

  • 正确做法:在构造函数内部直接 executor(resolve, reject)
  • resolve/reject 必须是函数,且只能调用一次(多次调用应静默忽略)
  • executor 抛出异常时,等价于调用 reject(e),需 try/catch 包裹

then 方法必须返回新 Promise,且支持链式调用

then 不是修改原 Promise,而是返回一个全新的 Promise 实例——这是自动状态流转的核心机制。如果返回的是普通值(比如数字、字符串),新 Promise 状态为 fulfilled;如果返回的是另一个 Promise(或 thenable),新 Promise 状态要**跟随它**(即“穿透”)。

实现上关键点在于:无论当前 Promise 处于 pending、fulfilled 还是 rejected,then 都必须返回 Promise,并把传入的 onFulfilled/onRejected 回调存入对应队列(或立即执行)。注意:不能在 then 内部直接 resolve 当前 Promise,那会破坏链式结构。

  • pending 状态:将回调推入 onFulfilledQueue / onRejectedQueue
  • fulfilled 状态:用微任务(如 queueMicrotask 或 Promise.resolve().then)延迟执行 onFulfilled(value)
  • rejected 状态:同理,用微任务执行 onRejected(reason)
  • 返回的新 Promise 的 resolve/reject 必须由执行结果决定,不是由原 Promise 的状态决定

状态只能从 pending → fulfilled 或 pending → rejected,不可逆

Promise 的 state 字段一旦从 "pending" 变为 "fulfilled" 或 "rejected",就再也不能更改。这是自动流转不混乱的前提。很多手写库在这里出 bug:比如 resolve 后又调用了 reject,或者在不同分支重复 resolve。

典型表现是测试时出现 TypeError: Cannot resolve a resolved promise 类似错误(虽然规范没强制抛错,但必须静默忽略后续调用)。

  • 建议用闭包变量 state + value / reason 存储,而非 this.state
  • resolve 和 reject 函数开头加守卫:if (state !== "pending") return
  • 不要在 resolve/reject 内部再调用对方,也不要在 executor 外部暴露 resolve/reject 引用

处理 thenable 对象时必须遵守“可递归展开”规则

当 resolve 的参数是一个 thenable(即有 .then 方法的对象),Promise/A+ 要求你**尝试调用它的 .then**,并根据其执行结果决定新 Promise 的状态。这不是可选项,是必须递归展开的逻辑。

错误做法是直接把 thenable 当作普通值 resolve,这样会导致 thenable 的异步行为被跳过,链式调用中断。正确做法是用 try/catch 安全调用 thenable.then,并传入自己的 resolve/reject —— 这就是“同构”和“信任传递”的本质。

  • 先判断 val !== null && typeof val === "object" || typeof val === "function"
  • 再取 then = val.then,确认是函数才进入 thenable 分支
  • 调用 then.call(val, resolve, reject),并确保只调用一次
  • 如果调用过程抛错,立即 reject(e)

最难缠的其实是微任务调度时机和 thenable 的嵌套深度:resolve 一个带 then 的对象,它内部 resolve 的又是个 thenable……这种层层穿透必须靠递归+微任务保证不爆栈也不丢任务。写到这儿,基本就不是“手写”而是“重造轮子”了。

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

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

下载

相关标签:

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

相关专题

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

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

2023.06.20

4846

5

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

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

2023.07.04

1209

3

js四舍五入
js四舍五入

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

2023.07.04

4784

6

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

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

2023.09.01

940

4

JavaScript转义字符
JavaScript转义字符

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

2023.09.04

1876

5

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

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

2023.09.04

3445

4

如何启用JavaScript
如何启用JavaScript

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

2023.09.12

4473

6

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

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

2023.09.20

2940

5

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

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

2023.09.20

928

7

热门下载

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

精品课程

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

共6课时 | 54.7万人学习

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

共89课时 | 133.7万人学习