摘要：首先從這個構造函數(shù)說起，它是全局對象的屬性的值，這也就是為什么瀏覽器環(huán)境下我們能直接調(diào)用它的原因，就像這些構造函數(shù)一樣。的產(chǎn)生就是像正常使用構造函數(shù)那樣構建一個，不過傳給構造函數(shù)是內(nèi)部自動創(chuàng)建的，作用是把記錄到中。

> new Promise((resolve, reject) => setTimeout(resolve, 1000, "foo"))  
> .then(console.log)  
> // foo (1s后)

在使用 Promise 的時候，我們最簡單的理解與用法就是像上面的代碼那樣，把異步結果提供給 resolve 作參數(shù)，然后通過給 then 方法傳遞一個自定義函數(shù)作為結果處理函數(shù)。但 resolve 和 reject 這兩個參數(shù)到底是什么？在這背后，它的基本工作方式到底是怎樣的呢？讓我們從規(guī)范的角度來初步了解它吧。

參考: ES8 Promise

promise 的工作機制與 callback 類似，都采用內(nèi)部的抽象操作 Job 來實現(xiàn)異步

Promise 構造函數(shù)里的 resolve/reject 函數(shù)是內(nèi)部創(chuàng)建的，在調(diào)用它們時傳入的參數(shù)就是要解析的結果，把它和 promise 已經(jīng)存儲的用戶傳入的處理函數(shù)一起插入到 Job 隊列中。傳入的參數(shù)也可以是一個 promise，在 Promise.all/race 的內(nèi)部就有用到。

Promise.prototype.then 根據(jù)當前的 promise 的狀態(tài)來決定是立即將 promise 中存儲的結果取出并和參數(shù)中的處理函數(shù)一起直接插入到 Job 隊列中還是先與 promise 關聯(lián)起來作為結果處理函數(shù)。then 會隱式調(diào)用 Promise 構建函數(shù)構建新的 promise 并返回。

Promise.all 先創(chuàng)建一個新的 promise，然后先、初始化一個空的結果數(shù)組和一個計數(shù)器來對已經(jīng) resolve 的 promise進行計數(shù)，之后會進行迭代，對于每個迭代值它都會為其創(chuàng)造一個promise，并設定這個promise的then為向結果數(shù)組里添加結果以及計數(shù)器--，當計數(shù)器減至0時就會resolve最終結果。

Promise.race 也是會創(chuàng)建一個新的主 promise，之后主要是根據(jù) promise 只能 resolve 一次的限制，對于每個迭代值都會創(chuàng)造另一個promise，先resolve的也就會先被主 promise resolve 返回結果。

首先從 Promise 這個構造函數(shù)說起，它是全局對象的 Promise 屬性的值，這也就是為什么瀏覽器環(huán)境下我們能直接調(diào)用它的原因，就像 String, Array 這些構造函數(shù)一樣。

new Promise(executor)的第一步就像其他構造函數(shù)一樣，按照 Promise 的 prototype 來構建一個新對象，并初始化了幾個內(nèi)部插槽[[PromiseState]]，[[PromiseResult]]，[[PromiseFullfillReactions]]，[[PromiseRejectReactions]]，[[PromiseIsHandled]]來記錄一些相關的信息，可以從名字來大致推斷出他們的作用，詳情我們下文再提。這里它們的初始值除了[[PromiseResult]]依次為 "pending"，空 list，空 list，false。

下一步，ES 會根據(jù)這個 promise 對象來生成用來resolve promise的 resolve function 和用來 reject promise 的 reject function。然后調(diào)用 executor，以 resolve function 和 reject function 為參數(shù)，如果在這個過程中出錯了，就直接 reject promise。最后返回 promise。

那什么又是 resolve，什么又是 reject 呢。我們知道 Promise 的狀態(tài)，也就是[[PromiseState]]有三種值: pending, fullfilled, rejected，用 reject function 就可以 reject promise，把它的狀態(tài)從 pending 變?yōu)閞ejected。不過 resolve function 既可以 fullfill promise 來把promise的狀態(tài)從 pending 變?yōu)?fullfilled，也可以用來 reject promise。

