5 表示法约定

)

表明非终结符 WhileStatement 表示词元 while，后跟左括号词元，再跟一个 Expression，再跟右括号词元，最后跟一个 Statement。其中出现的 Expression 和 Statement 本身也是非终结符。再例如，句法定义：

表明 ArgumentList 可以表示单个 AssignmentExpression，也可以表示一个 ArgumentList，后跟逗号，再跟一个 AssignmentExpression。ArgumentList 的这个定义是递归的，即它通过自身来定义。其结果是，ArgumentList 可以包含任意正数个参数，各参数之间用逗号分隔，其中每个参数表达式都是 AssignmentExpression。这种非终结符的递归定义很常见。

5.1.5.3 可选符号

可出现在终结符或非终结符之后的下标后缀“_opt”表示可选符号。包含可选符号的候选项实际上规定了两个右侧，一个省略该可选元素，另一个包含它。这意味着：

opt

是以下形式的便捷简写：

并且：

for

(

opt

;

opt

)

是以下形式的便捷简写：

ForStatement

for

(

;

opt

)

for

(

;

opt

)

而这又是以下形式的简写：

ForStatement

for

(

;

)

for

(

;

)

for

(

;

)

for

(

;

)

因此，在此示例中，非终结符 ForStatement 实际上具有四个可选右侧。

5.1.5.4 文法参数

产生式可以通过形如“_[parameters]”的下标注记进行参数化，该注记可以作为后缀出现在产生式所定义的非终结符之后。“_parameters”可以是单个名称，也可以是以逗号分隔的名称列表。参数化产生式是一组产生式的简写，这组产生式通过将前置下划线的参数名称的所有组合追加到参数化非终结符后面来定义。这意味着：

[Return]

是以下形式的便捷简写：

并且：

[Return, In]

是以下形式的简写：

StatementList_Return_In

多个参数会产生组合数量的产生式，在完整文法中不一定会引用所有这些产生式。

产生式右侧对非终结符的引用也可以参数化。例如：

[+In]

等价于：

ExpressionStatement_In

而：

[~In]

等价于：

非终结符引用可以同时具有参数列表和“_opt”后缀。例如：

[+In]

opt

是以下形式的简写：

Initializer_In

在右侧非终结符引用中的参数名称前加上“_?”，会使该参数的值取决于对当前产生式左侧符号的引用中是否出现该参数名称。例如：

[In]

[?In]

是以下形式的简写：

VariableDeclaration_In

Initializer_In

如果某个右侧候选项以“[+parameter]”为前缀，则仅当引用该产生式的非终结符时使用了指定参数，该候选项才可用。如果某个右侧候选项以“[~parameter]”为前缀，则仅当引用该产生式的非终结符时未使用指定参数，该候选项才可用。这意味着：

[Return]

[+Return]

是以下形式的简写：

并且：

[Return]

[~Return]

是以下形式的简写：

5.1.5.5 one of

当文法定义中的冒号后出现“one of”字样时，表示后续一行或多行中的每个终结符都是一个可选定义。例如，ECMAScript 的词法文法包含以下产生式：

BinaryDigit

one of

它只是以下形式的便捷简写：

BinaryDigit

5.1.5.6 [empty]

如果短语“[empty]”作为产生式的右侧出现，则表示该产生式的右侧不包含任何终结符或非终结符。

5.1.5.7 前瞻限制

如果短语“[lookahead = seq]”出现在产生式的右侧，则表示仅当词元序列 seq 是紧随其后的输入词元序列的前缀时，才可以使用该产生式。类似地，“[lookahead ∈ set]”（其中 set 是词元序列的有限非空集合）表示仅当 set 的某个元素是紧随其后的词元序列的前缀时，才可以使用该产生式。为方便起见，该集合也可以写成非终结符，在这种情况下，它表示该非终结符能够展开为的所有词元序列的集合。如果该非终结符能够展开为无限多个不同的词元序列，则视为编辑错误。

这些条件可以取反。“[lookahead ≠ seq]”表示仅当 seq 不是紧随其后的输入词元序列的前缀时，才可以使用包含它的产生式；“[lookahead ∉ set]”表示仅当 set 中没有任何元素是紧随其后的词元序列的前缀时，才可以使用该产生式。

例如，给定以下定义：

one of

以下定义：

[lookahead ∉ { 1, 3, 5, 7, 9 }]

DecimalDigits

DecimalDigit

[lookahead ∉ DecimalDigit]

匹配字母 n 后跟一个或多个十进制数字且第一个数字为偶数的序列，或者匹配一个后面没有其他十进制数字的十进制数字。

注意，当这些短语用于句法文法时，可能无法明确确定紧随其后的词元序列，因为确定后续词元需要知道在后续位置应使用哪个词法目标符号。因此，当这些短语用于句法文法时，如果所选词法目标符号可能改变 seq 是否为生成的词元序列的前缀，那么让词元序列 seq 出现在前瞻限制中（包括作为序列集合的一部分）就被视为编辑错误。

5.1.5.8 [no LineTerminator here]

如果短语“[no LineTerminator here]”出现在句法文法某个产生式的右侧，则表示该产生式是受限产生式：如果输入流的指定位置出现 LineTerminator，就不得使用该产生式。例如，产生式：

ThrowStatement

throw

[no LineTerminator here]

;

表示如果脚本中的 throw 词元与 Expression 之间出现 LineTerminator，就不得使用该产生式。

除非受限产生式禁止出现 LineTerminator，否则输入元素流中任意两个连续词元之间都可以出现任意数量的 LineTerminator，而不影响脚本在句法上的可接受性。

5.1.5.9 but not

