0

0

如何用JavaScript编写一个完整的Promise polyfill?

紅蓮之龍

紅蓮之龍

发布时间:2025-09-21 08:22:02

|

188人浏览过

|

来源于php中文网

原创

自定义Promise通过状态管理、链式调用和异步调度模拟原生机制,核心是构造器中的resolve/reject函数控制状态流转,then方法返回新Promise并利用resolvePromise处理回调返回值,确保符合Promise/A+规范;通过runAsync在不同环境模拟微任务队列以保证异步执行顺序;静态方法all和race基于实例方法实现,分别等待所有或首个Promise完成,结合兼容性检测与降级策略(如queueMicrotask、MutationObserver、setTimeout)确保跨环境正确运行。

如何用javascript编写一个完整的promise polyfill?

这事儿听起来复杂,但拆解开来,无非就是把原生Promise的那些核心机制——状态管理、链式调用、异步调度——用我们自己的代码重新实现一遍。核心思路就是构建一个自定义的

Promise
类,它内部维护状态(待定、成功、失败),并通过
then
方法来注册回调,同时确保这些回调在适当的时机异步执行,并且能正确地传递值或错误,形成链式调用。

解决方案

要写一个完整的Promise polyfill,我们得从它的核心构造器和实例方法着手,然后是那些静态方法。

首先,

MyPromise
构造函数需要接收一个
executor
函数,这个函数会立即执行,并接收
resolve
reject
两个参数。我们需要定义三种内部状态:
PENDING
FULFILLED
REJECTED
,以及存储结果的
value
或错误原因的
reason

const PENDING = 'pending';
const FULFILLED = 'fulfilled';
const REJECTED = 'rejected';

