前言

Promise是老生常谈的问题,作为ES6时代新出的针对异步编程的一种解决方案,它解决了之前由各种​setTimeout​​或者各种​callback​​函数所造成的回调地狱, 最大的作用就是换了种写法,使得回调不再横向发展,改成了竖向发展 ,当然代码更好看更好理解也就能够提高生产效率(目前已经有​async/await​​​可以使得代码组织能力和可读性更加高了),那么今天就来看看Promise的原理,以及如何实现一个简易的Promise吧。

Promise要解决什么问题

在Promise出现之前,js代码中充斥着各种回调地狱(特别是在node中,由于err一般作为回调的第一个参数,结果导致需要层层判断),例如下面的代码:

自己实现一个简易Promise_数组

这就导致一个问题,代码横向发展成一个金字塔状,而可读性也会随着回调函数的增加变得越来越差,这就被称为回调地狱。

当然了,我们可以通过针对代码进行一些优化,例如抽离逻辑函数等,增强代码的可读性,从而解决回调地狱的问题,但是想法是想法,现实中有可能会因为deadline逼近,需求频繁变更等原因导致根本没时间或者没精力去优化代码,所以回调地狱的问题依旧非常严重。

对此,ES6推出了Promise A/+规范用于解决该问题,现代浏览器中的Promise对象就是根据该规范的实现。


Promise是如何解决回调地狱的

上面所说的回调地狱是横向发展的逻辑金字塔,Promise的使用可以将其改造成竖向的逻辑流,例如下面两段代码的对比:自己实现一个简易Promise_回调函数_02

由此也可以得出,Promise有两大有点:


  1. 减少缩进
  2. 解决类似​​if(err)​​形式的代码

Promise的简易实现

  • 首先看看Promise常用API

  • 方法: ​​all/allSettled/race/reject/resolve/then/finally/catch​
  • 属性: ​​state(pending/fulfilled/rejected)​

        在本篇博文中,主要探索的点在于Promise的内部原理大概是怎么样 的,所以关注点也就在于主要方法的实现,其中​then​方法是我们用的最多的,​resolve/rejected​​也是需要实现的点,以及对于​state​状态的控制等



  • Promise中的状态在Promise中,一共存在三种状态​pending / fulfilled / rejected​,他们分别对应等待 / 执行成功 / 执行出错,并且从一开始就是​​pending​​状态,而后单向转为​fulfilled​或者​rejected​,此后状态变不再变化,也就是说这是一个单向的变化过程,并且不可逆。
  • Promise的使用要实现Promise,首先需要知道如何使用它,例如下面一个简单的例子:

自己实现一个简易Promise_竖向_03


  • Promise​对象接收一个函数作为参数,该函数接收两个参数​resolve​和​rejected​,其中​resolve​函数相当于回调函数,当执行完某些任务的时候才执行,而​rejected​则是用于处理执行任务中的错误。
    上图例子中,Promise接收的参数函数会立即执行,并在打印出​aaa​和​bbb​后,执行​resolve​函数,之后之后在​resolve​函数(then)中,将参数123和123相加,最后将结果作为参数传递给下一个​​then​​函数,最后将最终结果打印出来。



Promise​的实现
  • 第一步,首先考虑Promise是一个类,在这个类中有一个属性标识它当前所处的状态(初始化状态为​pending​),并且这个类接收一个函数作为参数(该函数接收​resolve​和​reject​两个函数作为参数,但这两个参数都不是必传项),并且该函数会立即执行,此外还存在一个​​then​​方法,所以我们可以先行得出如下代码:

自己实现一个简易Promise_竖向_04





    • 第二步,我们使用在调用Promise之后,通常会使用​promise​​​.then​​,然后​​then​​方法接收两个参数,第一个参数是​succeed​函数,用于成功时候调用,第二个参数是​fail​,用于失败时候调用,如下:
      自己实现一个简易Promise_回调函数_05image.png
      在此,我们先考虑​succeed​函数,​succeed​函数会在传入Promise的函数执行完毕后再执行,如下图所示的执行顺序:
      自己实现一个简易Promise_数组_06image.png
      也就是说​succeed​是在​resolve​之后才执行的,然后当我再写一个​​then​​的时候,其中的​succeed​将会在第一个​​then​​的​​succeed​​执行完毕后执行,这时候我们就需要一个数组对​​then​​传入的​​succeed​​函数进行存储,而调用​​then​​实际上就是将这些​​succeed​​函数放入这个数组中,失败时候的​​fail​​函数同理放入到​​callbacks​​中:
      自己实现一个简易Promise_回调函数_07image.png



