13 ECMAScript语言：语句和声明

语法

Statement[Yield, Await, Return] :
    BlockStatement[?Yield, ?Await, ?Return]
    VariableStatement[?Yield, ?Await]
    EmptyStatement
    ExpressionStatement[?Yield, ?Await]
    IfStatement[?Yield, ?Await, ?Return]
    BreakableStatement[?Yield, ?Await, ?Return]
    ContinueStatement[?Yield, ?Await]
    BreakStatement[?Yield, ?Await]
    [+Return] ReturnStatement[?Yield, ?Await]
    WithStatement[?Yield, ?Await, ?Return]
    LabelledStatement[?Yield, ?Await, ?Return]
    ThrowStatement[?Yield, ?Await]
    TryStatement[?Yield, ?Await, ?Return]
    DebuggerStatement
Declaration[Yield, Await] :
    HoistableDeclaration[?Yield, ?Await, ~Default]
    ClassDeclaration[?Yield, ?Await, ~Default]
    LexicalDeclaration[+In, ?Yield, ?Await]
HoistableDeclaration[Yield, Await, Default] :
    FunctionDeclaration[?Yield, ?Await, ?Default]
    GeneratorDeclaration[?Yield, ?Await, ?Default]
    AsyncFunctionDeclaration[?Yield, ?Await, ?Default]
    AsyncGeneratorDeclaration[?Yield, ?Await, ?Default]
BreakableStatement[Yield, Await, Return] :
    IterationStatement[?Yield, ?Await, ?Return]
    SwitchStatement[?Yield, ?Await, ?Return]

13.1 语句和声明

13.1.1 静态语义：ContainsDuplicateLabels

带有参数labelSet。

Statement :
    VariableStatement
    EmptyStatement
    ExpressionStatement
    ContinueStatement
    BreakStatement
    ReturnStatement
    ThrowStatement
    DebuggerStatement

1. 返回 false.

13.1.2 静态语义：ContainsUndefinedBreakTarget

带有参数labelSet。

Statement:
    VariableStatement
    EmptyStatement
    ExpressionStatement
    ContinueStatement
    ReturnStatement
    ThrowStatement
    DebuggerStatement

1. 返回 false.

13.1.3 静态语义：ContainsUndefinedContinueTarget

使用参数iterationSet和labelSet。

Statement:
    VariableStatement
    EmptyStatement
    ExpressionStatement
    BreakStatement
    ReturnStatement
    ThrowStatement
    DebuggerStatement

1. 返回 false.

BreakableStatement:IterationStatement

1. 令 newIterationSet 为附加了labelSet的所有元素的迭代集的副本。
2. 返回包含带有参数newIterationSet和«»的IterationStatement的UndefinedContinueTarget。

13.1.4 静态语义：DeclarationPart

HoistableDeclaration : FunctionDeclaration

1. 返回 FunctionDeclaration.

HoistableDeclaration : GeneratorDeclaration

1. 返回 GeneratorDeclaration.

HoistableDeclaration : AsyncFunctionDeclaration

1. 返回 AsyncFunctionDeclaration.

HoistableDeclaration : AsyncGeneratorDeclaration

1. 返回 AsyncGeneratorDeclaration.

Declaration : ClassDeclaration

1. 返回 ClassDeclaration.

Declaration : LexicalDeclaration

1. 返回 LexicalDeclaration.

13.1.5 静态语义：VarDeclaredNames

Statement :
EmptyStatement
ExpressionStatement
ContinueStatement
BreakStatement
ReturnStatement
ThrowStatement
DebuggerStatement

1. 返回一个新的空列表.

13.1.6 静态语义：VarScopedDeclarations

Statement :
EmptyStatement
ExpressionStatement
ContinueStatement
BreakStatement
ReturnStatement
ThrowStatement
DebuggerStatement

1. 返回一个新的空列表.

13.1.7 运行时语义：LabelledEvaluation

使用参数 labelSet

BreakableStatement:IterationStatement

1. 令 stmtResult 为使用参数labelSet执行IterationStatement的LabelledEvaluation的结果
2. 若 stmtResult.[[Type]] 是 break，那么
   1. 若 stmtResult.[[Target]] 是 empty，那么
      1. 若 stmtResult.[[Value]] 是 empty, 设置 stmtResult 为 NormalCompletion(undefined).
      2. 否则，设置 stmtResult 为 NormalCompletion(stmtResult.[[Value]]).
3. 返回 Completion(stmtResult).

BreakableStatement:SwitchStatement

1. 令 stmtResult 为 SwitchStatement 的运算结果
2. 若 stmtResult.[[Type]] 是 break，那么
   1. 若 stmtResult.[[Target]] 是 empty，那么
      1. 若 stmtResult.[[Value]] 是 empty, 设置 stmtResult 为 NormalCompletion(undefined).
      2. 否则，设置 stmtResult 为 NormalCompletion(stmtResult.[[Value]]).
3. 返回 Completion(stmtResult).

注：BreakableStatement 是可以通过未标记的BreakStatement退出

13.1.8 运行时语义：Evaluation

HoistableDeclaration :
GeneratorDeclaration
AsyncFunctionDeclaration
AsyncGeneratorDeclaration

1. 返回 NormalCompletion(empty).

HoistableDeclaration : FunctionDeclaration

1. 返回 FunctionDeclaration 的运算结果

BreakableStatement:
    IterationStatement
    SwitchStatement

1. 令 newLabelSet 为一个新的空列表.
2. 返回使用参数newLabelSet执行此BreakableStatement的LabelledEvaluation的结果

13.2 块

语法

BlockStatement[Yield, Await, Return] :
    Block[?Yield, ?Await, ?Return]
Block[Yield, Await, Return] :
    { StatementList[?Yield, ?Await, ?Return] opt }
StatementList[Yield, Await, Return] :
    StatementListItem[?Yield, ?Await, ?Return]
    StatementList[?Yield, ?Await, ?Return] StatementListItem[?Yield, ?Await, ?Return]
StatementListItem[Yield, Await, Return] :
    Statement[?Yield, ?Await, ?Return]
    Declaration[?Yield, ?Await]

13.2.1 静态语义：Early Errors

Block : { StatementList }

• 如果StatementList的LexicallyDeclaredNames包含任何重复的条目，则是语法错误。
• 如果StatementList的LexicallyDeclaredNames中的任何元素也出现在StatementList的VarDeclaredNames中，则是语法错误。

13.2.2 静态语义：ContainsDuplicateLabels

使用参数 labelSet

Block : { }

1. 返回 false.

StatementList : StatementList StatementListItem

1. 令 hasDuplicates 为带有参数labelSet的StatementList的ContainsDuplicateLabels。
2. 若 hasDuplicates 是 true，返回 true.
3. 返回带有参数labelSet的 StatementListItem 的ContainsDuplicateLabels。

StatementListItem : Declaration

1. 返回 false.

13.2.3 静态语义：ContainsUndefinedBreakTarget

使用参数 labelSet

Block : { }

1. 返回 false.

StatementList : StatementList StatementListItem

1. 令 hasUndefinedLabels 为带有参数labelSet的StatementList的ContainsUndefinedBreakTarget。
2. 若 hasUndefinedLabels 是 true，返回 true.
3. 返回带有参数 labelSet 的 StatementListItem 的 ContainsUndefinedBreakTarget

StatementListItem : Declaration

1. 返回 false.

13.2.4 静态语义：ContainsUndefinedContinueTarget

使用参数iterationSet和labelSet

Block : { }

1. 返回 false.

StatementList : StatementList StatementListItem

1. 令 hasUndefinedLabels 为带有参数 iterationSet 和 « » 的 StatementList 的 ContainsUndefinedContinueTarget
2. 若 hasUndefinedLabels 是 true，返回 true.
3. 返回带有参数 iterationSet 和 « » 的 StatementListItem 的 ContainsUndefinedContinueTarget

StatementListItem : Declaration

1. 返回 false.

13.2.5 静态语义：LexicallyDeclaredNames

Block : { }

1. 返回一个新的空列表.

StatementList : StatementList StatementListItem

1. 令 names 为 StatementList 的 LexicallyDeclaredNames
2. 在 names 后追加 StatementListItem 的 LexicallyDeclaredNames 的元素
3. 返回 names.

StatementListItem : Statement

1. 若 Statement 是 Statement : LabelledStatement ，返回 LabelledStatement 的 LexicallyDeclaredNames
2. 返回一个新的空列表.

StatementListItem : Declaration

1. 返回 Declaration 的 BoundNames

13.2.6 静态语义：LexicallyScopedDeclarations

StatementList : StatementList StatementListItem

1. 令 declarations 为 StatementList 的 LexicallyScopedDeclarations
2. 在 declarations 后追加 StatementListItem 的 LexicallyScopedDeclarations 元素
3. 返回 declarations.

