17 错误处理和语言扩展

实现必须在相关 ECMAScript 语言构造被求值时报告大多数错误。提前错误是可以在对包含该错误的 Script 中的任何构造求值之前检测并报告的错误。提前错误的存在会阻止对该构造求值。实现必须在 ParseScript 中解析 Script 时报告其中的提前错误。Module 中的提前错误会在该 Module 本应求值时报告，并且该 Module 永远不会被初始化。eval 代码中的提前错误会在调用 eval 时报告，并阻止对 eval 代码求值。所有非提前错误都是运行时错误。

对于本规范“Static Semantics: Early Errors”子条款中列出的任何条件，实现都必须将其出现报告为提前错误。

即使编译器能够证明某个构造在任何情况下执行都必然出错，实现也不得将其他种类的错误视为提前错误。在这种情况下，实现可以提前发出警告，但在相关构造实际执行之前不应报告该错误。

除以下情况外，实现应按规定报告所有错误：

除 17.1 中的限制外，宿主或实现可以扩展 Script 语法、Module 语法以及正则表达式模式或标志语法。为允许这样做，所有允许抛出 SyntaxError 的操作（例如调用 eval、使用正则表达式字面量或使用 Function 或 RegExp 构造函数）在遇到宿主定义的脚本语法、正则表达式模式或标志语法扩展时，都允许表现出宿主定义的行为，而不是抛出 SyntaxError。
除 17.1 中的限制外，宿主或实现可以提供本规范描述之外的其他类型、值、对象、属性和函数。这可能导致某些构造（例如在全局作用域中查找变量）表现出宿主定义的行为，而不是抛出错误（例如 ReferenceError）。

17.1 禁止的扩展

实现不得以下列方式扩展本规范：

使用严格模式代码中的句法构造函数定义的 ECMAScript 函数对象，不得创建名为 "caller" 或 "arguments" 的自有属性。对于使用 ArrowFunction、MethodDefinition、GeneratorDeclaration、GeneratorExpression、AsyncGeneratorDeclaration、AsyncGeneratorExpression、ClassDeclaration、ClassExpression、AsyncFunctionDeclaration、AsyncFunctionExpression 或 AsyncArrowFunction 定义的函数对象，无论其定义是否包含在严格模式代码中，也不得创建这些自有属性。内置函数、使用 Function 构造函数创建的严格函数、使用 Generator 构造函数创建的生成器函数、使用 AsyncFunction 构造函数创建的异步函数以及使用 bind 方法创建的函数，也不得创建这些自有属性。
如果实现为任何函数对象扩展了名为 "caller" 的自有属性，则通过 [[Get]] 或 [[GetOwnProperty]] 观察到的该属性值不得是严格函数对象。如果它是访问器属性，则作为该属性 [[Getter]] 特性值的函数在被调用时绝不能返回严格函数。
映射参数对象和未映射参数对象都不得创建名为 "caller" 的自有属性。
ECMA-402 中规定的内置方法（例如名为 toLocaleString 的方法）的行为，不得在 ECMA-402 所规定的范围之外扩展。
当存在 _{[UnicodeMode]} 文法参数时，22.2.1 和 B.1.2 中的 RegExp 模式文法不得扩展为将任何源字符 A-Z 或 a-z 识别为 IdentityEscape[+UnicodeMode]。
句法文法不得以任何允许标记 : 紧跟在由 BindingIdentifier 非终结符号匹配的源文本之后的方式扩展。
处理严格模式代码时，实现不得放宽 12.9.3.1 中的提前错误规则。
TemplateEscapeSequence 不得扩展为包括 12.9.4 中定义的 LegacyOctalEscapeSequence 或 NonOctalDecimalEscapeSequence。
处理严格模式代码时，不得支持 B.3.1、B.3.2、B.3.3 和 B.3.5 中定义的扩展。
以 Module 为目标符号进行解析时，不得支持 B.1.1 中定义的词法文法扩展。
ImportCall 不得扩展。