理解Promise + 手写实现promise

1.Promise

const promise = new Promise(function(resolve, reject) {
  // ... some code

  if (/* 异步操作成功 */){
    resolve(value);
  } else {
    reject(error);
  }
});

理解promise:

  1. Promise构造函数接受一个函数作为参数,该函数的两个参数分别是resolve和reject。
  2. 可以用来管理异步编程的,它本身不是异步的 。可解决方案回调地狱问题。
  3. new Promise出来的实例,成功或者失败,取决于executor函数执行的时候,执行的是resolve还是reject决定的,或executor函数执行发生异常错误,这两种情况都会把实例状态改为失败的。
  4. Promise 对象的错误具有“冒泡”性质,会一直向后传递,直到被捕获为止。也就是说,错误总是会被下一个catch语句捕获。
  5. Promise 内部的错误不会影响到 Promise 外部的代码,通俗的说法就是“Promise 会吃掉错误”。
  6. 无法取消Promise,一旦新建它就会立即执行,无法中途取消。
  7. 如果不设置回调函数,Promise内部抛出的错误,不会反应到外部。
  8. 当处于pending状态时,无法得知目前进展到哪一个阶段
  9. Promise中不能自定义使用try/catch进行错误捕获,但是在Async/await中可以像处理同
// Promise 内部的错误不会影响到 Promise 外部的代码,通俗的说法就是“Promise 会吃掉错误”。
const someAsyncThing = function() {
  return new Promise(function(resolve, reject) {
    // 下面一行会报错,因为x没有声明
    resolve(x + 2);
  });
};

someAsyncThing().then(function() {
  console.log('everything is great');
});

setTimeout(() => { console.log(123) }, 2000);
// Uncaught (in promise) ReferenceError: x is not defined
// 123

上面代码中,someAsyncThing()函数产生的 Promise 对象,内部有语法错误。浏览器运行到这一行,会打印出错误提示ReferenceError: x is not defined,但是不会退出进程、终止脚本执行,2 秒之后还是会输出123。这就是说,Promise 内部的错误不会影响到 Promise 外部的代码,通俗的说法就是“Promise 会吃掉错误”。

2.promise 常用方法

ES6
浪里行舟:你真的懂Promise吗

3.应用:

1. 红绿灯问题

在这里插入图片描述
在这里插入图片描述

2.解决回调函数 (Promise 凭借什么消灭了回调地狱?)

Promise 利用了三大技术手段来解决回调地狱:

  • 回调函数延迟绑定:回调函数不是直接声明的,而是在通过后面的 then 方法传入的,即延迟传入。这就是回调函数延迟绑定。由于 Promise 采用了回调函数延迟绑定技术,所以在执行 resolve 函数的时候,回调函数还没有绑定,那么只能推迟回调函数的执行。
  • 返回值穿透:根据 then 中回调函数的传入值创建不同类型的Promise, 然后把返回的 Promise 穿透到外层, 以供后续的调用。
  • 错误冒泡:Promise 采用了错误冒泡的方式。 Promise 对象的错误具有“冒泡”性质,会一直向后传递,直到被捕获为止。也就是说,错误总是会被下一个catch语句捕获。

引出问题拓展:

  1. Promise 中为什么要引入微任务?
    参考:Promise之问(二)——为什么Promise要引入微任务?
    答:由于promise采用.then延时绑定回调机制,而new Promise时又需要直接执行promise中的方法,即发生了先执行方法后添加回调的过程,此时需等待then方法绑定两个回调后才能继续执行方法回调,便可将回调添加到当前js调用栈中执行结束后的任务队列中,由于宏任务较多容易堵塞,则采用了微任务

  2. Promise 中是如何实现回调函数返回值穿透的?
    答:首先Promise的执行结果保存在promise的data变量中,然后是.then方法返回值为使用resolved或rejected回调方法新建的一个promise对象,即例如成功则返回new Promise(resolved),将前一个promise的data值赋给新建的promise

  3. Promise 出错后,是怎么通过 “冒泡” 传递给最后那个捕获异常的函数?
    答:promise内部有resolved_和rejected_变量保存成功和失败的回调,进入.then(resolved,rejected)时会判断rejected参数是否为函数,若是函数,错误时使用rejected处理错误;若不是,则错误时直接throw错误,一直传递到最后的捕获,若最后没有被捕获,则会报错。可通过监听unhandledrejection事件捕获未处理的promise错误

4.实现一个promise

