摘要：在將來的其他規范中可能會涉及這些沒有提及的內容。它禁止被觸發多次。如果到了狀態，那么所有的回調函數都必須按照他們原有的順序進行調用執行。

自從準備晉級之后，就拖更了很久了，既然晉級弄完了，那么也恢復更新了。

在面試別人的過程中，發現基本上沒有人對整個Promise完全了解，因此希望通過這篇文章來幫助大家了解下Promise的全貌。本文的主要內容是Promise/A+規范的譯文，主要是能夠幫助大家了解下Promise的規范，以及解決在日常運用中遇到的一些問題。

原文地址為：https://promisesaplus.com/#po...

如果需要測試一個Promise庫是否符合Promise/A+規范，可以使用這個：https://github.com/promises-a... 。

一個標準聲明、可操作的JavaScript Promise——出自開發者，為了開發者。

一個promise代表一個異步操作的最終結果。與promise交互的主要方法是通過它的then函數。這個函數注冊一個回調函數來接收promise最終的值（value）或者是沒有成功的原因（reason）。

這篇文檔詳細說明了then方法的具體行為，它為所有的符合Promise/A+規范的實現提供了一個基礎的交互。像這樣，這個規范應該設計的非常穩定。盡管Promise/A+組織可能偶爾通過一些向后兼容的小修改來調整這個文檔來適應新發現的場景，我們只會在經歷過了小心的思考、討論和測試后增加大的、不向后兼容的修改。

從歷史上來看，Promise/A+闡述了更早的Promise/A的行為規范，并且在其基礎上進行了擴展，覆蓋了一些實際行為和之前遺漏的問題。

最終，核心的Promise/A+文檔不關心如何去創建、完成（resolve）或者拒絕（reject）一個Promise，而是聚焦在提供一個可交互的then函數。在將來的其他規范中可能會涉及這些沒有提及的內容。

1.1. "promise"是一個對象或者函數，它擁有一個符合文檔中描述行為的then方法。

1.2. "thenable"是一個有then方法的對象或者函數。

1.3. "value"是一個合法的JavaScript值（包括undefined, 一個thenable或者一個promise）。

1.4. "exception"是一個使用在throw語句中的拋出來的值。

1.5. "reason"是一個用來表示promise拒絕的原因的值。

一個promise必須處于一下三種狀態：pending、fulfilled或者rejected。

2.1.1. 當處于pending狀態時，promise：

2.1.1.1. 可能會轉換成任何其他的狀態。

2.1.2. 當處于fulfilled狀態時，promise：

2.1.2.1. 禁止轉換成其他狀態。

2.1.2.2. 必須有一個無法更改的值。

2.1.3. 當處于rejected狀態時，promise：

2.1.3.1. 禁止轉換成其他狀態。

2.1.3.2. 必須有一個無法更改的原因。

在這里，無法更改意味著全等（例如===），但是不代表深比較相等。

promise必須包含一個then方法來訪問它當前或者最終的值或者原因。

Promise的then方法接收兩個參數：

promise.then(onFulfilled, onRejected)

2.1.1. onFulfilled和onRejected函數有都有可選的參數：

2.2.1.1. 如果onFulfilled不是一個函數，那么它必須被忽略掉。

2.2.1.2. 如果onRejected不是一個函數，那么它必須被忽略掉。

2.2.2. 如果onFulfilled是一個函數：

2.2.2.1. 它必須在promise到fulfilled狀態后觸發，promise的值是它的第一個參數。

2.2.2.2. 它在一個promise到fulfilled狀態之前禁止被觸發。

2.2.2.3. 它禁止被觸發多次。

2.2.3. 如果onRejected是一個函數：

2.2.3.1. 它必須在promise到rejected狀態后觸發，promise的原因是它的第一個參數。

2.3.2.2. 它在一個promise到rejected之前禁止被觸發。

2.3.2.3. 它禁止被觸發多次。

2.2.4. onFulfilled或者onRejected只有在執行上下文堆棧只有平臺代碼時才能被觸發。

2.2.5. onFulfilled和onRejected必須作為函數被調用（例如沒有this值）。

2.2.6. then方法可能在相同的promise中被調用多次。

2.2.6.1. 如果promise到了fullfilled狀態，那么所有的onFulfilled回調函數都必須按照他們原有的順序進行調用執行。

2.2.6.2. 如果promise到了rejected狀態，那么所有的onRejected回調函數都必須按照他們原有的順序進行調用執行。

2.2.7. then方法必須返回一個promise：

promise2 = promise1.then(onFulfilled, onRejected);

2.2.7.1. 如果onFulfilled或者onRejected方法返回一個值x，那么執行promise的解析過程[[Resolve]](promise2, x)。

