Promise,js异步编程的流行解决方案,相比于古老的回调函数等方式,它更科学,更优雅。它来自民间,后被官方招安。
本文将从介绍用法开始,一步步了解Promise,探究源码,最终根据官方规范手写一个Promise。
让我们先拥抱ta,再扒光ta!
我想在你身上,做春天在樱桃树身上做的事情。——巴勃罗·聂鲁达
1. How Promise?
- 创建Promise
首先来看看promise的用法,从名字可以看出它是个构造函数,所以我们得new它,得到一个Promise实例p,我们打印p看看
let p = new Promise
console.log(p) // TypeError: Promise resolver undefined is not a function
- 参数
报错信息告诉我们,Promise需要一些参数,这里需要一个函数(我们叫它执行器)作为参数,该函数有两个参数————resolve和reject,这两个参数也是函数(由js引擎提供),我们可以在Promise内部调用,当异步操作成功时,调用resolve,否则reject。
let p =new Promise(function(resolve, reject){
if(/* 异步操作成功 */){
resolve(data)
}else{
reject(err)
}
})
- state
现在我们需要知道一个重要概念,Promise是有“状态”的,分别是pending(等待态)、fulfilled(成功态)、rejected(失败态),pending可以转换为fulfilled或rejected,但fulfilled和rejected不可相互转化。
- resolve/reject 方法
resolve方法可以将pending转为fulfilled,reject方法可以将pending转为rejected。
- then方法
通过给Promise示例上的then方法传递两个函数作为参数,可以提供改变状态时的回调,第一个函数是成功的回调,第二个则是失败的回调。
p.then(function(data){ // resolve方法会将参数传进成功的回调
console.log(data)
}, function(err){ // reject方法会将失败的信息传进失败的回调
console.log(err)
})
举个栗子
let p = new Promise(function(resolve, reject){
setTimeout(function(){
let num = Math.random()
if (num > 0.5) {
resolve(num)
}else{
reject(num)
}
}, 1000)
})
p.then(function(num){
console.log('大于0.5的数字:', num)
},function(num){
console.log('小于等于0.5的数字', num)
})
// 运行第一次:小于等于0.5的数字 0.166162996031475
// 运行第二次:大于0.5的数字: 0.6591451548308984
...
在Promise执行器中我们进行了一次异步操作,并在我们觉得合适的时候调用成功或失败的回调函数,并拿到了想要的数据以进行下一步操作
- 链式调用
除此之外,每一个then方法都会返回一个新的Promise实例(不是原来那个),让then方法支持链式调用,并可以通过返回值将参数传递给下一个then
p.then(function(num){
return num
},function(num){
return num
}).then(function(num){
console.log('大于0.5的数字:', num)
},function(num){
console.log('小于等于0.5的数字', num)
})
- catch方法
catch方法等同于.then(null, reject),可以直接指定失败的回调(支持接收上一个then发生的错误)
- Promise.all()
这可能是个很有用的方法,它可以统一处理多个Promise
Promise.all能将多个Promise实例包装成一个Promise实例
let Promise1 = new Promise(function(resolve, reject){})
let Promise2 = new Promise(function(resolve, reject){})
let Promise3 = new Promise(function(resolve, reject){})
let p = Promise.all([Promise1, Promise2, Promise3])
p.then(funciton(){
// 三个都成功则成功
}, function(){
// 只要有失败,则失败
})
这个组合后的Promise实例和普通实例一样,有三种状态,这里有组成它的几个小Promise的状态决定 :
1、当Promise1, Promise2, Promise3的状态都为成功态,则p为成功态; 2、当Promise1, Promise2, Promise3中有任意一个为失败态,则p为失败态;
- Promise.race()
与all方法类似,也可以讲多个Promise实例包装成一个新的Promise实例
不同的是,all时大Promise的状态由多个小Promise共同决定,而race时由第一个转变状态的小Promise的状态决定,第一个是成功态,则转成功态,第一个失败态,则转失败态
- Promise.resolve()
可以生成一个成功的Promise
Promise.resolve(‘成功’)等同于new Promise(function(resolve){resolve(‘成功’)})
- Promise.reject()
可以生成一个失败的Promise
Promise.reject(‘出错了’)等同于new Promise((resolve, reject) => reject(‘出错了’))
上述用法不够详细,下面的代码会更容易理解
2. Why Promise?
以jquery的ajax为例(@1.5.0版本以前,后来jquery也引入了Promise的概念),看看从前我们是如何解决异步问题的。
$.get('url', {data: data}, function(result){
console.log('成功', result)// 成功的回调,result为异步拿到的数据
});
看起来还可以?
想象一个场景,当我们需要发送多个异步请求,而请求之间相互关联相互依赖,没有请求1就不会有请求2,没有请求2就不会有请求3……..
这时我们需要这样写
$.get('url', {data: data}, function(result1){
$.get('url', {data: result1}, function(result2){
$.get('url', {data: result2}, function(result3){
$.get('url', {data: result3}, function(result4){
......
$.get('url', {data: resultn}, function(resultn+1){
console.log('成功')
}
}
}
}
});
这样的话,我们就掉入了传说中的回调地狱,万劫不复,不能自拔。
这种代码,难以维护和调试,一旦出现bug,牵一发而动全身。
下面我们看看Promise是如何解决的,我们以node中的fs访问文件举例
先创建三个相互依赖的txt文件
1.txt的内容:
2.txt
2.txt的内容:
3.txt
3.txt的内容:
完成
js代码:
let readFile = require('fs').readFile; // 加载node内置模块fs 利用readFile方法异步访问文件
function getFile(url){ // 创建一个读取文件方法
return new Promise(function(resolve, reject){ // 返回一个Promise对象
readFile(url, 'utf8', function(err,data){ // 读取文件
resolve(data) // 调用成功的方法
})
})
}
getFile('1.txt').then(function(data){ // then方法进行链式调用
console.log(data) // 2.txt
return getFile(data) //拿到了第一次的内容用来请求第二次
}).then(function(data){
console.log(data) // 3.txt
return getFile(data) //拿到了第二次的内容用来请求第三次
}).then(function(data){
console.log(data) // 完成
})
(这里我们先不必搞懂代码,下面会介绍具体用法)
看起来多了几行代码[尴尬],但我们通过创建一个读取函数返回一个Promise对象,再利用Promise自带的.then方法,将嵌套的异步代码弄得看起来像同步一样,这样的话,出现问题可以轻易的调试和修改。
3. What Promise?
接下来是本文的重头戏,根据PromiseA+(Promise的官方标准)动手实现一个180行左右代码的promise,功能可实现多数(then catch all race resolve reject),这里会将的比较详细,一步一步理清思路。
- 实现resolve、reject方法,then方法和状态机制
根据使用方法我们可以知道,Promise是一个需要接受一个执行器的构造函数,执行器提供两个方法,内部有状态机制,原型链上有then方法。
开始撸:
// myPromise
function Promise(executor){ //executor是一个执行器(函数)
let _this = this // 先缓存this以免后面指针混乱
_this.status = 'pending' // 默认状态为等待态
_this.value = undefined // 成功时要传递给成功回调的数据,默认undefined
_this.reason = undefined // 失败时要传递给失败回调的原因,默认undefined
function resolve(value) { // 内置一个resolve方法,接收成功状态数据
// 上面说了,只有pending可以转为其他状态,所以这里要判断一下
if (_this.status === 'pending') {
_this.status = 'resolved' // 当调用resolve时要将状态改为成功态
_this.value = value // 保存成功时传进来的数据
}
}
function reject(reason) { // 内置一个reject方法,失败状态时接收原因
if (_this.status === 'pending') { // 和resolve同理
_this.status = 'rejected' // 转为失败态
_this.reason = reason // 保存失败原因
}
}
executor(resolve, reject) // 执行执行器函数,并将两个方法传入
}
// then方法接收两个参数,分别是成功和失败的回调,这里我们命名为onFulfilled和onRjected
Promise.prototype.then = function(onFulfilled, onRjected){
let _this = this; // 依然缓存this
if(_this.status === 'resolved'){ // 判断当前Promise的状态
onFulfilled(_this.value) // 如果是成功态,当然是要执行用户传递的成功回调,并把数据传进去
}
if(_this.status === 'rejected'){ // 同理
onRjected(_this.reason)
}
}
module.exports = Promise // 导出模块,否则别的文件没法使用
注意:上面代码的命名不是随便起的,像onFulfilled和onRjected,是严格按照Promise/A+规范走的,不信你看图
![](data:image/svg+xml;utf8,)
这样我们就实现了第一步,可以创建Promise实例并使用then方法了,测试一下
let Promise = require('./myPromise') // 引入模块
let p = new Promise(function(resolve, reject){
resolve('test')
})
p.then(function(data){
console.log('成功', data)
},function(err){
console.log('失败', err)
})
// 成功 test
再试试reject
let Promise = require('./myPromise') // 引入模块
let p = new Promise(function(resolve, reject){
reject('test')
})
p.then(function(data){
console.log('成功', data)
},function(err){
console.log('失败', err)
})
// 失败 test
看起来不错,但回调函数是立即执行的,无法进行异步操作,比如这样是不行的
let p = new Promise(function(resolve, reject){
setTimeout(function(){
resolve(100)
}, 1000)
})
p.then(function(data){
console.log('成功', data)
},function(err){
console.log('失败', err)
})
// 不会输出任何代码
原因是我们在then函数中只对成功态和失败态进行了判断,而实例被new时,执行器中的代码会立即执行,但setTimeout中的代码将稍后执行,也就是说,then方法执行时,Promise的状态没有被改变依然是pending态,所以我们要对pending态也做判断,而由于代码可能是异步的,那么我们就要想办法把回调函数进行缓存,并且,then方法是可以多次使用的,所以要能存多个回调,那么这里我们用一个数组。
- 实现异步
在实例上挂两个参数
_this.onResolvedCallbacks = []; // 存放then成功的回调
_this.onRejectedCallbacks = []; // 存放then失败的回调
Js中文网 – 前端进阶资源教程 www.javascriptC.com,typescript 中文手册 专注分享前端知识,你想要的,在这里都能找到
then方法加一个pending时的判断
if(_this.status === 'pending'){
// 每一次then时,如果是等待态,就把回调函数push进数组中,什么时候改变状态什么时候再执行
_this.onResolvedCallbacks.push(function(){ // 这里用一个函数包起来,是为了后面加入新的逻辑进去
onFulfilled(_this.value)
})
_this.onRejectedCallbacks.push(function(){ // 同理
onRjected(_this.reason)
})
}
下一步要分别在resolve和reject方法里加入执行数组中存放的函数的方法,修改一下上面的resolve和reject方法
function resolve(value) {
if (_this.status === 'pending') {
_this.status = 'resolved'
_this.value = value
_this.onResolvedCallbacks.forEach(function(fn){ // 当成功的函数被调用时,之前缓存的回调函数会被一一调用
fn()
})
}
}
function reject(reason) {
if (_this.status === 'pending') {
_this.status = 'rejected'
_this.reason = reason
_this.onRejectedCallbacks.forEach(function(fn){// 当失败的函数被调用时,之前缓存的回调函数会被一一调用
fn()
})
}
}
现在可以执行异步任务了,也可以多次then了,一个穷人版Promise就完成了,
- 处理错误
上面的代码虽然能用,但经不起考验,真正的Promise如果在实例中抛出错误,应该走reject:
new Promise(function(resolve, reject){
throw new Error('错误')
}).then(function(){
},function(err){
console.log('错误:', err)
})
// 错误: Error: 错误
我们实现一下,思路很简单,在执行器执行时进行try catch
try{
executor(resolve, reject)
}catch(e){ // 如果捕获发生异常,直接调失败,并把参数穿进去
reject(e)
}
- 实现then的链式调用(难点)
上面说过了,then可以链式调用,也是这一点让Promise十分好用,当然这部分源码也比较复杂
我们知道jquery实现链式调用是return了一个this,但Promise不行,为什么不行?
正宗的Promise是这样的套路:
let p1 = new Promise(function(resolve, reject){
resolve()
})
let p2 = p1.then(function(data){ //这是p1的成功回调,此时p1是成功态
throw new Error('错误') // 如果这里抛出错误,p2应是失败态
})
p2.then(function(){
},function(err){
console.log(err)
})
// Error: 错误
如果返回的是this,那么p2跟p1相同,固状态也相同,但上面说了,Promise的成功态和失败态不能相互转换,那就不会得到p1成功而p2失败的效果,而实际上是可能发生这种情况的。
所以Promise的then方法实现链式调用的原理是:返回一个新的Promise
在then方法中先定义一个新的Promise,取名为promise2(官方规定的),然后在三种状态下分别用promise2包装一下,在调用onFulfilled时用一个变量x(规定的)接收返回值,trycatch一下代码,没错就调resolve传入x,有错就调reject传入错误,最后再把promise2给return出去,就可以进行链式调用了,,,,但是!
Js中文网 – 前端进阶资源教程 www.javascriptC.com,typescript 中文手册 专注分享前端知识,你想要的,在这里都能找到
// 改动then
let promise2;
if (_this.status === 'resolved') {
promise2 = new Promise(function (resolve, reject) {
// 可以凑合用,但是是有很多问题的
try {
let x = onFulfilled(_this.value)
resolve(x)
} catch (e) {
reject(e)
}
})
}
if (_this.status === 'rejected') {
promise2 = new Promise(function (resolve, reject) {
// 可以凑合用,但是是有很多问题的
try {
let x = onRjected(_this.reason)
resolve(x)
} catch (e) {
reject(e)
}
})
}
if(_this.status === 'pending'){
promise2 = new Promise(function (resolve, rejec
_this.onResolvedCallbacks.push(function(){
// 可以凑合用,但是是有很多问题的
try {
let x = onFulfilled(_this.value)
resolve(x)
} catch (e) {
reject(e)
}
})
_this.onRejectedCallbacks.push(function(){
// 可以凑合用,但是是有很多问题的
try {
let x = onRjected(_this.reason)
resolve(x)
} catch (e) {
reject(e)
}
})
})
}
return promise2
这里我先解释一下x的作用再说为什么不行,x是用来接收上一次then的返回值,比如这样
let p = new Promise(function(resolve, reject){
resolve(data)
})
p.then(function(data){
return xxx // 这里返回一个值
}, function(){
}).then(function(data){
console.log // 这里会接收到xxx
}, function(){
})
// 以上代码中第一次then的返回值就是源码内第一次调用onRjected的返回值,可以用一个x来接收
接下来说问题,上面这样看起来是符合逻辑的,并且也确实可以链式调用并接受到,但我们在写库,库就要经得起考验,把容错性提到最高,要接受使用者各种新(cao)奇(dan)操作,所谓有容nai大。可能性如下:
1、前一次then返回一个普通值,字符串数组对象这些东西,都没问题,只需传给下一个then,刚才的方法就够用。
2、前一次then返回的是一个Promise,是正常的操作,也是Promise提供的语法糖,我们要想办法判断到底返回的是啥。
3、前一次then返回的是一个Promise,其中有异步操作,也是理所当然的,那我们就要等待他的状态改变,再进行下面的处理。
4、前一次then返回的是自己本身这个Promise
var p1 = p.then(function(){// 这里得用var,let由于作用域的原因会报错undefined
return p1
})
5、前一次then返回的是一个别人自己随便写的Promise,这个Promise可能是个有then的普通对象,比如{then:’哈哈哈’},也有可能在then里故意抛错(这种蛋疼的操作我们也要考虑进去)。比如他这样写
let promise = {}
Object.defineProperty(promise,'then',{
value: function(){
throw new Error('报错气死你')
}
})
// 如果返回这东西,我们再去调then方法就肯定会报错了
Js中文网 – 前端进阶资源教程 www.javascriptC.com,typescript 中文手册 专注分享前端知识,你想要的,在这里都能找到
6、调resolve的时候再传一个Promise下去,我们还得处理这个Promise。
p.then(function(data) {
return new Promise(function(resolve, reject) {
resolve(new Promise(function(resolve,reject){
resolve(1111)
}))
})
})
7、可能既调resolve又调reject,得忽略后一个。
8、光then,里面啥也不写。
。。
稍等,我先吐一会。。。
好了咱们调整心情继续撸,其实这一系列的问题,很多都是相关的,只要根据规范,都可以顺利解决,接上面的代码,先干三件事
1、问题7是最好解决的,如果没传resolve和reject,我们就给他一个。
2、官方规范规定了一件事
简单说就是为免在测试中出问题onFulfilled和onRejected要异步执行,我们就让他异步执行
3、问题1-7,我们可以采取统一的觉得方案,定义一个函数来判断和处理这一系列的情况,官方给出了一个叫做resolvePromise的函数
再看then方法
Promise.prototype.then = function (onFulfilled, onRjected) {
//成功和失败默认不传给一个函数,解决了问题8
onFulfilled = typeof onFulfilled === 'function' ? onFulfilled : function (value) {
return value;
}
onRjected = typeof onRjected === 'function' ? onRjected : function (err) {
throw err;
}
let _this = this;
let promise2; //返回的promise
if (_this.status === 'resolved') {
promise2 = new Promise(function (resolve, reject) {
// 当成功或者失败执行时有异常那么返回的promise应该处于失败状态
setTimeout(function () {// 根据规范让那俩家伙异步执行
try {
let x = onFulfilled(_this.value);//这里解释过了
// 写一个方法统一处理问题1-7
resolvePromise(promise2, x, resolve, reject);
} catch (e) {
reject(e);
}
})
})
}
if (_this.status === 'rejected') {
promise2 = new Promise(function (resolve, reject) {
setTimeout(function () {
try {
let x = onRjected(_this.reason);
resolvePromise(promise2, x, resolve, reject);
} catch (e) {
reject(e);
}
})
})
}
if (_this.status === 'pending') {
promise2 = new Promise(function (resolve, reject) {
_this.onResolvedCallbacks.push(function () {
setTimeout(function () {
try {
let x = onFulfilled(_this.value);
resolvePromise(promise2, x, resolve, reject);
} catch (e) {
reject(e)
}
})
});
_this.onRejectedCallbacks.push(function () {
setTimeout(function () {
try {
let x = onRjected(_this.reason);
resolvePromise(promise2, x, resolve, reject);
} catch (e) {
reject(e);
}
})
});
})
}
return promise2;
}
接下来看看resolvePromise该怎么写
function resolvePromise(promise2, x, resolve, reject) {
// 接受四个参数,新Promise、返回值,成功和失败的回调
// 有可能这里返回的x是别人的promise
// 尽可能允许其他乱写
if (promise2 === x) { //这里应该报一个类型错误,来解决问题4
return reject(new TypeError('循环引用了'))
}
// 看x是不是一个promise,promise应该是一个对象
let called; // 表示是否调用过成功或者失败,用来解决问题7
//下面判断上一次then返回的是普通值还是函数,来解决问题1、2
if (x !== null && (typeof x === 'object' || typeof x === 'function')) {
// 可能是promise {},看这个对象中是否有then方法,如果有then我就认为他是promise了
try {
let then = x.then;// 保存一下x的then方法
if (typeof then === 'function') {
// 成功
//这里的y也是官方规范,如果还是promise,可以当下一次的x使用
//用call方法修改指针为x,否则this指向window
// Js中文网 - 前端进阶资源教程 [www.javascriptC.com](https://www.javascriptc.com),typescript 中文手册
// 专注分享前端知识,**你想要的,在这里都能找到**
then.call(x, function (y) {
if (called) return //如果调用过就return掉
called = true
// y可能还是一个promise,在去解析直到返回的是一个普通值
resolvePromise(promise2, y, resolve, reject)//递归调用,解决了问题6
}, function (err) { //失败
if (called) return
called = true
reject(err);
})
} else {
resolve(x)
}
} catch (e) {
if (called) return
called = true;
reject(e);
}
} else { // 说明是一个普通值1
resolve(x); // 表示成功了
}
}
- 测试一下
PromiseA+提供了测试库promises-aplus-tests,github上明确讲解了使用方法
公开一个适配器接口:
Promise.deferred = function () {
let dfd = {};
dfd.promise = new Promise(function (resolve, reject) {
dfd.resolve = resolve;
dfd.reject = reject;
});
return dfd
}
用命令行: promises-aplus-tests myPromise.js
经过一系列测试得到结果
872 passing (18s)
证明了我们的promise是完全符合规范的!
- 其他方法
除了最重要的then方法,Promise还有很多方法,但都不难,这里一次性介绍一遍
// 捕获错误的方法,在原型上有catch方法,返回一个没有resolve的then结果即可
Promise.prototype.catch = function (callback) {
return this.then(null, callback)
}
// 解析全部方法,接收一个Promise数组promises,返回新的Promise,遍历数组,都完成再resolve
Promise.all = function (promises) {
//promises是一个promise的数组
return new Promise(function (resolve, reject) {
let arr = []; //arr是最终返回值的结果
let i = 0; // 表示成功了多少次
function processData(index, y) {
arr[index] = y;
if (++i === promises.length) {
resolve(arr);
}
}
for (let i = 0; i < promises.length; i++) {
promises[i].then(function (y) {
processData(i, y)
}, reject)
}
})
}
// 只要有一个promise成功了 就算成功。如果第一个失败了就失败了
Promise.race = function (promises) {
return new Promise(function (resolve, reject) {
for (var i = 0; i < promises.length; i++) {
promises[i].then(resolve,reject)
}
})
}
// 生成一个成功的promise
Promise.resolve = function(value){
return new Promise(function(resolve,reject){
resolve(value);
})
}
// 生成一个失败的promise
Promise.reject = function(reason){
return new Promise(function(resolve,reject){
reject(reason);
})
}
结语:Promise是异步的较好的解决方案之一,通过对源码的解析,对Promise甚至js异步都有了深刻的理解。Promise已经诞生很久了,如果你还不了解它,那你已经很落后了,抓紧时间上车。程序世界一日千里,作为程序员,要主动拥抱变化。
看完两件小事
如果你觉得这篇文章对你挺有启发,我想请你帮我两个小忙:
- 把这篇文章分享给你的朋友 / 交流群,让更多的人看到,一起进步,一起成长!
- 关注公众号 「画漫画的程序员」,公众号后台回复「资源」 免费领取我精心整理的前端进阶资源教程
本文著作权归作者所有,如若转载,请注明出处
转载请注明:文章转载自「 Js中文网 · 前端进阶资源教程 」https://www.javascriptc.com