【翻译】Promises/A+规范

介绍

翻译 Promises/A+ 规范的原因在于，在学习Promise时想要了解关于其规范的详细介绍，但是实际搜了很多文章的介绍似乎大多都是"残缺"的，有的文章虽然说是介绍 Promises/A+ 规范，但其实或是简单介绍，或是做一些总结归纳；有的文章是有关 Promises/A+ 规范的翻译，但是个人读起来感觉多处地方不太理解，有些语句也不通顺。于是后面干脆想着自己翻译一遍，也是对 Promises/A+ 规范的一次认真学习。

对译文的了解来自这篇[译]前端基础知识储备——Promise/A+规范文章，

里面介绍了Promise/A+规范原文地址，

以及测试一个 Promise 库是否符合 Promise/A+ 规范的工具promises-aplus/promises-tests

注： fulfill 履行，或完成， reject 拒绝。对应于 promise 承诺

译文

一个完善的可互操作的JavaScript promises开放标准——来自开发者，为了开发者

原文中后面结尾是 ——by implementers, for implementers ，应该是表达 promises 来自于实际的实施使用者，为了实际的实施使用者

一个promise代表一个异步操作的最终结果。与promise交互的主要方式是通过它的then方法，该方法注册回调函数以接收一个promise的最终结果或promise无法履行( fulfilled )的原因。

该规范详细说明了then方法的行为，为所有符合 Promises/A+ 的promise实现提供了一个可互操作的基础。因此，该规范可以被看作是非常稳定的。尽管 Promises/A+ 组织有时会通过向后兼容的微小更改来修订此规范，以解决新发现的极端情况，但只有经过仔细考虑，讨论和测试之后，我们才会添加大的、或不向后兼容的更改。

从历史上看， Promises/A+ 阐述了早期 Promises/A 提案的行为规范，将其扩展为涵盖事实的行为，并省略了未指定或有问题的部分。

最后， Promises/A+ 规范的核心不涉及如何创建( create )，履行( fulfill )或拒绝( reject )Promise，而是专注于提供可互操作的 then 方法。将来规范中的工作可能涉及这些主题。

1. 术语( Terminology )

1.1. "promise"是一个具有 then 方法的对象或函数， then 方法的行为符合此规范。

1.2. "thenable"是定义一个 then 方法的对象或函数。

1.3. "value"是任何合法的JavaScript值（包括 undefined ，, thenable , 或 promise ）

1.4. "exception"是一个使用 throw 语句抛出的值。

1.5. "reason"是一个表明拒绝 promise 的原因的值。

2. 要求( Requirements )

2.1 Promise状态

一个 promise 必须处于 pending 、 fulfilled 或 rejected 三种状态之一。

2.1.1. 当处于 pending 状态, 一个promise:

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

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 必须有一个不可变的原因(值).

此处 "不可变" 表示全等( === )，不代表深度比较相等。

即：本可变( must not change )表示一旦变为 fulfilled 或 rejected 状态，结果将不会再变更

2.2 then 方法

一个 promise 必须提供一个 then 方法来访问其当前或最终的值，或者原因。

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 状态之后被调用, 并且promise的值(value)作为它的第一个参数.

• 2.2.2.2 在promise变为 fulfilled 状态之前它一定不能被调用.

• 2.2.2.3 它不能被调用超过一次。

2.2.3 如果 onRejected 是一个函数:

• 2.2.3.1 它必须在promise变为 rejected 状态之后被调用, 并且promise的原因(reason)作为它的第一个参数.

• 2.2.3.2 在promise变为 rejected 状态之前它一定不能被调用.

• 2.2.3.3 它不能被调用超过一次。

2.2.4 onFulfilled 和 onRejected 只有在执行环境堆栈仅包含 平台代码 时才能被调用。3.1

2.2.5 onFulfilled 和 onRejected 必须作为普通函数调用(例如，没有this值). 3.2

2.2.6 同一个promise的 then 方法可以被调用多次

• 2.2.6.1 如果(当)promise完成执行(fulfilled)， onFulfilled 回调必须按照它们原始的 then 调用时的顺序执行。
• 2.2.6.2 如果(当)promise被拒绝(rejected)时， onRejected 回调必须按照它们原始的 then 调用时的顺序执行。

