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 onFulfilled
和onRejected
都是可选的参数:
- 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)仅包含平台代码之前,不得调用 onFulfilled
和onRejected
3.1
2.2.5 onFulfilled
和onRejected
必须被当做函数调用(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 如果
onFulfilled
或onRejected
返回一个值x
, 运行
Promise Resolution Procedure[[Resolve]](promise2, x)
2.3 - 2.2.7.2 如果
onFulfilled
或onRejected
抛出一个异常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 如果promise
和x
引用同一个对象,则用TypeError
作为原因拒绝(reject)promise
。
2.3.2 如果x
是一个promise,采用promise的状态3.4
- 2.3.2.1 如果
x
是请求状态(pending),promise
必须保持pending直到x
fulfilled或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
作为原因rejectpromise
- 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执行代码。在实践中,此要求确保onFulfilled
和onRejected
能够异步执行,在then
被调用之后传入事件环,并使用新的栈。这可以使用诸如setTimeout
或setImmediate
之类的“宏任务”机制,
或者使用诸如MutationObserver
或process.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
**粗体** _斜体_ [链接](http://example.com) `代码` - 列表 > 引用
。你还可以使用@
来通知其他用户。