本文由做者陈旭锋(任职网易考拉)受权网易云社区发布。前端
Promise源码详解
学习知识要善于思考,思考,再思考。 —— 爱因斯坦git
1.回调地狱
曾几什么时候,咱们的代码是这样的,为了拿到回调的结果,不得不callback hell,这种环环相扣的代码能够说是至关恶心了es6
let fs = require('fs')
fs.readFile('./a.txt','utf8',function(err,data){
fs.readFile(data,'utf8',function(err,data){github
fs.readFile(data,'utf8',function(err,data){ console.log(data) })
})
})
终于,咱们的盖世英雄出现了,他身披金甲圣衣、驾着七彩祥云。好吧打岔儿了,没错他就是咱们的Promise,那让咱们来看看用了Promise以后,上面的代码会变成什么样吧npm
let fs = require('fs')function read(url){ return new Promise((resolve,reject)=>{数组
fs.readFile(url,'utf8',function(error,data){ error && reject(error) resolve(data) })
})
}promise
read('./a.txt').then(data=>{ return read(data)
}).then(data=>{ return read(data)
}).then(data=>{ console.log(data)
})
如上所示前端工程师
真的是很方便,有木有?意中人能够说是Swag到变形了。那么言归正传,咱们怎么才能本身写一个这么Swag的解决异步神器呢?异步
2.重点开始,小眼睛都看过来
2.1 Promise/A+
首先咱们要知道本身手写一个Promise,应该怎么去写,谁来告诉咱们怎么写,须要遵循什么样的规则。固然这些你都不用担忧,其实业界都是经过一个规则指标来生产Promise的。让咱们来看看是什么东西。传送门☞Promise/A+async
2.2 constructor
咱们先声明一个类,叫作Promise,里面是构造函数。若是es6还有问题的能够去阮大大的博客上学习一下(传送门☞es6)
class Promise{
constructor(executor){ //控制状态,使用了一次以后,接下来的都不被使用
this.status = 'pendding' this.value = undefined this.reason = undefined //定义resolve函数 let resolve = (data)=>{ //这里pendding,主要是为了防止executor中调用了两次resovle或reject方法,而咱们只调用一次 if(this.status==='pendding'){ this.status = 'resolve' this.value = data } } //定义reject函数 let reject = (data)=>{ if(this.status==='pendding'){ this.status = 'reject' this.reason = data } } //executor方法可能会抛出异常,须要捕获 try{ //将resolve和reject函数给使用者 executor(resolve,reject) }catch(e){ //若是在函数中抛出异常则将它注入reject中 reject(e) }
}
}
那么接下来我会分析上面代码的做用,原理
executor:这是实例Promise对象时在构造器中传入的参数,通常是一个function(resolve,reject){}
status:``Promise的状态,一开始是默认的pendding状态,每当调用道resolve和reject方法时,就会改变其值,在后面的then方法中会用到
value:resolve回调成功后,调用resolve方法里面的参数值
reason:reject回调成功后,调用reject方法里面的参数值
resolve:声明resolve方法在构造器内,经过传入的executor方法传入其中,用以给使用者回调
reject:声明reject方法在构造器内,经过传入的executor方法传入其中,用以给使用者回调
2.3 then
then方法是Promise中最为重要的方法,他的用法你们都应该已经知道,就是将Promise中的resolve或者reject的结果拿到,那么咱们就能知道这里的then方法须要两个参数,成功回调和失败回调,上代码!
then(onFufilled,onRejected){
if(this.status === 'resolve'){
onFufilled(this.value)
} if(this.status === 'reject'){
onRejected(this.reason)
}
}
这里主要作了将构造器中resolve和reject的结果传入onFufilled和onRejected中,注意这两个是使用者传入的参数,是个方法。因此你觉得这么简单就完了?要想更Swag的应对各类场景,咱们必须得再完善。继续往下走!
3.异步的Promise
以前咱们只是处理了同步状况下的Promise,简而言之全部操做都没有异步的成分在内。那么若是是异步该怎么办?
3.1 callback!!!!
最先处理异步的方法就是callback,就至关于我让你帮我扫地,我会在给你发起任务时给你一个手机,以后我作本身的事情去,不用等你,等你扫完地就会打手机给我,诶,我就知道了地扫完了。这个手机就是callback,回调函数。
首先咱们须要改一下构造器里的代码,分别添加两个回调函数的数组,分别对应成功回调和失败回调。他们的做用是当成功执行resolve或reject时,执行callback。
//存放成功回调的函数this.onResolvedCallbacks = []//存放失败回调的函数this.onRejectedCallbacks = []let resolve = (data)=>{ if(this.status==='pendding'){ this.status = 'resolve'
this.value = data //监听回调函数 this.onResolvedCallbacks.forEach(fn=>fn())
}
}let reject = (data)=>{ if(this.status==='pendding'){ this.status = 'reject'
this.reason = data this.onRejectedCallbacks.forEach(fn=>fn())
}
}
而后是then须要多加一个状态判断,当Promise中是异步操做时,须要在咱们以前定义的回调函数数组中添加一个回调函数。
if(this.status === 'pendding'){ this.onResolvedCallbacks.push(()=>{ // to do....
let x = onFufilled(this.value) resolvePromise(promise2,x,resolve,reject)
}) this.onRejectedCallbacks.push(()=>{ let x = onRejected(this.reason)
resolvePromise(promise2,x,resolve,reject)
})
}
ok!大功告成,异步已经解决了
3.2 resolvePromise
这也是Promise中的重头戏,我来介绍一下,咱们在用Promise的时候可能会发现,当then函数中return了一个值,咱们能够继续then下去,不过是什么值,都能在下一个then中获取,还有,当咱们不在then中放入参数,例:promise.then().then(),那么其后面的then依旧能够获得以前then返回的值,可能你如今想很迷惑。让我来解开你心中的忧愁,follow me。
then(onFufilled,onRejected){
//解决onFufilled,onRejected没有传值的问题 onFufilled = typeof onFufilled === 'function'?onFufilled:y=>y //由于错误的值要让后面访问到,因此这里也要跑出个错误,否则会在以后then的resolve中捕获 onRejected = typeof onRejected === 'function'?onRejected:err=>{ throw err ;} //声明一个promise对象 let promise2 if(this.status === 'resolve'){ //由于在.then以后又是一个promise对象,因此这里确定要返回一个promise对象 promise2 = new Promise((resolve,reject)=>{ setTimeout(()=>{ //由于穿透值的缘故,在默认的跑出一个error后,不能再用下一个的reject来接受,只能经过try,catch try{ //由于有的时候须要判断then中的方法是否返回一个promise对象,因此须要判断 //若是返回值为promise对象,则须要取出结果看成promise2的resolve结果 //若是不是,直接做为promise2的resolve结果 let x = onFufilled(this.value) //抽离出一个公共方法来判断他们是否为promise对象 resolvePromise(promise2,x,resolve,reject) }catch(e){ reject(e) } },0) }) } if(this.status === 'reject'){ promise2 = new Promise((resolve,reject)=>{ setTimeout(()=>{ try{ let x = onRejected(this.reason) resolvePromise(promise2,x,resolve,reject) }catch(e){ reject(e) } },0) }) } if(this.status === 'pendding'){ promise2 = new Promise((resolve,reject)=>{ this.onResolvedCallbacks.push(()=>{ // to do.... setTimeout(()=>{ try{ let x = onFufilled(this.value) resolvePromise(promise2,x,resolve,reject) }catch(e){ reject(e) } },0) }) this.onRejectedCallbacks.push(()=>{ setTimeout(()=>{ try{ let x = onRejected(this.reason) resolvePromise(promise2,x,resolve,reject) }catch(e){ reject(e) } }) }) }) } return promise2
}
一会儿多了不少方法,不用怕,我会一一解释
返回Promise?:首先咱们要注意的一点是,then有返回值,then了以后还能在then,那就说明以前的then返回的必然是个Promise。
为何外面要包一层setTimeout?:由于Promise自己是一个异步方法,属于微任务一列,必须得在执行栈执行完了在去取他的值,因此全部的返回值都得包一层异步setTimeout。
为何开头有两个判断?:这就是以前想要解决的若是then函数中的参数不是函数,那么咱们须要作处理。若是onFufilled不是函数,就须要自定义个函数用来返回以前resolve的值,若是onRejected不是函数,自定义个函数抛出异常。这里会有个小坑,若是这里不抛出异常,会在下一个then的onFufilled中拿到值。又由于这里抛出了异常因此全部的onFufilled或者onRejected都须要try/catch,这也是Promise/A+的规范。固然本人以为成功的回调不须要抛出异常也能够,你们能够仔细想一想。
resolvePromise是什么?:这实际上是官方Promise/A+的需求。由于你的then能够返回任何职,固然包括Promise对象,而若是是Promise对象,咱们就须要将他拆解,直到它不是一个Promise对象,取其中的值。
那就让咱们来看看这个resolvePromise到底长啥样。
function resolvePromise(promise2,x,resolve,reject){ //判断x和promise2之间的关系
//由于promise2是上一个promise.then后的返回结果,因此若是相同,会致使下面的.then会是同一个promise2,一直都是,没有尽头
if(x === promise2){//至关于promise.then以后return了本身,由于then会等待return后的promise,致使本身等待本身,一直处于等待
return reject(new TypeError('循环引用'))
} //若是x不是null,是对象或者方法
if(x !== null && (typeof x === 'object' || typeof x === 'function')){ //为了判断resolve过的就不用再reject了,(好比有reject和resolve的时候)
let called try{//防止then出现异常,Object.defineProperty let then = x.then//取x的then方法可能会取到{then:{}},并无执行 if(typeof then === 'function'){ //咱们就认为他是promise,call他,由于then方法中的this来自本身的promise对象 then.call(x,y=>{//第一个参数是将x这个promise方法做为this指向,后两个参数分别为成功失败回调 if(called) return; called = true //由于可能promise中还有promise,因此须要递归 resolvePromise(promise2,y,resolve,reject) },err=>{ if(called) return; called = true //一次错误就直接返回 reject(err) }) }else{ //若是是个普通对象就直接返回resolve做为结果 resolve(x) } }catch(e){ if(called) return; called = true reject(e) }
}else{ //这里返回的是非函数,非对象的值,就直接放在promise2的resolve中做为结果
resolve(x)
}
}
它的做用是用来将onFufilled的返回值进行判断取值处理,把最后得到的值放入最外面那层的Promise的resolve函数中。
参数promise2(then函数返回的Promise对象),x(onFufilled函数的返回值),resolve、reject(最外层的Promise上的resolve和reject)。
为何要在一开始判断promise2和x?:首先在Promise/A+中写了须要判断这二者若是相等,须要抛出异常,我就来解释一下为何,若是这二者相等,咱们能够看下下面的例子,第一次p2是p1.then出来的结果是个Promise对象,这个Promise对象在被建立的时候调用了resolvePromise(promise2,x,resolve,reject)函数,又由于x等于其自己,是个Promise,就须要then方法递归它,直到他不是Promise对象,可是x(p2)的结果还在等待,他却想执行本身的then方法,就会致使等待。
let p1 = new Promise((resolve,reject)=>{
resolve()
})let p2 = p1.then(d=>{ return p2
})
called是用来干吗的?:called变量主要是用来判断若是resolvePromise函数已经resolve或者reject了,那就不须要在执行下面的resolce或者reject。
为何取then这个属性?:由于咱们须要去判断x是否为Promise,then属性若是为普通值,就直接resolve掉,若是是个function,就是Promise对象,以后咱们就须要将这个x的then方法进行执行,用call的缘由是由于then方法里面this指向的问题。
为何要递归去调用resolvePromise函数?:相信细心的人已经发现了,我这里使用了递归调用法,首先这是Promise/A+中要求的,其次是业务场景的需求,当咱们碰到那种Promise的resolve里的Promise的resolve里又包了一个Promise的话,就须要递归取值,直到x不是Promise对象。
4.完善Promise
咱们如今已经基本完成了Promise的then方法,那么如今咱们须要看看他的其余方法。
4.1 catch
相信你们都知道catch这个方法是用来捕获Promise中的reject的值,也就是至关于then方法中的onRejected回调函数,那么问题就解决了。咱们来看代码。
//catch方法catch(onRejected){ return this.then(null,onRejected)
}
该方法是挂在Promise原型上的方法。当咱们调用catch传callback的时候,就至关因而调用了then方法。
4.2 resolve/reject
你们必定都看到过Promise.resolve()、Promise.reject()这两种用法,它们的做用其实就是返回一个Promise对象,咱们来实现一下。
//resolve方法Promise.resolve = function(val){ return new Promise((resolve,reject)=>{
resolve(val)
})
}//reject方法Promise.reject = function(val){ return new Promise((resolve,reject)=>{
reject(val)
})
}
这两个方法是直接能够经过class调用的,原理就是返回一个内部是resolve或reject的Promise对象。
4.3 all
all方法能够说是Promise中很经常使用的方法了,它的做用就是将一个数组的Promise对象放在其中,当所有resolve的时候就会执行then方法,当有一个reject的时候就会执行catch,而且他们的结果也是按着数组中的顺序来排放的,那么咱们来实现一下。
//all方法(获取全部的promise,都执行then,把结果放到数组,一块儿返回)Promise.all = function(promises){ let arr = [] let i = 0
function processData(index,data){
arr[index] = data i++ if(i == promises.length){ resolve(arr) }
} return new Promise((resolve,reject)=>{ for(let i=0;i<promises.length;i++){
promises[i].then(data=>{ processData(i,data) },reject) }
})
}
其原理就是将参数中的数组取出遍历,每当执行成功都会执行processData方法,processData方法就是用来记录每一个Promise的值和它对应的下标,当执行的次数等于数组长度时就会执行resolve,把arr的值给then。这里会有一个坑,若是你是经过arr数组的长度来判断他是否应该resolve的话就会出错,为何呢?由于js数组的特性,致使若是先出来的是1位置上的值进arr,那么0位置上也会多一个空的值,因此不合理。
4.4 race
race方法虽然不经常使用,可是在Promise方法中也是一个能用得上的方法,它的做用是将一个Promise数组放入race中,哪一个先执行完,race就直接执行完,并从then中取值。咱们来实现一下吧。
//race方法Promise.race = function(promises){ return new Promise((resolve,reject)=>{ for(let i=0;i<promises.length;i++){
promises[i].then(resolve,reject) }
})
}
原理你们应该看懂了,很简单,就是遍历数组执行Promise,若是有一个Promise执行成功就resolve。
Promise语法糖 deferred
语法糖这三个字你们必定很熟悉,做为一个很Swag的前端工程师,对async/await这对兄弟确定很熟悉,没错他们就是generator的语法糖。而咱们这里要讲的语法糖是Promise的。
//promise语法糖 也用来测试Promise.deferred = Promise.defer = function(){ let dfd = {}
dfd.promise = new Promise((resolve,reject)=>{
dfd.resolve = resolve dfd.reject = reject
}) return dfd
}
什么做用呢?看下面代码你就知道了
let fs = require('fs')let Promise = require('./promises')//Promise上的语法糖,为了防止嵌套,方便调用//坏处 错误处理不方便function read(){ let defer = Promise.defer()
fs.readFile('./1.txt','utf8',(err,data)=>{ if(err)defer.reject(err)
defer.resolve(data)
}) return defer.Promise
}
没错,咱们能够方便的去调用他语法糖defer中的Promise对象。那么它还有没有另外的方法呢?答案是有的。咱们须要在全局上安装promises-aplus-tests插件npm i promises-aplus-tests -g,再输入promises-aplus-tests [js文件名] 便可验证你的Promise的规范。
5.结尾
今天咱们就作了一个属于本身的Promise项目,理解里面的源码,方法原理,但愿你们都有收获。固然有什么意见你们均可以在评论区评论,peace and love。
git地址:https://github.com/Shinemax1/...
更多网易技术、产品、运营经验分享请访问网易云社区。
文章来源: 网易云社区