Promise核心功能从原理到实现(再也不怕Promise了)

作为一个内卷了的前端小学生,将慢慢前进一直到小学毕业 Orz。
Promise是我们日常工作或者面试常客,虽然很少有面试官让我们去实现一个
Promise,但是假如我们能够从原理的层次去理解Promise A+规范,那么我们将在面试中无往不利,工作中也能够更正确的使用,游刃有余。
我将从我个人学习的角度去实现一个最核心的Promise,如果有错欢迎大家指正。

ps:文中代码都可以在node环境中运行

首先我们从使用入手,作为最基础的使用方式。

let promise = new Promise((resolve,reject) => {
    resolve("success")
})
promise.then(value => {}, reason => {})

我们发现:

  • Promise 是一个类,在执行这个类的时候,需要传递一个执行器进去然后执行器会立即执行
  • Promise 中有三种状态 fulfilled rejected pending
    pending --> fulfilled | pending -->rejected
    状态一旦确定就不可更改
  • resolvereject函数式用来更改状态的
  • then方法内部做的事情就是判断状态。如果状态成功调用成功的回调函数。反之亦然。
  • then 回调中的参数, 成功参数是成功的值, 失败参数是失败的原因
    结合这几种最基本的使用方式我们可以从这几部分入手实现一个最基本的Promise
const [PENDING, FULFILLED, REJECTED] = ['pending', 'fulfilled', 'rejected']

class MyPromise {
    constructor(executor) {
        executor(this.resolve, this.reject)
        
    }
    status = PENDING //状态
    value = undefined // 成功后的值
    reason = undefined // 失败的原因
    resolve = value => {  //箭头函数的原因 将内部的 `this` 指向  promise 对象
        // 如果程序不是等待,阻止程序向下运行
        if (this.status !== PENDING) return
        this.status = FULFILLED
        // 保存成功后的值
        this.value = value
    }
    reject = reason => {
        if (this.status !== PENDING) return
        this.status = REJECTED
        this.reason = reason
    }
    then (successCallback, failCallback) {
        if (this.status === FULFILLED) {
            successCallback(this.value)
        }else if (this.status === REJECTED) {
            failCallback(this.reason)
        }
    }
}

module.exports = MyPromise

我们测试一下写的 MyPromise 是否符合我们的预期

const MyPromise = require("./MyPromise")
let promise = new MyPromise((resolve,reject) => {
    resolve("success")
})
promise.then(value => {console.log(value)}, reason => {})

// 输出 success

我们发现结果是符合预期的, 我们的第一步的目的就达到了。 但是我们发现你的这个 MyPromise并没有回调中异步的处理逻辑啊。No Problem 我们继续丰富我们的代码。
由于then中加入了异步就导致无法第一时间 resolve或者 reject,那么这个时候就需要我们将异步的回调存储一份,等到 resolve或者 reject 执行的时候再去处理。

class MyPromise {
    constructor(executor) {
        executor(this.resolve, this.reject)
        
    }
    status = PENDING //状态
    value = undefined // 成功后的值
    reason = undefined // 失败的原因
    successCallback = undefined //成功的回调
    failCallback = undefined // 失败的回调
    resolve = value => {  //箭头函数的原因 将内部的 `this` 指向  promise 对象
        // 如果程序不是等待,阻止程序向下运行
        if (this.status !== PENDING) return
        this.status = FULFILLED
        // 保存成功后的值
        this.value = value
        this.successCallback && this.successCallback(this.value)
    }
    reject = reason => {
        if (this.status !== PENDING) return
        this.status = REJECTED
        this.reason = reason
        this.failCallback && this.failCallback(this.reason)
    }
    then ( successCallback, failCallback) {
        if (this.status === FULFILLED) {
            successCallback(this.value)
        }else if (this.status === REJECTED) {
            failCallback(this.reason)
        } else {
            this.successCallback = successCallback
            this.failCallback = failCallback
        }
    }
}

我们再测试一下 then 中加入的异步的情况

const MyPromise = require("./MyPromise")
let promise = new MyPromise((resolve,reject) => {
    setTimeout(() => {
        resolve("成功")
    }, 3000)
})
promise.then(value => {console.log(value)}, reason => {})
// 3秒后返回 成功

那么我们还知道 同一个 Promise 对象是可以被多次调用的,所以显而易见的是我们的successCallbackfailCallback是一个数组的存在,每调用一次then都需要往回调数组中push一个值。所以这部分需要我们去稍微做一下改造。

const [PENDING, FULFILLED, REJECTED] = ['pending', 'fulfilled', 'rejected']

