手写 Promise

JavaScript/前端
466
0
0
2022-03-30
标签   Promise

前言

都 2020 年了,Promise 大家肯定都在用了,但是估计很多人对其原理还是一知半解,今天就让我们一起实现一个符合 PromiseA+ 规范的 Promise。

附 PromiseA+ 规范地址:
https://promisesaplus.com/

简单版

我们都知道 Promise 的调用方式,new Promise(executor), executor 两个参数,resolve,reject。所以现在我们的代码长这样

class Promise {
    constructor(executor) {
       const resolve = () => {}
       const reject = () => {}
       executor(resolve, rejcet)
    }
}

Promise 内部有三个状态,pending、fulfilled、rejected,初始是 pending,调用 resolve 后变为 fulfilled,,调用 reject 后变为 rejected。fulfilled 时会调用 then 注册的成功的回调,rejected 时会调用 then 注册的失败的回调。

// Promise 内部状态
const STATUS = { PENDING: 'PENDING', FUFILLED: 'FUFILLED', REJECTED: 'REJECTED' }

class Promise {
    constructor(executor) {
        this.status = STATUS.PENDING;
        this.value = undefined; // 成过的值this.reason = undefined; // 失败的值const resolve = (val) => {if (this.status == STATUS.PENDING) { 
                this.status = STATUS.FUFILLED;
                this.value = val;
            }
        }
        const reject = (reason) => {
            if (this.status == STATUS.PENDING) {
                this.status = STATUS.REJECTED;
                this.reason = reason;
            }
        }
        try {
            executor(resolve, reject);
        } catch (e) {
            // 出错走失败逻辑
            reject(e)
        }
    }
    then(onFulfilled, onRejected) {
        if (this.status == STATUS.FUFILLED) {
            onFulfilled(this.value);
        }
        if (this.status == STATUS.REJECTED) {
            onRejected(this.reason);
        }
    }
}

现在我们的 Promise 已经初步实现了,但还有很多问题

一个 promise 可以调用多次 then 方法,也就是说可以注册多个回调,所以我们需要一个队列来保存这些回调。同时我们没有对 pending 状态的 then 方法做处理,当 promise 为 pending 状态时,then 方法应该将回调放入到队列当中,而不是直接运行。所以改进之后的代码如下。

const STATUS = { PENDING: 'PENDING', FUFILLED: 'FUFILLED', REJECTED: 'REJECTED' }
class Promise {
    constructor(executor) {
        this.status = STATUS.PENDING;
        this.value = undefined; // 成过的值this.reason = undefined; // 失败的值
+       this.onResolvedCallbacks = []; // 存放成功的回调的 
+       this.onRejectedCallbacks = []; // 存放失败的回调的const resolve = (val) => {if (this.status == STATUS.PENDING) { 
                this.status = STATUS.FUFILLED;
                this.value = val;
                // 成功时调用成功队列里的回调
+                this.onResolvedCallbacks.forEach(fn=>fn());
            }
        }
        const reject = (reason) => {
            if (this.status == STATUS.PENDING) {
                this.status = STATUS.REJECTED;
                this.reason = reason;
                // 失败时调用失败队列里的回调
+               this.onRejectedCallbacks.forEach(fn=>fn());
            }
        }
        try {
            executor(resolve, reject);
        } catch (e) {
            // 出错走失败逻辑
            reject(e)
        }
    }
    then(onFulfilled, onRejected) {
        if (this.status === STATUS.FUFILLED) {
            onFulfilled(this.value);
        }
        if (this.status === STATUS.REJECTED) {
            onRejected(this.reason);
        }
+       if (this.status === STATUS.PENDING) {
+           this.onResolvedCallbacks.push(()=>{ // todo..
+              onFulfilled(this.value);
+           })
+           this.onRejectedCallbacks.push(()=>{ // todo..
+               onRejected(this.reason);
+           })
+       }
+   }
}

到这一个简单 promise 80%的功能已经实现了,但是还有一个问题,promise 可以链式调用,也就是我们常看到的 promise.then().then()。所以我们得在 then 方法里去返回一个新的 promise。

