【译】 Promises/A+ 规范

• 原文地址：promisesaplus.com/
• Markdown 地址：github.com/Yangfan2016…
• 译者：Yangfan2016

一个开放标准，对于开发人员可互操做的 JavaScript 承诺

一个 promise 表明一个异步操做的最终结果。主要的操做方式是经过调用 promise 的 then 方法，它接受的回调函数接受 promise 成功的结果或失败的缘由

这个规范详细的描述了 then 方法的行为，提供一个互操做基础，全部符合 Promises/A+ 的均可以依赖这个标准实现。所以，该规范已经十分稳定。尽管 Promises/A+ 组织可能会偶尔修改以实现向后兼容，咱们也会整合这些大的或不能向后兼容的改变，一块儿研究，讨论，测试。

曾经， Promises/A+ 解释了早期 PromisesA 提议的条款，扩展了事实上的行为和忽略了不标准和有问题的部分。

最终，Promises/A+ 规范并没处理如何建立 fulfill，或 reject promise，而选择了可互操做的 then 方法替代。在从此的工做中可能会考虑。

1. 术语

1.1 ‘promise’ 是一个有符合此标准的 then 方法的 object 或 function

1.2 ‘thenable’ 是 then 方法定义的 object 或 function

1.3 ‘value’ 是一个 JavaScript 合法值（包括 undefined，thenable，promise）

1.4 ‘exception’ 是一个 throw 语句抛出错误的值

1.5 ‘reason’ 是一个代表 promise 失败的缘由的值

2. 要求

2.1 Promise 状态

一个 promise 有且只有一个状态（pending，fulfilled，rejected 其中之一）

2.1.1 pending 状态时：

• 2.1.1.1 可能会转变为 fulfilled 或 rejected 状态

2.1.2 fulfilled 状态时：

• 2.1.2.1 不能再状态为任何其余状态

• 2.1.2.2 必须有一个 value，且不可改变

2.1.3 rejected 状态时：

• 2.1.3.1 不能再状态为任何其余状态

• 2.1.3.2 必须有一个 reason，且不可改变

注：这里 ‘不可改变’ 意思是不可变恒等（同理 === ），但不意味永远不可变

2.2 then 方法

一个 promise 必须提供一个 then 方法，用来获取当前或最终的 value 或 reason

一个 promise 的 then 方法接受两个参数：

promise.then(onFulfilled, onRejected)

2.2.1 onFulfilled 和 onRejected 都是可选参数：

• 2.2.1.1 若是 onFulfilled 不是函数，它会被忽略

• 2.2.1.2 若是 onRejected 不是函数，它会被忽略

2.2.2 若是 onFulfilled 是一个函数：

• 2.2.2.1 它必定是在 promise 是 fulfilled 状态后调用，而且接受一个参数 value

• 2.2.2.2 它必定是在 promise 是 fulfilled 状态后调用

• 2.2.2.3 它最多被调用一次

2.2.3 若是 onRejected 是一个函数：

• 2.2.3.1 它必定在 promise 是 rejected 状态后调用，而且接受一个参数 reason

• 2.2.3.2 它必定在 promise 是 rejected 状态后调用

• 2.2.3.3 它最多被调用一次

2.2.4 onFulfilled 或 onRejected 只在执行环境堆栈只包含平台代码以后调用 [3.1]

2.2.5 onFulfilled 和 onRejected 会做为函数形式调用 (也就是说，默认 this 指向 global，严格模式 undefined) [3.2]

2.2.6 在同一个 promise 实例中，then 能够链式调用屡次

• 2.2.6.1 若是或当 promise 转态是 fulfilled 时，全部的 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，那么它会以

[[Resolve]](promise2, x) 处理解析

• 2.2.7.2 若是 onFulfilled 或 onRejected 里抛出了一个异常，那么 promise2 必须捕获这个错误（接受一个 reason 参数）

• 2.2.7.3 若是 onFulfilled 不是一个函数，而且 promise1 状态是 fulfilled，那么 promise2 必定会接受到与 promse1 同样的值 value

• 2.2.7.4 若是 onRejected 不是一个函数，而且 promise1 状态是 rejected，promise2 必定会接受到与 promise1 同样的值 reason

2.3 Promise 处理程序