// 判断变量否为function
  const isFunction = variable => typeof variable === 'function'
  // 定义Promise的三种状态常量
  const PENDING = 'PENDING'
  const FULFILLED = 'FULFILLED'
  const REJECTED = 'REJECTED'

  class MyPromise {
    constructor (handle) {
      if (!isFunction(handle)) {
        throw new Error('MyPromise must accept a function as a parameter')
      }
      // 添加状态
      this._status = PENDING
      // 添加状态
      this._value = undefined
      // 添加成功回调函数队列
      this._fulfilledQueues = []
      // 添加失败回调函数队列
      this._rejectedQueues = []
      // 执行handle
      try {
        handle(this._resolve.bind(this), this._reject.bind(this)) 
      } catch (err) {
        this._reject(err)
      }
    }
    // 添加resovle时执行的函数
    _resolve (val) {
      const run = () => {
        if (this._status !== PENDING) return
        // 依次执行成功队列中的函数,并清空队列
        const runFulfilled = (value) => {
          let cb;
          while (cb = this._fulfilledQueues.shift()) {
            cb(value)
          }
        }
        // 依次执行失败队列中的函数,并清空队列
        const runRejected = (error) => {
          let cb;
          while (cb = this._rejectedQueues.shift()) {
            cb(error)
          }
        }
        /* 如果resolve的参数为Promise对象,则必须等待该Promise对象状态改变后,
          当前Promsie的状态才会改变,且状态取决于参数Promsie对象的状态
        */
        if (val instanceof MyPromise) {
          val.then(value => {
            this._value = value
            this._status = FULFILLED
            runFulfilled(value)
          }, err => {
            this._value = err
            this._status = REJECTED
            runRejected(err)
          })
        } else {
          this._value = val
          this._status = FULFILLED
          runFulfilled(val)
        }
      }
      // 为了支持同步的Promise,这里采用异步调用
      setTimeout(run, 0)
    }
    // 添加reject时执行的函数
    _reject (err) { 
      if (this._status !== PENDING) return
      // 依次执行失败队列中的函数,并清空队列
      const run = () => {
        this._status = REJECTED
        this._value = err
        let cb;
        while (cb = this._rejectedQueues.shift()) {
          cb(err)
        }
      }
      // 为了支持同步的Promise,这里采用异步调用
      setTimeout(run, 0)
    }
    // 添加then方法
    then (onFulfilled, onRejected) {
      const { _value, _status } = this
      // 返回一个新的Promise对象
      return new MyPromise((onFulfilledNext, onRejectedNext) => {
        // 封装一个成功时执行的函数
        let fulfilled = value => {
          try {
            if (!isFunction(onFulfilled)) {
              onFulfilledNext(value)
            } else {
              let res =  onFulfilled(value);
              if (res instanceof MyPromise) {
                // 如果当前回调函数返回MyPromise对象,必须等待其状态改变后在执行下一个回调
                res.then(onFulfilledNext, onRejectedNext)
              } else {
                //否则会将返回结果直接作为参数,传入下一个then的回调函数,并立即执行下一个then的回调函数
                onFulfilledNext(res)
              }
            }
          } catch (err) {
            // 如果函数执行出错,新的Promise对象的状态为失败
            onRejectedNext(err)
          }
        }
        // 封装一个失败时执行的函数
        let rejected = error => {
          try {
            if (!isFunction(onRejected)) {
              onRejectedNext(error)
            } else {
                let res = onRejected(error);
                if (res instanceof MyPromise) {
                  // 如果当前回调函数返回MyPromise对象,必须等待其状态改变后在执行下一个回调
                  res.then(onFulfilledNext, onRejectedNext)
                } else {
                  //否则会将返回结果直接作为参数,传入下一个then的回调函数,并立即执行下一个then的回调函数
                  onFulfilledNext(res)
                }
            }
          } catch (err) {
            // 如果函数执行出错,新的Promise对象的状态为失败
            onRejectedNext(err)
          }
        }
        switch (_status) {
          // 当状态为pending时,将then方法回调函数加入执行队列等待执行
          case PENDING:
            this._fulfilledQueues.push(fulfilled)
            this._rejectedQueues.push(rejected)
            break
          // 当状态已经改变时,立即执行对应的回调函数
          case FULFILLED:
            fulfilled(_value)
            break
          case REJECTED:
            rejected(_value)
            break
        }
      })
    }
    // 添加catch方法
    catch (onRejected) {
      return this.then(undefined, onRejected)
    }
    // 添加静态resolve方法
    static resolve (value) {
      // 如果参数是MyPromise实例,直接返回这个实例
      if (value instanceof MyPromise) return value
      return new MyPromise(resolve => resolve(value))
    }
    // 添加静态reject方法
    static reject (value) {
      return new MyPromise((resolve ,reject) => reject(value))
    }
    // 添加静态all方法
    static all (list) {
      return new MyPromise((resolve, reject) => {
        /**
         * 返回值的集合
         */
        let values = []
        let count = 0
        for (let [i, p] of list.entries()) {
          // 数组参数如果不是MyPromise实例,先调用MyPromise.resolve
          this.resolve(p).then(res => {
            values[i] = res
            count++
            // 所有状态都变成fulfilled时返回的MyPromise状态就变成fulfilled
            if (count === list.length) resolve(values)
          }, err => {
            // 有一个被rejected时返回的MyPromise状态就变成rejected
            reject(err)
          })
        }
      })
    }
    // 添加静态race方法
    static race (list) {
      return new MyPromise((resolve, reject) => {
        for (let p of list) {
          // 只要有一个实例率先改变状态,新的MyPromise的状态就跟着改变
          this.resolve(p).then(res => {
            resolve(res)
          }, err => {
            reject(err)
          })
        }
      })
    }
    finally (cb) {
      return this.then(
        value  => MyPromise.resolve(cb()).then(() => value),
        reason => MyPromise.resolve(cb()).then(() => { throw reason })
      );
    }
  }