const STATUS = { PENDING: 'PENDING', FUFILLED: 'FUFILLED', REJECTED: 'REJECTED' }
class Promise {
   // 上面逻辑省略
    ...
    then(onFulfilled, onRejected) { // swtich  作用域
+        let promise2 = new Promise((resolve, reject) => {
+            if (this.status === STATUS.FUFILLED) {
+                // to....
+                try {
+                    let x = onFulfilled(this.value);
+                    resolve(x);
+                } catch (e) {
+                    reject(e);
+                }
+            }
+            if (this.status === STATUS.REJECTED) {
+                try {
+                    let x = onRejected(this.reason);
+                    resolve(x);
+                } catch (e) {
+                    reject(e);
+                }
+            }
+            if (this.status === STATUS.PENDING) {
+                this.onResolvedCallbacks.push(() => { // todo..
+                    try {
+                        let x = onFulfilled(this.value);
+                        resolve(x);
+                    } catch (e) {
+                        reject(e);
+                    }
+                })
+                this.onRejectedCallbacks.push(() => { // todo..
+                    try {
+                        let x = onRejected(this.reason);
+                        resolve(x);
+                    } catch (e) {
+                        reject(e);
+                    }
+
+                })
+            }
+        })
+
+        return promise2;
+    }
}

我们注意到我们把回调的执行逻辑都放到了 promise2 的内部,之所以这样做,是因为我们需要用 onFufilled 的返回值去 resolve promise2,这也是为什么 then 回调的返回值会传给下一个 then 的原因。

完整版

上面的 promise 与规范有一些差距

  1. then 注册的回调都是异步执行的
  2. 如果 then 注册回调的返回值是个函数或对象,这里处理起来会复杂一点,我们先看看规范是怎么定义的
promise2 = promise1.then(onFulfilled, onRejected); x = onFulfilled 或 onRejected 的返回值

2.3.1 如果promise和x引用同一个对象,则用TypeError作为原因拒绝(reject)promise。

2.3.2 如果x是一个promise,采用promise的状态

  • 2.3.2.1 如果x是请求状态(pending),promise必须保持pending直到xfulfilled或rejected
  • 2.3.2.2 如果x是完成态(fulfilled),用相同的值完成fulfillpromise
  • 2.3.2.2 如果x是拒绝态(rejected),用相同的原因rejectpromise

2.3.3另外,如果x是个对象或者方法

  • 2.3.3.1 让x作为x.then.
  • 2.3.3.2 如果取回的x.then属性的结果为一个异常e,用e作为原因reject promise
  • 2.3.3.3 如果then是一个方法,把x当作this来调用它,第一个参数为resolvePromise,第二个参数为rejectPromise,其中:
  • 2.3.3.3.1 如果/当 resolvePromise 被一个值 y 调用,运行 [[Resolve]](promise, y)
  • 2.3.3.3.2 如果/当 rejectPromise 被一个原因 r 调用,用 r 拒绝(reject)promise
  • 2.3.3.3.3 如果 resolvePromise 和 rejectPromise 都被调用,或者对同一个参数进行多次调用,第一次调用执行,任何进一步的调用都被忽略
  • 2.3.3.3.4 如果调用 then 抛出一个异常 e
  • 2.3.3.3.4.1 如果 resolvePromise 或 rejectPromise 已被调用,忽略。
  • 2.3.3.3.4.2 或者, 用 e 作为reason拒绝(reject)promise

规范可能有点复杂,需要自己慢慢消化,这里我直接把代码贴出来,我会在代码里标注每个规范的实现点。

const STATUS = { PENDING: 'PENDING', FUFILLED: 'FUFILLED', REJECTED: 'REJECTED' }

