Promise 作为 JS 社区的异步解决方案,为开发者提供了.then()
、Promise.resolve()
、Promise.reject()
等基本方法。除此之外,为了更方便地组合和控制多个的 Promise 实例,也提供了.all()
、.race()
等方法。
本文会在 Promise 的基本方法上,手动实现更高级的方法,来加深对 Promise 的理解:
Promise.all
Promise.race
Promise.any
Promise.allSettled
Promise.finally
⚠️ 完整代码和用例请到github.com/dongyuanxin/diy-promise。
Promise.all(iterators)
返回一个新的 Promise 实例。iterators 中包含外界传入的多个 promise 实例。
对于返回的新的 Promise 实例,有以下两种情况:
fulfilled
,那么返回的 promise 实例的状态就是fulfilled
,并且其 value 是 传入的所有 promise 的 value 组成的数组。rejected
,那么返回的 promise 实例的状态立即变为rejected
。实现思路:
Promise.resolve()
包装fulfilled
Promise.myAll = function(iterators) {const promises = Array.from(iterators);const num = promises.length;const resolvedList = new Array(num);let resolvedNum = 0;return new Promise((resolve, reject) => {promises.forEach((promise, index) => {Promise.resolve(promise).then(value => {// 保存这个promise实例的valueresolvedList[index] = value;// 通过计数器,标记是否所有实例均 fulfilledif (++resolvedNum === num) {resolve(resolvedList);}}).catch(reject);});});};
Promise.race(iterators)
的传参和返回值与Promise.all
相同。但其返回的 promise 的实例的状态和 value,完全取决于:传入的所有 promise 实例中,最先改变状态那个(不论是fulfilled
还是rejected
)。
实现思路:
pending -> fulfilled
时,其 value 就是Promise.race
返回的 promise 实例的 valuepending -> rejected
时,其 error 就是Promise.race
返回的 promise 实例的 errorPromise.myRace = function(iterators) {const promises = Array.from(iterators);return new Promise((resolve, reject) => {promises.forEach((promise, index) => {Promise.resolve(promise).then(resolve).catch(reject);});});};
Promise.any(iterators)
的传参和返回值与Promise.all
相同。
如果传入的实例中,有任一实例变为fulfilled
,那么它返回的 promise 实例状态立即变为fulfilled
;如果所有实例均变为rejected
,那么它返回的 promise 实例状态为rejected
。
⚠️Promise.all
与Promise.any
的关系,类似于,Array.prototype.every
和Array.prototype.some
的关系。
实现思路和Promise.all
及其类似。不过由于对异步过程的处理逻辑不同,因此这里的计数器用来标识是否所有的实例均 rejected。
Promise.any = function(iterators) {const promises = Array.from(iterators);const num = promises.length;const rejectedList = new Array(num);let rejectedNum = 0;return new Promise((resolve, reject) => {promises.forEach((promise, index) => {Promise.resolve(promise).then(value => resolve(value)).catch(error => {rejectedList[index] = error;if (++rejectedNum === num) {reject(rejectedList);}});});});};
Promise.allSettled(iterators)
的传参和返回值与Promise.all
相同。
根据ES2020,此返回的 promise 实例的状态只能是fulfilled
。对于传入的所有 promise 实例,会等待每个 promise 实例结束,并且返回规定的数据格式。
如果传入 a、b 两个 promise 实例:a 变为 rejected,错误是 error1;b 变为 fulfilled,value 是 1。那么Promise.allSettled
返回的 promise 实例的 value 就是:
[{ status: "rejected", value: error1 }, { status: "fulfilled", value: 1 }];
实现中的计数器,用于统计所有传入的 promise 实例。
const formatSettledResult = (success, value) =>success? { status: "fulfilled", value }: { status: "rejected", reason: value };Promise.allSettled = function(iterators) {const promises = Array.from(iterators);const num = promises.length;const settledList = new Array(num);let settledNum = 0;return new Promise(resolve => {promises.forEach((promise, index) => {Promise.resolve(promise).then(value => {settledList[index] = formatSettledResult(true, value);if (++settledNum === num) {resolve(settledList);}}).catch(error => {settledList[index] = formatSettledResult(false, error);if (++settledNum === num) {resolve(settledList);}});});});};
这三个方法均使用了计数器来进行异步流程控制,下面表格横向对比不同方法中计数器的用途,来加强理解:
方法名 | 用途 |
---|---|
Promise.all | 标记 fulfilled 的实例个数 |
Promise.any | 标记 rejected 的实例个数 |
Promise.allSettled | 标记所有实例(fulfilled 和 rejected)的个数 |
它就是一个语法糖,在当前 promise 实例执行完 then 或者 catch 后,均会触发。
举个例子,一个 promise 在 then 和 catch 中均要打印时间戳:
new Promise(resolve => {setTimeout(() => resolve(1), 1000);}).then(value => console.log(Date.now())).catch(error => console.log(Date.now()));
现在这段一定执行的共同逻辑,就可以用finally
简写为:
new Promise(resolve => {setTimeout(() => resolve(1), 1000);}).finally(() => console.log(Date.now()));
可以看出,Promise.prototype.finally
的执行与 promise 实例的状态无关,不依赖于 promise 的执行后返回的结果值。其传入的参数是函数对象。
实现思路:
Promise.prototype.finally = function(cb) {return this.then(value => Promise.resolve(cb()).then(() => value),error =>Promise.resolve(cb()).then(() => {throw error;}));};