那么 resolve function 和 reject function 到底做了些什么呢？

先來看 reject function ，首先在生成它的時候，會給它初始化[[Promise]]和[[AlreadyResolved]]插槽，也就是把它和某個 promise 關聯(lián)起來。在執(zhí)行時，會傳入一個參數(shù) reason，并只有當[[AlreadyResolved]]是 false，也就是還沒 resolve 過、狀態(tài)為 pending 時，才會調(diào)用返回 RejectPromise、傳入 promise 和 reason 參數(shù)來 reject promise，否則返回 undefined。
RejectPromise(promise, reason)，除了把[[PromiseState]]從 pending 變?yōu)?rejected 之外，還會把 promise 的結果[[PromiseResult]]的值設為 reason，并會取出 promise 的[[PromiseRejectReactions]]中已存的記錄（相信讀者們已經(jīng)明白后面還會有一個操作來向這個內(nèi)部插槽里存記錄），并用 TriggerPromiseReactions 調(diào)用這些記錄做后續(xù)處理，并傳入 reject 的原因 reason。類似的，resolve function 中用到的 FullfillPromise(promise, value) 操作把 promise 的狀態(tài)變?yōu)?fulfilled，抽取[[PromiseFullfillReactions]]的值調(diào)用 TriggerPromiseReactions，并傳入 fulfilled 的結果 value。

TriggerPromiseReactions(reactions, argument) 會調(diào)用 EnqueueJob("PromiseJobs", PromiseReactionJob, <>)，待會再詳細說明。

再來看 resolve function，與 reject function 一樣，在生成它時，會把它與某個 promise 關聯(lián)起來。在執(zhí)行時，我們傳入的參數(shù)叫做 resolution。如果 promise 已經(jīng) resolve 過，就返回 undefined。之后的情況就相對復雜一些了。

如果用戶把這個 promise 本身傳給了 resolve function 作為參數(shù) resolution，就會創(chuàng)建一個 TypeError，throw 它，并調(diào)用 RejectPromise，reason 參數(shù)為這個 TypeError。

如果 resolution 的類型不是 Object，就調(diào)用 FulfillPromise(promise, resolution)。

其余的情況就是 resolution 是除了自身以外的帶 then 的對象 (Promise) 的情況了。

如果 resolution 是個不帶then的對象，就 RejectPromise。

如果有 then 屬性但不能調(diào)用，也 FulfillPromise, 。

如果有 then 屬性并且可以調(diào)用，就 EnqueueJob("PromiseJobs", PromiseResolveThenableJob, <>)。

在說明 EnqueueJob 之前，先來看看 Job 是個什么東西。簡單來說，它就像是回調(diào)的內(nèi)部實現(xiàn)機制：“當沒有其他 ES 在跑時，初始化并執(zhí)行自己對應的 ES。“。我們有一個待執(zhí)行的 FIFO 的 Job 隊列，以及當前的執(zhí)行環(huán)境 running execution context 和 execution context stack，當后兩者均為空時，才會執(zhí)行 Job 隊列的第一個。

ES 規(guī)定實現(xiàn)里至少要有兩個 Job 隊列，ScriptJobs 和 PromiseJobs。當我們調(diào)用 EnqueueJob("PromiseJobs", ...)時，也就將要完成的 Job 和它們的參數(shù)插入到了 PromiseJobs 這個隊列。可以看到，Promise 下有兩種 Job

PromiseReactionJob(reaction, argument)
reaction 有三個內(nèi)部插槽 [[Capability]]、[[Type]] 和 [[Handler]]，分別表示 [[關聯(lián)的 promise 及相關的resolve function 和 reject function]]、[[類別]]、[[handler]]。如果用戶沒有給 handler(undefined)，就根據(jù)類別是 Fulfill 還是 Reject 來把 argument 當作結果。如果給了 handler，就用它來對 argument 進行進一步處理。最后根據(jù)這個結果來用 resolve function 和 reject function 進行處理并返回。

