5 记号约定

)

说明非终结符 WhileStatement 表示 token while，后跟左圆括号 token，后跟 Expression，后跟右圆括号 token，后跟 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 的词法语法包含产生式：

NonZeroDigit

one of

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

NonZeroDigit

5.1.5.6 [empty]

如果短语“[empty]”出现在产生式右手边，则表示该产生式的右手边不包含终结符或非终结符。

5.1.5.7 向前看限制

如果短语“[lookahead = seq]”出现在产生式右手边，则表示只有在 token 序列 seq 是紧接其后的输入 token 序列的前缀时，该产生式才可使用。类似地，“[lookahead ∈ set]”，其中 set 是 token 序列的有限非空集合，表示只有在 set 的某个元素是紧接其后的 token 序列的前缀时，该产生式才可使用。为方便起见，该集合也可以写作非终结符，此时它表示该非终结符可展开得到的所有 token 序列的集合。如果该非终结符可以展开为无限多个不同 token 序列，则认为这是编辑错误。

这些条件可以被否定。“[lookahead ≠ seq]”表示只有在 seq 不是紧接其后的输入 token 序列的前缀时，包含该条件的产生式才可使用；而“[lookahead ∉ set]”表示只有在 set 中没有元素是紧接其后的 token 序列的前缀时，该产生式才可使用。

作为示例，给定定义：

one of

定义：

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

DecimalDigits

DecimalDigit

[lookahead ∉ DecimalDigit]

匹配字母 n 后跟一个或多个十进制数字且第一个数字为偶数，或者匹配一个后面不跟另一个十进制数字的十进制数字。

注意，当这些短语在句法语法中使用时，可能无法无歧义地识别紧接其后的 token 序列，因为确定后续 token 需要知道在后续位置使用哪个词法目标符号。因此，当这些短语在句法语法中使用时，如果 token 序列 seq 出现在向前看限制中（包括作为序列集合的一部分），而词法目标符号的选择可能改变 seq 是否会成为所得 token 序列的前缀，则认为这是编辑错误。

5.1.5.8 [no LineTerminator here]

如果短语“[no LineTerminator here]”出现在句法语法产生式的右手边，则表示该产生式是受限产生式：如果 LineTerminator 出现在输入流中所示位置，则不能使用该产生式。例如，产生式：

ThrowStatement

throw

[no LineTerminator here]

;

表示如果脚本中 throw token 与 Expression 之间出现 LineTerminator，则不能使用该产生式。

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

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 ]），并且在算法步骤中与必需参数没有区别。rest 参数可以出现在参数列表末尾，以前导省略号表示（, ...name）。rest 参数将必需参数和可选参数之后提供的所有实参捕获到一个 List 中。如果没有这样的额外实参，该 List 为空。

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

顶层步骤
1. 子步骤。
2. 子步骤。
  1. 子子步骤。
    1. 子子子步骤
      1. 子子子子步骤
        子子子子子步骤

步骤或子步骤可以写作一个“if”谓词，用其条件控制其子步骤。在这种情况下，只有在该谓词为真时才应用这些子步骤。如果步骤或子步骤以词语“else”开头，则它是同一层级前一个“if”谓词步骤的否定谓词。

步骤可以以“For each”或“Repeat”开头，以指定其子步骤的迭代应用。

以“Assert:”开头的步骤断言其算法的不变条件。这些断言用于明确本来会隐含的算法不变式。类似地，以“NOTE:”开头的步骤为附近步骤提供相关上下文。断言步骤和注记步骤严格而言是信息性的；它们不添加额外的语义要求，因此实现无需检查它们。

算法步骤可以使用形式“Let x be someValue”为任意值声明命名别名。这些别名类似引用，因为 x 和 someValue 都引用相同的底层数据，对任一者的修改对二者均可见。希望避免这种类引用行为的算法步骤应显式复制右手边：“Let x be a copy of someValue” 创建 someValue 的浅拷贝。

别名一经声明，就可以在任何后续步骤中引用，并且不得在声明之前的步骤中引用。别名可以使用形式“Set x to someOtherValue”进行修改。

5.2.1 求值顺序

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

Return A(B(), C.[[D]]) + E(F()).

等价于

Let tmp1 be B().
Let tmp2 be C.[[D]].
Let tmp3 be A(tmp1, tmp2).
Let tmp4 be F().
Let tmp5 be E(tmp4).
Let tmp6 be tmp3 + tmp5.
Return tmp6.

其中各种 tmpN 别名是临时的，并且只在这些步骤中可见。

5.2.2 抽象操作

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

5.2.3 语法制导操作

语法制导操作是一个命名操作，其定义由算法组成，每个算法与某个 ECMAScript 语法中的一个或多个产生式关联。具有多个可选定义的产生式，通常会为每个替代项具有不同的算法。当算法与语法产生式关联时，它可以像引用算法参数一样引用该产生式替代项的终结符和非终结符符号。以这种方式使用时，非终结符符号指的是解析源文本时匹配到的实际替代定义。由某个语法产生式或由它派生出的 Parse Node 匹配的源文本，是从参与匹配的第一个终结符开始处到参与匹配的最后一个终结符结束处之间的那部分源文本。

当算法与产生式替代项关联时，该替代项通常显示时不带任何“[ ]”语法注解。此类注解只应影响对替代项的句法识别，而不影响该替代项的相关语义。

语法制导操作使用以下算法中步骤 1、3 和 4 上的约定，以 parse node 以及可选的其他参数来调用：

Let status be SyntaxDirectedOperation of SomeNonTerminal.
Let someParseNode be the parse of some source text.
Perform SyntaxDirectedOperation of someParseNode.
Perform SyntaxDirectedOperation of someParseNode with argument "value".

除非另有明确规定，否则所有链式产生式对可能应用于该产生式左手边非终结符的每个操作，都有一个隐式定义。该隐式定义只是用相同参数（若有）将同一操作重新应用于该链式产生式唯一的右手边非终结符，然后返回结果。例如，假设某算法具有形如“Return Evaluation of Block”的步骤，并且有一个产生式：

Block

{

}

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

Runtime Semantics: Evaluation

Block

{