本身鼓搗一個Promise

時間  2019-11-30
標籤 本身 鼓搗 一個 promise 简体版
原文   原文鏈接

源碼

very-simple-promise，包含了不完善的單元測試❤️.react

感謝

代碼君的自白git

這篇的文章主要參考了上面的博客，謝謝他的幫助🙏。github

Promise/A+規範

Promises/A+規範, 下面👇是對規範的內容的部分翻譯。英文比較爛，不喜歡的能夠不看。c#

承諾必須知足三種狀態, pending(等處理), fulfilled(履行), rejected(拒絕)數組

Promises的狀態

  • promise處於pending時
  • 能夠過渡到fulfilled或者rejected狀態
  • promise處於fulfilled時
  • 不能向其餘狀態過渡
  • promise處於rejected時
  • 不能向其餘狀態過渡

then

promise的then方法接受兩個參數promise

promise.then(onFulfilled, onRejected)
複製代碼
  • onFulfilled和onRejected都是可選參數
    • onFulfilled不是函數須要忽略
    • onRejected不是函數須要忽略
  • onFulfilled若是是一個函數
    • onFulfilled在promise狀態爲fulfilled時被調用
    • onFulfilled只能被調用一次
    • onFulfilled不能在fulfilled以前不能調用
  • onRejected若是是一個函數
    • onRejected在promise狀態爲rejected時被調用
    • 在rejected以前不能調用它
    • onRejected只能被調用一次
  • onFulfilled or onRejected must not be called until the execution context stack contains only platform code. (原文不太懂什麼意思，可是規範給出了註解)
  • onFulfilled和onRejected必須做爲函數調用
  • then能夠在同一個promise屢次調用
    • 若是promise被履行, 則onFulfilled回調必須按照then的順序執行
    • 若是promise被拒絕, 則onRejected回調必須按照then的順序執行
promise2 = promise1.then(onFulfilled, onRejected);
複製代碼
  • then必須返回promise
    • 若是onFulfilled或者onRejected返回一個值，則運行處理Promise的過程[[Resolve]](promise2, x)(這裏處理的Resolve(promise2, x), onFulfilled或者onRejected的返回值會被resolve處理, resolve的第一個參數是then返回的新的promise)
    • 若是onFulfilled, onRejected拋出錯誤error, 則promise2必須爲rejected
    • 若是onFulfilled不是一個函數, 而promise1的狀態爲fulfilled, promise2必須與promise1具備相同的值被履行
    • 若是onRejected不是一個函數, 而promise1的狀態爲rejected, promise2必須與promise1具備相同的值被拒絕

處理Promise

[[Resolve]](promise, x)須要遵循如下規範異步

  • 若是promise與x相等, 拋出TypeError的錯誤, 並以錯誤爲理由拒絕promise
  • 若是x是Promise
    • 若是x處於pending，promise也須要保持pending，直到x接受pending
    • 若是x處於fulfilled，promise須要使用相同值執行promise
    • 若是x處於rejected，promise須要使用相同的值拒絕promise
  • 若是x是對象或者函數
    • 將x.then賦於then
    • 若是獲取x.then時拋出錯誤，則使用錯誤做爲理由拒絕promise
    • 若是then是函數🤔️
      • 使用x做爲then函數的做用域中的this, 傳入兩個參數做爲回調，分別是resolvePromise, 和rejectPromise
      • 若是resolvePromise若是以y爲參數運行，則運行[[Resolve]](promise, y), 履行promise。resolve(promise,y)
      • 若是rejectPromise以r爲參數運行，則以r爲緣由拒絕promise。reject(promise, r)
      • 若是then拋出了錯誤
        • 若是resolvePromise，rejectPromise已經調用對錯誤忽略
        • 若是沒有調用，用錯誤做爲緣由拒絕promise
    • 若是then不是函數，使用x做爲參數執行promise
  • 若是x不是對象也不是函數，則使用x做爲參數執行promise