PromiseResolveThenableJob(promiseToResolve, thenable, then)
創(chuàng)建和 promiseToResolve 關聯(lián)的 resolve function 和 reject function。以 then 為調(diào)用函數(shù)，thenable 為this，resolve function和reject function 為參數(shù)調(diào)用返回。

首先是創(chuàng)建一個 promiseCapability，它包含了一個新的 promise 和相關聯(lián)的 resolve function 和 reject function。promise 的產(chǎn)生就是像正常使用 Promise 構造函數(shù)那樣構建一個 promise，不過傳給構造函數(shù) executor 是內(nèi)部自動創(chuàng)建的，作用是把 resolve/reject function 記錄到PromiseCapability中。
根據(jù) promiseCapability 和 onfulfilled/onrejected 創(chuàng)建兩個分別用于 fulfill 和 reject 的PromiseReaction，也就是 PromiseJobs 里最終要執(zhí)行的操作。
如果當前的 promise(this)是 pending 狀態(tài)，就把這兩個 reaction 分別插入到 promise的[[PromiseFulfillReactions]]和[[PromiseRejectReactions]]隊列中。但如果此時 promise 已經(jīng)是 fulfilled 或是 rejected 狀態(tài)了，就從 promise 的[[PromiseResult]]取出值 result，作為 fulfilled 的結果/reject 的原因，插入到 Job 隊列里，EnqueueJob("PromiseJobs", PromiseReactionJob, <>)，最后返回 prjomiseCapability 里存儲的新 promise。Promise.prototype.catch(onrejected) 就是 Promise.prototype.then(undefined, onrejected)

像 then 那樣創(chuàng)建一個 promiseCapability，然后直接調(diào)用其中的 resolve function 并傳入要解析的值x，最后返回其中的新 promise.

Promise.all也會像 then 那樣創(chuàng)建一個 promiseCapability，里面包含著一個新的 promise 及其關聯(lián)的 resolve function 和 reject function，之后就結合迭代器循環(huán)：

如果迭代完了并且計數(shù)器為0則調(diào)用 promiseCapability 的 resolve function 來 resolve 結果數(shù)組

否則計數(shù)器加1，然后取出下一個迭代的值，傳給 Promise.resolve 也構建一個新的 promise，然后內(nèi)部創(chuàng)建一個 Promise.all Resolve Element Function，傳給這個新 promise 的 then 用來把結果添加到結果數(shù)組并使計數(shù)器減一。

同樣的，創(chuàng)建一個 promiseCapability，然后進行迭代，用 Promise.resolve 來構建一個新的 promise，之后調(diào)用這個新 promise 的 then 方法，傳入 promiseCapability 里的 resolve/reject function，結合之前提到的 promise 只會 resolve 一次，可以看到確實很有 race 的意味。

看到這里，不知道大家是否對 Promise 有了更深的理解了呢。再往深一步，ES6里新提出的 async/await 實際上也是應用了 Generator 的思想與 Promise，感興趣的話可以繼續(xù)了解一下。

文 / Kacxxia
并沒有作者介紹

本文已由作者授權發(fā)布，版權屬于創(chuàng)宇前端。歡迎注明出處轉(zhuǎn)載本文。本文鏈接：https://knownsec-fed.com/2018-08-22-shen-ru-promise/

想要看到更多來自知道創(chuàng)宇開發(fā)一線的分享，請搜索關注我們的微信公眾號：創(chuàng)宇前端（KnownsecFED）。

歡迎點贊、收藏、留言評論、轉(zhuǎn)發(fā)分享和打賞支持我們。打賞將被完全轉(zhuǎn)交給文章作者。

感謝您的閱讀。