理解 ECMAScript 的 ReturnIfAbrupt(AbstractOperation())

Question

我知道有一些关于此的帖子，但我还没有找到一个很好的解释来解释当 AbstractOperation() 不是 abrupt completion 时 ReturnIfAbrupt(AbstractOperation()) 语句的评估结果？

根据ECMAScript ReturnIfAbrupt(AbstractOperation()) 表示：

1. 设 hygienicTemp 为 AbstractOperation()。
2. 如果 hygienicTemp 突然完成，则返回 hygienicTemp。
3. 否则，如果 hygienicTemp 是完成记录，请将 hygienicTemp 设置为 hygienicTemp。[[Value]]。

其中 hygienicTemp 是短暂的，仅在与 ReturnIfAbrupt 相关的步骤中可见。

以[[Construct]]操作的最后一行为例：

1. 那行是Return ? envRec.GetThisBinding()
2. 这是equivalent to：Return ReturnIfAbrupt(envRec.GetThisBinding())
3. 假设GetThisBinding() 没有抛出Error（即没有突然完成），我不知道实际返回的是什么
4. 上面引用的ReturnIfAbrupt 定义明确指出hygenicTemp 仅与定义本身中的步骤有关。它没有暗示整个表达式的计算结果

Answer 1

您引用的位是在值 不 使用时。但是您的[[Construct]] 示例正在使用该值。

为此，您需要向下滚动一点：

表示或以其他方式等效的算法步骤：

1. 让结果为 AbstractOperation(ReturnIfAbrupt(argument))。

意思相同：

1. 如果参数是一个突然完成，返回参数。

2. 如果参数是完成记录，则将参数设置为参数。[[值]]。

3. 让结果为 AbstractOperation(argument)。

所以对于Return ? envRec.GetThisBinding()，当envRec.GetThisBinding() 不返回突然完成时，[[Construct]] 中的那一行返回来自envRec.GetThisBinding() 的非突然完成记录的[[Value]]（this 值） .