Promises/A+中文翻译

实现者为实施者提供开放的标准，实现可靠，可互操做的JavaScript Promise.

Promise表示异步操做的最终结果。与promise进行交互的主要方式是经过其then方法，该方法注册回调以接收promise的最终值或没法履行promise的缘由。

该规范详细说明了该then方法的行为，提供了一个可互操做的基础，能够依赖全部Promises/A+符合的promise实现来提供。所以，应该认为规范很是稳定。尽管Promises/A+组织可能会偶尔修改此规范，并进行微小的向后兼容更改以解决新发现的极端状况，但只有通过仔细考虑，讨论和测试后，咱们才会集成大型或向后不兼容的更改。

从历史上看，Promises/A+澄清了早期Promises/A提案的行为条款，将其扩展到涵盖事实上的行为并省略了未指明或有问题的部分。

最后，核心Promises/A+规范没有涉及如何建立，实现或拒绝Promise，而是选择专一于提供可互操做的then方法。配套规范中的将来工做可能涉及这些主题。

1.术语

• 1.1. “promise”是具备then方法的对象或函数，其行为符合本规范。
• 1.2. “thenable”是定义then方法的对象或函数。(promise是thenable对象)
• 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状态时，Promise：

• 2.1.1.1. 能够过渡到fulfilled或rejected的状态。

2.1.2. fulfilled状态时，Promise：

• 2.1.2.1. 不得过渡到任何其状态。
• 2.1.2.2. 必须有一个值(value)，毫不能改变。

2.1.3. rejected状态时，Promise：

• 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完成后调用，promise的value做为第一个参数。
• 2.2.2.2. 在promise完成以前不得调用它。
• 2.2.2.3. 它不能被屡次调用。

2.2.3. 若是onRejected是一个函数：

• 2.2.3.1. 它必须在promise被拒绝后被调用，promise的reason做为第一个参数。
• 2.2.3.2. promise拒绝以前不得调用它。
• 2.2.3.3. 它不能被屡次调用。

2.2.4. onFulfilled或者onRejected在执行上下文堆栈仅包含平台代码以前不得调用。(链式调用，then方法返回一个新的promise对象，须要等新promise对象实例化结束后才能调用then的回调函数) 3.1 。

2.2.5. onFulfilled而且onRejected必须做为函数调用（即没有this值）。 3.2

2.2.6. then 能够在同一个promise上屡次调用。

• 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(x多是promise,因此须要增长处理函数)，运行Promise解决程序[[Resolve]](promise2, x)。
• 2.2.7.2.若是onFulfilled或者onRejected抛出异常e，将e做为promise2rejected的reason。
• 2.2.7.3.若是onFulfilled不是一个函数而且promise1已经完成，则promise2必须使用与promise1相同的value来fulfilled。
• 2.2.7.4.若是onRejected不是一个函数而promise1被拒绝，promise2必须与promise1以一样的reason来rejected。

2.3.Promise解决程序

promise解决程序是一个函数，参数为一个promise和一个value，它表示为[[Resolve]](promise,x)。若是x是一个thenable(promise)，它会尝试promise采用x的状态，前提是x行为至少有点像promise。不然，它做为promise的fulfilled的value返回。

对thenables的这种处理容许promise实现进行互操做，只要它们公开Promise/A+兼容then方法便可。它还容许Promises/A+实现使用合理的then方法“同化”不一致的实现。

要运行[[Resolve]](promise, x)，请执行如下步骤：

2.3.1.若是promise和x引用同一个对象，请以promise TypeError为reason来rejected。

2.3.2. 若是x是promise，采用其状态 3.4 ：

• 2.3.2.1. 若是x待处理pending，则promise必须保持待处理状态，直到xfulfilled或rejected为止。
• 2.3.1.2. 若是/当 x fulfilled，则promise使用相同的value fulfilled。
• 2.3.1.3. 若是/当 x rejected，请promise以一样的reason rejected。

2.3.3.不然，若是x是对象或函数：

• 2.3.3.1.让then = x.then。 3.5
• 2.3.3.2.若是检索属性x.then中抛出的异常的结果e，将e做为 promise的reason来rejected。
• 2.3.3.3.若是then是函数，将x做为this调用它，第一个参数resolvePromise和第二个参数rejectPromise，其中：
  • 2.3.3.3.1. 若是resolvePromise被调用并返回一个值y(原理同x，可能为promise)，则运行[[Resolve]](promise, y)。
  • 2.3.3.3.2. 若是/当 rejectPromise被调用并是带一个reasonr，将r做为拒绝promise的reason。
  • 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的rejected的reason。
• 2.3.3.4.若是then不是一个函数，将x做为promisefulfilled的value。

2.3.4. 若是x不是一个对象或函数，将x做为promise的fulfilled的value。

若是使用参与循环可变链的thenable来解决promise，使得[[Resolve]](promise, thenable)最终致使[[Resolve]](promise,thenable)再次调用的递归性质，遵循上述算法将致使无限递归。鼓励但不要求实现以检测这种递归并拒绝promise提供信息TypeError做为缘由。 3.6

3.笔记

• 3.1. 这里的“平台代码”意味着引擎，环境和promise实现代码。在实践中，此要求确保在调用事件循环而且使用新堆栈以后异步执行onFulfilled和onRejected执行then。这能够用“宏任务”机制实现，例如setTimeout或者setImmediate，或者用“微任务”机制，例如MutationObserver或process.nextTick。因为promise实现被认为是平台代码，所以它自己可能包含一个任务调度队列或“trampoline”，其中调用处理程序。

• 3.2.也就是说，严格模式this将undefined在其中;在草率模式下，它将成为全局对象。

• 3.3. promise2 === promise1只要实现知足全部要求，实现能够容许。每一个实施应记录它是否能够生产promise2 === promise1以及在什么条件下生产。

• 3.4. 通常来讲，x若是它来自当前的实现，那么它只是一个真正的promise。该子句容许使用特定于实现的方法来采用已知符合的promise的状态。

• 3.5. 此过程首先存储引用x.then，而后测试该引用，而后调用该引用，避免屡次访问该x.then属性。这些预防措施对于确保访问者属性的一致性很是重要，访问者属性的值可能会在检索之间发生变化。

• 3.6. 实现应不设置thenable链的深度任何限制，并假设超出任何限制递归将是无限的。只有真正的周期才能致使TypeError;若是遇到无限的不一样的可能的链，那么永远递归就是正确的行为。