promise 处理程序是一个表现形式为 [[Resolve]](promise, x) 的抽象处理操做。若是 x 是 thenable 类型，它会尝试生成一个 promise 处理 x，不然它将直接 resolve x

只要 then 方法符合 Promises/A+ 规则，那么对 thenables 处理就容许实现可互操做（链式调用，层层传递下去）。它也容许对那些不符合 Promises/A+ 的 then 方法进行 “吸取”

[[Resolve]](promise, x) 的执行表现形式以下步骤：

2.3.1 若是返回的 promise1 和 x 是指向同一个引用（循环引用），则抛出错误

2.3.2 若是 x 是一个 promise 实例，则采用它的状态：

• 2.3.2.1 若是 x 是 pending 状态，那么保留它（递归执行这个 promise 处理程序），直到 pending 状态转为 fulfilled 或 rejected 状态

• 2.3.2.2 若是或当 x 状态是 fulfilled，resolve 它，而且传入和 promise1 同样的值 value

• 2.3.2.3 若是或当 x 状态是 rejected，reject 它，而且传入和 promise1 同样的值 reason

2.3.3 此外，若是 x 是个对象或函数类型

• 2.3.3.1 把 x.then 赋值给 then 变量

• 2.3.3.2 若是捕获（try，catch）到 x.then 抛出的错误的话，须要 reject 这个promise

• 2.3.3.3 若是 then 是函数类型，那个用 x 调用它（将 then 的 this 指向 x）,第一个参数传 resolvePromise ，第二个参数传 rejectPromise：

  • 2.3.3.3.1 若是或当 resolvePromise 被调用并接受一个参数 y 时，执行 [[Resolve]](promise, y)

  • 2.3.3.3.2 若是或当 rejectPromise 被调用并接受一个参数 r 时，执行 reject(r)

  • 2.3.3.3.3 若是 resolvePromise 和 rejectPromise 已经被调用或以相同的参数屡次调用的话吗，优先第一次的调用，而且以后的调用所有被忽略（避免屡次调用）

  • 2.3.3.4 若是 then 执行过程当中抛出了异常，

    • 2.3.3.3.4.1 若是 resolvePromise 或 rejectPromise 已经被调用，那么忽略异常

    • 2.3.3.3.4.2 不然，则 reject 这个异常

• 2.3.3.4 若是 then 不是函数类型，直接 resolve x（resolve(x)）

2.3.4 若是 x 即不是函数类型也不是对象类型，直接 resolve x（resolve(x)）

若是被 resolve 的 promise 参与了 thenable 的循环链中，那么可能会致使无限递归。咱们鼓励实现检测这种无限递归的方法而且返回一个错误信息，但并非必须的 [3.6]

3. 备注

3.1 这里的 “平台代码”是指引擎，环境，和 promise 实现代码。实际上，这个要求确保 onFulfilled 和 onRejected 都在下一轮的事件循环中（一个新的栈）被异步调用。能够用宏任务，例如：setTimeout，setImmediate 或者微任务，例如：MutationObsever 或 process.nextTick 实现。 因为 promise 的实现被当作平台代码，因此它自己可能包含一个任务队列或 “trampoline” 的处理程序

3.2 这个 this 在严格模式下是 undefined，在宽松模式，指向 global 对象

3.3 具体的实现能够容许 promise2 和 promise1 绝对相等，要知足全部要求。每个处理 promise2 和 promise1 绝对相等的实现都要写上文档标注

3.4 一般，只有它来自当前实现才能够判断 x 是一个真正的 promise。 此条款容许采起已知符合 promise 标准实现的状态

3.5 把 x.then 存起来，而后测试、调用这个引用，避免屡次访问 x.then 属性。这么作的缘由是防止每次获取 x.then 时，返回不一样的状况（ES5 的 getter 特性可能会产生反作用）

3.6 实现不该该武断地限制 thenable 链的深度，假设超出限制的无限递归。只有真正的循环引用才会致使一个 TypeError 错误，若是遇到一个不一样的无限递归 thenable 链，一直递归永远是正确的行为

• 本文仅表明原做者我的观点，译者不发表任何观点
• Markdown 文件由译者手动整理，若有勘误，欢迎指正
• 译文和原文采用同样协议，侵删