Promise A+ 中文翻译

145 阅读7分钟
原文链接: segmentfault.com
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 onFulfilledonRejected都是可选的参数:

  • 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)仅包含平台代码之前,不得调用 onFulfilledonRejected 3.1

2.2.5 onFulfilledonRejected必须被当做函数调用(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 如果onFulfilledonRejected返回一个值x, 运行
    Promise Resolution Procedure [[Resolve]](promise2, x) 2.3
  • 2.2.7.2 如果onFulfilledonRejected抛出一个异常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 如果promisex引用同一个对象,则用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执行代码。在实践中,此要求确保onFulfilledonRejected
能够异步执行,在then被调用之后传入事件环,并使用新的栈。这可以使用诸如setTimeoutsetImmediate之类的“宏任务”机制,
或者使用诸如MutationObserverprocess.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