附录 C (资料性) ECMAScript 的严格模式

严格模式的限制和例外

implements、interface、let、package、private、protected、public、static 和 yield 在严格模式代码中是保留字。（12.7.2）。
符合规范的实现在处理严格模式代码时，必须禁止产生式 NumericLiteral :: LegacyOctalIntegerLiteral 和 DecimalIntegerLiteral :: NonOctalDecimalIntegerLiteral 的实例。
符合规范的实现在处理严格模式代码时，必须禁止产生式 EscapeSequence :: LegacyOctalEscapeSequence 和 EscapeSequence :: NonOctalDecimalEscapeSequence 的实例。
向未声明的标识符或其他无法解析的引用赋值不会在全局对象中创建属性。当简单赋值出现在严格模式代码中时，其 LeftHandSideExpression 不得求值为无法解析的 Reference。否则会抛出 ReferenceError 异常（6.2.5.6）。LeftHandSideExpression 也不得是对特性值为 { [[Writable]]: false } 的数据属性、特性值为 { [[Setter]]: undefined } 的访问器属性，或 [[Extensible]] 内部槽为 false 的对象上不存在的属性的引用。在这些情况下会抛出 TypeError 异常（13.15）。
StringValue 为 "eval" 或 "arguments" 的 IdentifierReference 不得作为 Assignment 运算符（13.15）或 UpdateExpression（13.4）的 LeftHandSideExpression 出现，也不得作为 Prefix Increment（13.4.4）或 Prefix Decrement（13.4.5）运算符所作用的 UnaryExpression 出现。
严格函数的 arguments 对象定义了不可配置的访问器属性 "callee"，访问该属性会抛出 TypeError 异常（10.4.4.6）。
严格函数的 arguments 对象不会动态地将其数组索引属性值与其函数对应的形式参数绑定共享。（10.4.4）。
对于严格函数，如果创建了 arguments 对象，则局部标识符 arguments 到 arguments 对象的绑定是不可变的，因此不能作为赋值表达式的目标。（10.2.11）。
如果严格模式代码中的 BindingIdentifier 的 StringValue 是 "eval" 或 "arguments"，则为 SyntaxError（13.1.1）。
严格模式 eval 代码不能在 eval 调用者的变量环境中实例化变量或函数。相反，会创建新的变量环境，并将该环境用于 eval 代码的声明绑定实例化（19.2.1）。
如果在严格模式代码中对 this 求值，则不会将 this value 强制转换为对象。值为 undefined 或 null 的 this value 不会转换为全局对象，原始值也不会转换为包装对象。通过函数调用（包括使用 Function.prototype.apply 和 Function.prototype.call 进行的调用）传递的 this value 不会被强制转换为对象（10.2.1.2、20.2.3.1、20.2.3.3）。
当 delete 运算符出现在严格模式代码中时，如果其 UnaryExpression 是对变量、函数参数或函数名称的直接引用，则抛出 SyntaxError（13.5.1.1）。
当 delete 运算符出现在严格模式代码中时，如果要删除的属性具有特性 { [[Configurable]]: false }，或者由于其他原因无法删除，则抛出 TypeError（13.5.1.2）。
严格模式代码不得包含 WithStatement。在这种上下文中出现 WithStatement 是 SyntaxError（14.11.1）。
如果 CatchParameter 出现在严格模式代码中，并且 the BoundNames of CatchParameter 包含 eval 或 arguments，则为 SyntaxError（14.15.1）。
如果同一个 BindingIdentifier 在严格函数的 FormalParameters 中出现多次，则为 SyntaxError。尝试使用 Function、Generator 或 AsyncFunction 构造函数创建此类函数也是 SyntaxError（15.2.1、20.2.1.1.1）。
对于函数实例上名为 "caller" 或 "arguments" 的属性，实现不得扩展本规范定义之外的、这些属性在严格函数中的含义。