StatementListItem : Statement

1. 若 Statement 是 Statement : LabelledStatement ，返回 LabelledStatement 的 LexicallyScopedDeclarations
2. 返回一个新的空列表.

StatementListItem : Declaration

1. 返回包含 Declaration 的 DeclarationPart 的新列表

13.2.7 静态语义：TopLevelLexicallyDeclaredNames

StatementList : StatementList StatementListItem

1. 令 names 为 StatementList 的 TopLevelLexicallyDeclaredNames
2. 在 names 后追加 StatementListItem 的 TopLevelLexicallyDeclaredNames 元素
3. 返回 names.

StatementListItem : Statement

1. 返回一个新的空列表.

StatementListItem : Declaration

1. 若 Declaration 是 Declaration : HoistableDeclaration ，那么
2. 返回 « ».
3. 返回 Declaration 的 BoundNames

注：在函数或脚本的顶层，函数声明被视为var声明，而不是词法声明。

13.2.8 静态语义：TopLevelLexicallyScopedDeclarations

Block : { }

1. 返回一个新的空列表.

StatementList : StatementList StatementListItem

1. 令 declarations 为 StatementList 的 TopLevelLexicallyScopedDeclarations
2. 在 declarations 后追加 StatementListItem 的 TopLevelLexicallyScopedDeclarations 元素
3. 返回 declarations.

StatementListItem : Statement

1. 返回一个新的空列表.

StatementListItem : Declaration

1. 若 Declaration 是 Declaration : HoistableDeclaration ，那么
2. 返回 « ».
3. 返回包含 Declaration 的新列表

13.2.9 静态语义：TopLevelVarDeclaredNames

Block : { }

1. 返回一个新的空列表.

StatementList : StatementList StatementListItem

1. 令 names 为 StatementList 的 TopLevelVarDeclaredNames
2. 在 names 后追加 StatementListItem 的 TopLevelVarDeclaredNames 元素
3. 返回 names.

StatementListItem : Declaration

1. 若 Declaration 是 Declaration : HoistableDeclaration ，那么
2. 返回 HoistableDeclaration 的 BoundNames
3. 返回一个新的空列表.

StatementListItem : Statement

1. 若 Statement 是 Statement : LabelledStatement ，返回 Statement 的 TopLevelVarDeclaredNames
2. 返回 Statement 的 VarDeclaredNames

注：在函数或脚本的顶层，内部函数声明被视为var声明。

13.2.10 静态语义：TopLevelVarScopedDeclarations

Block : { }

1. 返回一个新的空列表

StatementList : StatementList StatementListItem

1. 令 declarations 为 StatementList 的 TopLevelVarScopedDeclarations
2. 在 declarations 后追加 StatementListItem 的 TopLevelVarScopedDeclarations 元素
3. 返回 declarations.

StatementListItem : Statement

1. 若 Statement 是 Statement : LabelledStatement ，返回 Statement 的 TopLevelVarScopedDeclarations
2. 返回 Statement 的 VarScopedDeclarations

StatementListItem : Declaration

1. 若 Declaration 是 Declaration : HoistableDeclaration ，那么
2. 令 declaration 为 HoistableDeclaration 的 DeclarationPart
3. 返回 « declaration ».
4. 返回一个新的空列表.

13.2.11 静态语义：VarDeclaredNames

Block : { }

1. 返回一个新的空列表.

StatementList : StatementList StatementListItem

1. 令 names 为 StatementList 的 VarDeclaredNames
2. 在 names 后追加 StatementListItem 的 VarDeclaredNames 元素
3. 返回 names.

StatementListItem : Declaration

1. 返回一个新的空列表.

13.2.12 静态语义：VarScopedDeclarations

Block : { }

1. 返回一个新的空列表.

StatementList : StatementList StatementListItem

1. 令 declarations 为 StatementList 的 VarScopedDeclarations
2. 在 declarations 后追加 StatementListItem 的 VarScopedDeclarations 元素
3. 返回 declarations.

StatementListItem : Declaration

1. 返回一个新的空列表.

13.2.13 运行时语义：Evaluation

Block : { }

1. 返回 NormalCompletion(empty)

Block : { StatementList }

1. 令 oldEnv 为运行时执行上下文的词法环境.
2. 令 blockEnv 为 NewDeclarativeEnvironment(oldEnv).
3. 执行 BlockDeclarationInstantiation(StatementList, blockEnv).
4. 设置运行时执行上下文的词法环境 为 blockEnv.
5. 令 blockValue 为 StatementList 的运算结果
6. 设置运行时执行上下文的词法环境 为 oldEnv.
7. 返回 blockValue.

注1：无论控制如何离开Block，词法环境总是恢复到原来的状态。

StatementList : StatementList StatementListItem

1. 令 sl 为 StatementList 的运算结果
2. ReturnIfAbrupt(sl).
3. 令 s 为 StatementListItem 的运算结果
4. 返回 Completion(UpdateEmpty(s, sl)).

注2： StatementList的值是StatementList中最后一个值生成项的值。例如，对val函数的以下调用都返回值1：

eval(“1;;;;;”) eval(“1;{}”) eval(“1;var a;”)

13.2.14 运行时语义：BlockDeclarationInstantiation ( code, env )

注：在计算块Block或CaseBlock时，将创建新的声明式环境记录，并在环境记录中实例化块中声明的每个块作用域变量、常量、函数或类的绑定。

BlockDeclarationInstantiation使用参数code和env执行如下。code是与块的主体相对应的Parse节点。Env是创建绑定的词汇环境。

1. 令 envRec 为 env 的环境记录项.
2. 断言: envRec 是声明环境记录项.
3. 令 declarations 为 code 的 LexicallyScopedDeclarations

4. 对于declarations中的元素d，执行

   1. 对于d的绑定名称中的元素d，执行
      1. 若 d 的 IsConstantDeclaration 是 true，那么
         1. 执行 ! envRec.CreateImmutableBinding(dn, true).
      2. 否则，
         1. 执行 ! envRec.CreateMutableBinding(dn, false).

   2. 若 d 是 FunctionDeclaration, GeneratorDeclaration, AsyncFunctionDeclaration, 或

      AsyncGeneratorDeclaration，那么

      1. 令 fn 为 d 的绑定名称的唯一元素
      2. 令 fo 为使用参数env为d执行InstantiateFunctionObject的结果
      3. 执行 envRec.InitializeBinding(fn, fo).

13.3 声明和变量语句

13.3.1 Let 和 Const 声明

注：let 和 const 声明定义范围为运行时的执行上下文的词法环境的变量。实例化其包含的词法环境时创建了变量，但可能无法以任何方式对其进行访问直到运算变量的LexicalBinding。由带有初始化程序的LexicalBinding定义的变量被分配给在评估LexicalBinding时而不是在创建变量时，其初始化程序的AssignmentExpression的值。如果let声明中的LexicalBinding没有初始化程序，则在运算LexicalBinding时会为变量分配undefined的值。

语法

LexicalDeclaration[In, Yield, Await] :
    LetOrConst BindingList[?In, ?Yield, ?Await] ;
LetOrConst :
    let
    const
BindingList[In, Yield, Await] :
    LexicalBinding[?In, ?Yield, ?Await]
    BindingList[?In, ?Yield, ?Await] , LexicalBinding[?In, ?Yield, ?Await]
LexicalBinding[In, Yield, Await] :
    BindingIdentifier[?Yield, ?Await] Initializer[?In, ?Yield, ?Await] opt
    BindingPattern[?Yield, ?Await] Initializer[?In, ?Yield, ?Await]

13.3.1.1 静态语义：Early Errors

LexicalDeclaration : LetOrConst BindingList ;

• 如果BindingList的BoundNames包含“ let”，则是语法错误。
• 如果BindingList的BoundNames包含任何重复的条目，则是语法错误。

LexicalBinding : BindingIdentifier Initializer

• 如果没有初始化程序，并且包含此LexicalBinding的LexicalDeclaration的IsConstantDeclaration为true，则为语法错误。

13.3.1.2 静态语义：BoundNames

LexicalDeclaration : LetOrConst BindingList ;

1. 返回 BindingList 的 BoundNames

BindingList : BindingList , LexicalBinding

1. 令 names 为 BindingList 的 BoundNames
2. 在 names 后追加 LexicalBinding 的 BoundNames 元素
3. 返回 names

LexicalBinding : BindingIdentifier Initializer

1. 返回 BindingIdentifier 的 BoundNames

LexicalBinding : BindingPattern Initializer

1. 返回 BindingPattern 的 BoundNames

13.3.1.3 静态语义：IsConstantDeclaration

LexicalDeclaration : LetOrConst BindingList ;

