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 的词法文法中包含如下产生式：

NonZeroDigit

one of

它仅仅是如下形式的便捷缩写：

NonZeroDigit

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

任意 Unicode 码点

5.2 算法约定

本规范经常使用编号列表来规定算法步骤。这些算法用于精确规定 ECMAScript 语言构造所要求的语义。这些算法并不意味着必须采用任何特定的实现技术。实际上，实现某个给定特性时可能存在更高效的算法。

算法可以显式地带参数，其参数是一个按顺序排列、以逗号分隔的别名序列，这些别名可在算法步骤中用于引用传入对应位置的参数。可选参数用方括号包围表示（[ , name]），在算法步骤中与必需参数没有区别。剩余参数可以出现在参数列表末尾，以前导省略号表示（, ...name）。剩余参数将所有位于必需参数和可选参数之后提供的实参收集到一个 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 文法中的一个或多个产生式相关联。具有多个可选定义的产生式，通常会为每个可选项提供不同的算法。当某个算法与一个文法产生式相关联时，它可以像引用算法参数一样引用该产生式备选项中的终结符和非终结符符号。当以这种方式使用时，非终结符符号指代在解析源文本时实际匹配到的那个备选定义。文法产生式或由其派生的解析节点所匹配的源文本，是指从参与匹配的第一个终结符开头开始，到参与匹配的最后一个终结符结尾结束的那一段源文本。

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

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

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

{