Promise A+ 中文翻译

Try to translate Promise A+ into Chinese 欢迎指正！
English version: Promise A+

这是实施者为实施者提供的开源健全可互操做的JavaScript Promise 规范。

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

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

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

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

1. 术语

• 1.1 "promise"是具备then方法的对象或函数，其行为符合此规范。
• 1.2 "thenable"是定义then方法的对象或函数。
• 1.3 "value"是任意合法的Javascript值，（包括undefined,thenable, promise）
• 1.4 "exception"是使用throw语句抛出的值
• 1.5 "reason"是表示promise为何被rejected的值

2. 要求

2.1 Promise状态

一个promise必须处于三种状态之一： 请求态（pending）， 完成态（fulfilled），拒绝态（rejected）

2.1.1 当promise处于请求状态（pending）时

• 2.1.1.1 promise能够转为fulfilled或rejected状态

2.1.2 当promise处于完成状态（fulfilled）时

• 2.1.2.1 promise不能转为任何其余状态
• 2.1.2.2 必须有一个值，且此值不能改变

2.1.3 当promise处于拒绝状态（rejected）时

• 2.1.3.1 promise不能转为任何其余状态
• 2.1.3.2 必须有一个缘由（reason），且此缘由不能改变

2.2 then方法

promise必须提供then方法来存取它当前或最终的值或者缘由。
promise的then方法接收两个参数：

promise.then(onFulfilled, onRejected)

2.2.1 onFulfilled和onRejected都是可选的参数：

• 2.2.1.1 若是 onFulfilled不是函数，必须忽略
• 2.2.1.1 若是 onRejected不是函数，必须忽略

2.2.2 若是onFulfilled是函数:

• 2.2.2.1 此函数必须在promise 完成(fulfilled)后被调用,并把promise 的值做为它的第一个参数
• 2.2.2.2 此函数在promise完成(fulfilled)以前绝对不能被调用
• 2.2.2.2 此函数绝对不能被调用超过一次

2.2.3 若是onRejected是函数:

• 2.2.2.1 此函数必须在promise rejected后被调用,并把promise 的reason做为它的第一个参数
• 2.2.2.2 此函数在promise rejected以前绝对不能被调用
• 2.2.2.2 此函数绝对不能被调用超过一次

2.2.4 在执行上下文堆栈（execution context）仅包含平台代码以前，不得调用 onFulfilled和onRejected 3.1

2.2.5 onFulfilled和onRejected必须被当作函数调用(i.e. with no this value-->这里不会翻......). 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, 运行
  Promise Resolution Procedure [[Resolve]](promise2, x) 2.3
• 2.2.7.2 若是onFulfilled或onRejected抛出一个异常e,promise2

必须被拒绝（rejected）并把e看成缘由

• 2.2.7.3 若是onFulfilled不是一个方法，而且promise1已经完成（fulfilled）,
  promise2必须使用与promise1相同的值来完成（fulfiled）
• 2.2.7.4 若是onRejected不是一个方法，而且promise1已经被拒绝（rejected）,
  promise2必须使用与promise1相同的缘由来拒绝（rejected）

<h3 id=23> 2.3 Promise解决程序</h3>

promise解析过程 是一个抽象操做，它将promise和value做为输入，咱们将其表示为[[Resolve]]（promise，x）。
若是x是thenable的，假设x的行为至少有点像promise，

它会尝试让<code>promise</code>采用<code>x</code>的状态。否则就会用<code>x</code>来完成<code>promise</code>

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

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

2.3.1 若是promise和x引用同一个对象，则用TypeError做为缘由拒绝（reject）promise。

2.3.2 若是x是一个promise,采用promise的状态3.4

• 2.3.2.1 若是x是请求状态(pending),promise必须保持pending直到xfulfilled或rejected
• 2.3.2.2 若是x是完成态(fulfilled)，用相同的值完成fulfillpromise
• 2.3.2.2 若是x是拒绝态(rejected)，用相同的缘由rejectpromise

2.3.3另外，若是x是个对象或者方法

• 2.3.3.1 让x做为x.then. 3.5
• 2.3.3.2 若是取回的x.then属性的结果为一个异常e,用e做为缘由reject promise
• 2.3.3.3 若是then是一个方法，把x看成this来调用它，

第一个参数为 resolvePromise，第二个参数为rejectPromise,其中:

+ 2.3.3.3.1  若是/当 <code>resolvePromise</code>被一个值<code>y</code>调用，运行 <code>[[Resolve]](promise, y)</code>
    + 2.3.3.3.2  若是/当 <code>rejectPromise</code>被一个缘由<code>r</code>调用，用<code>r</code>拒绝（reject）<code>promise</code>
    + 2.3.3.3.3  若是<code>resolvePromise</code>和 <code>rejectPromise</code>都被调用，或者对同一个参数进行屡次调用，第一次调用执行，任何进一步的调用都被忽略
    + 2.3.3.3.4  若是调用<code>then</code>抛出一个异常<code>e</code>,
        - 2.3.3.3.4.1 若是<code>resolvePromise</code>或 <code>rejectPromise</code>已被调用，忽略。
        - 2.3.3.3.4.2 或者， 用<code>e</code>做为reason拒绝（reject）<code>promise</code>

• 2.3.3.4 若是then不是一个函数，用x完成(fulfill)promise

2.3.4 若是 x既不是对象也不是函数，用x完成(fulfill)promise

若是一个promise被一个thenable resolve,而且这个thenable参与了循环的thenable环，
[[Resolve]](promise, thenable)的递归特性最终会引发[[Resolve]](promise, thenable)再次被调用。
遵循上述算法会致使无限递归，鼓励（但不是必须）实现检测这种递归并用包含信息的TypeError做为reason拒绝（reject）3.6

3.备注

3.1这里的"平台代码"

指的是引擎，环境和promise执行代码。在实践中，此要求确保onFulfilled和onRejected
可以异步执行，在then被调用以后传入事件环，并使用新的栈。这可使用诸如setTimeout或setImmediate之类的“宏任务”机制，
或者使用诸如MutationObserver或process.nextTick之类的“微任务”机制来实现。
因为promise实现被认为是平台代码，所以它自己可能包含一个任务调度队列或调用处理程序的“trampoline”。

3.2 没有this的状况

也就是说，在严格模式下，this是未定义的; 在宽松模式下，它将成为全局对象。

3.3 then必须返回promise

在实例知足全部要求的状况下，能够容许promise2 === promise1.
每一个实例都必须代表是否能实现，以及在什么状况下，promise2 === promise1

3.4 关于x

一般，当x来自当前的实例时，x才是真正的promise
This clause allows the use of implementation-specific means to adopt the state of known-conformant promises

3.5 关于x.then

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

3.6 如何对待thenable chain

实例不该该对thenable 链的深度设置任意限制，并假设递归超出任意限制，递归会无穷。只有真正的循环才会致使TypeError.
若是遇到thenbles的无限链，那么永远递归就是正确的行为。

本人首次翻译，欢迎批评指正。
Author: Yanni Jia
Nickname: 很是兔
My github link
My juejin link