1. 返回 LetOrConst 的 IsConstantDeclaration

LetOrConst : let

1. 返回 false

LetOrConst : const

1. 返回 true.

13.3.1.4 运行时语义：Evaluation

LexicalDeclaration : LetOrConst BindingList ;

1. 令 next 为 BindingList 的运算结果
2. ReturnIfAbrupt(next).
3. 返回 NormalCompletion(empty).

BindingList : BindingList , LexicalBinding

1. 令 next 为 BindingList 的运算结果
2. ReturnIfAbrupt(next).
3. 返回 LexicalBinding 的运算结果

LexicalBinding : BindingIdentifier

1. 令 lhs 为 ResolveBinding(StringValue of BindingIdentifier).
2. 返回 InitializeReferencedBinding(lhs, undefined).

注：静态语义规则确保LexicalBinding的这种形式永远不会在const声明中发生。

LexicalBinding : BindingIdentifier Initializer

1. 令 bindingId 为 BindingIdentifier 的 StringValue
2. 令 lhs 为 ResolveBinding(bindingId).
3. 若 IsAnonymousFunctionDefinition(Initializer) 是 true，那么
4. 令 value 为使用参数bindingId为Initializer执行NamedEvaluation的结果
5. 否则，
   1. 令 rhs 为 Initializer 的运算结果
   2. 令 value 为 ? GetValue(rhs).
6. 返回 InitializeReferencedBinding(lhs, value).

LexicalBinding : BindingPattern Initializer

1. 令 rhs 为 Initializer 的运算结果
2. 令 value 为 ? GetValue(rhs).

3. 令 env 为运行时执行上下文的词法环境.

4. 返回使用value和env作为参数对BindingPattern执行BindingInitialization的结果

13.3.2 变量语句

注：var语句声明范围为运行时的执行上下文的VariableEnvironment的变量。 Var变量在实例化其包含的词法环境时创建，并在创建时初始化为undefined。在任何VariableEnvironment的范围内，一个公共的BindingIdentifier可能会出现在多个VariableDeclaration中，但是这些声明仅共同定义了一个变量。由VariableDeclaration与Initializer定义的变量在执行VariableDeclaration时（而不是在创建变量时）被分配其Initializer的AssignmentExpression的值。

语法

VariableStatement[Yield, Await] :
    var VariableDeclarationList[+In, ?Yield, ?Await] ;
VariableDeclarationList[In, Yield, Await] :
    VariableDeclaration[?In, ?Yield, ?Await]
    VariableDeclarationList[?In, ?Yield, ?Await] , VariableDeclaration[?In, ?Yield, ?Await]
VariableDeclaration[In, Yield, Await] :
    BindingIdentifier[?Yield, ?Await] Initializer[?In, ?Yield, ?Await] opt
    BindingPattern[?Yield, ?Await] Initializer[?In, ?Yield, ?Await]

13.3.2.1 静态语义：BoundNames

VariableDeclarationList : VariableDeclarationList , VariableDeclaration

1. 令 names 为 VariableDeclarationList 的 BoundNames
2. 在 names 后追加 VariableDeclaration 的 BoundNames 元素
3. 返回 names.

VariableDeclaration : BindingIdentifier Initializer

1. 返回 BindingIdentifier 的 BoundNames

VariableDeclaration : BindingPattern Initializer

1. 返回 BindingPattern 的 BoundNames

13.3.2.2 静态语义：VarDeclaredNames

VariableStatement : var VariableDeclarationList ;

1. 返回 VariableDeclarationList 的 BoundNames

13.3.2.3 静态语义：VarScopedDeclarations

VariableDeclarationList : VariableDeclaration

1. 返回包含 VariableDeclaration. 的新列表

VariableDeclarationList : VariableDeclarationList , VariableDeclaration

1. 令 declarations 为 VariableDeclarationList 的 VarScopedDeclarations
2. 将VariableDeclaration追加到declarations.
3. 返回 declarations.

13.3.2.4 运行时语义：Evaluation

VariableStatement : var VariableDeclarationList ;

1. 令 next 为 VariableDeclarationList 的运算结果
2. ReturnIfAbrupt(next).
3. 返回 NormalCompletion(empty)

VariableDeclarationList : VariableDeclarationList , VariableDeclaration

1. 令 next 为 VariableDeclarationList 的运算结果
2. ReturnIfAbrupt(next).
3. 返回 evaluating VariableDeclaration 的结果

VariableDeclaration : BindingIdentifier

1. 返回 NormalCompletion(empty).

VariableDeclaration : BindingIdentifier Initializer

1. 令 bindingId 为 BindingIdentifier 的 StringValue
2. 令 lhs 为 ? ResolveBinding(bindingId).
3. 若 IsAnonymousFunctionDefinition(Initializer) 是 true，那么 a. 令 value 为使用参数bindingId为Initializer执行NamedEvaluation的结果
4. 否则， a. 令 rhs 为 Initializer 的运算结果 b. 令 value 为 ? GetValue(rhs).
5. 返回 ? PutValue(lhs, value).

注：如果VariableDeclaration嵌套在with语句中，并且VariableDeclaration中的BindingIdentifier与with语句的对象Environment Record的绑定对象的属性名称相同，则第6步将为该属性分配值，而不是分配给VariableEnvironment绑定标识符的

VariableDeclaration : BindingPattern Initializer

1. 令 rhs 为 Initializer 的运算结果
2. 令 rval 为 ? GetValue(rhs).
3. 返回为传递rval和undefined为参数的BindingPattern执行BindingInitialization的结果

13.3.3 绑定模式解构

语法

BindingPattern[Yield, Await] :
    ObjectBindingPattern[?Yield, ?Await]
    ArrayBindingPattern[?Yield, ?Await]
ObjectBindingPattern[Yield, Await] :
    { }
    { BindingRestProperty[?Yield, ?Await] }
    { BindingPropertyList[?Yield, ?Await] }
    { BindingPropertyList[?Yield, ?Await] , BindingRestProperty[?Yield, ?Await] opt }
ArrayBindingPattern[Yield, Await] :
    [ Elisionopt BindingRestElement[?Yield, ?Await] opt ]
    [ BindingElementList[?Yield, ?Await] ]
    [ BindingElementList[?Yield, ?Await] , Elisionopt BindingRestElement[?Yield, ?Await] opt ]
BindingRestProperty[Yield, Await] :
    ... BindingIdentifier[?Yield, ?Await]
BindingPropertyList[Yield, Await] :
    BindingProperty[?Yield, ?Await]
    BindingPropertyList[?Yield, ?Await] , BindingProperty[?Yield, ?Await]
BindingElementList[Yield, Await] :
    BindingElisionElement[?Yield, ?Await]
    BindingElementList[?Yield, ?Await] , BindingElisionElement[?Yield, ?Await]
BindingElisionElement[Yield, Await] :
    Elisionopt BindingElement[?Yield, ?Await]
BindingProperty[Yield, Await] :
    SingleNameBinding[?Yield, ?Await]
    PropertyName[?Yield, ?Await] : BindingElement[?Yield, ?Await]
BindingElement[Yield, Await] :
    SingleNameBinding[?Yield, ?Await]
    BindingPattern[?Yield, ?Await] Initializer[+In, ?Yield, ?Await] opt
SingleNameBinding[Yield, Await] :
    BindingIdentifier[?Yield, ?Await] Initializer[+In, ?Yield, ?Await] opt
BindingRestElement[Yield, Await] :
    ... BindingIdentifier[?Yield, ?Await]
    ... BindingPattern[?Yield, ?Await]

13.3.3.1 静态语义：BoundNames

ObjectBindingPattern : { }

1. 返回一个新的空列表.

ArrayBindingPattern : [ Elision ]

1. 返回一个新的空列表.

ArrayBindingPattern : [ Elision BindingRestElement ]

1. 返回 BindingRestElement 的 BoundNames

ArrayBindingPattern : [ BindingElementList , Elision ]

1. 返回 BindingElementList 的 BoundNames

ArrayBindingPattern : [ BindingElementList , Elision BindingRestElement ]

1. 令 names 为 BindingElementList 的 BoundNames
2. 在 names 后追加 BindingRestElement 的 BoundNames 元素
3. 返回 names.

BindingPropertyList : BindingPropertyList , BindingProperty

1. 令 names 为 BindingPropertyList 的 BoundNames
2. 在 names 后追加 BindingProperty 的 BoundNames 元素
3. 返回 names.

BindingElementList : BindingElementList , BindingElisionElement

1. 令 names 为 BindingElementList 的 BoundNames
2. 在 names 后追加 BindingElisionElement 的 BoundNames 元素
3. 返回 names.

BindingElisionElement : Elision BindingElement

1. 返回 BindingElement 的 BoundNames

BindingProperty : PropertyName : BindingElement

