ECMA262规范中产生式的Runtime Semantics求值规则相关疑问

关于ECMA262产生式求值规则的疑问解答 #

1. 「对Statement求值」的具体含义，以及IfStatement的执行逻辑 #

Statement 是ECMAScript文法中的抽象非终结符，仅用于文法分类，永远不会作为实际节点出现在最终解析生成的抽象语法树中。你实际解析得到的语法节点，一定是Statement下的某类具体子产生式实例，比如IfStatement、Block、ExpressionStatement等。

规范中提到的「对Statement求值」是一个动态派发的过程：直接找到该Statement对应的实际语法节点类型，调用该类型定义的Runtime Semantics: Evaluation 规则执行即可。如果当前Statement的实际类型是IfStatement，就会完全按照IfStatement对应的求值规则执行，没有额外的上层封装逻辑。

2. 抽象非终结符没有Evaluation规则的原因 #

Statement、Declaration这类非终结符本质是文法层面的分类容器，作用是把一系列属性一致的具体产生式归为一类，方便规范其他位置统一引用（比如规范中某类语法结构要求子节点是Statement，就等价于允许所有Statement子类的产生式出现在该位置）。

由于这类抽象非终结符永远不会对应到实际的语法树节点，自然不需要定义独立的求值规则，所有求值逻辑都下沉到各个具体的子产生式中实现。Declaration的逻辑同理，实际求值时只会调用FunctionDeclaration、VariableDeclaration这类具体子类的求值规则，不需要用到抽象Declaration的规则。

内容的提问来源于stack exchange，提问作者AngryJohn