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. onFulfilledonRejected 都是可选参数:

    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. onFulfilledonRejected 只允许在 execution context 栈仅包含平台代码时运行. [3.1].
  5. onFulfilledonRejected 必须被当做函数调用 (i.e. 即函数体内的 thisundefined). [3.2]
  6. 对于一个promise,它的then方法可以调用多次.

    1. promise fulfilled后,所有onFulfilled都必须按照其注册顺序执行。
    2. promise rejected后,所有OnRejected都必须按照其注册顺序执行。
  7. then 必须返回一个promise [3.3].

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

2.3 Promise解析过程

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

  1. 如果promisex 指向相同的值, 使用 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 是一个函数, 以xthis调用then函数, 且第一个参数是resolvePromise,第二个参数是rejectPromise,且:

      1. resolvePromise 被以 y为参数调用, 执行 [[Resolve]](promise, y).
      2. rejectPromise 被以 r 为参数调用, 则以r为原因将promise拒绝。
      3. 如果 resolvePromiserejectPromise 都被调用了,或者被调用了多次,则只第一次有效,后面的忽略。
      4. 如果在调用then时抛出了异常,则:

        1. 如果 resolvePromiserejectPromise 已经被调用了,则忽略它。
        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

你可能感兴趣的文章

3 条评论
_OnlySea · 2015年12月16日

Promise解析过程中的标号与后面的[]中的引用容易引起混下,如:

如果 x 是一个promise, 采用其状态 [3.4]

这里的3.4很容易误解

回复

sfcdz · 2016年06月29日

小白,都不看不懂啊

回复

南漂一卒 · 2016年09月01日

如果博主没删掉 原文脚注,可能更好理解 —— http://malcolmyu.github.io/ma...

回复

载入中...
ssnau ssnau

1.1k 声望

发布于专栏

Code

21 人关注