1. 返回 BindingElement 的 BoundNames

SingleNameBinding : BindingIdentifier Initializer

1. 返回 BindingIdentifier 的 BoundNames

BindingElement : BindingPattern Initializer

1. 返回 BindingPattern 的 BoundNames

13.3.3.2 静态语义：ContainsExpression

ObjectBindingPattern : { }

1. 返回 false.

ArrayBindingPattern : [ Elision ]

1. 返回 false.

ArrayBindingPattern : [ Elision BindingRestElement ]

1. 返回 BindingRestElement 的 ContainsExpression

ArrayBindingPattern : [ BindingElementList , Elision ]

1. 返回 BindingElementList 的 ContainsExpression

ArrayBindingPattern : [ BindingElementList , Elision BindingRestElement ]

1. 令 has 为 BindingElementList 的 ContainsExpression
2. 若 has 是 true，返回 true.
3. 返回 BindingRestElement 的 ContainsExpression

BindingPropertyList : BindingPropertyList , BindingProperty

1. 令 has 为 BindingPropertyList 的 ContainsExpression
2. 若 has 是 true，返回 true.
3. 返回 BindingProperty 的 ContainsExpression

BindingElementList : BindingElementList , BindingElisionElement

1. 令 has 为 BindingElementList 的 ContainsExpression
2. 若 has 是 true，返回 true.
3. 返回 BindingElisionElement 的 ContainsExpression

BindingElisionElement : Elision BindingElement

1. 返回 BindingElement 的 ContainsExpression

BindingProperty : PropertyName : BindingElement

1. 令 has 为 PropertyName 的 IsComputedPropertyKey
2. 若 has 是 true，返回 true.
3. 返回 BindingElement 的 ContainsExpression

BindingElement : BindingPattern Initializer

1. 返回 true.

SingleNameBinding : BindingIdentifier

1. 返回 false.

SingleNameBinding : BindingIdentifier Initializer

1. 返回 true.

BindingRestElement : ... BindingIdentifier

1. 返回 false.

BindingRestElement : ... BindingPattern

1. 返回 BindingPattern 的 ContainsExpression

13.3.3.3 静态语义：HasInitializer

BindingElement : BindingPattern

1. 返回 false

BindingElement : BindingPattern Initializer

1. 返回 true.

SingleNameBinding : BindingIdentifier

1. 返回 false.

SingleNameBinding : BindingIdentifier Initializer

1. 返回 true.

13.3.3.4 静态语义：IsSimpleParameterList

BindingElement : BindingPattern

1. 返回 false.

BindingElement : BindingPattern Initializer

1. 返回 false.

SingleNameBinding : BindingIdentifier

1. 返回 true

SingleNameBinding : BindingIdentifier Initializer

1. 返回 false.

13.3.3.5 运行时语义：BindingInitialization

使用参数value和environment

注：当为环境传递undefined时，表明应该使用PutValue操作来分配初始化值。非严格函数的形式参数列表就是这种情况。在那种情况下，形式参数绑定是预先初始化的，以便处理多个具有相同名称的参数的可能性。

BindingPattern : ObjectBindingPattern

1. 执行 ? RequireObjectCoercible(value).
2. 返回使用value和environment作为参数对ObjectBindingPattern执行BindingInitialization的结果

BindingPattern : ArrayBindingPattern

1. 令 iteratorRecord 为 ? GetIterator(value).
2. 令 result 为使用iteratorRecord和环境作为参数的ArrayBindingPattern的IteratorBindingInitialization。

3. 若 iteratorRecord.[[Done]] 是 false，返回 ? IteratorClose(iteratorRecord, result).

4. 返回 result.

ObjectBindingPattern : { }

1. 返回 NormalCompletion(empty)

   ObjectBindingPattern :
       { BindingPropertyList }
       { BindingPropertyList , }

   1. 执行 ? 使用value和environment作为参数的BindingPropertyList的PropertyBindingInitialization。
   2. 返回 NormalCompletion(empty).

ObjectBindingPattern : { BindingRestProperty }

1. 令 excludedNames 为一个新的空列表.
2. 返回使用value，environment和excludeedNames作为参数执行BindingRestProperty的RestBindingInitialization的结果

ObjectBindingPattern : { BindingPropertyList , BindingRestProperty }

1. 令 excludedNames 为 执行 ? 使用value和environment作为参数的BindingPropertyList的PropertyBindingInitialization的结果
2. 返回以value，environment和excludeedNames作为参数执行BindingRestProperty的初始化的结果

13.3.3.6 运行时语义：PropertyBindingInitialization

使用参数value和environment

注：它们收集所有绑定属性名称的列表，而不仅仅是空完成。

BindingPropertyList : BindingPropertyList , BindingProperty

1. 令 boundNames 为 执行 ? 使用value和environment作为参数的BindingPropertyList的PropertyBindingInitialization。
2. 令 nextNames 为 执行 ? 使用value和environment作为参数的BindingProperty的PropertyBindingInitialization。
3. 将nextNames中的每一个项目追加到 boundNames 的末尾
4. 返回 boundNames.

BindingProperty : SingleNameBinding

1. 令 name 为 string，即是SingleNameBinding 的 BoundNames的唯一元素
2. 执行 ? 使用value和environment和name作为参数的SingleNameBinding的KeyedBindingInitialization。
3. 返回包含 name 的新列表

BindingProperty : PropertyName : BindingElement

1. 令 P 为 PropertyName 的运算结果

2. ReturnIfAbrupt(P).

3. 执行 ? 以value、environment和P作为参数的BindingElement的KeyedBindingInitialization。

4. 返回包含 P 的新列表

13.3.3.7 运行时语义：RestBindingInitialization

使用参数value, environment和excludedNames

BindingRestProperty : ... BindingIdentifier

1. 令 lhs 为 ? ResolveBinding(StringValue of BindingIdentifier, environment).
2. 令 restObj 为 ObjectCreate(%ObjectPrototype%).
3. 执行 ? CopyDataProperties(restObj, value, excludedNames).
4. 若 environment 是 undefined，返回 PutValue(lhs, restObj).
5. 返回 InitializeReferencedBinding(lhs, restObj).

13.3.3.8 运行时语义：IteratorBindingInitialization

使用参数iteratorRecord和environment

注：当为环境传递undefined时，表明应该使用PutValue操作来分配初始化值。非严格函数的形式参数列表就是这种情况。在那种情况下，形式参数绑定是预先初始化的，以便处理多个具有相同名称的参数的可能性。

ArrayBindingPattern : [ ]

1. 返回 NormalCompletion(empty).

ArrayBindingPattern : [ Elision ]

1. 返回以iteratorRecord作为参数执行Elision的IteratorDestructuringAssignmentEvaluation的结果

ArrayBindingPattern : [ Elision BindingRestElement ]

1. 若 Elision 存在，那么
2. 执行 ? 以iteratorRecord作为参数的Elision的IteratorDestructuringAssignmentEvaluation
3. 返回使用iteratorRecord和environment作为参数对BindingRestElement执行IteratorBindingInitialization的结果

ArrayBindingPattern : [ BindingElementList ]

1. 返回使用iteratorRecord和environment作为参数对BindingElementList执行IteratorBindingInitialization的结果。

ArrayBindingPattern : [ BindingElementList , ]

1. 返回使用iteratorRecord和environment作为参数对BindingElementList执行IteratorBindingInitialization的结果

ArrayBindingPattern : [ BindingElementList , Elision ]

1. 执行 ? 带有IteratorRecord和environment作为参数的BindingElementList的IteratorBindingInitialization。

2. 返回以iteratorRecord作为参数执行Elision的IteratorDestructuringAssignmentEvaluation的结果

ArrayBindingPattern : [ BindingElementList , Elision BindingRestElement ]

1. 执行 ? 带有IteratorRecord和environment作为参数的BindingElementList的IteratorBindingInitialization。
2. 若 Elision 存在，那么
3. 执行 ? 以iteratorRecord作为参数的Elision的IteratorDestructuringAssignmentEvaluation
4. 返回使用iteratorRecord和environment环境作为参数对BindingRestElement执行IteratorBindingInitialization的结果

BindingElementList : BindingElisionElement

1. 返回使用iteratorRecord和environment环境作为参数对BindingElisionElement执行IteratorBindingInitialization的结果

BindingElementList : BindingElementList , BindingElisionElement

1. 执行 ? IteratorBindingInitialization for BindingElementList with iteratorRecord and environment as arguments.
2. 返回使用iteratorRecord和environment作为参数对BindingElisionElement执行IteratorBindingInitialization的结果

BindingElisionElement : BindingElement

1. 返回使用iteratorRecord和environment作为参数执行BindingElement的IteratorBindingInitialization。

BindingElisionElement : Elision BindingElement

