2020年9月

规范的组织

第5条定义了全规范使用的各种约定

第6-9条定义ECMAScript程序运行的执行环境

第10-16条定义ECMAScript编程语言,包括语法编码及所有语言特性的执行语义。

第17-27条定义ECMAScript标准库,包括ECMAScript程序运行时可以使用的所有标准对象的定义。

第28条描述基于SharedArrayBuffer的内存一致性访问(存取)模型及原子(Atomic)对象方法。

规范术语

译法原文说明
条款clause规范文本的划分,类似章节
机能facility规范指称的特性、能力或机制
实现近似的implementation-approximated由外部资源全部或部分定义的功能,但规范给出了建议的理想行为
实现定义的implementation-defined由本规范的外部资源全部或部分定义的功能
宿主定义的host-defined由本规范的外部资源全部或部分定义的功能
原始值primitive value第6条定义的Undefined、Null、Boolean、BigInt、Symbol或String值
语言实现直接在最低层表示的基准值(datum)
基准值datum
普通对象ordinary object具有基本内部方法(essential internal method)定义的默认行为的对象
异质对象exotic object一个或多个基本内部方法不具有默认行为的对象
(一个对象要么是普通对象,要么是异质对象)
基本内部方法essential internal method普通对象11个内部方法,函数对象2个内部方法
(在JavaScript中,可以通过Reflect API访问。——译者注)
标准对象standard object语义由规范定义的对象
内置对象build-in object实现规定并提供的对象
规范定义的是标准内置对象。实现可以规定并提供其他内置对象。内置构造函数既是内置对象,也是构造函数。
数值Number value原始值,对应双精度64位二进制格式的IEEE754-2019值
数值类型Number type包括NaN、正无穷和负无穷,即所有可能的数值
属性property对象的组成部分,关联一个键(字符串或符号)和一个值
特性attribute用于定义属性性质的内部值
自有属性own property对象直接包含的属性
继承属性inherited property非自有属性,是对象原型(自有或继承)的属性
产生式production
产生式左端left-hand side
产生式右端right-hand side
链式产生式?chain production产生式右端是一个非终结符和零或多个终结符
代换式alternative
目标符goal symbol以唯一非终结符开始的定义
终结符terminator (symbol)
非终结符nonterminator (symbol)
语法文法syntactic grammer:
词法及正则文法lexical and RegExp grammer::
数值字符串文法number string grammer:::
包含文法cover grammar
抽象操作abstract operation
语法导向操作syntax-directed operation
数学操作mathematical operation下标𝔽表示数值(默认数值类型)
下标表示数学值
值表示法value notation语言值以粗体表示,如nulltrue"hello
规范内部值使用无衬线字体,如norma、return或throw
规范类型specification type
列表List规范类型,« 1, 2 »
记录Record规范类型
集合Set规范类型
关系Relation规范类型
完成记录Completion Record规范类型
引用Reference规范类型
基础值base value引用组件
引用名referenced name引用组件
严格引用标志strict reference tag引用组件
超类引用Super Reference
属性描述符Property Descriptor规范类型
环境记录Environment Record规范类型
抽象闭包Abstract Closure规范类型
数据块Data Block
公认符号well-known symbol@@
内部栏位internal slot[[]]
内部方法internal method[[]]
记录字段Record field[[]]
正常完成normal completion (record)[[Type]]为normal
硬性完成abrupt completion (record)[[Type]]为throw、return、continune或break
环境记录environment record
声明环境记录declarative environment record
对象环境记录object environment record
全局环境记录global environment record
领域realm
执行上下文execution context
执行上下文栈execution context stack
运执上下文running execution context
代理agent即用户代理(User-Agent)的代理
agent cluster
forward progress
静态语义static semantic
前期错误early error