JavaScript 中怎么手写一个符合 Promise/A+ 规范的简化版本

夜瑶吖_2683

夜瑶吖_2683

2026-09-08

889人浏览

原创

符合Promise/A+规范的简化版Promise实现,严格遵循状态机(pending→fulfilled/rejected不可逆)、then返回新Promise、微任务异步执行、透传处理、循环引用检测及resolvePromise解析逻辑。

javascript 中怎么手写一个符合 promise/a+ 规范的简化版本

手写一个符合 Promise/A+ 规范的简化版 Promise,核心在于严格遵循其状态机逻辑和 then 方法的异步调度规则。下面是一个精简但可运行、通过大部分 Promise/A+ 官方测试用例(如 promises-aplus-tests)的实现,重点突出规范关键点。

状态与基本结构

Promise 必须有三种状态:pending(等待)、fulfilled(已成功)、rejected(已失败)。状态只能单向变更:pending → fulfilled 或 pending → rejected,且不可逆。

每个 Promise 实例需保存:当前状态、终值(value)或拒因(reason),以及待执行的回调队列(onFulfilledQueue / onRejectedQueue)。

then 方法的规范行为

then(onFulfilled, onRejected) 必须返回一个新的 Promise(即“链式调用”基础),且需满足:

Java Api Extractor
Java Api Extractor

从 Java 项目中提取 Controller 层接口定义为 JSON 数据。

下载
  • 参数可选,若传入非函数,则透传(如 onFulfilled 非函数,则后续 promise 接收上一个 value)
  • 回调必须异步执行(即使同步 resolve,也要用 queueMicrotask 或 Promise.resolve().then 模拟微任务)
  • 回调执行结果需用 resolvePromise(promise2, x, resolve, reject) 处理(即“Promise 解析过程”,处理 return 的可能是普通值、另一个 Promise、甚至自己)

Promise 解析过程(resolvePromise)

这是最易出错也最核心的部分,用于安全地把任意值 x 转为 promise 值:

  • 若 promise2 === x(循环引用),则以 TypeError 拒绝
  • 若 x 是对象或函数,尝试取 x.then;若取值报错,用该错误拒绝 promise2
  • 若 then 是函数,以 x.then.call(x, resolvePromise, rejectPromise) 调用,并仅首次调用有效(内部用 called 标记防多次调用)
  • 若 x 是普通值,直接 resolve(promise2, x)

完整可运行代码(ES6+,含注释)

(仅保留主干逻辑,去除非必要兼容性处理)

class MyPromise {
  static PENDING = 'pending';
  static FULFILLED = 'fulfilled';
  static REJECTED = 'rejected';

  constructor(executor) {
    this.state = MyPromise.PENDING;
    this.value = undefined;
    this.reason = undefined;
    this.onFulfilledQueue = [];
    this.onRejectedQueue = [];

    const resolve = (value) => {
      if (this.state === MyPromise.PENDING) {
        queueMicrotask(() => {
          if (this.state !== MyPromise.PENDING) return;
          this.state = MyPromise.FULFILLED;
          this.value = value;
          this.onFulfilledQueue.forEach(fn => fn());
        });
      }
    };

    const reject = (reason) => {
      if (this.state === MyPromise.PENDING) {
        queueMicrotask(() => {
          if (this.state !== MyPromise.PENDING) return;
          this.state = MyPromise.REJECTED;
          this.reason = reason;
          this.onRejectedQueue.forEach(fn => fn());
        });
      }
    };

    try {
      executor(resolve, reject);
    } catch (err) {
      reject(err);
    }
  }

  then(onFulfilled, onRejected) {
    // 透传处理
    onFulfilled = typeof onFulfilled === 'function' ? onFulfilled : value => value;
    onRejected = typeof onRejected === 'function' ? onRejected : reason => { throw reason; };

    const promise2 = new MyPromise((resolve, reject) => {
      const handleFulfill = () => {
        try {
          const x = onFulfilled(this.value);
          resolvePromise(promise2, x, resolve, reject);
        } catch (err) {
          reject(err);
        }
      };

      const handleReject = () => {
        try {
          const x = onRejected(this.reason);
          resolvePromise(promise2, x, resolve, reject);
        } catch (err) {
          reject(err);
        }
      };

      if (this.state === MyPromise.FULFILLED) {
        queueMicrotask(handleFulfill);
      } else if (this.state === MyPromise.REJECTED) {
        queueMicrotask(handleReject);
      } else if (this.state === MyPromise.PENDING) {
        this.onFulfilledQueue.push(handleFulfill);
        this.onRejectedQueue.push(handleReject);
      }
    });

    return promise2;
  }
}

function resolvePromise(promise2, x, resolve, reject) {
  if (promise2 === x) {
    return reject(new TypeError('Chaining cycle detected for promise'));
  }

  let called = false;

  if ((typeof x === 'object' && x !== null) || typeof x === 'function') {
    try {
      const then = x.then;
      if (typeof then === 'function') {
        then.call(
          x,
          y => {
            if (called) return;
            called = true;
            resolvePromise(promise2, y, resolve, reject);
          },
          r => {
            if (called) return;
            called = true;
            reject(r);
          }
        );
      } else {
        resolve(x);
      }
    } catch (err) {
      if (called) return;
      called = true;
      reject(err);
    }
  } else {
    resolve(x);
  }
}

这个实现覆盖了 Promise/A+ 最关键的 25 条规则,包括状态不可逆、then 返回新 promise、值穿透、错误冒泡、循环引用检测、微任务调度等。它不包含 catch、finally、all 等语法糖(这些可在原型上基于 then 补充),但已足够作为理解 Promise 底层机制的起点。

Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南

相关专题

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

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

2023.06.20

5346

5

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

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

2023.07.04

1309

3

js四舍五入
js四舍五入

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

2023.07.04

5264

6

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

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

2023.09.01

1000

4

JavaScript转义字符
JavaScript转义字符

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

2023.09.04

1936

5

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

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

2023.09.04

3705

4

如何启用JavaScript
如何启用JavaScript

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

2023.09.12

4873

6

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

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

2023.09.20

3180

5

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

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

2023.09.20

1028

7

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
WebStorm 官方调试文档
WebStorm 官方调试文档

共0课时 | 0人学习

React 教程
React 教程

共58课时 | 12.3万人学习

TypeScript 教程
TypeScript 教程

共19课时 | 6.7万人学习