class MyPromise {
    constructor(executor) {
        executor(this.resolve, this.reject)
        
    }
    status = PENDING //状态
    value = undefined // 成功后的值
    reason = undefined // 失败的原因
    successCallback = [] //成功的回调
    failCallback = [] // 失败的回调
    resolve = value => {  //箭头函数的原因 将内部的 `this` 指向  promise 对象
        // 如果程序不是等待,阻止程序向下运行
        if (this.status !== PENDING) return
        this.status = FULFILLED
        // 保存成功后的值
        this.value = value
        while(this.successCallback.length) this.successCallback.shift()(this.value)
    }
    reject = reason => {
        if (this.status !== PENDING) return
        this.status = REJECTED
        this.reason = reason
        while(this.failCallback.length) this.failCallback.shift()(this.reason)
    }
    then ( successCallback, failCallback) {
        if (this.status === FULFILLED) {
            successCallback(this.value)
        }else if (this.status === REJECTED) {
            failCallback(this.reason)
        } else {
            this.successCallback.push(successCallback)
            this.failCallback.push(failCallback)
        }
    }
}

module.exports = MyPromise

再次测试一下看一下结果

const MyPromise = require("./MyPromise")
let promise = new MyPromise((resolve,reject) => {
    setTimeout(() => {
        resolve("成功")
    }, 3000)
})
promise.then(value => {console.log(`${value}-1`)}, reason => {})
promise.then(value => {console.log(`${value}-2`)}, reason => {})
promise.then(value => {console.log(`${value}-3`)}, reason => {})
// 成功-1
// 成功-2
// 成功-3

这个时候在MyPromise中无论是同步还是异步,都可以去满足我们的使用条件。

现在重点来了,我们知道Promise链式调用的,这部分再我们以前的文章里提过(《异步编程》),感兴趣的同学可以去看一下。其中最重要的一点是Promisethen的返回都是一个全新的Promise对象, 结合着这几点我们再去完善一下我们的实现。

const [PENDING, FULFILLED, REJECTED] = ['pending', 'fulfilled', 'rejected']

class MyPromise {
    constructor(executor) {
        executor(this.resolve, this.reject)

    }
    status = PENDING //状态
    value = undefined // 成功后的值
    reason = undefined // 失败的原因
    successCallback = [] //成功的回调
    failCallback = [] // 失败的回调
    resolve = value => {  //箭头函数的原因 将内部的 `this` 指向  promise 对象
        // 如果程序不是等待,阻止程序向下运行
        if (this.status !== PENDING) return
        this.status = FULFILLED
        // 保存成功后的值
        this.value = value
        while (this.successCallback.length) this.successCallback.shift()(this.value)
    }
    reject = reason => {
        if (this.status !== PENDING) return
        this.status = REJECTED
        this.reason = reason
        while (this.failCallback.length) this.failCallback.shift()(this.reason)
    }
    then(successCallback, failCallback) {
        let promise2 = new MyPromise((resolve, reject) => {
            if (this.status === FULFILLED) {
                setTimeout(() => {  //假如setTimeout的原因是造成异步, 因为我们本身代码是在new Promise的过程中,promise 还不是一个完整的promise对象
                    let x = successCallback(this.value)
                    // 判断 x 的值是普通值还是promise对象
                    // 如果是普通值 直接用resolve传递下去
                    // 如果是promise对象,需要先查看一下是不是跟本身的promise对象相同,如果是那么需要抛出类型错误
                    // 如果不同  就去查看 新promise对象的返回结果
                    // 根据结果, 决定调用 resolve 还是 reject
                    resolvePromise(promise2, x, resolve, reject) //将上个then返回值传递给下个then, 假如是普通值可以直接传递给下个then
                }, 0)
            } else if (this.status === REJECTED) {
                failCallback(this.reason)
            } else {
                this.successCallback.push(successCallback)
                this.failCallback.push(failCallback)
            }
        })
        return promise2
    }
}

function resolvePromise(promise2, x, resolve, reject) {
    if (promise2 === x) {
        return reject(new TypeError("Chaining cycle detected for Promise #<Promise>"))
    }
    if (x instanceof MyPromise) {
        // promise 对象
        // x.then(value => resolve(x), reason => reject(reason))
        x.then(resolve, reject) //等同上面
    } else {
        resolve(x)
    }
}


module.exports = MyPromise

这次我们发现,多了一个resolvePromise的函数,这个函数的根本目的是为了根据不同的返回值,区分不同的处理情况,很显然如果是个值我们可以直接resolve出去;如果是个promise对象就需要我们去根据不同的返回调用不同的方法。
除此之外,我们仍然需要注意的一点是,因为then返回的是一个新的Promise对象,这就需要我们去单独做一层检测。这个检测中setTimeout()是一个关键,由于我们的then的返回逻辑是写在Promise对象的立即执行的执行器中,还处在Promise对象的生成阶段,当我们resolvePromise传入promise2的时候,并不是我们想得到的Promise对象,需要我们加入一个异步,去等待整个实例化的执行结果,从而去检测是否存在循环调用。循环调用的报错是类型报错,因此需要用TypeError去做错误的实例化。
我们执行以下看一下是否符合我们的预期

const MyPromise = require("./MyPromise")
let promise = new MyPromise((resolve,reject) => {
    // setTimeout(() => {
        resolve("成功")
    // }, 3000)
})

let p1 = promise
    .then(value => {
        console.log(value)
        return p1
    })
    
  p1.then(value => console.log(value), reason => console.log(reason.message))