第三步,通过第二步骤后,我们拥有了一个数组对成功和失败的函数进行存储,每一次调用​​then​​函数时候,都会将其接收到的​​succeed​​和​​fail​​函数传入存储到里面去,但是现在也存在一个问题: 我们什么时候对这些函数进行调用呢?
首先我们再回到​​Promise​​的使用方式中来看看:
自己实现一个简易Promise_数组_08image.png可以见到,​​Promise​​接收的参数的函数中,​​resolve​​作为这个函数的参数,会在执行完毕其它事物后进行调用,也就是说,在​​resolve​​的时候,会将​​callbacks​​中的​​succeed​​函数拿出来执行,依据此,我们将​​Promise​​中的​​constructor​​改为如下:
自己实现一个简易Promise_回调函数_09image.png
这时候我们可以在​​Promise​​内部设定一个​​resolve​​函数去进行这一步,需要注意的有两点:






  1. 当​​resolve​​的时候,​​Promise​​内部的状态就变为了​​fulfilled​​,且只能从​​pending​​状态变为​​fulfilled​​:
    自己实现一个简易Promise_回调函数_10image.png
  2. 因为在​​callbacks​​中存储的回调都是只能在​​Promise​​接收到的函数的其他事务处理完毕后才进行处理,所以这里对​​callbacks​​里的回调进行调用时候需要使用异步调用,可以使用​​setTimeout​​(因为​​setTimeout​​是宏任务,所以可能产生一些其他问题,但是在这里可以使用它来暂时模拟),在node中可以使用​​process.nextTick​​:
    自己实现一个简易Promise_数组_11image.png

我们可以对现在完成的代码进行测试:


  1. 使用官方​​Promise​​:
    自己实现一个简易Promise_回调函数_12image.png
  2. 使用自己实现的​​Promise​​:
    自己实现一个简易Promise_数组_13image.png

同理,我们​​reject​​的处理方式也可以采用这种方式:

自己实现一个简易Promise_数组_14image.png


  • 第四步,我们这时候的​​Promise​​​还存在一个很大的问题,那就是无法链式调用,通常来说,​​Promise​​的用法如下:





自己实现一个简易Promise_竖向_15image.png
但此时我们的​​Promise​​使用链式调用的时候会报错:
自己实现一个简易Promise_数组_16image.png
原因就在于,我们在调用​​then​​函数的时候并没有返回一个新的​​Promise​​实例,可能有人会问,为什么需要返回新的​Promise​​实例呢?直接用最开始声明的​Promise​​实例不就好了吗?
原因就在于,​​Promise​​中的状态不可逆,也就是说在下面代码中,当​​promise​​进行了​resolve​或者​reject​后,状态已经变更了,无法再回到之前的​pending​状态
自己实现一个简易Promise_竖向_17image.png
这个时候就需要创建新的​​Promise​​实例来对第二个​​then​​中接收的​​succeed​​和​​fail​​进行存储并执行,也就是说执行了几个​​then​​函数,就有几个​​Promise​​实例,从而可以得知​​then​​函数会返回新的​​Promise​​实例,并且这个新的实例也需要进行保存:
自己实现一个简易Promise_回调函数_18image.png
然后在​​resolve​​和​​reject​​函数中,执行第二个​​Promise​​实例的​​resolve​​方法:
自己实现一个简易Promise_回调函数_19image.png
实现效果如下:
自己实现一个简易Promise_竖向_20image.png



第五步,这也是最后一步了,也就是参数的传递,一般用法如下:
自己实现一个简易Promise_回调函数_21image.png
这一步相对较为简单,只需要在​​​Promise​​​类中,​​callbacks​​​中的回调执行的时候将结果保存下来,并传递给下一个​​Promise​​​实例即可:
自己实现一个简易Promise_回调函数_22image.png
结果:
自己实现一个简易Promise_竖向_23image.png
​​​reject​​​的时候处理方式一样:
自己实现一个简易Promise_数组_24image.png



最后,我们再加上针对错误的处理即可:


自己实现一个简易Promise_竖向_25