深入理解Promise

5,342 阅读9分钟

什么是Promise

  • ES6 异步编程的一种解决方案,比传统的方案(回调函数和事件)更加的合理和强大
  • 好处 异步操作以同步操作的流程表达出来,避免了层层嵌套的回调函数
  • promise可以解决异步的问题,本身不能说promise是异步的

Promise特点

  • 对象的状态不受外界影响Promise对象代表一个异步操作,有三种状态:pending(进行中)、resolved(已成功)和rejected(已失败)
  • 一旦状态改变,就不会再变,任何时候都可以得到这个结果Promise对象的状态改变,只有两种可能:从pending变为resolved和从pending变为rejected
  • promise内部发生错误,不会影响到外部程序的执行。
  • 无法取消Promise。一旦新建它就会立即执行,无法中途取消。其次,如果不设置回调函数,Promise内部抛出的错误,不会反应到外部。第三,当处于pending状态时,无法得知目前进展到哪一个阶段(刚刚开始还是即将完成)

用法

基础用法

创造Promise实例时,必须传入一个函数作为参数

new Promise(() => {});
new Promise(); // 报错

该函数可以接收另外两个由JavaScript引擎提供的函数,resolvereject。函数作用:

  • resolve——将Promise对象的状态从pending变为resolved,将异步操作的结果,作为参数传递出去
  • reject——将Promise对象的状态从pending变为rejected,将异步操作报出的错误,作为参数传递出去
let promise = new Promise((resolve, reject) => {
  // do something
  if (true) {
    // 将参数返回,供then方法使用
    resolve("value");
  } else {
    // 将参数返回,供then方法使用
    reject("error");
  }
});

Promise实例生成以后,可以用then方法分别指定resolved状态和rejected状态的回调函数。

promise.then(
  value => {
    // resolved时调用,value为resolve函数返回的参数
    console.log(value);
  },
  err => {
    // rejected时调用,err为reject函数返回的参数
    console.log(err);
  }
);

then方法只有一个函数参数时,此时为resolved状态的回调方法

promise.then(value => {
    // 只有状态为resolved时才能调用,如果返回的是rejected状态,则报错 Uncaught (in promise) error
    console.log(value);
  });

只有当promise的状态变为resolved或者rejected时,then方法才会被调用

Promise 新建后就会立即执行,并且调用resolvereject后不会终结 Promise的参数函数的执行。

let promise = new Promise(resolve => {
  console.log("Promise");
  resolve();
  console.log("!!!")
});

promise.then(function() {
  console.log("resolved.");
});
console.log("Hi!");

// Promise
// !!!
// Hi!
// resolved

resolve返回的是另外一个Promise实例

const p1 = new Promise((_, reject) => {
  setTimeout(() => reject('error'), 3000);
});

const p2 = new Promise(resolve => {
  setTimeout(() => resolve(p1), 1000);
});

p2.then(
  result => console.log(result),
  error => console.log(error) // error
);

上面代码中,p1是一个 Promise,3 秒之后变为rejectedp2的状态在 1 秒之后改变,resolve方法返回的是p1。由于p2返回的是另一个 Promise,导致p2自己的状态无效了,由p1的状态决定p2的状态。所以,后面的then语句都变成针对后者(p1)。又过了 2 秒,p1变为rejected,导致触发catch方法指定的回调函数。

以上是原文解释,我们可以理解成p2.then 实际上是p1.then

promise内部发生错误,错误会被reject

const promise = new Promise(resolve => {
  throw new Error("aa") // 等同于reject(new Error("aa"))
  resolve("resolve");
});
console.log(promise) // Promise {<rejected>: Error: aa ...... }

在then方法中也同样如此

Promise.resolve()

该方法返回一个以给定值解析后的Promise 对象。

Promise.resolve('foo')
// 等价于
new Promise(resolve => resolve('foo'))

Promise.resolve()方法的参数分成四种情况

参数是一个 Promise 实例

如果参数是 Promise 实例,那么Promise.resolve将不做任何修改、原封不动地返回这个实例。它的行为类似与一个空包装。

const promise = new Promise((resolve, reject) => {
  reject("resolve");
});
let p = Promise.resolve(promise);
console.log(p == promise); // true

参数是一个thenable对象

thenable对象指的是具有then方法的对象,Promise.resolve()方法会将这个对象转为 Promise 对象,然后就立即执行thenable对象的then()方法,返回的promise会“跟随”这个thenable的对象,采用它的最终状态