产生式的右侧可以使用短语“but not”并在其后指明要排除的展开形式，以规定不允许某些展开形式。例如，产生式：

Identifier

IdentifierName

but not ReservedWord

表示非终结符 Identifier 可以替换为任何能够替换 IdentifierName 的码点序列，前提是同一码点序列不能替换 ReservedWord。

5.1.5.10 描述性短语

最后，在不便列出所有候选项的情况下，少数非终结符会使用无衬线字体的描述性短语来描述：

SourceCharacter

any Unicode code point

5.2 算法约定

本规范经常使用编号列表来规定算法中的步骤。这些算法用于精确规定 ECMAScript 语言构造所要求的语义。这些算法并不暗示应使用任何特定的实现技术。在实践中，可能存在更高效的算法来实现给定特性。

算法可以通过有序、以逗号分隔的别名序列进行显式参数化，这些别名可在算法步骤中用于引用相应位置传入的实参。可选形参使用外围方括号（[ , name ]）表示，在算法步骤中与必需形参没有区别。剩余形参可以出现在形参列表末尾，使用前置省略号（, ...name）表示。剩余形参将必需形参和可选形参之后提供的所有实参收集到一个列表中。如果没有这样的额外实参，该列表为空。

算法步骤可以细分为顺序执行的子步骤。子步骤使用缩进，并且自身可以进一步细分为缩进的子步骤。子步骤使用大纲编号约定标识，第一级子步骤以小写字母标记，第二级子步骤以小写罗马数字标记。如果需要超过三级，则重复这些规则，第四级使用数字标记。例如：

顶层步骤
1. 子步骤。
2. 子步骤。
  1. 二级子步骤。
    1. 三级子步骤
      1. 四级子步骤
        五级子步骤

步骤或子步骤可以写成“如果”谓词，以对其子步骤的执行设置条件。在这种情况下，仅当谓词为真时才执行子步骤。如果步骤或子步骤以“否则”开头，则它是对同一级前一个“如果”谓词步骤的否定。

步骤可以以“对于每个”或“重复”开头，以规定迭代执行其子步骤。

以“断言：”开头的步骤断言其算法中的某个不变条件。这些断言用于显式说明原本隐含的算法不变条件。类似地，以“注：”开头的步骤为附近步骤提供相关上下文。断言步骤和注释步骤完全属于说明性内容；它们不增加任何语义要求，因此实现无需检查它们。

算法步骤可以使用“令 x 为 someValue”的形式为任何值声明具名别名。这些别名类似于引用，因为 x 和 someValue 都指向同一底层数据，对任意一方的修改对双方都可见。希望避免这种类似引用行为的算法步骤应显式复制右侧的值：“令 x 为 someValue 的副本”会创建 someValue 的浅拷贝。

别名一经声明，就可以在后续任何步骤中引用，但不得在声明之前的步骤中引用。可以使用“将 x 设置为 someOtherValue”的形式修改别名。

5.2.1 求值顺序

当算法步骤中出现复杂表达式时，应理解为按从左到右、从内到外的顺序求值。例如，步骤

返回 A(B(), C.[[D]]) + E(F())。

等价于

令 tmp1 为 B()。
令 tmp2 为 C.[[D]]。
令 tmp3 为 A(tmp1, tmp2)。
令 tmp4 为 F()。
令 tmp5 为 E(tmp4)。
令 tmp6 为 tmp3 + tmp5。
返回 tmp6。

其中，各个 tmpN 别名都是临时的，仅在这些步骤中可见。

5.2.2 抽象操作

为了便于在本规范的多个部分中使用，某些称为抽象操作的算法会被命名，并以参数化函数形式书写，从而可以在其他算法中通过名称引用。抽象操作通常使用类似 OperationName(arg1, arg2) 的函数调用形式引用。某些抽象操作被视为类式规范抽象中以多态方式分派的方法。这些类似方法的抽象操作通常使用类似 someValue.OperationName(arg1, arg2) 的方法调用形式引用。

5.2.3 语法制导操作

语法制导操作是一种具名操作，其定义由多个算法组成，每个算法都与某种 ECMAScript 文法中的一个或多个产生式相关联。具有多个可选定义的产生式通常会为每个候选项关联不同的算法。当算法与文法产生式相关联时，它可以引用该产生式候选项中的终结符和非终结符，就像它们是算法的参数一样。以这种方式使用时，非终结符指的是解析源文本时实际匹配的可选定义。文法产生式或由其派生的解析节点所匹配的源文本，是从参与匹配的第一个终结符的起始位置开始，到参与匹配的最后一个终结符的结束位置为止的源文本部分。

当算法与产生式的某个候选项相关联时，该候选项通常不带任何“[ ]”文法注记。这些注记只应影响候选项的句法识别，而不影响与该候选项关联的语义。

使用以下算法中步骤 1、3 和 4 所示的约定，可以用解析节点以及可选的其他参数调用语法制导操作：

令 status 为 SomeNonTerminal 的 SyntaxDirectedOperation。
令 someParseNode 为某段源文本的解析结果。
执行 someParseNode 的 SyntaxDirectedOperation。
以 "value" 为参数执行 someParseNode 的 SyntaxDirectedOperation。

除非另有明确规定，所有链式产生式都为可能应用于其左侧非终结符的每个操作提供隐式定义。隐式定义只是使用相同参数（如果有），将相同操作重新应用于链式产生式右侧唯一的非终结符，然后返回结果。例如，假设某个算法包含形式为“返回 Block 的 Evaluation”的步骤，并且存在以下产生式：

Block

{

}

但 Evaluation 操作没有为该产生式关联算法。在这种情况下，Evaluation 操作隐式包含以下形式的关联：

Runtime Semantics: Evaluation

Block

{