// 源码链接:https://juejin.im/post/5b83cb5ae51d4538cc3ec354

5.补充:对比 callback → Promise → async/await

javascript的异步发展历程,从callback,到Promise对象、Generator函数,不停地优化程序上的编写方式,但又让人觉得不是很彻底,随即又有了之后的async/await的异步编程方式,让异步编程变得更像同步代码,增强了代码的可读性,甚至很多人评价async/await是异步操作的终极解决方案,接下来简单介绍一下这三种方式各自的优缺点:

1.callback(回调):本文开篇也提及了回调函数虽然好理解,但只对于简单的异步程序,callback是可以胜任的,但是在ajax需要被多次调用时使用起来还是会产生很多问题:

  • 高耦合,让程序变得难以维护;
  • 并且错误捕捉要通过人工的设置判断来进行。

2.Promise:ES6提供的构造函数Promise的实现是要基于callback的,解决了异步执行的问题:

  • 通过Promise.then()链式调用的方法,解决了回调函数层层嵌套(回调地狱)的问题,让代码和操作都变得更加简洁;

  • 可以统一通过Promise.catch()方法对异常进行捕获,无需再像callback那样,为每个异步操作添加异常处理;

  • Promise.all()方法可以对异步操作进行并行处理,同时执行多个操作。

但Promise也存在缺点:

  • 当处于未完成状态时,无法确定目前处于哪一阶段;

  • 如果不设置回调函数,Promise内部的错误不会反映到外部;

  • Promise一旦新建它就会立即执行,无法中途取消。

ES6中,还有一个generator函数,以前一个函数中的代码要么被调用,要么不被调用,不存在能暂停的情况,generator函数让代码可以中途暂停、异步执行,它与Promise的结合使用,类似于async/await(见下文)效果的代码。

整个Generator函数就是一个封装的异步任务的容器。它的语法是在函数名前加个*号,在异步操作需要暂停的地方,都用yield语句注明,但仅有yield,函数是不会执行的,他需要调用next方法,指针都会向下移一个状态,直到遇到下一个yield表达式(或return语句)为止。

3.async/await:ES7中新增的异步编程方法,async/await的实现是基于 Promise的,简单而言就是async function就是返回Promise的function,是generator的语法糖,其实async函数就是将Generator函数的星号(*)替换成 async,将yield替换成await。很多人认为async/await是异步操作的终极解决方案:

  • 改进JS中异步操作串行执行的代码组织方式,减少callback的嵌套;

  • 语法简洁,更像是同步代码,也更符合普通的阅读习惯;

  • Promise中不能自定义使用try/catch进行错误捕获,但是在Async/await中可以像处理同步代码处理错误。

综上异步编程的演变过程可见,它语法目标,其实就是怎样让它更像同步编程。

如果你想要更详细的了解Generator和async/await异步操作方式,请查阅MDN中的相关文档。同时推荐一篇通俗易懂的文章:async

最后:参考来源:

猜你喜欢

转载自blog.csdn.net/HZ___ZH/article/details/109672090