// thenable对象
let thenable = {
  then(resolve, reject) {
    reject(42);
  }
};

let p1 = Promise.resolve(thenable);
p1.then(value => {
  console.log("resolved",value);
},err => {
  console.log("rejected",err); // 42
});

上面代码中,thenable对象的then()方法执行后,对象p1的状态就变为rejected,从而立即执行最后那个then()方法指定的回调函数,输出42

参数不是具有then()方法的对象,或根本就不是对象

const p = Promise.resolve('Hello');
p.then( s => {
  console.log(s) // Hello
});

不带有任何参数

Promise.resolve()方法允许调用时不带参数,直接返回一个resolved状态的 Promise 对象

Promise.resolve();
// 相当于
new Promise(resolve => resolve(undefined))

Promise.reject()

Promise.reject()方法也会返回一个新的状态为rejected的Promise 实例

const p = Promise.reject('出错了');
// 等同于
const p = new Promise((resolve, reject) => reject('出错了'))

任何参数都会成为这个拒绝期约的理由,即使是一个resolved状态的promise也不行

let promise = Promise.resolve("foo")
let p1 = Promise.reject(promise);
p1.then(value => {
  console.log("resolved",value);
},err => {
  console.log("rejected",err); // Promise {<fulfilled>: 'foo'}
});


Promise.prototype.then()

then方法是定义在原型对象Promise.prototype上的,同时then方法的两个参数都是非必选的。then方法能够返回一个**全新的promise实例**,因此then方法可以链式调用。那then方法返回Promise的是由什么决定的呢?

  1. 原样向后传

当未传入处理程序时或者未成功调用then方法时则原样向后传

// 未传入处理程序
const p1 = Promise.resolve("foo")
let pt1 = p1.then();
console.log(p1); // Promise <resolved>: foo
console.log(pt1); // Promise <resolved>: foo
// 未成功调用then方法
const p2 = Promise.reject("bar")
let pt2 = p2.then(value => {
  console.log(value);
});
  1. Promise.resolve()包装返回值

默认的返回值为undefined

let pt3 = p2.then(undefined, value => {
  console.log(value);
});
console.log(pt3);

Promise.prototype.catch()

catch()方法是.then(null, rejection).then(undefined, rejection)的别名,用于指定发生错误时的回调函数。catch()方法也会返回一个 Promise 对象(同then方法)

const promise = new Promise((_, reject) => {
  reject("reject");
});

promise
  .then(value => {
  console.log(value);
})
	// 发生错误,或者reject时执行
  .catch(value => {
  console.log(value);
});

如果 Promise 状态已经变成resolved,再抛出错误是无效的。

const promise = new Promise(resolve => {
  resolve("resolve");
  throw new Error("fail");
});

promise.then(value => console.log(value));

promise中所有没有被处理的错误都会冒泡到最后一个catch中

const promise = new Promise(resolve => {
  resolve("resolve");
});
promise
  .then(value => {
  console.log(value);
  throw new Error("fail1");
})
  .then(() => {
  throw new Error("fail2");
})
  .catch(value => {
  console.log(value);
});

在上面的代码中,catch会优先打印打印第一个错误,当第一个错误解决之后(注释掉就ok),catch里才会打印第二个错误
catch的返回值仍是promise,返回promise的方式和then相似,因此,catch后仍然可以调用then方法

Promise 内部的错误不会影响到 Promise 外部的代码

Promise.prototype.finally()

finally()方法用于指定不管 Promise 对象最后状态如何,都会执行的操作。
finally方法的回调函数不接受任何参数,这表明,finally方法里面的操作,应该是与状态无关的,不依赖于 Promise 的执行结果。

const promise = new Promise(resolve => {
  resolve("resolve");
});
promise.finally(() => {
  console.log(11); // 11
});

finally的本质

promise.finally(() => {
  // do something
});

// 等同于
promise.then(
  result => {
    // do something
    return result;
  },
  error => {
    // do something
    throw error;
  }
);

finally的返回值为一个新的和原来的值相似的promise

Promise.all() 

Promise.all()方法用于将多个 Promise 实例,包装成一个新的 Promise 实例

const p = Promise.all([p1, p2, p3]);

