Promise/A+规范

Promise表示一个异步操作的最终结果。与Promise最主要的交互方法是通过将函数传入它的then方法从而获取得Promise最终的值或Promise最终最拒绝（reject）的原因。

1. 术语

promise是一个包含了兼容promise规范then方法的对象或函数，
thenable 是一个包含了then方法的对象或函数。
value 是任何Javascript值。 (包括 undefined, thenable, promise等).
exception 是由throw表达式抛出来的值。
reason 是一个用于描述Promise被拒绝原因的值。

2. 要求

2.1 Promise状态

一个Promise必须处在其中之一的状态：pending, fulfilled 或 rejected.

• 如果是pending状态,则promise：
  
  
  • 可以转换到fulfilled或rejected状态。
• 如果是fulfilled状态,则promise：
  
  
  • 不能转换成任何其它状态。
  • 必须有一个值，且这个值不能被改变。
• 如果是rejected状态,则promise可以：
  
  
  • 不能转换成任何其它状态。
  • 必须有一个原因，且这个值不能被改变。

”值不能被改变”指的是其identity不能被改变，而不是指其成员内容不能被改变。

2.2 then 方法

一个Promise必须提供一个then方法来获取其值或原因。
Promise的then方法接受两个参数：

jspromise.then(onFulfilled, onRejected)

1. onFulfilled 和 onRejected 都是可选参数：
   
   
   1. 如果onFulfilled不是一个函数，则忽略之。
   2. 如果onRejected不是一个函数，则忽略之。
2. 如果onFulfilled是一个函数:
   
   
   1. 它必须在promise fulfilled后调用， 且promise的value为其第一个参数。
   2. 它不能在promise fulfilled前调用。
   3. 不能被多次调用。
3. 如果onRejected是一个函数,
   
   
   1. 它必须在promise rejected后调用， 且promise的reason为其第一个参数。
   2. 它不能在promise rejected前调用。
   3. 不能被多次调用。
4. onFulfilled 和 onRejected 只允许在 execution context 栈仅包含平台代码时运行. [3.1].
5. onFulfilled 和 onRejected 必须被当做函数调用 (i.e. 即函数体内的 this 为undefined). [3.2]
6. 对于一个promise，它的then方法可以调用多次.
   
   
   1. 当promise fulfilled后，所有onFulfilled都必须按照其注册顺序执行。
   2. 当promise rejected后，所有OnRejected都必须按照其注册顺序执行。

7. then 必须返回一个promise [3.3].

   jspromise2 = promise1.then(onFulfilled, onRejected);
   

   1. 如果onFulfilled 或 onRejected 返回了值x, 则执行Promise 解析流程[[Resolve]](promise2, x).
   2. 如果onFulfilled 或 onRejected抛出了异常e, 则promise2应当以e为reason被拒绝。
   3. 如果 onFulfilled 不是一个函数且promise1已经fulfilled，则promise2必须以promise1的值fulfilled.
   4. 如果 OnReject 不是一个函数且promise1已经rejected, 则promise2必须以相同的reason被拒绝.

2.3 Promise解析过程

Promise解析过程 是以一个promise和一个值做为参数的抽象过程，可表示为[[Resolve]](promise, x). 过程如下；

1. 如果promise 和 x 指向相同的值, 使用 TypeError做为原因将promise拒绝。
2. 如果 x 是一个promise, 采用其状态 [3.4]:
   
   
   1. 如果x是pending状态，promise必须保持pending走到x fulfilled或rejected.
   2. 如果x是fulfilled状态，将x的值用于fulfill promise.
   3. 如果x是rejected状态, 将x的原因用于reject promise..
3. 如果x是一个对象或一个函数：
   
   
   1. 将 then 赋为 x.then. [3.5]
   2. 如果在取x.then值时抛出了异常，则以这个异常做为原因将promise拒绝。
   3. 如果 then 是一个函数， 以x为this调用then函数， 且第一个参数是resolvePromise，第二个参数是rejectPromise，且：
      
      
      1. 当 resolvePromise 被以 y为参数调用, 执行 [[Resolve]](promise, y).
      2. 当 rejectPromise 被以 r 为参数调用, 则以r为原因将promise拒绝。
      3. 如果 resolvePromise 和 rejectPromise 都被调用了，或者被调用了多次，则只第一次有效，后面的忽略。
      4. 如果在调用then时抛出了异常，则：
         
         
         1. 如果 resolvePromise 或 rejectPromise 已经被调用了，则忽略它。
         2. 否则, 以e为reason将 promise 拒绝。
   4. 如果 then不是一个函数，则 以x为值fulfill promise。
4. 如果 x 不是对象也不是函数，则以x为值 fulfill promise。

补充

英文原文地址：http://promisesaplus.com
若要了解文中每一条规则，则参阅其测试仓库：https://github.com/promises-aplus/promises-tests/tree/master/lib/tests