PromiseA+ 中文版解释

1.术语

• 1.1 promise是具有then方法的对象或者函数，其行为符合规范。
• 1.2 thenable是定义在then方法上的对象或者函数。
• 1.3 value 是任何合法的JavaScript值（包括undefined，thenable，或者promise）
• 1.4 exception是使用抛出语句抛出的值
• 1.5 reason是一个表明promise为什么失败的值

2.需求

2.1 Promise状态

• 2.1.1 当promise状态为pending时：

  • 2.1.1.1 可以变为完成状态或者失败的状态

• 2.1.2 当promise状态为fulfilled时：

  • 2.1.2.1 不能变为任何一种状态
  • 2.1.2.2 必须有一个value，这个value不能改变

• 2.1.3 当promise为rejected时：

  • 2.1.3.1 不能变为任何一种状态
  • 2.1.3.2 必须有一个reason，这个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的值作为它的第一个参数
  • 2.2.2.2 它不能在promise完成前被调用。
  • 2.2.2.3 它不能被调用超过一次。

• 2.2.3 如果onRejected是一个函数

  • 2.2.3.1 它必须在promise失败后被调用，然后把promise的值作为它的第一个参数
  • 2.2.3.2 它不能在promise失败前被调用。
  • 2.2.3.3 它不能被调用超过一次。

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

• 2.2.5 onFulfilled和onRejected必须作为函数调用（即没有this值）[3.2]

• 2.2.6 then方法可能在同一次promise中被调用多次

  • 2.2.6.1 如果/当promise完成时，所有相应的onFulfilled回调必须按照最原始的then顺序来执行
  • 2.2.6.2 如果/当promise失败时，所有相应的onRejected回调必须按照最原始的then顺序来执行

• 2.2.7 then方法必须返回一个promise promise2 = promise1.then(onFulfilled, onRejected);

  • 2.2.7.1 如果onFulfilled和onRejected返回一个值x，请运行Promise Resolution Procedure [[Resolve]](promise2, x)

  • 2.2.7.2 如果onFulfilled和onRejected抛出一个异常e，promise2必须拒绝并将e作为reason

  • 2.2.7.3 如果onFulfilled不是一个函数，且promise1为完成状态，promise2必须使用与promise1相同的value完成

  • 2.2.7.4 如果onRejected不是一个函数，且promise1为失败状态，promise2必须使用与promise1相同的reason完成

  2.3 Promise解决程序

promise解析过程是一个以输入promise和value的抽象操作，我们记作[[Resolve]](promise, x)，如果x是thenable，假设x的行为有点像promise，它会尝试让promise采用x的状态。否则，它将使用x值来完成promise。

只要有实现Promises/A+兼容的then方法，对thenable的处理允许使用promise实现能够互操作。它还允许Promises/A+实现使用合理的then方法“同化”不一致的实现。

运行[[Resolve]](promise, x)，执行以下的步骤：

• 2.3.1 如果promise和x引用同一个对象，则用TypeError作为reason拒绝promise

• 2.3.2 如果x是一个promise，则采用它的状态[3.4]

  • 2.3.2.1 如果x为pending状态，promise必须保持pending状态直到x成功或者失败
  • 2.3.2.2 如果x为完成状态，用相同的值完成promise
  • 2.3.2.3 如果x为失败状态，用相同的reason拒绝promise

• 2.3.3 如果x是一个对象或函数

  • 2.3.3.1 让then为x.then[3.5]

  • 2.3.3.2 如果检索属性x.then的结果抛出一个异常e，用e作为reason拒绝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的reason调用，用r来拒绝promise
    • 2.3.3.3.3 如果 resolvePromise和rejectPromise都被调用，或者对同一个参数进行多次调用，则第一次调用优先，任何进一步的调用被忽略

  • 2.3.3.4 如果then不是函数，用x来完成promise

• 2.3.4 如果x不是对象或者函数，用x来完成promise

如果使用参与循环的可循环链的可转换组件解决了一个promise，这样，[[Resolve]](promise, thenable)的递归性质导致了再次调用[[Resolve]](promise, thenable)，遵循上述算法将导致无限递归。鼓励（但不是必须）实现来检测这种递归且用包含信息的TypeError作为reason拒绝promise。[3.6]

3.笔记

3.1

这里的“平台代码”是指引擎，环境和promise实现代码。在实践中，这个需求确保onFulfilled和onRejected异步执行，在事件循环之后调用then，并且使用一个新栈。这可以通过setTimeout或者setImmediate宏任务机制，或者使用MutationObserver或者process.nextTick微任务机制来实现。由于promise实现被视为平台代码，因此它本身可能包含一个任务调度队列或“蹦床”在其中调用处理程序。

3.2

也就是说，在严格模式下，this为undefined，在宽松模式中，它是一个全局对象(global object)

3.3

在满足所有需求的情况下，可以允许实现promise2 === promise1，每个实现都应该记录它是否能够产生promise2 === promise1以及在何种条件下产生

3.4

通常，只有x来自于当前实例时，才知道它是一个真正的promise，此条款允许使用特定的实现方法来采用已知符合promise的状态。

3.5

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

3.6

实现不应该对thenable链的深度设置任何限制，并假设递归超出限制。只有真正的循环才会导致TypeError，如果遇到无穷多个thenable链，那么永远递归是正确的行为。