面代码中,Promise.all()方法接受一个数组作为参数,p1p2p3都是 Promise 实例,如果不是,就会调用Promise.resolve方法,将参数转为 Promise 实例,再进一步处理。另外,Promise.all()方法的参数可以不是数组,但必须具有 Iterator 接口,且返回的每个成员都是 Promise 实例。
p的状态由p1p2p3决定,分成两种情况。

  • 只有p1p2p3的状态都变成resolvedp的状态才会变成resolved,此时p1p2p3的返回值组成一个数组,传递给p的回调函数。
  • 只要p1p2p3之中有一个被rejectedp的状态就变成rejected,此时第一个被reject的实例的返回值,会传递给p的回调函数。
let p2 = Promise.reject(2);
let promise = Promise.all([1, p2, 3]);
promise
  .then(value => {
  console.log(value);
})
  .catch(err => {
  console.log(err); // 2
});
console.log(promise);


如果作为参数的 Promise 实例,自己定义了catch方法,那么它一旦被rejected,并不会触发Promise.all()catch方法

const p1 = new Promise(resolve => {
  resolve("hello");
})
.then(result => result)
.catch(e => e);

const p2 = new Promise(() => {
  throw new Error("报错了");
})
.then(result => result)
.catch(e => e); // p2实际上是catch返回的promise实例

Promise.all([p1, p2])
  .then(result => console.log(result)) // ['hello', Error: 报错了]
  .catch(e => console.log(e)); // 不触发

Promise.race()

Promise.race()方法同样是将多个 Promise 实例,包装成一个新的 Promise 实例。
Promise.race()方法的参数与Promise.all()方法一样,如果不是 Promise 实例,就会先调用下面讲到的Promise.resolve()方法,将参数转为 Promise 实例,再进一步处理。

const p = Promise.race([p1, p2, p3]);

上面代码中,只要p1p2p3之中有一个实例率先改变状态,p的状态就跟着改变。那个率先改变的 Promise 实例的返回值,就传递给p的回调函数。

Promise.allSettled() 

Promise.allSettled()方法接受一组 Promise 实例作为参数,包装成一个新的 Promise 实例。只有等到所有这些参数实例都返回结果,不管是fulfilled还是rejected,包装实例才会结束,参数与Promise.all()方法一样

let p2 = Promise.reject(2);
let promise = Promise.allSettled([1, p2, 3]);
promise.then(value => {
  console.log(value); // [{status: "fulfilled", value: 1},{status: "rejected", reason: 2},{status: "fulfilled", value: 3}]
});
console.log(promise);

Promise.allSettled()的返回的promise实例状态只可能变成resolved,它的监听函数收到的参数是一个数组,该数组的每个成员都是一个对象,每一个对象都有status属性,该属性的值只可能是字符串fulfilled或字符串rejectedfulfilled时,对象有value属性,rejected时有reason属性,对应两种状态的返回值。

Promise.any()

该方法接受一组 Promise 实例作为参数,包装成一个新的 Promise 实例返回。只要参数实例有一个变成fulfilled状态,包装实例就会变成fulfilled状态;如果所有参数实例都变成rejected状态,包装实例就会变成rejected状态。
Promise.any()Promise.race()方法很像,只有一点不同,就是不会因为某个 Promise 变成rejected状态而结束。

let p1 = Promise.reject(1);
let p2 = Promise.reject(2);
let promise = Promise.any([p1, p2, 3]);
promise.then(value => {
  console.log(value); // 3
});
console.log(promise);

当所有的实例返回的状态都是rejected时,Promise.any()会返回一个的实例状态才为rejected

let p1 = Promise.reject(1);
let p2 = Promise.reject(2);
let promise = Promise.any([p1, p2]);
promise
  .then(value => {
  console.log(value);
})
  .catch(value => {
  console.log(value); // AggregateError: All promises were rejected
});
console.log(promise);

Promise.try()

实际开发中,经常遇到一种情况:不知道或者不想区分,函数f是同步函数还是异步操作,但是想用 Promise 来处理它。因为这样就可以不管f是否包含异步操作,都用then方法指定下一步流程,用catch方法处理f抛出的错误。一般就会采用下面的写法。

const f = () => console.log('now');
Promise.resolve().then(f);
console.log('next');
// next
// now

上面的写法有一个缺点,就是如果f是同步函数,那么它会在本轮事件循环的末尾执行。
鉴于这是一个很常见的需求,所以现在有一个提案,提供Promise.try方法替代上面的写法。

const f = () => console.log('now');
Promise.try(f);
console.log('next');
// now
// next