2.2.7.2. 如果onFulfilled或者onRejected方法拋出一個異常e，promise2必須使用e作為原因拒絕掉（rejected）。

2.2.7.3. 如果onFulfilled不是一個函數并且promise1到了fulfilled狀態，那么promise2必須在與promise1的值相同的情況下轉換到fulfilled狀態。

2.2.7.4. 如果onRejected不是一個函數并且promise1到了rejected狀態，那么promise2必須在與promise1的原因相同的情況下轉換到rejected狀態。

promise解析函數是一個輸入一個promise或者一個值的抽象的操作，我們表示為[[Resolve]](promise, x)。如果x是一個thenable對象，在假定x的行為至少有點像一個promise的情況下，它會嘗試讓promise轉換到x的狀態。否則，他會用x的值完成promise的狀態。

這種thenable對象的方式允許promise實現交互，只要他們暴露一個符合Promise/A+規范的then函數。它還允許Promise/A+的實現支持一個有合適的then方法的不兼容的實現。

運行[[Resolve]](promise, x),需要遵循以下步驟：

2.3.1. 如果promise和x指向同一個對象，那么用TypeError作為原因拒絕promise。

2.3.2. 如果x是一個promise，判斷它的狀態：

2.3.2.1. 如果x是pending狀態，promise保留pending狀態直到x變成fulfilled狀態或者rejected狀態。

2.3.2.2. 如果x是fulfilled狀態，那么用同樣的值將整個promise完成。

2.3.2.3. 如果x是rejected狀態，那么用同樣的原因拒絕promise。

2.3.3. 否則，如果x是一個對象或者函數，

2.3.3.1. 讓then變成x.then。

2.3.3.2. 如果在檢測x.then這個屬性的結果時拋出一個異常e，把e作為原因拒絕promise。

2.3.3.3. 如果then是一個函數，那么用x作為this來調用它，第一個參數是resolvePromise，第二個參數是rejectPromise：

2.3.3.3.1. 如果resolvePromise被值y調用，那么運行[[Resolve]](promise, y)。

2.3.3.3.2. 如果rejectPromise被原因r觸發，那么用r來拒絕promise。

2.3.3.3.3. 如果resolvePromise和rejectPromise都被調用，或者使用相同的參數多次調用，那么第一次調用生效，其他之后的任何調用都忽略掉。

2.3.3.3.4. 如果在調用then方法時拋出了一個異常e,

2.3.3.3.4.1. 如果resolvePromise和rejectPromise已經被調用了那么就忽略掉它。

2.3.3.3.4.2. 否則，使用e作為原因拒絕promise。

2.3.3.4. 如果then不是一個函數，那么用x完成promise。

2.3.4. 如果x不是一個對象或者函數，那么用x完成promise。

如果一個promise是通過在環形的thenable鏈中的一個thenable來完成的，如遞歸的[[Resolve]](promise, thenable)類型再次調用[[Resolve]](promise, thenable)，遵循上述的規則會導致無窮遞歸。對這種遞歸情況的檢測并且使用TypeError作為原因進行拒絕，我們鼓勵實現，但不要求。

3.1. 在這里"平臺代碼"（platform code）意味著引擎，環境和promise實現代碼。在實踐中，這個要求確保了onFulfilled和onRejected是異步執行的，then調用也是在循環之后，有一個新的堆棧信息。這可以通過一個宏任務（macro-task）機制例如setTimeout或者setImmediate來實現，也可以通過一個微任務（micro-task）例如MutationObserver或者process.nextTick來實現。如果promise的實現考慮平臺代碼，那么它自己可能會帶一個任務執行隊列或者“蹦床”來處理被調用情況。

3.2. 在嚴格模式下，this是在promise里面將會是undefined。在松散模型下，他代表的是全局對象。

3.3. 如果實現滿足所有要求的話，可以允許promise2 === promise1。每一個實現都應該表明是否支持promise2 === promise1，如果支持則是需要在什么條件下。

3.4. 通常來說，如果按照當前的實現方式，我們只能知道x是一個真的promise。這一條允許你在具體實現的使用過程中來判斷未知的promise的狀態。

3.5. 在程序中，首先存儲x.then的引用，其次測試這個引用，然后再調用這個引用，避免多次訪問x.then屬性。這樣的預防措施對于確保那些會在兩次訪問之間可能變化的屬性值獲取到一致的結果非常重要。

3.6. 實現中不應該對thenable調用鏈值設置任意深度限制，而是應該假設這個遞歸的限制值是無窮大。只有真正的循環才會導致TypeError；如果遇到了一個長度為無窮大的不同的thenable，保證在正確的行為下一直遞歸。

本文主要通過英文翻譯為中文的Promise/A+規范，讓大家了解了整個規范的全部內容。我會在下一篇博客中給大家帶來如何實現一個完全符合Promise/A+規范的Promise。