Promises/A+规范中文翻译

翻译： https://promisesaplus.com/
Javascript Promise是一个全面、通用的开放标准，由开发者指定，为开发者参考。
Promise代表异步操作的最终结果。与promise对象交互的主要方式是通过.then()方法，then()方法注册了回调函数，用于接收最终结果或者拒绝的原因。
这个规范详细说明了.then方法的执行流程，为所有遵循Promises/A+标准的开发者提供共用的基础。严格来说，本规范相当稳定了。尽管Promises/A+组织为了处理一些新发现的边角问题，偶尔可能会修改本规范，这些修改时微小的，向后兼容的，我们仅仅会在深思熟虑、讨论、测试之后修改较大且向后不兼容的部分。
从历史来说，Promises/A+把早期的Promises/A+建议明确了行为规范，扩展了原有的约定俗成的行为，并删除了不明确的或有问题的部分。
最后呢，Promises/A+规范的核心不是对promise如何创建、解决、拒绝，而是集中力量提供一个通用的then方法。未来，这些方法可能会用在其他规范中。

1. 术语

1.1 “promise”是一个带有then方法的对象或函数，其行为符合本规范；
1.2 “thenable”是一个定义了then方法的对象或函数；
1.3 值（“value”）是任何一个JavaScript合法值（包括undefined,a thenable, 或者a 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 不能再转化为其他状态；
2.1.2.2 必须有一个不变的值；
2.1.3 promise状态为rejected
2.1.3.1 不能再转化为其他状态；
2.1.3.2 必须有一个不变的原因；
这里的不可变指的是恒等（即 ===），而不是深层次的不可变。

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终值；
2.2.2.2 它在promise状态变成fulfilled之前不能被调用
2.2.2.3 他只能被调用一次
2.2.3 如果onRejected是函数
2.2.3.1 它必须在promise是rejected状态后（即失败后）被调用，他的第一个参数就是promise终值；
2.2.3.2 它在promise状态变成rejected之前不能被调用
2.2.3.3 他只能被调用一次
2.2.4 onFulfilled 或 onRejected只有在执行环境栈中包含平台代码时才能被调用
2.2.5 onFulfilled 和onRejected必须作为函数被调用（没有this值）
2.2.6 then方法可能被同一个promise调用多次
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，promise解决过程：

[[Resolve]](promise2, x)

2.2.7.2 如果onFulfilled 或 onRejected抛出一个异常e，promise2必须拒绝执行，返回e
2.2.7.3 如果 onFulfilled 不是函数并且 promise1 成功执行， promise2 必须成功执行并返回相同的值
2.2.7.4 如果 onRejected 不是函数并且 promise1 拒绝执行， promise2 必须拒绝执行并返回相同的原因

2.3 promise解决过程

promise解决过程是一个抽象操作，当输入一个promise或一个值，我们用[[Resolve]](promise, x)表示，如果x是一个thenable，假如它表现得像a promise，它会使promise尝试接受x的状态，否则会用x值执行promise。
thenables的特性使promise的实现具有通用性，只要它们暴出一个遵循Promises/A+规范的then方法。并且它也使遵循 Promise/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 把 x.then 赋值给 then
2.3.3.2 如果x.then抛出异常e，则以e为原因拒绝promise
2.3.3.3 如果 then 是函数，将 x 作为 this 调用。传递两个回调函数作为参数，第一个参数叫做 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 链中的对象解决的，而 [[Resolve]](promise, thenable) 的递归性质又使得其被再次调用，根据上述的算法将会陷入无限递归之中。算法虽不强制要求，但也鼓励施者检测这样的递归是否存在，若检测到存在则以一个可识别的 TypeError 来拒绝 promise。