ecmascript产品中的混淆

Question

最近我对ecma262规范中的产品感到困惑。

根据我的假设，有些作品可以是其他作品。

例如，语句

语句可以是块，也可以是IfStatement。

我的困惑开始于像这样的算法

让stmtCompletion是评估第一个语句的结果。

评估陈述？什么意思？

例如，如果一个语句是一个IfStatement，它会转到14.6 if语句14.6.2运行时语义:评估吗？

我很困惑，因为有一些产品有他们的RS:评估，比如IfStatement，而有些产品没有RS:评估喜欢的声明，声明等等.

Answer 1

例如，如果一个语句是一个IfStatement，它会转到14.6 if语句14.6.2运行时语义:评估吗？

是。

我很困惑，因为有一些产品有他们的RS:评估，比如IfStatement，而有些产品没有RS:评估喜欢的声明，声明等等. 什么意思？

这一点(在最近修订的规范中)甚至在§5.2.2句法指导操作中解释过。特别地，

除非另有明确规定，否则所有链产品都有可能应用于该生产的左侧非终端的每个操作的隐式定义。隐式定义简单地将具有相同参数(如果有的话)的相同操作重新应用于链生产的唯一右侧非终端，然后返回结果。例如，假设某些算法有一个表单步骤：“返回计算Block__的结果”，并且有一个结果：

Block : { StatementList }

但是，“评估”操作并没有将算法与该结果相关联。在这种情况下，评估操作含蓄地包含了形式的关联：

运行时语义:评估

Block : { StatementList }

1. 返回评估StatementList__的结果。

因此，由于没有针对生产的“运行时语义:计算”，所以它获得了简单计算相应语句类型的隐式语义。