简介
1 范围
+2 一致性
1. 2.1 规范性可选条款标题示例
2. 2.2 遗留条款标题示例
3. 2.3 遗留规范性可选条款标题示例
3 规范性引用文件
+4 概述
1. 4.1 Web 脚本
2. 4.2 宿主与实现
3. +4.3 ECMAScript 概览
  1. 4.3.1 对象
  2. 4.3.2 ECMAScript 的严格变体
4. +4.4 术语和定义
5. 4.5 本规范的组织结构
+5 记号约定
1. +5.1 语法文法与词法文法
2. +5.2 算法约定
+6 ECMAScript 数据类型和值
1. +6.1 ECMAScript 语言类型
2. +6.2 ECMAScript 规范类型
+7 抽象操作
1. +7.1 类型转换
2. +7.2 测试与比较操作
3. +7.3 对象上的操作
4. +7.4 迭代器对象上的操作
+8 语法制导操作
1. 8.1 RS: Evaluation
2. +8.2 作用域分析
3. +8.3 标签
4. +8.4 函数名推断
5. +8.5 Contains
  1. 8.5.1 SS: Contains
  2. 8.5.2 SS: ComputedPropertyContains
6. +8.6 杂项
+9 可执行代码与执行上下文
1. +9.1 环境记录
  1. +9.1.1 Environment Record 类型层级
  2. +9.1.2 Environment Record 操作
2. +9.2 PrivateEnvironment Record
  1. +9.2.1 PrivateEnvironment Record 操作
    1. 9.2.1.1 NewPrivateEnvironment ( outerPrivateEnv )
    2. 9.2.1.2 ResolvePrivateIdentifier ( privateEnv, identifier )
3. +9.3 Realm
4. +9.4 执行上下文
5. +9.5 Job 以及将 Job 入队的宿主操作
6. +9.6 Agent
7. 9.7 Agent 集群
8. 9.8 前进进展
9. +9.9 WeakRef 和 FinalizationRegistry 目标的处理模型
10. 9.10 ClearKeptObjects ( )
11. 9.11 AddToKeptObjects ( value )
12. 9.12 CleanupFinalizationRegistry ( finalizationRegistry )
13. 9.13 CanBeHeldWeakly ( v )
+10 普通对象与异质对象行为
1. +10.1 普通对象内部方法和内部槽
2. +10.2 ECMAScript 函数对象
3. +10.3 内建函数对象
4. +10.4 内建异质对象的内部方法和内部槽
5. +10.5 Proxy 对象内部方法和内部槽
+11 ECMAScript 语言：源文本
1. +11.1 源文本
2. +11.2 源代码的类型
+12 ECMAScript 语言：词法文法
1. 12.1 Unicode 格式控制字符
2. 12.2 空白
3. 12.3 行终止符
4. 12.4 注释
5. 12.5 Hashbang 注释
6. 12.6 记号
7. +12.7 名称和关键字
  1. +12.7.1 标识符名称
  2. 12.7.2 关键字和保留字
8. 12.8 标点符
9. +12.9 字面量
10. +12.10 自动分号插入
+13 ECMAScript 语言：表达式
1. +13.1 标识符
2. +13.2 主表达式
3. +13.3 左侧表达式
4. +13.4 更新表达式
5. +13.5 一元运算符
6. +13.6 指数运算符
  1. 13.6.1 RS: 求值
7. +13.7 乘法运算符
  1. 13.7.1 RS: 求值
8. +13.8 加法运算符
  1. +13.8.1 加法运算符 ( + )
    1. 13.8.1.1 RS: 求值
  2. +13.8.2 减法运算符 ( - )
    1. 13.8.2.1 RS: 求值
9. +13.9 按位移位运算符
10. +13.10 关系运算符
  1. 13.10.1 RS: 求值
  2. 13.10.2 InstanceofOperator ( value, target )
11. +13.11 相等运算符
  1. 13.11.1 RS: 求值
12. +13.12 二元按位运算符
  1. 13.12.1 RS: 求值
13. +13.13 二元逻辑运算符
  1. 13.13.1 RS: 求值
14. +13.14 条件运算符 ( ? : )
  1. 13.14.1 RS: 求值
15. +13.15 赋值运算符
16. +13.16 逗号运算符 ( , )
  1. 13.16.1 RS: 求值
+14 ECMAScript 语言：语句和声明
1. +14.1 语句语义
  1. 14.1.1 RS: 求值
2. +14.2 块
3. +14.3 声明与变量语句
4. +14.4 空语句
  1. 14.4.1 RS: 求值
5. +14.5 表达式语句
  1. 14.5.1 RS: 求值
6. +14.6 if 语句
  1. 14.6.1 SS: 早期错误
  2. 14.6.2 RS: 求值
7. +14.7 迭代语句
8. +14.8 continue 语句
  1. 14.8.1 SS: 早期错误
  2. 14.8.2 RS: 求值
9. +14.9 break 语句
  1. 14.9.1 SS: 早期错误
  2. 14.9.2 RS: 求值
10. +14.10 return 语句
  1. 14.10.1 RS: 求值
11. +14.11 with 语句
  1. 14.11.1 SS: 早期错误
  2. 14.11.2 RS: 求值
12. +14.12 switch 语句
13. +14.13 带标签语句
14. +14.14 throw 语句
  1. 14.14.1 RS: 求值
15. +14.15 try 语句
16. +14.16 debugger 语句
  1. 14.16.1 RS: 求值