1. 执行 ? 以iteratorRecord作为参数的Elision的IteratorDestructuringAssignmentEvaluation
2. 返回使用iteratorRecord和environment作为参数执行BindingElement的IteratorBindingInitialization的结果

BindingElement : SingleNameBinding

1. 返回使用iteratorRecord和环境作为参数对SingleNameBinding执行IteratorBindingInitialization的结果

SingleNameBinding : BindingIdentifier Initializer

1. 令 bindingId 为 BindingIdentifier 的 StringValue
2. 令 lhs 为 ? ResolveBinding(bindingId, environment).
3. 若 iteratorRecord.[[Done]] 是 false，那么
   1. 令 next 为 IteratorStep(iteratorRecord).
   2. 若 next 是 abrupt completion, 设置 iteratorRecord.[[Done]] 为 true.
   3. ReturnIfAbrupt(next).
   4. 若 next 是 false, 设置 iteratorRecord.[[Done]] 为 true.
   5. 否则，
      1. 令 v 为 IteratorValue(next).
         1. 若 v 是 abrupt completion, 设置 iteratorRecord.[[Done]] 为 true.
            1. ReturnIfAbrupt(v).
4. 若 iteratorRecord.[[Done]] 是 true, 令 v 为 undefined.
5. 若 Initializer 存在 并且 v 是 undefined，那么
   1. 若 IsAnonymousFunctionDefinition(Initializer) 是 true，那么
      1. 设置 v 为使用参数bindingId为Initializer执行NamedEvaluation的结果
   2. 否则，
      1. 令 defaultValue 为 Initializer 的运算结果
      2. 设置 v 为 ? GetValue(defaultValue).
6. 若 environment 是 undefined，返回 ? PutValue(lhs, v).
7. 返回 InitializeReferencedBinding(lhs, v).

BindingElement : BindingPattern Initializer

1. 若 iteratorRecord.[[Done]] 是 false，那么
   1. 令 next 为 IteratorStep(iteratorRecord).
   2. 若 next 是 abrupt completion, 设置 iteratorRecord.[[Done]] 为 true.
   3. ReturnIfAbrupt(next).
   4. 若 next 是 false, 设置 iteratorRecord.[[Done]] 为 true.
   5. 否则，
      1. 令 v 为 IteratorValue(next).
      2. 若 v 是 abrupt completion, 设置 iteratorRecord.[[Done]] 为 true.
      3. ReturnIfAbrupt(v).
2. 若 iteratorRecord.[[Done]] 是 true, 令 v 为 undefined.
3. 若 Initializer 存在 并且 v 是 undefined，那么
   1. 令 defaultValue 为 Initializer 的运算结果
   2. 设置 v 为 ? GetValue(defaultValue).
4. 返回使用v和environment作为参数执行BindingPattern的BindingInitialization的结果

BindingRestElement : ... BindingIdentifier

1. 令 lhs 为 ? ResolveBinding(StringValue of BindingIdentifier, environment).
2. 令 A 为 ! ArrayCreate(0).
3. 令 n 为 0.
4. 重复，
   1. 若 iteratorRecord.[[Done]] 是 false，那么
      1. 令 next 为 IteratorStep(iteratorRecord).
      2. 若 next 是 abrupt completion, 设置 iteratorRecord.[[Done]] 为 true.
      3. ReturnIfAbrupt(next).
      4. 若 next 是 false, 设置 iteratorRecord.[[Done]] 为 true.
   2. 若 iteratorRecord.[[Done]] 是 true，那么
      1. 若 environment 是 undefined，返回 ? PutValue(lhs, A).
      2. 返回 InitializeReferencedBinding(lhs, A).
   3. 令 nextValue 为 IteratorValue(next).
   4. 若 nextValue 是 abrupt completion, 设置 iteratorRecord.[[Done]] 为 true.
   5. ReturnIfAbrupt(nextValue).
   6. 令 status 为 CreateDataProperty(A, ! ToString(n), nextValue).
   7. 断言: status 是 true.
   8. n增加1.

BindingRestElement : ... BindingPattern

1. 令 A 为 ! ArrayCreate(0).
2. 令 n 为 0.
3. 重复，
   1. 若 iteratorRecord.[[Done]] 是 false，那么
      1. 令 next 为 IteratorStep(iteratorRecord).
         1. 若 next 是 abrupt completion, 设置 iteratorRecord.[[Done]] 为 true.
            1. ReturnIfAbrupt(next).
               1. 若 next 是 false, 设置 iteratorRecord.[[Done]] 为 true.
   2. 若 iteratorRecord.[[Done]] 是 true，那么
      1. 使用A和environment作为参数执行BindingPattern的BindingInitialization的结果。
   3. 令 nextValue 为 IteratorValue(next).
   4. 若 nextValue 是 abrupt completion, 设置 iteratorRecord.[[Done]] 为 true.
   5. ReturnIfAbrupt(nextValue).
   6. 令 status 为 CreateDataProperty(A, ! ToString(n), nextValue).
   7. 断言: status 是 true.
   8. n增加1.

13.3.3.9 运行时语义：KeyedBindingInitialization

使用参数value, environment,和propertyName

注：当为环境传递undefined时，表明应该使用PutValue操作来分配初始化值。非严格函数的形式参数列表就是这种情况。在那种情况下，形式参数绑定是预先初始化的，以便处理多个具有相同名称的参数的可能性。

BindingElement : BindingPattern Initializer

1. 令 v 为 ? GetV(value, propertyName).
2. 若 Initializer 存在，并且 v 是 undefined，那么
3. 令 defaultValue 为 Initializer 的运算结果
4. 设置 v 为 ? GetValue(defaultValue).
5. 返回通过将v和environment作为参数对BindingPattern执行BindingInitialization的结果

SingleNameBinding : BindingIdentifier Initializer

1. 令 bindingId 为 BindingIdentifier 的 StringValue
2. 令 lhs 为 ? ResolveBinding(bindingId, environment).
3. 令 v 为 ? GetV(value, propertyName).
4. 若 Initializer 存在，并且 v 是 undefined，那么
5. 若 IsAnonymousFunctionDefinition(Initializer) 是 true，那么
   1. 设置 v 为使用参数bindingId为Initializer执行NamedEvaluation的结果
6. 否则，
   1. 令 defaultValue 为 Initializer 的运算结果
   2. 设置 v 为 ? GetValue(defaultValue).
7. 若 environment 是 undefined，返回 ? PutValue(lhs, v).
8. 返回 InitializeReferencedBinding(lhs, v).

13.4 空语句

语法

EmptyStatement :
;

13.4.1 运行时语义：Evaluation

EmptyStatement : ;

1. 返回 NormalCompletion(empty).

13.5 表达式语句

语法