註解

onFulfilled和onRejected方法應當是異步執行，且應該在then方法被調用的那一輪事件循環以後的微任務執行棧中執行。可使用宏任務macrotask和微任務microtask機制實現。也就是說宏任務完成後(Promise的then調用後)，會清空微任務隊列(執行onFulfilled或者onRejected)。函數

macrotask包含：script(總體代碼)、setTimeout、setInterval、I/O、UI交互事件、postMessage 、requestAnimationFrame 、MessageChannel、etImmediate(Node.js 環境)源碼分析

microtask包含：Promise.then、setImmediate、MutaionObserver、process.nextTick(Node.js 環境)post

事件循環

下面👇是一個關於事件循環的例子🌰

image

Promise中的參數函數，應當是當即調用的。咱們這時先執行了resolve(1), 這會將外層的Promise的狀態置爲fulfilled態。可是這時外層的then尚未執行。

咱們接下來執行了Promise.resolve().then(() => console.log(2)), 咱們將then的onFulfilled，push到了macrotask隊列中，會在宏任務執行完成後清空微任務。

執行外層Promise的then, onFulfilled, push到了macrotask隊列中。

接着執行console.log(3), 而後清空macrotask隊列，執行2，1（隊列先進先出）

Promise構造函數

const pending = 0
const fulfilled = 1
const rejected = 2

function reject (promise, result) {}

function resolve (promise, reason) {}

export default class Promise {
  constructor (fn) {
    this.fn = fn
    // Promise的狀態, 初始狀態爲pending
    this._state = pending
    // Promise的fulfilled態的緣由，或者Promise的rejected態的理由
    this._value = null
    // 存儲then的隊列
    this._tasks = []
    // 建立Promise對象後，當即執行fn
    this.init()
  }

  init () {
    try {
      // 執行fn, 傳入包裝後的resolve，reject
      // reject，resolve會修改promise的狀態
      this.fn(
        (result) => resolve(this, result),
        (reason) => reject(this, reason)
      )
    } catch (error) {
      reject(this)
    }
  }
}
複製代碼

根據規範2.2.6: then may be called multiple times on the same promisethen能夠在同一個promise中屢次調用。因此咱們用一個數組存儲then的結果。

Promise.prototype.then

根據規範2.2.1: A promise’s then method accepts two arguments. Both onFulfilled and onRejected are optional arguments。then接受兩個參數, 兩個參數可選。

根據規範2.2.1.1, 2.2.1.2: If onFulfilled is not a function, it must be ignored. If onRejected is not a function, it must be ignored.。onFulfilled, onRejected必須是函數負責會被忽略。

根據規範2.2.2, 2.2.3, onFulfilled必須在狀態爲fulfilled調用, onRejected必須在狀態爲rejected調用

根據規範2.2.7: then must return a promise。then必須返回一個promise。

🤔️ 爲何不能返回當前的promise?由於根據規範2.1.2, 2.1.3, promise被修改狀態後，不能再次修改狀態。咱們若是須要執行then的callback須要修改promise的狀態。

咱們使用task封裝📦then的回調以及then返回的promise。

class Task {
  constructor (onFulfilled, onRejected, promise) {
    if (typeof onFulfilled !== 'function') {
      onFulfilled = null
    }
    if (typeof onRejected !== 'function') {
      onRejected = null
    }
    this.onFulfilled = onFulfilled
    this.onRejected = onRejected
    this.promise = promise
  }
}

class Promise {

  // ...

  then (onFulfilled, onRejected) {
    
    let nextPromise = new Promise(function () {})

    let task = new Task(onFulfilled, onRejected, nextPromise)

    if (this._state === pending) {
      this._tasks.push(task)
    } else {
      handlePromise(this, task)
    }

    // 返回新的promise
    return nextPromise
  }
}

複製代碼

Promise.prototype.catch

