引言
1 范围
+2 一致性
1. 2.1 示例 Normative Optional 条款标题
2. 2.2 示例 Legacy 条款标题
3. 2.3 示例 Legacy Normative Optional 条款标题
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 迭代器对象上的操作
5. +7.5 对可处置对象的操作
+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 Records
  1. +9.2.1 PrivateEnvironment Record 操作
    1. 9.2.1.1 NewPrivateEnvironment ( outerPrivateEnv )
    2. 9.2.1.2 ResolvePrivateIdentifier ( privateEnv, identifier )
3. +9.3 Realms
4. +9.4 执行上下文
5. +9.5 作业和用于将作业入队的宿主操作
6. +9.6 Agents
7. 9.7 Agent Clusters
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 ( arg )
+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 Tokens
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: Evaluation
7. +13.7 乘法类运算符
  1. 13.7.1 RS: Evaluation
8. +13.8 加性运算符
  1. +13.8.1 加法运算符（+）
    1. 13.8.1.1 RS: Evaluation
  2. +13.8.2 减法运算符（-）
    1. 13.8.2.1 RS: Evaluation
9. +13.9 按位移位运算符
10. +13.10 关系运算符
  1. 13.10.1 RS: Evaluation
  2. 13.10.2 InstanceofOperator ( value, target )
11. +13.11 相等运算符
  1. 13.11.1 RS: Evaluation
12. +13.12 二元按位运算符
  1. 13.12.1 RS: Evaluation
13. +13.13 二元逻辑运算符
  1. 13.13.1 RS: Evaluation
14. +13.14 条件运算符（? :）
  1. 13.14.1 RS: Evaluation
15. +13.15 赋值运算符
16. +13.16 逗号运算符（,）
  1. 13.16.1 RS: Evaluation
+14 ECMAScript 语言：语句和声明
1. +14.1 语句语义
  1. 14.1.1 RS: Evaluation
2. +14.2 块
3. +14.3 声明和变量语句
4. +14.4 空语句
  1. 14.4.1 RS: Evaluation
5. +14.5 表达式语句
  1. 14.5.1 RS: Evaluation
6. +14.6 if 语句
  1. 14.6.1 SS: 早期错误
  2. 14.6.2 RS: Evaluation
7. +14.7 迭代语句
8. +14.8 continue 语句
  1. 14.8.1 SS: 早期错误
  2. 14.8.2 RS: Evaluation
9. +14.9 break 语句
  1. 14.9.1 SS: 早期错误
  2. 14.9.2 RS: Evaluation
10. +14.10 return 语句
  1. 14.10.1 RS: Evaluation
11. +14.11 with 语句
  1. 14.11.1 SS: 早期错误
  2. 14.11.2 RS: Evaluation
12. +14.12 switch 语句
13. +14.13 带标签语句
14. +14.14 throw 语句
  1. 14.14.1 RS: Evaluation
15. +14.15 try 语句
16. +14.16 debugger 语句
  1. 14.16.1 RS: Evaluation
+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 Function 对象
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 资源管理
  1. +27.2.1 通用资源管理接口
    1. 27.2.1.1 Disposable 接口
    2. 27.2.1.2 AsyncDisposable 接口
3. +27.3 DisposableStack 对象
4. +27.4 AsyncDisposableStack 对象
5. +27.5 Promise 对象
6. +27.6 GeneratorFunction 对象
7. +27.7 AsyncGeneratorFunction 对象
8. +27.8 Generator 对象
9. +27.9 AsyncGenerator 对象
10. +27.10 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 Module Namespace 对象
  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 Candidate Execution
5. +29.5 内存模型的抽象操作
6. +29.6 Candidate Execution 的关系
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 Exotic Object 的内部方法
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`

Annex C (informative) 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 } 的数据属性、具有特性值 { [[Set]]: undefined } 的访问器属性，或其 [[Extensible]] 内部槽为 false 的对象的不存在属性的引用。在这些情况下，会抛出 TypeError 异常（13.15）。
StringValue 为 "eval" 或 "arguments" 的 IdentifierReference 不得作为赋值运算符的 LeftHandSideExpression（13.15），也不得作为 UpdateExpression（13.4），也不得作为 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 值不会被强制转换为对象。this 值为 undefined 或 null 时，不会被转换为全局对象，原始值也不会被转换为包装对象。通过函数调用传递的 this 值（包括使用 Function.prototype.apply 和 Function.prototype.call 进行的调用）不会把传递的 this 值强制转换为对象（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 出现在严格模式代码中，且 CatchParameter 的 BoundNames 包含 eval 或 arguments，则为 SyntaxError（14.15.1）。
如果同一个 BindingIdentifier 在严格函数的 FormalParameters 中出现多次，则为 SyntaxError。尝试使用 Function、Generator 或 AsyncFunction 构造器创建这类函数也是 SyntaxError（15.2.1、20.2.1.1.1）。
实现不得扩展严格函数中函数实例名为 "caller" 或 "arguments" 的属性的含义，除本规范定义的含义之外。