ExpressionStatement[Yield, Await] :
    [lookahead ∉ { { , function , async [no LineTerminator here] function , class , let [ }]
        Expression[+In, ?Yield, ?Await] ;

注：ExpressionStatement不能以U+007B（{）开头，因为这可能会使它与Block产生歧义。 ExpressionStatement不能以function或class关键字开头，因为这会使它与FunctionDeclaration，GeneratorDeclaration或ClassDeclaration产生歧义。 ExpressionStatement不能以异步函数开头，因为这会使它与AsyncFunctionDeclaration或AsyncGeneratorDeclaration产生歧义。 ExpressionStatement不能以两个令牌序列let [开头，因为这会使它与let LexicalDeclaration产生歧义，后者的第一个LexicalBinding是ArrayBindingPattern。

13.5.1 运行时语义：Evaluation

ExpressionStatement : Expression ;

1. 令 exprRef 为 Expression 的运算结果
2. 返回 ? GetValue(exprRef).

13.6 if 语句

语法

IfStatement[Yield, Await, Return] :
    if ( Expression[+In, ?Yield, ?Await] ) Statement[?Yield, ?Await, ?Return] else
    Statement[?Yield, ?Await, ?Return]
    if ( Expression[+In, ?Yield, ?Await] ) Statement[?Yield, ?Await, ?Return]

如果相关 if 的选择不明确，则每个 else 应与最接近的 if 相关联，否则该 if 没有相应的 else

13.6.1 静态语义：Early Errors

IfStatement :
    if ( Expression ) Statement else Statement
    if ( Expression ) Statement

如果 IsLabelled 函数（语句）为 true，则出现语法错误

注：仅当实现了 B.3.2 中指定的扩展时，才需要应用此规则。

13.6.2 静态语义：ContainsDuplicateLabels

使用参数 labelSet

IfStatement : if ( Expression ) Statement else Statement

1. 令 hasDuplicate 为包含第一个带有参数labelSet的Statement的DuplicateLabels。
2. 若 hasDuplicate 是 true，返回 true.
3. 返回包含第二个带有参数labelSet的Statement的DuplicateLabel。

IfStatement : if ( Expression ) Statement

1. 返回带有参数 labelSet 的 Statement 的 ContainsDuplicateLabels

13.6.3 静态语义：ContainsUndefinedBreakTarget

使用参数 labelSet

IfStatement : if ( Expression ) Statement else Statement

1. 令 hasUndefinedLabels 为包含参数labelSet的第一个语句的ContainsUndefinedBreakTarget。
2. 若 hasUndefinedLabels 是 true，返回 true.
3. 返回包含第二个带有参数labelSet的语句的UndefinedBreakTarget。

IfStatement : if ( Expression ) Statement

1. 返回带有参数 labelSet 的 Statement 的 ContainsUndefinedBreakTarget

13.6.4 静态语义：ContainsUndefinedContinueTarget

使用参数iterationSet和labelSet

IfStatement : if ( Expression ) Statement else Statement

1. 令 hasUndefinedLabels 为包含第一个Statement的UndefinedContinueTarget，其参数为iterationSet和«»。
2. 若 hasUndefinedLabels 是 true，返回 true.
3. 返回包含第二个Statement的UndefinedContinueTarget，其参数为iterationSet和«»。

IfStatement : if ( Expression ) Statement

1. 返回带有参数 iterationSet 和 « » 的 Statement 的 ContainsUndefinedContinueTarget

13.6.5 静态语义：VarDeclaredNames

IfStatement : if ( Expression ) Statement else Statement

1. 令 names 为第一条语句的VarDeclaredNames。
2. 在 names 后追加第一条语句的VarDeclaredNames的元素
3. 返回 names.

IfStatement : if ( Expression ) Statement

1. 返回 Statement 的 VarDeclaredNames

13.6.6 静态语义：VarScopedDeclarations

IfStatement : if ( Expression ) Statement else Statement

1. 令 declarations 为第一条语句的VarScopedDeclarations。
2. 在 declarations 后追加第二条语句的VarScopedDeclarations的元素
3. 返回 declarations.

IfStatement : if ( Expression ) Statement

1. 返回 Statement 的 VarScopedDeclarations

13.6.7 运行时语义：Evaluation

IfStatement : if ( Expression ) Statement else Statement

1. 令 exprRef 为 Expression 的运算结果
2. 令 exprValue 为 ToBoolean(? GetValue(exprRef)).
3. 若 exprValue 是 true，那么 a. 令 stmtCompletion 为第一条语句的运算结果
4. 否则， a. 令 stmtCompletion 为第二条语句的运算结果
5. 返回 Completion(UpdateEmpty(stmtCompletion, undefined))

IfStatement : if ( Expression ) Statement

1. 令 exprRef 为 Expression 的运算结果
2. 令 exprValue 为 ToBoolean(? GetValue(exprRef)).
3. 若 exprValue 是 false，那么 a. 返回 NormalCompletion(undefined).
4. 否则， a. 令 stmtCompletion 为 Statement 的运算结果 b. 返回 Completion(UpdateEmpty(stmtCompletion, undefined)).

13.7 迭代语句

语法

IterationStatement[Yield, Await, Return] :
    do Statement[?Yield, ?Await, ?Return] while ( Expression[+In, ?Yield, ?Await] ) ;
    while ( Expression[+In, ?Yield, ?Await] ) Statement[?Yield, ?Await, ?Return]
    for ( [lookahead ∉ { let [ }] Expression[~In, ?Yield, ?Await] opt ;
    Expression[+In, ?Yield, ?Await] opt ; Expression[+In, ?Yield, ?Await] opt )
    Statement[?Yield, ?Await, ?Return]
    for ( var VariableDeclarationList[~In, ?Yield, ?Await] ;
    Expression[+In, ?Yield, ?Await] opt ; Expression[+In, ?Yield, ?Await] opt )
    Statement[?Yield, ?Await, ?Return]
    for ( LexicalDeclaration[~In, ?Yield, ?Await] Expression[+In, ?Yield, ?Await] opt ;
    Expression[+In, ?Yield, ?Await] opt ) Statement[?Yield, ?Await, ?Return]
    for ( [lookahead ∉ { let [ }] LeftHandSideExpression[?Yield, ?Await] in
    Expression[+In, ?Yield, ?Await] ) Statement[?Yield, ?Await, ?Return]
    for ( var ForBinding[?Yield, ?Await] in Expression[+In, ?Yield, ?Await] )
    Statement[?Yield, ?Await, ?Return]
    for ( ForDeclaration[?Yield, ?Await] in Expression[+In, ?Yield, ?Await] )
    Statement[?Yield, ?Await, ?Return]
    for ( [lookahead ≠ let] LeftHandSideExpression[?Yield, ?Await] of
    AssignmentExpression[+In, ?Yield, ?Await] ) Statement[?Yield, ?Await, ?Return]
    for ( var ForBinding[?Yield, ?Await] of AssignmentExpression[+In, ?Yield, ?Await] )
    Statement[?Yield, ?Await, ?Return]
    for ( ForDeclaration[?Yield, ?Await] of AssignmentExpression[+In, ?Yield, ?Await] )
    Statement[?Yield, ?Await, ?Return]
    [+Await] for await ( [lookahead ≠ let] LeftHandSideExpression[?Yield, ?Await] of
    AssignmentExpression[+In, ?Yield, ?Await] ) Statement[?Yield, ?Await, ?Return]
    [+Await] for await ( var ForBinding[?Yield, ?Await] of
    AssignmentExpression[+In, ?Yield, ?Await] ) Statement[?Yield, ?Await, ?Return]
    [+Await] for await ( ForDeclaration[?Yield, ?Await] of
    AssignmentExpression[+In, ?Yield, ?Await] ) Statement[?Yield, ?Await, ?Return]
ForDeclaration[Yield, Await] :
    LetOrConst ForBinding[?Yield, ?Await]
ForBinding[Yield, Await] :
    BindingIdentifier[?Yield, ?Await]
    BindingPattern[?Yield, ?Await]

注：本节由附录B.3.6扩展。

13.7.1 语义

13.7.1.1 静态语义：Early Errors

IterationStatement :
    do Statement while ( Expression ) ;
    while ( Expression ) Statement
    for ( Expressionopt ; Expressionopt ; Expressionopt ) Statement
    for ( var VariableDeclarationList ; Expressionopt ; Expressionopt ) Statement
    for ( LexicalDeclaration Expressionopt ; Expressionopt ) Statement
    for ( LeftHandSideExpression in Expression ) Statement
    for ( var ForBinding in Expression ) Statement
    for ( ForDeclaration in Expression ) Statement
    for ( LeftHandSideExpression of AssignmentExpression ) Statement
    for ( var ForBinding of AssignmentExpression ) Statement
    for ( ForDeclaration of AssignmentExpression ) Statement
    for await ( LeftHandSideExpression of AssignmentExpression ) Statement
    for await ( var ForBinding of AssignmentExpression ) Statement
    for await ( ForDeclaration of AssignmentExpression ) Statement

It 是 a Syntax Error if IsLabelledFunction(Statement) 是 true.

注：本节由附录B.3.6扩展。仅当实施了B.3.2中指定的扩展时，才需要应用此规则。

13.7.1.2 运行时语义：LoopContinues ( completion, labelSet )

通过以下步骤定义带有参数完成和labelSet的抽象操作LoopContinues：

1. 若 completion.[[Type]] 是 normal，返回 true.
2. 若 completion.[[Type]] 不是 continue，返回 false.
3. 若 completion.[[Target]] 是 empty，返回 true.
4. 若 completion.[[Target]] 是labelSet的元素，返回 true.
5. 返回 false.

注：在IterationStatement的Statement部分内，可以使用ContinueStatement开始新的迭代。

13.7.2 do-while 语句

13.7.2.1 静态语义：ContainsDuplicateLabels

使用参数 labelSet

IterationStatement : do Statement while ( Expression ) ;

1. 返回带有参数 labelSet 的 Statement 的 ContainsDuplicateLabels

13.7.2.2 静态语义：ContainsUndefinedBreakTarget

使用参数 labelSet

IterationStatement : do Statement while ( Expression ) ;

1. 返回带有参数 labelSet 的 Statement 的 ContainsUndefinedBreakTarget

13.7.2.3 静态语义：ContainsUndefinedContinueTarget

使用参数iterationSet和labelSet

IterationStatement : do Statement while ( Expression ) ;

1. 返回带有参数 iterationSet 和 « » 的 Statement 的 ContainsUndefinedContinueTarget

13.7.2.4 静态语义：VarDeclaredNames

IterationStatement : do Statement while ( Expression ) ;

1. 返回 Statement 的 VarDeclaredNames

13.7.2.5 静态语义：VarScopedDeclarations

IterationStatement : do Statement while ( Expression ) ;

1. 返回 Statement 的 VarScopedDeclarations

13.7.2.6 运行时语义：LabelledEvaluation

使用参数 labelSet

IterationStatement : do Statement while ( Expression ) ;

1. 令 V 为 undefined.
2. 重复，
   1. 令 stmtResult 为 Statement 的运算结果
   2. 若 LoopContinues(stmtResult, labelSet) 是 false，返回 Completion(UpdateEmpty(stmtResult, V)).
   3. 若 stmtResult.[[Value]] 不是 empty, 设置 V 为 stmtResult.[[Value]].
   4. 令 exprRef 为 Expression 的运算结果
   5. 令 exprValue 为 ? GetValue(exprRef).
   6. 若 ToBoolean(exprValue) 是 false，返回 NormalCompletion(V).

13.7.3 while 语句

13.7.3.1 静态语义：ContainsDuplicateLabels

使用参数 labelSet

IterationStatement : while ( Expression ) Statement

1. 返回带有参数 labelSet 的 Statement 的 ContainsDuplicateLabels

13.7.3.2 静态语义：ContainsUndefinedBreakTarget

使用参数 labelSet

IterationStatement : while ( Expression ) Statement

1. 返回带有参数 labelSet 的 Statement 的 ContainsUndefinedBreakTarget

13.7.3.3 静态语义：ContainsUndefinedContinueTarget

使用参数iterationSet和labelSet

IterationStatement : while ( Expression ) Statement

1. 返回带有参数 iterationSet 和 « » 的 Statement 的 ContainsUndefinedContinueTarget

13.7.3.4 静态语义：VarDeclaredNames

IterationStatement : while ( Expression ) Statement

1. 返回 Statement 的 VarDeclaredNames

13.7.3.5 静态语义：VarScopedDeclarations

IterationStatement : while ( Expression ) Statement

1. 返回 Statement 的 VarScopedDeclarations

13.7.3.6 运行时语义：LabelledEvaluation

使用参数 labelSet

IterationStatement : while ( Expression ) Statement

1. 令 V 为 undefined.
2. 重复，
   1. 令 exprRef 为 Expression 的运算结果
   2. 令 exprValue 为 ? GetValue(exprRef).
   3. 若 ToBoolean(exprValue) 是 false，返回 NormalCompletion(V).
   4. 令 stmtResult 为 Statement 的运算结果
   5. 若 LoopContinues(stmtResult, labelSet) 是 false，返回 Completion(UpdateEmpty(stmtResult, V)).
   6. 若 stmtResult.[[Value]] 不是 empty, 设置 V 为 stmtResult.[[Value]].

13.7.4 for 语句

13.7.4.1 静态语义：Early Errors

IterationStatement : for ( LexicalDeclaration Expression ; Expression ) Statement

如果LexicalDeclaration的BoundNames的任何元素也出现在语句的VarDeclaredNames中，则是语法错误

13.7.4.2 静态语义：ContainsDuplicateLabels

使用参数 labelSet

IterationStatement :
    for ( Expressionopt ; Expressionopt ; Expressionopt ) Statement
    for ( var VariableDeclarationList ; Expressionopt ; Expressionopt ) Statement
    for ( LexicalDeclaration Expressionopt ; Expressionopt ) Statement

1. 返回带有参数 labelSet 的 Statement 的 ContainsDuplicateLabels

13.7.4.3 静态语义：ContainsUndefinedBreakTarget

使用参数 labelSet

IterationStatement :
    for ( Expressionopt ; Expressionopt ; Expressionopt ) Statement
    for ( var VariableDeclarationList ; Expressionopt ; Expressionopt ) Statement
    for ( LexicalDeclaration Expressionopt ; Expressionopt ) Statement

1. 返回包含带有参数labelSet的语句的ContainsUndefinedBreakTarget。

13.7.4.4 静态语义：ContainsUndefinedContinueTarget

使用参数iterationSet和labelSet

IterationStatement :
    for ( Expressionopt ; Expressionopt ; Expressionopt ) Statement
    for ( var VariableDeclarationList ; Expressionopt ; Expressionopt ) Statement
    for ( LexicalDeclaration Expressionopt ; Expressionopt ) Statement

1. 返回带有参数 iterationSet 和 « » 的 Statement 的 ContainsUndefinedContinueTarget

13.7.4.5 静态语义：VarDeclaredNames

IterationStatement : for ( Expression ; Expression ; Expression ) Statement

1. 返回 Statement 的 VarDeclaredNames

IterationStatement : for ( var VariableDeclarationList ; Expression ; Expression ) Statement

1. 令 names 为 VariableDeclarationList 的 BoundNames
2. 在 names 后追加 Statement 的 VarDeclaredNames 元素
3. 返回 names.

IterationStatement : for ( LexicalDeclaration Expression ; Expression ) Statement

1. 返回 Statement 的 VarDeclaredNames

13.7.4.6 静态语义：VarScopedDeclarations

IterationStatement : for ( Expression ; Expression ; Expression ) Statement

1. 返回 Statement 的 VarScopedDeclarations

IterationStatement : for ( var VariableDeclarationList ; Expression ; Expression ) Statement

1. 令 declarations 为 VariableDeclarationList 的 VarScopedDeclarations

2. 在 declarations 后追加 Statement 的 VarScopedDeclarations 元素

3. 返回 declarations.

IterationStatement : for ( LexicalDeclaration Expression ; Expression ) Statement

1. 返回 Statement 的 VarScopedDeclarations

13.7.4.7 运行时语义：LabelledEvaluation

使用参数 labelSet

IterationStatement : for ( Expression ; Expression ; Expression ) Statement

1. 若 the first Expression 存在，那么
   1. 令 exprRef 为 the first Expression 的运算结果
   2. 执行 ? GetValue(exprRef).
2. 返回 ? ForBodyEvaluation(the second Expression, the third Expression, Statement, « », labelSet).

IterationStatement : for ( var VariableDeclarationList ; Expression ; Expression ) Statement

1. 令 varDcl 为 VariableDeclarationList 的运算结果
2. ReturnIfAbrupt(varDcl).
3. 返回 ? ForBodyEvaluation(the first Expression, the second Expression, Statement, « », labelSet).

IterationStatement : for ( LexicalDeclaration Expression ; Expression ) Statement

1. 令 oldEnv 为运行时执行上下文的词法环境.
2. 令 loopEnv 为 NewDeclarativeEnvironment(oldEnv).
3. 令 loopEnvRec 为 loopEnv 的环境记录项
4. 令 isConst 为 执行 LexicalDeclaration 的 IsConstantDeclaration 的结果
5. 令 boundNames 为 LexicalDeclaration 的 BoundNames
6. 对于每一个 boundNames 的 dn 元素, 执行
   1. 若 isConst 是 true，那么
      1. 执行 ! loopEnvRec.CreateImmutableBinding(dn, true).
   2. 否则，
      1. 执行 ! loopEnvRec.CreateMutableBinding(dn, false).
7. 设置运行时执行上下文的词法环境 为 loopEnv.
8. 令 forDcl 为 LexicalDeclaration 的运算结果
9. 若 forDcl 是 abrupt completion，那么
   1. 设置运行时执行上下文的词法环境 为 oldEnv.
   2. 返回 Completion(forDcl).
10. 若 isConst 是 false, 令 perIterationLets 为 boundNames; 否则令 perIterationLets 为 « ».
11. 令 bodyResult 为 ForBodyEvaluation(the first Expression, the second Expression, Statement, perIterationLets, labelSet).
12. 设置运行时执行上下文的词法环境 为 oldEnv.
13. 返回 Completion(bodyResult)

13.7.4.8 运行时语义：ForBodyEvaluation ( test, increment, stmt, perIterationBindings, labelSet )

带有参数test，increment，stmt，perIterationBindings和labelSet的抽象操作ForBodyEvaluation如下执行：

1. 令 V 为 undefined.
2. 执行 ? CreatePerIterationEnvironment(perIterationBindings).
3. 重复，
   1. 若 test 不是 [empty]，那么
      1. 令 testRef 为 test 的运算结果
      2. 令 testValue 为 ? GetValue(testRef).
      3. 若 ToBoolean(testValue) 是 false，返回 NormalCompletion(V).
   2. 令 result 为 stmt 的运算结果
   3. 若 LoopContinues(result, labelSet) 是 false，返回 Completion(UpdateEmpty(result, V)).
   4. 若 result.[[Value]] 不是 empty, 设置 V 为 result.[[Value]].
   5. 执行 ? CreatePerIterationEnvironment(perIterationBindings).
   6. 若 increment 不是 [empty]，那么
      1. 令 incRef 为 increment 的运算结果
      2. 执行 ? GetValue(incRef).

13.7.4.9 运行时语义：CreatePerIterationEnvironment ( perIterationBindings )

具有参数perIterationBindings的抽象操作CreatePerIterationEnvironment的执行方式如下：

1. 若 perIterationBindings 有任何元素，那么
   1. 令 lastIterationEnv 为运行时执行上下文的词法环境.
   2. 令 lastIterationEnvRec 为 lastIterationEnv 的环境记录项
   3. 令 outer 为 lastIterationEnv 的外部环境引用
   4. 断言: outer 不是 null.
   5. 令 thisIterationEnv 为 NewDeclarativeEnvironment(outer).
   6. 令 thisIterationEnvRec 为 thisIterationEnv 的环境记录项
   7. 对于 perIterationBindings 的每一个 bn 元素, 执行
      1. 执行 ! thisIterationEnvRec.CreateMutableBinding(bn, false).
      2. 令 lastValue 为 ? lastIterationEnvRec.GetBindingValue(bn, true).
      3. 执行 thisIterationEnvRec.InitializeBinding(bn, lastValue).
   8. 设置运行时执行上下文的词法环境 为 thisIterationEnv.
2. 返回 undefined.

13.7.5 for-in, for-of, 和for-await-of 语句

13.7.5.1 静态语义：Early Errors

IterationStatement :
    for ( LeftHandSideExpression in Expression ) Statement
    for ( LeftHandSideExpression of AssignmentExpression ) Statement
    for await ( LeftHandSideExpression of AssignmentExpression ) Statement

• 如果LeftHandSideExpression是ObjectLiteral或ArrayLiteral，并且LeftHandSideExpression没有覆盖AssignmentPattern，则它是语法错误。

如果LeftHandSideExpression是ObjectLiteral或ArrayLiteral，并且如果LeftHandSideExpression覆盖了AssignmentPattern，则不应用以下规则。而是使用AssignmentPattern的Early Error规则。

• 如果LeftHandSideExpression的AssignmentTargetType不是simple，则是语法错误。
• 如果LeftHandSideExpression为CoverParenthesizedExpressionAndArrowParameterList : (Expression)，如果该短语替换了LeftHandSideExpression，则Expression会根据这些规则派生一个语法错误。该规则是递归应用的。

注：最后一条规则意味着即使括号括在Expression上，也要应用其他规则。

IterationStatement :
    for ( ForDeclaration in Expression ) Statement
    for ( ForDeclaration of AssignmentExpression ) Statement
    for await ( ForDeclaration of AssignmentExpression ) Statement

• 如果 ForDeclaration 的 BoundNames 包含”let”，则是语法错误。
• 如果 ForDeclaration 的 BoundNames 的任何元素也出现在语句的 VarDeclaredNames 中，则是语法错误。
• 如果 ForDeclaration 的 BoundNames 包含任何重复的条目，则是语法错误。

13.7.5.2 静态语义：BoundNames

ForDeclaration : LetOrConst ForBinding

1. 返回 ForBinding 的 BoundNames

13.7.5.3 静态语义：ContainsDuplicateLabels

使用参数 labelSet

IterationStatement :
    for ( LeftHandSideExpression in Expression ) Statement
    for ( var ForBinding in Expression ) Statement
    for ( ForDeclaration in Expression ) Statement
    for ( LeftHandSideExpression of AssignmentExpression ) Statement
    for ( var ForBinding of AssignmentExpression ) Statement
    for ( ForDeclaration of AssignmentExpression ) Statement
    for await ( LeftHandSideExpression of AssignmentExpression ) Statement
    for await ( var ForBinding of AssignmentExpression ) Statement
    for await ( ForDeclaration of AssignmentExpression ) Statement

1. 返回带有参数 labelSet 的 Statement 的 ContainsDuplicateLabels

注：本节由附录B.3.6扩展。

13.7.5.4 静态语义：ContainsUndefinedBreakTarget

使用参数 labelSet

IterationStatement :
    for ( LeftHandSideExpression in Expression ) Statement
    for ( var ForBinding in Expression ) Statement
    for ( ForDeclaration in Expression ) Statement
    for ( LeftHandSideExpression of AssignmentExpression ) Statement
    for ( var ForBinding of AssignmentExpression ) Statement
    for ( ForDeclaration of AssignmentExpression ) Statement
    for await ( LeftHandSideExpression of AssignmentExpression ) Statement
    for await ( var ForBinding of AssignmentExpression ) Statement
    for await ( ForDeclaration of AssignmentExpression ) Statement

注：本节由附录B.3.6扩展。

13.7.5.5 静态语义：ContainsUndefinedContinueTarget

使用参数iterationSet和labelSet

IterationStatement :
    for ( LeftHandSideExpression in Expression ) Statement
    for ( var ForBinding in Expression ) Statement
    for ( ForDeclaration in Expression ) Statement
    for ( LeftHandSideExpression of AssignmentExpression ) Statement
    for ( var ForBinding of AssignmentExpression ) Statement
    for ( ForDeclaration of AssignmentExpression ) Statement
    for await ( LeftHandSideExpression of AssignmentExpression ) Statement
    for await ( var ForBinding of AssignmentExpression ) Statement
    for await ( ForDeclaration of AssignmentExpression ) Statement

1. 返回带有参数 iterationSet 和 « » 的 Statement 的 ContainsUndefinedContinueTarget

注：本节由附录B.3.6扩展。

13.7.5.6 静态语义：IsDestructuring

ForDeclaration : LetOrConst ForBinding

1. 返回 ForBinding 的 IsDestructuring

ForBinding : BindingIdentifier

1. 返回 false

ForBinding : BindingPattern

1. 返回 true.

注：本节由附录B.3.6扩展。

13.7.5.7 静态语义：VarDeclaredNames

IterationStatement : for ( LeftHandSideExpression in Expression ) Statement

1. 返回 Statement 的 VarDeclaredNames

IterationStatement : for ( var ForBinding in Expression ) Statement

1. 令 names 为 ForBinding 的 BoundNames
2. 在 names 后追加 Statement 的 VarDeclaredNames 元素
3. 返回 names.

IterationStatement : for ( ForDeclaration in Expression ) Statement

1. 返回 Statement 的 VarDeclaredNames

   IterationStatement :
       for ( LeftHandSideExpression of AssignmentExpression ) Statement
       for await ( LeftHandSideExpression of AssignmentExpression ) Statement

   1. 返回 Statement 的 VarDeclaredNames

   IterationStatement :
       for ( var ForBinding of AssignmentExpression ) Statement
       for await ( var ForBinding of AssignmentExpression ) Statement

   1. 令 names 为 ForBinding 的 BoundNames
   2. 在 names 后追加 Statement 的 VarDeclaredNames 元素
   3. 返回 names.

   IterationStatement :
       for ( ForDeclaration of AssignmentExpression ) Statement
       for await ( ForDeclaration of AssignmentExpression ) Statement

   1. 返回 Statement 的 VarDeclaredNames

注：本节由附录B.3.6扩展。

13.7.5.8 静态语义：VarScopedDeclarations

IterationStatement : for ( LeftHandSideExpression in Expression ) Statement

1. 返回 Statement 的 VarScopedDeclarations

IterationStatement : for ( var ForBinding in Expression ) Statement

1. 令 declarations 为 包含 ForBinding 的列表.

2. 在 declarations 后追加 Statement 的 VarScopedDeclarations 元素

3. 返回 declarations.

   IterationStatement :
       for ( ForDeclaration in Expression ) Statement
       for await ( LeftHandSideExpression of AssignmentExpression ) Statement

   1. 返回 Statement 的 VarScopedDeclarations

   IterationStatement :
       for ( LeftHandSideExpression of AssignmentExpression ) Statement
       for await ( var ForBinding of AssignmentExpression ) Statement

   1. 返回 Statement 的 VarScopedDeclarations

   IterationStatement :
       for ( var ForBinding of AssignmentExpression ) Statement
       for await ( var ForBinding of AssignmentExpression ) Statement

   1. 令 declarations 为 包含 ForBinding 的列表.
   2. 在 declarations 后追加 Statement 的 VarScopedDeclarations 元素
   3. 返回 declarations.

   IterationStatement :
       for ( ForDeclaration of AssignmentExpression ) Statement
       for await ( ForDeclaration of AssignmentExpression ) Statement

   1. 返回 Statement 的 VarScopedDeclarations

注：本节由附录B.3.6扩展。

13.7.5.9 运行时语义：BindingInitialization

使用参数value和environment

注：为环境传递undefined，以指示应该使用PutValue操作来分配初始化值。 var语句和某些非严格函数的形式参数列表就是这种情况（请参见9.2.15）。在这些情况下，在评估其初始值设定项之前会先悬挂并预初始化词法绑定

ForDeclaration : LetOrConst ForBinding