Promises/A+
为使用者提供可靠的、可协作的JavaScript Promises的一个开放标准
? 一个promise表示一个异步操作的最终结果。和一个promise交互的主要方式是通过注册了回调函数的then方法，其中回调函数能够获取promise最终的值或者该promise无法执行的原因。
? 此规范详述了提供了then方法的行为，所有遵循Promises/A+规范的promise实现均可将本标准作为参照基础来实施then方法。因此此规范必须十分稳定。尽管Promises/A+组织可能偶尔做向后兼容的小小改变来修改这一规范，从而解决新发现的边界情况，我们只在谨慎地考虑、讨论和测试后，整合一些大的或是不向后兼容的变化。
? 从历史上看，Promises/A+阐明了更早的Promises/A建议的行为条例，将其扩展为包含实际上存在的行为，并且删减了在特殊情况下和有问题的部分。
? 最后，核心的Promises/A+规范不涉及处理如何创建，执行或是拒绝promise，而是选择聚焦于提供一个可协作的then方法。未来的其他规范可能会涉及到这些方面。
1.术语
1.1. “promise”是一个具有then方法的对象或函数，其中then方法遵循此规范。
1.2. "thenable"是一个定义了then方法的对象或函数。
1.3. "value"是一个合法的Javascript值（包括undefined，一个thenable或是一个promise）。
1.4. "exception"是一个使用throw声明被丢弃的value。
1.5. "reason"是一个指明为什么一个promise被拒绝的value。
2.要求
2.1. Promise 状态
一个promise必须在下列三种状态之一：pending(待决)，fulfilled(完成)或者rejected(拒绝)。
2.1.1. 当promise状态为pending:
? 2.1.1.1. 可能转换到fulfilled或者rejected状态。
2.1.2. 当promise状态为fulfilled：
? 2.1.2.1. 一定不会转换到任何其他状态。
? 2.1.2.2. 一定有一个不能改变的value。
2.1.3. 当promise状态为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后才被调用，将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 value)。
2.2.6. then在同一个promise中可能被多次调用。
? 2.2.6.1. 如果/当promise被fulfilled后，所有相应的onFulfilled调用必须按照对then原始调用的顺序 执行。
? 2.2.6.2. 如果/当promise被rejected后，所有相应的onFulfilled调用必须按照对then原始调用的顺 序执行。
2.2.7. then必须返回一个promise。[见3.3]
promise2=promise1.then(onFulfilled,onRejected);
? 2.2.7.1. 如果onFulfilled或者onRejected返回一个value x，执行以下promise解决过程：
? [[Resolve]](promise2,x)
? 2.2.7.2. 如果onFulfilled 或者onRejected抛出一个 exception e，promise2必须以e为reason来被rejected。
? 2.2.7.3. 如果onFulfilled不是一个函数，同时promise1被fulfilled，promise2必须使用和promise1相同的value被fulfilled。
? 2.2.7.4. 如果onRejected不是一个函数，同时promise1被fulfilled，promise2必须使用和promise1相同的value被rejected。
2.3 Promise解决过程
promise解决过程表示为[[Resolve]](promise,x)，是以一个promise和一个value为输入的抽象操作。如果x是thenable的，同时x表现的有些像一个promise，那么解决过程试图让promise接受x的状态。否则，解决过程用value x来fulfill promise。
只要promise的实现暴露了一个遵循Promises/A+的then方法，这种thenable的特性就会使得promise的实现更具通用性，同时使得遵循了Promises/A+的promise实现能和未遵循但有可用then方法的promise实现共存。
为了运行[[Resolve]](promise,x)，执行以下步骤：
2.3.1. 如果promise和x指向同一个对象，那么以TypeError作为reason来reject promise。
2.3.2 如果x是一个promise，接受它的状态[见3.4]：
? 2.3.2.1. 如果x处于pending状态时，在x处于fulfilled或者rejected状态之前，promise必须一直保持 pending状态。
? 2.3.2.2. 如果/当x处于fulfilled状态时，使用同样的value来fulfill promise。
? 2.3.2.3. 如果/当x处于rejected状态时，使用同样的reason来reject promise。
2.3.3. 如果x是一个对象或者函数，
? 2.3.3.1. 让then变为x.then[见3.5]
? 2.3.3.2. 如果取x.then的值导致了一个exception e的抛出，将e作为reason来reject promise。
? 2.3.3.3. 如果then是一个函数，将x作为this来调用它，第一个参数为resolvePromise，第二个参 数为rejectPromise，其中：
? 2.3.3.3.1. 如果/当resolvePromise被一个value y调用，运行[[Resolve]](promise,y).
? 2.3.3.3.2. 如果/当rejectPromise被一个reason r调用，用r来reject promise。
? 2.3.3.3.3. 如果resolvePromise和rejectPromise都被调用或者对同一参数进行了多次调用，则第 一次调用优先，其他所有调用都被忽略。
? 2.3.3.3.4. 如果调用then抛出了一个exception e，
? 2.3.3.3.4.1 如果resolvePromise或者rejectPromise已经被调用过了，则无视。
? 2.3.3.3.4.2. 否则，以e为reason来reject promise。
? 2.3.3.4. 如果then不是一个函数，用x来fulfill promise。
2.3.4. 如果then不是一个对象或函数，用x来fulfill promise。
如果一个promise使用参与了一个循环thenable链的thenable变为resolved，例如[[Resolve]](promise,thenable)的循环性质最终导致[[Resolve]](promise,thenable)被再次调用，遵循上述算法将导致无限递归。鼓励但不强制要求实现检测这样的递归，并以提示信息的TypeError 作为reason来reject promise。
3.注释
3.1. 这里的平台代码指引擎，环境和promise的实现代码。实际上，这个要求确保了在then被调用的那一轮事件循环之后的新栈中，onFulfilled和onRejected异步执行。可以使用例如setTimeout或setImmediate的宏任务机制，或者例如MutationObserver或process.nextTick的微任务机制来实现。由于promise实现本身就是平台代码，可能自身已经包含了一个在其中调用处理程序的任务调度队列。
3.2. 在严格模式下，它们的this是undefined;在非严格模式下，它是一个全局对象。
3.3. 在满足所有要求的情况下实现可能允许promise1===promise2，每个实现都应记录是否允许以及在什么条件下允许promise2===promise1。
3.4. 通常，只有在x符合当前实现时，我们才认为它是真正的promise。这一条款允许那些特定实现方式接受已知符合要求的promises状态。
3.5. 这一步首先存储了对x.then的引用，接着测试了这个引用，随后调用这个引用，避免对于x.then属性的多次访问。这一预防措施对于确保访问器属性的一致性非常重要，因为访问器属性值可能在检索间改变。
3.6. 实现在thenable链的深度上不应该设置任意限制，并假定超出这一任意限制后将无限递归。只有真正的循环应该导致一个TypeError；如果遇到了一条无限长的链上thenable各不相同，正确的行为是一直递归下去。
翻译此标准是为了便于自己后续的实现，同时加深对于Promises/A+标准的理解。按个人阅读习惯，在翻译中保留了一些在标准中解释过的专有术语。个人水平不足，翻译可能存在一些问题，若有不当之处还望指正，谢谢！