+15 ECMAScript 语言：函数与类
1. +15.1 参数列表
2. +15.2 函数定义
3. +15.3 箭头函数定义
4. +15.4 方法定义
5. +15.5 生成器函数定义
6. +15.6 异步生成器函数定义
7. +15.7 类定义
8. +15.8 异步函数定义
9. +15.9 异步箭头函数定义
10. +15.10 尾位置调用
+16 ECMAScript 语言：脚本和模块
1. +16.1 脚本
2. +16.2 模块
+17 错误处理与语言扩展
1. 17.1 禁止的扩展
18 ECMAScript 标准内建对象
+19 全局对象
1. +19.1 全局对象的值属性
2. +19.2 全局对象的函数属性
3. +19.3 全局对象的构造器属性
4. +19.4 全局对象的其他属性
+20 基本对象
1. +20.1 Object 对象
2. +20.2 函数对象
3. +20.3 Boolean 对象
4. +20.4 Symbol 对象
5. +20.5 Error 对象
+21 数字与日期
1. +21.1 Number 对象
2. +21.2 BigInt 对象
3. +21.3 Math 对象
  1. +21.3.1 Math 对象的数值属性
  2. +21.3.2 Math 对象的函数属性
4. +21.4 Date 对象
+22 文本处理
1. +22.1 String 对象
2. +22.2 RegExp（正则表达式）对象
+23 索引集合
1. +23.1 Array 对象
2. +23.2 TypedArray 对象
3. +23.3 Uint8Array 对象
+24 键控集合
1. +24.1 Map 对象
2. +24.2 Set 对象
3. +24.3 WeakMap 对象
4. +24.4 WeakSet 对象
5. +24.5 键控集合的抽象操作
  1. 24.5.1 CanonicalizeKeyedCollectionKey ( key )
+25 结构化数据
1. +25.1 ArrayBuffer 对象
2. +25.2 SharedArrayBuffer 对象
3. +25.3 DataView 对象
4. +25.4 Atomics 对象
5. +25.5 JSON 对象
+26 管理内存
1. +26.1 WeakRef 对象
2. +26.2 FinalizationRegistry 对象
+27 控制抽象对象
1. +27.1 迭代
2. +27.2 Promise 对象
3. +27.3 GeneratorFunction 对象
4. +27.4 AsyncGeneratorFunction 对象
5. +27.5 Generator 对象
6. +27.6 AsyncGenerator 对象
7. +27.7 AsyncFunction 对象
+28 反射
1. +28.1 Reflect 对象
2. +28.2 Proxy 对象
  1. +28.2.1 Proxy 构造器
    1. 28.2.1.1 Proxy ( target, handler )
  2. +28.2.2 Proxy 构造器的属性
    1. 28.2.2.1 Proxy.revocable ( target, handler )
3. +28.3 模块命名空间对象
  1. 28.3.1 %Symbol.toStringTag%
+29 内存模型
1. 29.1 内存模型基础
2. 29.2 Agent Events Record
3. 29.3 Chosen Value Record
4. 29.4 候选执行
5. +29.5 内存模型的抽象操作
6. +29.6 候选执行的关系
7. +29.7 有效执行的属性
8. 29.8 竞争
9. 29.9 数据竞争
10. 29.10 无数据竞争
11. 29.11 共享内存指南
+Annex A (informative) 语法摘要
1. A.1 词法语法
2. A.2 表达式
3. A.3 语句
4. A.4 函数和类
5. A.5 脚本和模块
6. A.6 Number 转换
7. A.7 时区偏移字符串格式
8. A.8 正则表达式
+Annex B (normative) Web 浏览器的附加 ECMAScript 特性
1. +B.1 附加语法
  1. B.1.1 类 HTML 注释
  2. +B.1.2 正则表达式模式
2. +B.2 附加内置属性
3. +B.3 其他附加特性
Annex C (informative) ECMAScript 的严格模式
+Annex D (informative) 宿主分层点
1. D.1 宿主钩子
2. D.2 宿主定义字段
3. D.3 宿主定义对象
4. D.4 运行 Job
5. D.5 异质对象的内部方法
6. D.6 内置对象和方法
Annex E (informative) ECMAScript 2015 中可能影响兼容性的修正和澄清
Annex F (informative) 引入与先前版本不兼容的新增和更改
参考文献
制作说明
Copyright & Software License

Toggle shortcuts help?
Toggle "can call user code" annotationsu
Navigate to/from multipagem
Jump to search box/
Toggle pinning of the current clausep
Jump to the n^th pin1-9
Jump to the 10^th pin0
Jump to the most recent link target`

17 错误处理与语言扩展

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

实现必须将本规范中“Static Semantics: 早期错误”子条款列出的任何条件的出现报告为早期错误。

即使编译器可以证明某个构造在任何情况下都无法无错误地执行，实现也不得将其他类型的错误视为早期错误。在这种情况下，实现可以发出早期警告，但不应在相关构造真正执行之前报告该错误。

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

除 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]] 观察该属性的值时，不得是严格函数对象。如果它是访问器属性，则该属性的 [[Get]] 属性值所对应的函数在被调用时不得返回严格函数。
映射或未映射的 arguments 对象都不得创建具有名为 "caller" 的自有属性。
ECMA-402 中规定的内建方法（例如名为 toLocaleString 的方法）的行为不得扩展，除非 ECMA-402 中另有说明。
22.2.1 和 B.1.2 中的 RegExp 模式语法，不得扩展为在存在 _{[UnicodeMode]} 语法参数时，将任何源字符 A-Z 或 a-z 识别为 IdentityEscape[+UnicodeMode]。
语法文法不得以任何方式扩展，使得 token : 可以紧跟在被 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 不得被扩展。