// 成功
// Chaining cycle detected for Promise #<Promise>

很显然链式调用可行, 并且能够检测出循环调用。NICE!

我们在之前的实现过程中,只处理了 状态为 fulfilled 的链式调用的相关逻辑,现在我们补充一下 rejected 以及 pending 的关于链式调用的代码。
另外,因为then方法还有一个特性,如果没有then方法没有参数,那么它会将参数一直向后传递,知道碰到一个有参数的then方法为止。大概意思就是

let promise = new MyPromise((resolve,reject) => {
    resolve("成功")
})
promise.then().then().then(value => console.log(value))
// 成功

那么我补充一下这部分的实现

const [PENDING, FULFILLED, REJECTED] = ['pending', 'fulfilled', 'rejected']

class MyPromise {
    constructor(executor) {
        try {
            executor(this.resolve, this.reject)
        } catch (error) {
            this.reject(error)
        }
    }
    status = PENDING //状态
    value = undefined // 成功后的值
    reason = undefined // 失败的原因
    successCallback = [] //成功的回调
    failCallback = [] // 失败的回调
    resolve = value => {  //箭头函数的原因 将内部的 `this` 指向  promise 对象
        // 如果程序不是等待,阻止程序向下运行
        if (this.status !== PENDING) return
        this.status = FULFILLED
        // 保存成功后的值
        this.value = value
        while (this.successCallback.length) this.successCallback.shift()()
    }
    reject = reason => {
        if (this.status !== PENDING) return
        this.status = REJECTED
        this.reason = reason
        while (this.failCallback.length) this.failCallback.shift()()
    }
    then(successCallback, failCallback) {
        successCallback = successCallback ? successCallback : value => value   //返回一个 `function`   (value) => return value
        failCallback = failCallback ? failCallback : reason =>  {throw reason}
        let promise2 = new MyPromise((resolve, reject) => {
            if (this.status === FULFILLED) {
                setTimeout(() => {  //假如setTimeout的原因是造成异步, 因为我们本身代码是在new Promise的过程中,promise 还不是一个完整的promise对象
                    try {
                        let x = successCallback(this.value)
                        // 判断 x 的值是普通值还是promise对象
                        // 如果是普通值 直接用resolve传递下去
                        // 如果是promise对象,需要先查看一下是不是跟本身的promise对象相同,如果是那么需要抛出类型错误
                        // 如果不同  就去查看 新promise对象的返回结果
                        // 根据结果, 决定调用 resolve 还是 reject
                        resolvePromise(promise2, x, resolve, reject) //将上个then返回值传递给下个then, 假如是普通值可以直接传递给下个then
                    } catch (error) {
                        reject(err)
                    }
                }, 0)

            } else if (this.status === REJECTED) {
                setTimeout(() => {
                    try {
                        let x = failCallback(this.value)
                        resolvePromise(promise2, x, resolve, reject)
                    } catch (error) {
                        reject(err)
                    }
                }, 0)
            } else {
                this.successCallback.push(() => {
                    setTimeout(() => {
                        try {
                            let x = successCallback(this.value)
                            resolvePromise(promise2, x, resolve, reject)
                        } catch (error) {
                            reject(err)
                        }
                    }, 0)
                })
                this.failCallback.push(() => {
                    setTimeout(() => {
                        try {
                            let x = failCallback(this.value)
                            resolvePromise(promise2, x, resolve, reject)
                        } catch (error) {
                            reject(err)
                        }
                    }, 0)
                })
            }
        })
        return promise2
    }
}

function resolvePromise(promise2, x, resolve, reject) {
    if (promise2 === x) {
        return reject(new TypeError("Chaining cycle detected for Promise #<Promise>"))
    }
    if (x instanceof MyPromise) {
        // promise 对象
        // x.then(value => resolve(x), reason => reject(reason))
        x.then(resolve, reject) //等同上面
    } else {
        resolve(x)
    }
}

module.exports = MyPromise

需要注意的一点是,我们为了达到一直向后传递参数的目的,我们要将参数为空的successCallbackfailCallback伪造一下。

  • successCallback -> value => value
  • failCallback -> reason => throw reason

截止到这里,我们就想Promise最核心的部分给实现了。

现在我们总结一下:

  • Promise是一个类,实例化的时候需要传一个立即执行的执行器
  • Promisefulfilled rejected pending 3种状态
  • Promisethen方法可以被多次调用
  • 对于执行器中的异步操作,需要将回调函数存储下来,待异步函数的回调结束后执行
  • Promisethen方法可以链式调用,并且返回的是新的Promise对象
  • Promisethen方法在没有传参数的情况下,可以将原本该有的状态和参数向下传递
最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 204,793评论 6 478
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 87,567评论 2 381
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 151,342评论 0 338
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,825评论 1 277
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,814评论 5 368
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,680评论 1 281
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,033评论 3 399
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,687评论 0 258
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 42,175评论 1 300
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,668评论 2 321
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,775评论 1 332
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,419评论 4 321
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,020评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,978评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,206评论 1 260
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 45,092评论 2 351
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,510评论 2 343