简介
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`

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 不得作为赋值运算符（13.15）或 UpdateExpression（13.4）的 LeftHandSideExpression 出现，也不得作为由前缀递增（13.4.4）或前缀递减（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" 的属性含义。