在ECMAScript中哪里说解决的承诺有[[PromiseResult]]等于对象?

Question

我正试图将承诺的resolve函数的工作与ECMAScript规范中的相应过程相匹配。更具体地说，我正在寻找在使用对象值调用resolve函数时的规范。

举几个例子:

new Promise((resolve) => {
resolve("hello");
});
new Promise((resolve) => {
resolve({a: 100});
});

这两个承诺之间有一个区别:传递给resolve函数的值的类型。

下面是ECMAScript规范中解析函数的过程:

1. 设F为活动函数对象。

2. Assert:F有一个[[Promise]]内部槽位，其值是Object。

3. 让承诺。[[承诺]].

4. 让alreadyResolved是。[[alreadyResolved]] .

如果<<li>em> alreadyResolved 。[[取值]]istrue，返回undefined.

5. <设置em>alreadyResolved 。[[取值]]totrue.

6. 如果SameValue(分辨率,)承诺是对,那么

   。让selfResolutionError为新创建的TypeError对象。

   b。Return RejectPromise(promise，selfResolutionError).

7. 如果Type(resolution)不是Object，则

   。Return FulfillPromise(promise，resolution)。

8. 让是Get(分辨率,"then") .

9. 如果then是突然结束，则

   。返回RejectPromise (,。[[价值]])。

10. 让thenAction是。[[价值]].

11. 如果IsCallable(thenAction)是false,那么

    。Return FulfillPromise(promise，resolution)。

12. 让theenjobcallback为HostMakeJobCallback(thenAction)。

13. 让job为NewPromiseResolveThenableJob(promise，resolution，theenjobcallback)。

14. 执行HostEnqueuePromiseJob (工作。[[工作]],工作。[[Realm]])。

15. <返回strong>定义.

我不能确定在哪里处理有一个对象作为参数而没有then属性的情况。

Answer 1

步骤9获取then属性

让是Get(分辨率,"then")。

主要有四种可能的结果:

1. then不是对象的属性，因此然后(变量)表示具有[[Value]]undefined
的完成记录。
2. then是对象的一个属性，但是计算它会产生一个异常(例如，它是一个getter，而getter会遇到一个异常)。那么就是所谓的突然完成。
3. then是对象的属性，但不是函数
4. then是对象的属性，它是一个函数。

步骤10检查这些结果之一:

10. 如果then是一个突然完成，那么
    a. Return RejectPromise(promise，then.[[Value]]).

下面是使10.a发生的代码片段:

let obj = {
get then() {
throw "sorry";
}
};
new Promise(resolve => resolve(obj))
.catch((err) => console.log("rejected with ", err))

这表示then不一定打算作为函数计算(它是一个getter，所以代码必须执行才能确定)，但是访问它使得无法知道它是否会是一个函数，因为它会产生一个异常。规范中提到了[[Get]]

中getter的执行步骤11是对检索到的完成记录的[[Value]]字段的简单赋值(注意还有其他字段，如[[Type]])

让thenAction是。[[价值]]。

步骤12检查该值是否为函数。

12. 如果IsCallable(thenAction)是false，则
    a.返回FulfillPromise(promise，resolution)。

如果不是函数，则以该对象作为值来完成主承诺。

其余步骤处理然后是函数的情况。