class MyPromise {
  constructor(executor) {
    this.state = PENDING;
    this.value = undefined;
    this.reason = undefined;
    this.onFulfilledCallbacks = []; // 存储成功回调
    this.onRejectedCallbacks = []; // 存储失败回调

    const resolve = (value) => {
      // 模拟Promise Resolution Procedure,处理then返回Promise的情况
      if (value instanceof MyPromise) {
        return value.then(resolve, reject);
      }
      if (this.state === PENDING) {
        this.state = FULFILLED;
        this.value = value;
        // 确保回调异步执行
        this.onFulfilledCallbacks.forEach(cb => this.runAsync(cb, value));
      }
    };

    const reject = (reason) => {
      if (this.state === PENDING) {
        this.state = REJECTED;
        this.reason = reason;
        // 确保回调异步执行
        this.onRejectedCallbacks.forEach(cb => this.runAsync(cb, reason));
      }
    };

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

  // 模拟微任务队列,确保回调异步执行
  runAsync(callback, arg) {
    if (typeof queueMicrotask === 'function') {
      queueMicrotask(() => callback(arg));
    } else if (typeof MutationObserver === 'function') {
      // 浏览器环境,MutationObserver可以模拟微任务
      const observer = new MutationObserver(() => {
        callback(arg);
        observer.disconnect(); // 执行一次后断开
      });
      const node = document.createTextNode('');
      observer.observe(node, { characterData: true });
      node.data = 'trigger'; // 触发回调
    } else {
      setTimeout(() => callback(arg), 0); // 回退到宏任务
    }
  }

  then(onFulfilled, onRejected) {
    // 确保回调是函数,如果不是,则透传值或错误
    onFulfilled = typeof onFulfilled === 'function' ? onFulfilled : value => value;
    onRejected = typeof onRejected === 'function' ? onRejected : reason => { throw reason; };

    // 返回一个新的Promise,实现链式调用
    const promise2 = new MyPromise((resolve, reject) => {
      const handleCallback = (callback, arg) => {
        this.runAsync(() => {
          try {
            const x = callback(arg);
            // Promise解决过程:处理x的值
            this.resolvePromise(promise2, x, resolve, reject);
          } catch (error) {
            reject(error);
          }
        });
      };

      if (this.state === FULFILLED) {
        handleCallback(onFulfilled, this.value);
      } else if (this.state === REJECTED) {
        handleCallback(onRejected, this.reason);
      } else if (this.state === PENDING) {
        // 如果Promise还在等待中,将回调存储起来
        this.onFulfilledCallbacks.push(value => handleCallback(onFulfilled, value));
        this.onRejectedCallbacks.push(reason => handleCallback(onRejected, reason));
      }
    });

    return promise2;
  }

  catch(onRejected) {
    return this.then(null, onRejected);
  }

  // 核心的Promise解决过程,处理then回调的返回值x
  resolvePromise(promise2, x, resolve, reject) {
    if (x === promise2) { // 防止循环引用
      return reject(new TypeError('Chaining cycle detected for promise'));
    }

    let called = false; // 防止多次调用resolve/reject

    if (x instanceof MyPromise) {
      // 如果x是一个Promise,那么promise2的状态取决于x的状态
      x.then(value => {
        if (called) return;
        called = true;
        this.resolvePromise(promise2, value, resolve, reject);
      }, reason => {
        if (called) return;
        called = true;
        reject(reason);
      });
    } else if (x !== null && (typeof x === 'object' || typeof x === 'function')) {
      // 如果x是一个对象或函数,可能是thenable对象
      try {
        const then = x.then; // 尝试获取then方法
        if (typeof then === 'function') {
          // 如果then是函数,就调用它,并把promise2的resolve/reject传进去
          then.call(x, y => {
            if (called) return;
            called = true;
            this.resolvePromise(promise2, y, resolve, reject);
          }, r => {
            if (called) return;
            called = true;
            reject(r);
          });
        } else {
          // 如果没有then方法,或者then不是函数,就直接用x作为值
          resolve(x);
        }
      } catch (e) {
        if (called) return;
        called = true;
        reject(e);
      }
    } else {
      // 其他情况,直接用x作为值
      resolve(x);
    }
  }

  static resolve(value) {
    return new MyPromise(resolve => resolve(value));
  }

  static reject(reason) {
    return new MyPromise((_, reject) => reject(reason));
  }

  static all(promises) {
    return new MyPromise((resolve, reject) => {
      if (!Array.isArray(promises)) {
        return reject(new TypeError('Argument must be an array'));
      }
      let results = [];
      let counter = 0;
      let fulfilledCount = 0;

      if (promises.length === 0) {
        return resolve([]);
      }

      promises.forEach((promise, index) => {
        // 将非Promise值包装成Promise
        MyPromise.resolve(promise).then(value => {
          results[index] = value;
          fulfilledCount++;
          if (fulfilledCount === promises.length) {
            resolve(results);
          }
        }).catch(reason => {
          reject(reason); // 任何一个失败,all就失败
        });
      });
    });
  }

  static race(promises) {
    return new MyPromise((resolve, reject) => {
      if (!Array.isArray(promises)) {
        return reject(new TypeError('Argument must be an array'));
      }
      if (promises.length === 0) {
        return; // race一个空数组不会有任何结果
      }
      promises.forEach(promise => {
        MyPromise.resolve(promise).then(resolve, reject); // 任何一个成功或失败,race就成功或失败
      });
    });
  }
}

// 示例用法
// const p1 = new MyPromise(resolve => setTimeout(() => resolve(1), 1000));
// const p2 = new MyPromise((_, reject) => setTimeout(() => reject('Error!'), 500));
// const p3 = MyPromise.resolve(3);

// MyPromise.all([p1, p3]).then(console.log).catch(console.error); // [1, 3] after 1s
// MyPromise.race([p1, p2]).then(console.log).catch(console.error); // Error! after 0.5s

自定义Promise如何精准模拟原生Promise的状态流转与链式调用机制?

立即学习Java免费学习笔记(深入)”;

在我看来,要精准模拟Promise的状态流转,最关键的就是

state
这个内部变量,它只能从
PENDING
变为
FULFILLED
REJECTED
,而且一旦改变就不能再变。这个“不可逆”的特性是Promise可靠性的基石。在
resolve
reject
函数里,我们都加了
if (this.state === PENDING)
的判断,就是为了确保这一点。

至于链式调用,这完全是

then
方法的功劳。
then
方法每次被调用,都会返回一个新的
MyPromise
实例。这听起来有点反直觉,但正是这个新Promise,才让我们可以继续在其上调用
then
,形成一个无限的链条。当
then
回调函数
onFulfilled
onRejected
)执行时,它返回的值
x
,会经过一个非常重要的“Promise解决过程”(
resolvePromise
方法)。这个过程会判断
x
是什么类型:

  • 如果
    x
    是当前的
    promise2
    本身,那肯定是个循环引用,直接报错。
  • 如果
    x
    是一个
    MyPromise
    实例,那么
    promise2
    的状态就和
    x
    的状态保持一致,
    x
    成功,
    promise2
    就成功;
    x
    失败,
    promise2
    就失败。
  • 如果
    x
    是一个拥有
    then
    方法的对象(即所谓的
    thenable
    对象),
    resolvePromise
    会尝试调用
    x.then
    ,并把
    promise2
    resolve
    reject
    传进去,让
    x
    来决定
    promise2
    的最终状态。这块儿是处理与原生Promise或其他Promise库兼容性的关键。
  • 如果
    x
    是其他任何值,
    promise2
    就会直接以
    x
    作为成功的值。

整个过程中,我们还用

runAsync
来模拟了微任务队列,确保
then
的回调总是在当前执行栈清空后才执行,这对于保持异步行为的正确性和可预测性至关重要。我个人觉得,如果没有这个异步调度,Promise的很多行为就和同步回调没什么区别了,那它存在的意义就大打折扣。

Promise.all
Promise.race
这些静态方法在polyfill中如何实现?

实现

Promise.all
Promise.race
,其实是对我们自定义
MyPromise
实例方法的一种高级应用。

SiteDynamic企业网站管理系统1.7.7 标准版
SiteDynamic企业网站管理系统1.7.7 标准版

SiteDynamic企业网站管理系统采用较为成熟的ASP+ACCESS编写,是迄今为止国内较先进的ASP语言企业网站管理系统。系统为企业级网站提供一个框架,能满足企业的基本应用,同时系统开放全部源码,用户可以根据自己的需求扩展出自己需求的模块,如:单页面、新闻、产品展示、下载、友情链接、电子商务、广告、会员、在线支付、人才招聘等。整套系统的设计构造,完全考虑大中小企业类网站的功能要求,网站的后台