// 我们的promise 按照规范来写 就可以和别人的promise公用
function resolvePromise(x, promise2, resolve, reject) {
    // 规范 2.3.1if (promise2 == x) { // 防止自己等待自己完成return reject(new TypeError('出错了'))
    }
    // 规范 2.3.3if ((typeof x === 'object' && x !== null) || typeof x === 'function') {// x可以是一个对象 或者是函数let called;try { 
            // 规范 2.3.3.1let then = x.then;if (typeof then == 'function') { 
                // 2.3.3.3
                then.call(x, function(y) {
                    // 规范 2.3.3.3.3if (called) return
                    called = true;
                    // 规范 2.3.3.3.1resolvePromise(y, promise2, resolve, reject);
                }, function(r) {
                    // 规范 2.3.3.3.3if (called) return
                    called = true;
                    // 规范 2.3.3.3.2reject(r);
                })
            } else {
                resolve(x); // 此时x 就是一个普通对象
            }
        } catch (e) {
            // 规范 2.3.3.3.4.1if (called) return
            called = true;
            // 规范 2.3.3.3.4 reject(e); // 取then时抛出错误了
        }
    } else {
        resolve(x); // x是一个原始数据类型 不能是promise
    }
    // 不是proimise 直接就调用resolve
}
class Promise {
    constructor(executor) {
        this.status = STATUS.PENDING;
        this.value = undefined;
        this.reason = undefined;
        this.onResolvedCallbacks = []; // 存放成功的回调的 this.onRejectedCallbacks = []; // 存放失败的回调的const resolve = (val) => {if(val instanceof Promise){ // 是promise 就继续递归解析return val.then(resolve,reject)
            }

            if (this.status == STATUS.PENDING) {
                this.status = STATUS.FUFILLED;
                this.value = val;
                // 发布this.onResolvedCallbacks.forEach(fn => fn());
            }
        }
        const reject = (reason) => {
            if (this.status == STATUS.PENDING) {
                this.status = STATUS.REJECTED;
                this.reason = reason;
                // 腹部this.onRejectedCallbacks.forEach(fn => fn());
            }
        }
        try {
            executor(resolve, reject);
        } catch (e) {
            // 出错走失败逻辑reject(e)
        }
    }
    then(onFulfilled, onRejected) { // swtich  作用域// 可选参数
        onFulfilled = typeof onFulfilled === 'function' ? onFulfilled : x => x
        onRejected = typeof onRejected === 'function'? onRejected: err=> {throw err}
        let promise2 = new Promise((resolve, reject) => {
            if (this.status === STATUS.FUFILLED) {
                // to....setTimeout(() => { 
                    try {
                        let x = onFulfilled(this.value);
                        resolvePromise(x, promise2, resolve, reject)
                    } catch (e) {
                        reject(e);
                    }
                }, 0);
            }
            if (this.status === STATUS.REJECTED) {
                setTimeout(() => {
                    try {
                        let x = onRejected(this.reason);
                        resolvePromise(x, promise2, resolve, reject)
                    } catch (e) {
                        reject(e);
                    }
                }, 0);
            }
            if (this.status === STATUS.PENDING) {
                // 装饰模式 切片编程this.onResolvedCallbacks.push(() => { // todo..setTimeout(() => { 
                        try {
                            let x = onFulfilled(this.value);
                            resolvePromise(x, promise2, resolve, reject)
                        } catch (e) {
                            reject(e);
                        }
                    }, 0);
                })
                this.onRejectedCallbacks.push(() => { // todo..setTimeout(() => { 
                        try {
                            let x = onRejected(this.reason);
                            resolvePromise(x, promise2, resolve, reject)
                        } catch (e) {
                            reject(e);
                        }
                    }, 0);

                })
            }
        });
        return promise2;
    }
}

测试工具

给大家推荐一个测试 promise 是否规范的工具 --- promises-aplus-tests,使用方法如下

全局安装 promises-aplus-tests,然后添加以下代码

Promise.defer = Promise.deferred = function () {
    let dfd = {};
    dfd.promise = new Promise((resolve,reject)=>{
        dfd.resolve = resolve;
        dfd.reject = reject
    })
    return dfd;
}
module.exports = Promise

然后直接在在控制台运行 promises-aplus-tests <当前 promise 代码地址>

手写 Promise

可以看到我们的 promise 是顺利通过测试的。

总结

希望这篇文章可以帮助大家更深入的理解 promise

码字不易,期望得到你的赞。

本人会长期发布关于原理解读方面的文章,如果想深入了解 js 原生,框架底层的话可以关注我呀~~~