catch函數一樣會返回新的promise, 可是在建立task時，咱們不會傳入onFulfilled參數。因此當promise當爲fulfilled態，雖然catch的回調一樣存放_task中，可是因爲callback爲null, 在handlePromise中會向下穿透。

class Promise {
  // ...
  catch (onRejected) {
    let nextPromise = new Promise(function () {})

    // onFulfilled設置爲null
    let task = new Task(null, onRejected, nextPromise)

    if (this._state === pending) {
      this._tasks.push(task)
    } else {
      handlePromise(this, task)
    }

    // 返回新的promise
    return nextPromise
  }
}
複製代碼

Promise.prototype.finally

finally方法用於指定無論Promise對象最後狀態如何，都會執行的操做。

咱們不管promise的狀態如何，都在promise的最後面添加then，並傳入了onFulfilled, onRejected兩個回調。在回調中，咱們執行finally的callback參數。這樣不管以前的promise是fulfilled態，仍是rejected態，都會執行finally添加的參數。

class Promise {
  // ...

  finally (callback) {
    // this指向調用finally的對象
    const self = this
    // 向Promise鏈中添加then，不管，promise是resolve態仍是reject態，都會執行callback
    // 而且會經過then，繼續將result或reason向下傳遞
    return self.then(
      result => Promise.resolve(callback()).then(_ => result),
      reason => Promise.resolve(callback()).then(_ => { throw reason })
    )
  }
}
複製代碼

resolve

resolve用來修改promise狀態，將promise狀態設置爲fulfilled態, 並執行then的onFulfilled回調

根據規範**2.3.1: If promise and x refer to the same object, reject promise with a TypeError as the reason.**若是promise與x相等，咱們使用TypeError的錯誤拒絕promise

根據規範2.3.2。若是result是promise，而且處於pending態，promise須要保持pending態，直到result被執行和拒絕後，咱們使用result的狀態履行或者拒絕promise。若是result是promise，而且處於fulfilled或rejected態，咱們使用result的狀態拒絕或者履行promise。

根據規範2.3.3, 咱們判斷result是否爲一個Object。若是result爲Object, 咱們則取出它的then的屬性, 判斷then屬性是否爲Function, 若是then爲Function, 咱們設置then的做用域的this指向result, 咱們傳入resolvePromise, rejectPromise做爲參數。

根據規範2.3.4: If x is not an object or function, fulfill promise with x, 若是x不是函數或者對象，咱們用result結果做爲參數執行promise。

function resolve (promise, result) {
  if (promise === result) {
    throw reject(promise, new TypeError('promise and x refer to the same object'))
  }

  if (isPromise(result)) {
    if (result._state === pending) {
      result._tasks.concat(promise._tasks)
    } else if (result._state === fulfilled || result._state === rejected) {
      let task
      while (task = promise._tasks.shift()) {
        handlePromise(result, task)
      }
    }
    return
  }

  if (isObject(result)) {

    let then = null

    try {
      then = result.then
    } catch (error) {
      reject(promise, error)
    }

    if (isFunction(then)) {
      try {
        let resolvePromise = function (y) {
          resolve(promise, y)
        }
        let rejectPromise = function (r) {
          reject(promise, r)
        }
        then.call(result, resolvePromise, rejectPromise)
      } catch (error) {
        reject(promise, error)
      }

      return
    }
  }

  promise._state = fulfilled
  promise._value = result

  if (promise._tasks && promise._tasks.length) {
    let task = null
    while (task = promise._tasks.shift()) {
      handlePromise(promise, task)
    }
  }
}
複製代碼

reject

reject將promise的狀態設置爲rejected, 並以當前的promise的狀態，執行promise中經過then註冊的onRejected回調。

function reject (promise, reason) {
  if (promise._state !== pending) {
    return
  }

  promise._state = rejected
  promise._value = reason

  let task
  while (task = promise._tasks.shift()) {
    handlePromise(promise, task)
  }
}
複製代碼