下载

对于

MyPromise.all(promises)
: 它接收一个Promise数组(或者更广义地说,是一个可迭代对象,其元素会被
MyPromise.resolve
包装成Promise)。它会返回一个新的
MyPromise
。这个新的Promise会在所有输入Promise都成功时才成功,并且成功的值是一个包含所有输入Promise成功值的数组,顺序与输入数组一致。但凡有一个输入Promise失败了,
MyPromise.all
就会立即失败,失败的原因就是第一个失败的Promise的错误原因。

我的实现思路是,创建一个结果数组,用一个计数器记录已经成功解决的Promise数量。每当一个Promise成功,就把它的结果存到对应索引的位置,并增加计数器。当计数器达到输入Promise的总数时,就

resolve
整个结果数组。如果任何一个Promise失败,我们直接
reject
整个
MyPromise.all
返回的Promise,并且不再关心其他Promise的结果。这里我特别注意了,输入数组中的非Promise值也需要通过
MyPromise.resolve
包装一下,这样才能统一处理。

对于

MyPromise.race(promises)
: 它也接收一个Promise数组。它同样返回一个新的
MyPromise
。这个Promise会以输入数组中第一个解决(无论是成功还是失败)的Promise的结果作为自己的结果。也就是说,谁先跑完,谁就决定了
race
的结果。

MyPromise.race
的实现相对简单粗暴。我们遍历输入数组中的每一个Promise,然后把返回的
MyPromise
resolve
reject
直接绑定到这些输入Promise的
then
方法上。这样,只要有一个Promise率先成功或失败,它就会触发
MyPromise.race
返回的Promise的相应状态改变,而其他Promise的结果就不再重要了。我个人觉得,
race
的魅力就在于它的“抢跑”机制,非常适合需要设置超时或者只取最快结果的场景。

在不同JavaScript环境中,如何确保Promise polyfill的兼容性和性能?

确保Promise polyfill在不同JavaScript环境中的兼容性和性能,这绝对是个挑战,特别是要兼顾那些老旧的浏览器或者Node.js版本。

首先是环境检测。在应用我们的polyfill之前,我们通常会检查全局的

Promise
对象是否存在,或者它的实现是否完整。比如,
if (typeof Promise === 'undefined' || !Promise.prototype.finally)
这样的判断,可以决定是否需要加载和应用我们的
MyPromise

其次,微任务队列的模拟是重中之重。原生Promise的

then
回调是异步的,并且是微任务。在现代浏览器和Node.js中,我们可以直接使用
queueMicrotask
。但对于老旧环境,这个API可能不存在。我的
runAsync
方法里就展示了这种降级策略:

  1. queueMicrotask
    :这是首选,性能最好,语义最接近原生。
  2. MutationObserver
    :在浏览器环境中,
    MutationObserver
    是一个非常好的微任务模拟方案。通过观察一个文本节点的修改,可以触发一个微任务级别的回调。它的性能比
    setTimeout(0)
    好得多。
  3. setTimeout(0)
    :这是最后的兜底方案。它会把回调放入宏任务队列,虽然能保证异步,但执行时机比微任务晚,可能会导致一些时序问题,性能也相对差一些。但对于一些非常老旧的环境,这可能是唯一的选择。

性能方面,一个好的polyfill应该尽可能地轻量级,避免不必要的计算和内存开销。虽然我们写的这个polyfill相对完整,但在实际生产中,如果不是为了学习目的,我们更倾向于使用成熟的库,比如

core-js
,它们在兼容性和性能优化上做得更极致。我个人觉得,我们自己写polyfill,重点在于理解机制,而不是追求极致的性能,毕竟生产环境有更专业的工具

Promise/A+规范的遵守也是兼容性的关键。我们写的polyfill需要尽可能地符合这个规范,这样才能确保它与现有JavaScript生态系统中的其他Promise实现或异步库协同工作时,行为是一致的。这包括了状态转换、

then
方法的返回值处理、错误捕获等方方面面。比如,我代码中的
resolvePromise
方法就是为了严格遵循Promise Resolution Procedure而设计的。这块儿细节非常多,也是最容易出bug的地方。

总的来说,一个完整的Promise polyfill,不仅要实现功能,更要考虑它在各种复杂环境下的行为一致性,这需要对JavaScript的事件循环和异步机制有深入的理解。

相关专题

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

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

552

2023.06.20

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

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

374

2023.07.04

js四舍五入
js四舍五入

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

731

2023.07.04

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

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

477

2023.09.01

JavaScript转义字符
JavaScript转义字符

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

394

2023.09.04

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

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

990

2023.09.04

如何启用JavaScript
如何启用JavaScript

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

656

2023.09.12

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

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

551

2023.09.20

php与html混编教程大全
php与html混编教程大全

本专题整合了php和html混编相关教程,阅读专题下面的文章了解更多详细内容。

3

2026.01.13

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号