英文原文地址:https://promisesaplus.com/
1、术语
- “promise”是一个对象或函数,其
then
方法的行为符合此规范。 -
“thenable”是定义
then
方法的对象或函数。 -
“value”是任何合法的JavaScript值(包括
undefined
,一个卑鄙的或一个承诺)。 -
“exception”是使用该
throw
语句抛出的值。 - “原因”是一个值,表明承诺被拒绝的原因。
2、要求
2.1 promise状态
一个Promise必须处在其中之一的状态:pending
, fulfilled
或 rejected
.
如果是pending状态,则promise:
可以转换到fulfilled或rejected状态。
如果是fulfilled状态,则promise:
不能转换成任何其它状态。
必须有一个值,且这个值不能被改变。
如果是rejected状态,则promise可以:
不能转换成任何其它状态。
必须有一个原因,且这个值不能被改变。
“值不能被改变”指的是其identity不能被改变,而不是指其成员内容不能被改变。
2.2 then
方法
一个Promise必须提供一个then方法来获取其值或原因。
Promise的then方法接受两个参数:
promise.then(onFulfilled, onRejected)
-
onFulfilled
和onRejected
都是可选参数:- 如果
onFulfilled
不是一个函数,则忽略之。 - 如果
onRejected
不是一个函数,则忽略之。
- 如果
-
如果
onFulfilled
是一个函数:- 它必须在
promise
fulfilled后调用, 且promise
的value为其第一个参数。 - 它不能在
promise
fulfilled前调用。 - 不能被多次调用。
- 它必须在
-
如果
onRejected
是一个函数,- 它必须在
promise
rejected后调用, 且promise
的reason为其第一个参数。 - 它不能在
promise
rejected前调用。 - 不能被多次调用。
- 它必须在
onFulfilled
和onRejected
只允许在 execution context 栈仅包含平台代码时运行. [3.1].onFulfilled
和onRejected
必须被当做函数调用 (i.e. 即函数体内的this
为undefined
). [3.2]-
对于一个
promise
,它的then方法可以调用多次.- 当
promise
fulfilled后,所有onFulfilled
都必须按照其注册顺序执行。 - 当
promise
rejected后,所有OnRejected
都必须按照其注册顺序执行。
- 当
-
then
必须返回一个promise [3.3].promise2 = promise1.then(onFulfilled, onRejected);
- 如果
onFulfilled
或onRejected
返回了值x
, 则执行Promise 解析流程[[Resolve]](promise2, x)
. - 如果
onFulfilled
或onRejected
抛出了异常e
, 则promise2
应当以e
为reason
被拒绝。 - 如果
onFulfilled
不是一个函数且promise1
已经fulfilled,则promise2
必须以promise1
的值fulfilled. - 如果
OnReject
不是一个函数且promise1
已经rejected, 则promise2
必须以相同的reason被拒绝.
- 如果
2.3 Promise解析过程
Promise解析过程 是以一个promise和一个值做为参数的抽象过程,可表示为[[Resolve]](promise, x)
. 过程如下;
如果
promise
和x
指向相同的值, 使用TypeError
做为原因将promise
拒绝。-
如果
x
是一个promise
, 采用其状态 [3.4]:- 如果
x
是pending状态,promise
必须保持pending走到x
fulfilled或rejected. - 如果
x
是fulfilled状态,将x
的值用于fulfillpromise
. - 如果
x
是rejected状态, 将x
的原因用于rejectpromise
..
- 如果
-
如果
x
是一个对象或一个函数:将
then
赋为x.then
. [3.5]如果在取
x.then
值时抛出了异常,则以这个异常做为原因将promise
拒绝。-
如果
then
是一个函数, 以x
为this
调用then
函数, 且第一个参数是resolvePromise
,第二个参数是rejectPromise
,且:当
resolvePromise
被以y
为参数调用, 执行[[Resolve]](promise, y)
.当
rejectPromise
被以r
为参数调用, 则以r
为原因将promise
拒绝。如果
resolvePromise
和rejectPromise
都被调用了,或者被调用了多次,则只第一次有效,后面的忽略。-
如果在调用
then
时抛出了异常,则:- 如果
resolvePromise
或rejectPromise
已经被调用了,则忽略它。 - 否则, 以
e
为reason将promise
拒绝。
- 如果
如果
then
不是一个函数,则 以x
为值fulfillpromise
。
如果
x
不是对象也不是函数,则以x
为值 fulfillpromise
。