2.2.7 then 方法必须返回一个 promise 3.3

promise2 = promise1.then(onFulfilled, onRejected);

• 2.2.7.1 如果 onFulfilled 或 onRejected 返回一个值 x ，则必须运行 Promise解析程序 [[Resolve]](promise2, x)

• 2.2.7.2 如果 onFulfilled 或者 onRejected 抛出一个异常 e ，则 promise2 必须被拒绝(rejected)，并将 e 作为拒绝原因(reason)

• 2.2.7.3 如果 onFulfilled 不是一个函数并且 promise1 完成执行( fulfilled )， promise2 必须以 promise1 相同的值作为结果也执行完成( fulfilled )

• 2.2.7.4 如果 onRejected 不是一个函数并且 promise1 被拒绝( rejected )， promise2 必须以 promise1 相同的原因作为结果也被拒绝( rejected )

2.3 Promise解析程序

Promise解析程序是一个抽象的操作，用来处理作为输入的promise和值(value)，表示为 [[Resolve]](promise, x) 。如果 x 是一个 thenable ，在假设 x 的行为至少类似于 promise 的情况下，会尝试使 promise 使用 x 的状态。否则，用值 x 履行(完成)promise

这种对 thenable 的处理使 promise 实现了可互操作，只要该实现暴露一个符合 Promises/A+ 的 then 方法即可。同时也允许 Promises/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 3.5

• 2.3.3.2 如果获取 x.then 的结果时抛出错误 e ，使用 e 作为原因拒绝 promise

• 2.3.3.3 如果 then 是一个函数，将 this 执行 x 调用它，第一个参数是 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 解决( resolved )(即 thenable 链是一个环形的循环链)，那么 [[Resolve]](promise，thenable) 的递归性质最终会导致 [[Resolve]](promise，thenable) 再次被调用，按照上述算法将导致无限递归。我们鼓励检测此类递归并使用信息丰富的 TypeError 为原因拒绝 promise ，但此检测的实现不是必需的。 3.6

3. 注释

3.1 platform code

这里的平台代码( platform code )是指引擎、环境和promise的实现代码。实际上，这要求确保在then调用的事件循环之后进入，并且使用的是新的堆栈异步执行 onFulfilled 和 onRejected 。可以使用"宏任务"( macro-task )机制(如setTimeout或setImmediate)或"微任务"( micro-task )机制(如MutationObserver或process.nextTick)来实现。由于promise的实现被视为平台代码，因此在调用的处理程序中，它本身可能包含一个任务调度队列( task-scheduling queue )或"跳板"( trampoline ，蹦床)。

3.2

在严格模式中，函数内部的 this 是 undefined ；在松散模式中， this 是全局对象

3.3

如果实现满足所有要求，则可以允许 promise2 === promise1 。每个实现都应说明其是否可以产生以及在什么条件下产生 promise2 === promise1 的结果。

3.4

通常，只有 x 来自当前的实现，才知道它是一个真实的 promise 。这允许那些特定的实现的采用已知的符合规则的 promise 的状态。

3.5

这个过程，首先存储对 x.then 的引用，然后测试该引用，然后调用该引用，避免了对 x.then 属性的多次访问。此类预防措施对于确保访问者属性的一致性非常重要，因为访问者属性的值在两次检索之间可能会发生变化。

3.6

实现不应在 thenable 链的深度上设置任意限制，并假定超出该任意限制，则递归将是无限的。只有真正的循环(环形循环)才应该导致 TypeError ；如果在一个无限链上遇到不同的 thenables ，则递归永远是正确的行为。

后记

第二部分是 Promises/A+ 规范的整个译文，总体来说翻译真的不容易(除非英语特别牛，同时对编程有深厚的理解)。以上按照自己的理解大体进行了翻译，但难免有不正确或有歧义的地方，望理解并指出，一定加以改正。

规范本身就比较晦涩难懂，或者文字简练精确，逻辑严谨准确。加上水平有限，总是很难看懂，不是看一遍就能理解或弄清楚的，在此共勉！