介绍
翻译Promises/A+
规范的原因在于,在学习Promise时想要了解关于其规范的详细介绍,但是实际搜了很多文章的介绍似乎大多都是"残缺"的,有的文章虽然说是介绍Promises/A+
规范,但其实或是简单介绍,或是做一些总结归纳;有的文章是有关Promises/A+
规范的翻译,但是个人读起来感觉多处地方不太理解,有些语句也不通顺。于是后面干脆想着自己翻译一遍,也是对Promises/A+
规范的一次认真学习。
对译文的了解来自这篇[译]前端基础知识储备——Promise/A+规范文章,
里面介绍了Promise/A+规范原文地址,
以及测试一个Promise
库是否符合Promise/A+
规范的工具promises-aplus/promises-tests
注:
fulfill
履行,或完成,reject
拒绝。对应于promise
承诺
译文
一个完善的可互操作的JavaScript promises开放标准——来自开发者,为了开发者
原文中后面结尾是
——by implementers, for implementers
,应该是表达promises
来自于实际的实施使用者,为了实际的实施使用者
一个promise代表一个异步操作的最终结果。与promise交互的主要方式是通过它的then方法,该方法注册回调函数以接收一个promise的最终结果或promise无法履行(fulfilled
)的原因。
该规范详细说明了then方法的行为,为所有符合Promises/A+
的promise实现提供了一个可互操作的基础。因此,该规范可以被看作是非常稳定的。尽管Promises/A+
组织有时会通过向后兼容的微小更改来修订此规范,以解决新发现的极端情况,但只有经过仔细考虑,讨论和测试之后,我们才会添加大的、或不向后兼容的更改。
从历史上看,Promises/A+
阐述了早期Promises/A
提案的行为规范,将其扩展为涵盖事实的行为,并省略了未指定或有问题的部分。
最后,Promises/A+
规范的核心不涉及如何创建(create
),履行(fulfill
)或拒绝(reject
)Promise,而是专注于提供可互操作的then
方法。将来规范中的工作可能涉及这些主题。
1. 术语(Terminology
)
1.1. "promise"是一个具有then
方法的对象或函数,then
方法的行为符合此规范。
1.2. "thenable"是定义一个then
方法的对象或函数。
1.3. "value"是任何合法的JavaScript值(包括undefined
,, thenable
, 或promise
)
1.4. "exception"是一个使用throw
语句抛出的值。
1.5. "reason"是一个表明拒绝promise
的原因的值。
2. 要求(Requirements
)
2.1 Promise状态
一个promise
必须处于pending
、fulfilled
或rejected
三种状态之一。
2.1.1. 当处于pending
状态, 一个promise:
- 2.1.1.1 可能转变为
fulfilled
或rejected
状态.
2.1.2. 当处于fulfilled
状态, 一个promise:
- 2.1.2.1 无法转变为任何其他状态.
- 2.1.2.2 必须有一个不可变的最终值.
2.1.3. 当处于rejected
状态, 一个promise:
- 2.1.3.1 无法转变为任何其他状态.
- 2.1.3.2 必须有一个不可变的原因(值).
此处 "不可变" 表示全等(===
),不代表深度比较相等。
即:本可变(
must not change
)表示一旦变为fulfilled
或rejected
状态,结果将不会再变更
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的值(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值). 3.2
2.2.6 同一个promise的then
方法可以被调用多次
- 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解析程序[[Resolve]](promise2, x)
-
2.2.7.2 如果
onFulfilled
或者onRejected
抛出一个异常e
,则promise2
必须被拒绝(rejected),并将e
作为拒绝原因(reason) -
2.2.7.3 如果
onFulfilled
不是一个函数并且promise1
完成执行(fulfilled
),promise2
必须以promise1
相同的值作为结果也执行完成(fulfilled
) -
2.2.7.4 如果
onRejected
不是一个函数并且promise1
被拒绝(rejected
),promise2
必须以promise1
相同的原因作为结果也被拒绝(rejected
)
2.3 Promise解析程序
Promise解析程序是一个抽象的操作,用来处理作为输入的promise和值(value),表示为[[Resolve]](promise, x)
。如果x
是一个thenable
,在假设x
的行为至少类似于promise
的情况下,会尝试使promise
使用x
的状态。否则,用值x
履行(完成)promise
这种对thenable
的处理使promise
实现了可互操作,只要该实现暴露一个符合Promises/A+
的then
方法即可。同时也允许Promises/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 让
then
变为x.then
3.5 -
2.3.3.2 如果获取
x.then
的结果时抛出错误e
,使用e
作为原因拒绝promise
-
2.3.3.3 如果
then
是一个函数,将this
执行x
调用它,第一个参数是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.3.4.1 如果
-
-
2.3.3.4 如果
then
不是一个函数,使用x
履行promise
2.3.4 如果x
不是一个对象或函数,使用x
履行promise
如果一个promise
被一个环形thenable
链中的thenable
解决(resolved
)(即thenable
链是一个环形的循环链),那么[[Resolve]](promise,thenable)
的递归性质最终会导致[[Resolve]](promise,thenable)
再次被调用,按照上述算法将导致无限递归。我们鼓励检测此类递归并使用信息丰富的TypeError
为原因拒绝promise
,但此检测的实现不是必需的。 3.6
3. 注释
3.1 platform code
这里的平台代码(platform code
)是指引擎、环境和promise的实现代码。实际上,这要求确保在then调用的事件循环之后进入,并且使用的是新的堆栈异步执行onFulfilled
和onRejected
。可以使用"宏任务"(macro-task
)机制(如setTimeout或setImmediate)或"微任务"(micro-task
)机制(如MutationObserver或process.nextTick)来实现。由于promise的实现被视为平台代码,因此在调用的处理程序中,它本身可能包含一个任务调度队列(task-scheduling queue
)或"跳板"(trampoline
,蹦床)。
3.2
在严格模式中,函数内部的this
是undefined
;在松散模式中,this
是全局对象
3.3
如果实现满足所有要求,则可以允许promise2 === promise1
。每个实现都应说明其是否可以产生以及在什么条件下产生promise2 === promise1
的结果。
3.4
通常,只有x
来自当前的实现,才知道它是一个真实的promise
。这允许那些特定的实现的采用已知的符合规则的promise
的状态。
3.5
这个过程,首先存储对x.then
的引用,然后测试该引用,然后调用该引用,避免了对x.then
属性的多次访问。此类预防措施对于确保访问者属性的一致性非常重要,因为访问者属性的值在两次检索之间可能会发生变化。
3.6
实现不应在thenable
链的深度上设置任意限制,并假定超出该任意限制,则递归将是无限的。只有真正的循环(环形循环)才应该导致TypeError
;如果在一个无限链上遇到不同的thenables
,则递归永远是正确的行为。
后记
第二部分是Promises/A+
规范的整个译文,总体来说翻译真的不容易(除非英语特别牛,同时对编程有深厚的理解)。以上按照自己的理解大体进行了翻译,但难免有不正确或有歧义的地方,望理解并指出,一定加以改正。
规范本身就比较晦涩难懂,或者文字简练精确,逻辑严谨准确。加上水平有限,总是很难看懂,不是看一遍就能理解或弄清楚的,在此共勉!