handlePromise

handlePromise函數主要根據當前的promise的狀態, 以及內容(resolve或者reject的參數)。處理經過then註冊的回調。而且會鏈式的調用，註冊在then返回的新promise的上的then的回調

// 將回調的結果，傳入第二個then中
fn().then().then()
複製代碼

根據規範2.2.4, 以及規範給出的註解。當promise的狀態改變，onFulfilled, onRejected並不會當即執行，並且在本次的宏任務完成後，纔會執行onFulfilled或者onRejected。而setImmediate則是將代碼push到微任務隊列中。在宏任務中會清空微任務隊列。

function handlePromise (prevPromise, task) {
  // 須要在宏任務完後的微任務隊列中執行
  setImmediate(() => {
    // nextPromise是then返回的promise
    const { onFulfilled, onRejected, promise: nextPromise } = task
    let callback = null

    let value = prevPromise._value
    let state = prevPromise._state

    if (state === fulfilled) {
      callback = onFulfilled
    } else if (state === rejected) {
      callback = onRejected
    }

    if (!callback) {
      // 若是在promise中沒有註冊callback
      if (state === fulfilled) {
        resolve(nextPromise, value)
      } else if (state === rejected) {
        reject(nextPromise, value)
      }
    } else {
      try {
        const result = callback(value)
        // 對then中返回promise處理
        // 將callback返回的結果，帶入到新的promise中
        resolve(nextPromise, result)
      } catch (error) {
        reject(nextPromise, error)
      }
    }
  })
}
複製代碼

Promise.resolve & Promise.reject

Promise.resolve方法返回一個新的Promise對象，狀態爲resolved。Promise.reject(reason)方法也會返回一個新的 Promise實例，該實例的狀態爲rejected。

class Promise {

  // ...

  static resolve (result) {
    return new Promise((resolve) => { resolve(result) })
  }

  static reject (reason) {
    return new Promise((_, reject) => { reject(reason) })
  }
}
複製代碼

Promise.all && Promise.race

Promise.all和Promise.race必須接受一個數組爲參數，數組中爲多個Promise的實例。Promise.all和Promise.race的使用我就再也不這裏贅述了。

Promise.all會使用計數器，記錄Promise數組中的全部Promise實例的狀態是否都變爲fulfilled態，若是計數器的長度和數組長度一致，咱們則會將Promise.all的狀態設置爲fulfilled態。

class Promise {
  static race (promises) {
    if (isArray(promises)) {
      let promisesLength = promises.length
      return new Promise((resolve, reject) => {
        for (let i = 0; i < promisesLength; i++) {
          promises[i].then((result) => {
            resolve(result)
          }).catch((error) => {
            reject(error)
          })
        }
      })
    } else {
      throw new TypeError('The arguments must be arrays')
    }
  }

  static all (promises) {
    if (isArray(promises)) {
      let promisesLength = promises.length
      let counter = 0
      let resultList = []
      return new Promise((resolve, reject) => {
        for (let i = 0; i < promisesLength; i++) {
          promises[i].then((result) => {
            counter += 1
            resultList.push(result)
            if (counter === promisesLength) {
              resolve(resultList)
            }
          }).catch((error) => {
            reject(error)
          })
        }
      })
    } else {
      throw new TypeError('The arguments must be arrays')
    }
  }
}
複製代碼

其餘

VueRouter源碼分析

Preact源碼分析

相關文章
相關標籤/搜索
每日一句
    每一个你不满意的现在，都有一个你没有努力的曾经。
本站公眾號
   歡迎關注本站公眾號,獲取更多信息
聯繫我們 最近搜索 最新文章 沪ICP备13005482号-10 MyBatis教程 SQL 教程 MySQL教程 Java 教程 Thymeleaf 教程 Hibernate教程 Spring教程 Redis教程