10.1 普通对象内部方法和内部槽所有普通对象 [[Prototype]] 的内部槽。此内部槽的值为 null 或对象，并用于实现继承。假设名为 propertyKey 的属性在普通对象 obj 中不存在，但存在于其 [[Prototype]] 对象上。如果 propertyKey 引用 [[Prototype]] 对象上的数据属性 obj 会为获取访问继承它，使其表现得就像 propertyKey 是 obj 的属性一样。如果 propertyKey 引用 [[Prototype]] 对象上的可写数据属性 obj 上的 propertyKey 进行设置访问会在 obj 上创建名为 propertyKey 的新数据属性 propertyKey 引用 [[Prototype]] 对象上的不可写数据属性 obj 上的 propertyKey 进行设置访问会失败。如果 propertyKey 引用 [[Prototype]] 对象上的访问器属性 obj 为获取访问和设置访问同时继承。
每个普通对象 [[Extensible]] 内部槽，用于满足 6.1.7.3 [[Extensible]] 内部槽值被设置为 false ，就不再能够向该对象添加属性、修改对象的 [[Prototype]] 内部槽值，或随后将 [[Extensible]] 的值改回 true 。
在以下算法描述中，假定 obj 是普通对象 propertyKey 是属性键 value 是任意 ECMAScript 语言值 propertyDesc 是 Property Descriptor Record
每个普通对象 抽象操作 抽象操作 obj 上调用该内部方法，而不是直接调用名称相似的抽象操作 普通对象 异质对象 异质对象
10.1.1 [[GetPrototypeOf]] ( )an ordinary object obj 的内部方法 [[GetPrototypeOf]] ，接收无参数；返回值：正常完成 null ))。 调用时执行以下步骤：
返回 OrdinaryGetPrototypeOf obj )。
10.1.1.1 OrdinaryGetPrototypeOf ( obj )抽象操作 obj (Object)；返回值：(Object 或 null )。 调用时执行以下步骤：
返回 obj .[[Prototype]] 。
10.1.2 [[SetPrototypeOf]] ( proto )an ordinary object obj 的内部方法 [[SetPrototypeOf]] ，接收参数 proto ((Object 或 null ))；返回值：正常完成
返回 OrdinarySetPrototypeOf obj , proto )。
10.1.2.1 OrdinarySetPrototypeOf ( obj , proto )抽象操作 obj (Object) 和 proto ((Object 或 null ))；返回值：Boolean。 调用时执行以下步骤：
令 current 为 obj .[[Prototype]] 。 如果 SameValue proto , current ) 是 true ，则返回 true 。 令 extensible 为 obj .[[Extensible]] 。 如果 extensible 是 false ，则返回 false 。 令 cursor 为 proto 。 令 done 为 false 。 当 done 是 false 时，重复执行，如果 cursor 是 null ，则将 done 设置为 true 。 否则如果 SameValue cursor , obj ) 是 true ，则返回 false 。 否则，如果 cursor .[[GetPrototypeOf]] 10.1.1 普通对象 done 设置为 true 。 否则，将 cursor 设置为 cursor .[[Prototype]] 。 将 obj .[[Prototype]] 设置为 proto 。 返回 true 。 注
步骤 7 包含 [[GetPrototypeOf]] 和 [[SetPrototypeOf]] 使用普通对象
10.1.3 [[IsExtensible]] ( )an ordinary object obj 的内部方法 [[IsExtensible]] ，接收无参数；返回值：正常完成
返回 OrdinaryIsExtensible obj )。
10.1.3.1 OrdinaryIsExtensible ( obj )抽象操作 obj (Object)；返回值：Boolean。 调用时执行以下步骤：
返回 obj .[[Extensible]] 。
10.1.4 [[PreventExtensions]] ( )an ordinary object obj 的内部方法 [[PreventExtensions]] ，接收无参数；返回值：正常完成 true )。 调用时执行以下步骤：
返回 OrdinaryPreventExtensions obj )。
10.1.4.1 OrdinaryPreventExtensions ( obj )抽象操作 obj (Object)；返回值：true 。 调用时执行以下步骤：
将 obj .[[Extensible]] 设置为 false 。 返回 true 。
10.1.5 [[GetOwnProperty]] ( propertyKey )an ordinary object obj 的内部方法 [[GetOwnProperty]] ，接收参数 propertyKey (属性键 正常完成 属性描述符 undefined ))。 调用时执行以下步骤：
返回 OrdinaryGetOwnProperty obj , propertyKey )。
10.1.5.1 OrdinaryGetOwnProperty ( obj , propertyKey )抽象操作 obj (Object) 和 propertyKey (属性键 属性描述符 undefined )。 调用时执行以下步骤：
如果 obj 没有键为 propertyKey 的自有属性，则返回 undefined 。 令 propertyDesc 为一个新创建且没有字段的 Property Descriptor 令 ownProperty 为 obj 中键为 propertyKey 的自有属性。 如果 ownProperty 是数据属性 将 propertyDesc .[[Value]] 设置为 ownProperty 的 [[Value]] 特性的值。 将 propertyDesc .[[Writable]] 设置为 ownProperty 的 [[Writable]] 特性的值。 否则，断言 ownProperty 是访问器属性 将 propertyDesc .[[Getter]] 设置为 ownProperty 的 [[Getter]] 特性的值。 将 propertyDesc .[[Setter]] 设置为 ownProperty 的 [[Setter]] 特性的值。 将 propertyDesc .[[Enumerable]] 设置为 ownProperty 的 [[Enumerable]] 特性的值。 将 propertyDesc .[[Configurable]] 设置为 ownProperty 的 [[Configurable]] 特性的值。 返回 propertyDesc 。
10.1.6 [[DefineOwnProperty]] ( propertyKey , propertyDesc )an ordinary object obj 的内部方法 [[DefineOwnProperty]] ，接收参数 propertyKey (属性键 propertyDesc (属性描述符 正常完成
返回 ? OrdinaryDefineOwnProperty obj , propertyKey , propertyDesc )。
10.1.6.1 OrdinaryDefineOwnProperty ( obj , propertyKey , propertyDesc )抽象操作 obj (Object)、propertyKey (属性键 propertyDesc (属性描述符 正常完成
令 current 为 ? obj .[[GetOwnProperty]] propertyKey ) 令 extensible 为 ? IsExtensible obj )。 返回 ValidateAndApplyPropertyDescriptor obj , propertyKey , extensible , propertyDesc , current )。
10.1.6.2 IsCompatiblePropertyDescriptor ( extensible , propertyDesc , current )抽象操作 extensible (Boolean)、propertyDesc (属性描述符 current ((属性描述符 undefined ))；返回值：Boolean。 调用时执行以下步骤：
返回 ValidateAndApplyPropertyDescriptor undefined , "" , extensible , propertyDesc , current )。
10.1.6.3 ValidateAndApplyPropertyDescriptor ( obj , propertyKey , extensible , propertyDesc , current )抽象操作 obj ((Object 或 undefined ))、propertyKey (属性键 extensible (Boolean)、propertyDesc (属性描述符 current ((属性描述符 undefined ))；返回值：Boolean。 当且仅当 propertyDesc 能够作为具有指定 extensibility 和当前属性 current 的对象的属性应用，同时保持不变量 true 。当这种应用可行并且 obj 不是 undefined 时，会对名为 propertyKey 的属性执行该应用（必要时会创建该属性）。 调用时执行以下步骤：
断言 propertyKey 是属性键 如果 current 是 undefined ，则如果 extensible 是 false ，则返回 false 。 如果 obj 是 undefined ，则返回 true 。 如果 IsAccessorDescriptor propertyDesc ) 是 true ，则在对象 obj 上创建名为 propertyKey 的自有访问器属性 propertyDesc 具有相应字段，则其 [[Getter]] 、[[Setter]] 、[[Enumerable]] 和 [[Configurable]] 特性设置为 propertyDesc 中对应字段的值，否则设置为相应特性的默认值 否则，在对象 obj 上创建名为 propertyKey 的自有数据属性 propertyDesc 具有相应字段，则其 [[Value]] 、[[Writable]] 、[[Enumerable]] 和 [[Configurable]] 特性设置为 propertyDesc 中对应字段的值，否则设置为相应特性的默认值 返回 true 。 断言 current 是完全填充的 Property Descriptor 如果 propertyDesc 没有任何字段，则返回 true 。 如果 current .[[Configurable]] 是 false ，则如果 propertyDesc 具有 [[Configurable]] 字段且 propertyDesc .[[Configurable]] 是 true ，则返回 false 。 如果 propertyDesc 具有 [[Enumerable]] 字段且 propertyDesc .[[Enumerable]] 不是 current .[[Enumerable]] ，则返回 false 。 如果 IsGenericDescriptor propertyDesc ) 是 false 且 IsAccessorDescriptor propertyDesc ) 不等于 IsAccessorDescriptor current )，则返回 false 。 如果 IsAccessorDescriptor current ) 是 true ，则如果 propertyDesc 具有 [[Getter]] 字段且 SameValue propertyDesc .[[Getter]] , current .[[Getter]] ) 是 false ，则返回 false 。 如果 propertyDesc 具有 [[Setter]] 字段且 SameValue propertyDesc .[[Setter]] , current .[[Setter]] ) 是 false ，则返回 false 。 否则如果 current .[[Writable]] 是 false ，则如果 propertyDesc 具有 [[Writable]] 字段且 propertyDesc .[[Writable]] 是 true ，则返回 false 。 注 SameValue NaN 值返回 true 。在此处返回可确保 obj 的任何现有属性保持不变。如果 propertyDesc 具有 [[Value]] 字段，则返回 SameValue propertyDesc .[[Value]] , current .[[Value]] )。 如果 obj 不是 undefined ，则如果 IsDataDescriptor current ) 是 true 且 IsAccessorDescriptor propertyDesc ) 是 true ，则如果 propertyDesc 具有 [[Configurable]] 字段，则令 configurable 为 propertyDesc .[[Configurable]] ；否则令 configurable 为 current .[[Configurable]] 。 如果 propertyDesc 具有 [[Enumerable]] 字段，则令 enumerable 为 propertyDesc .[[Enumerable]] ；否则令 enumerable 为 current .[[Enumerable]] 。 将对象 obj 中名为 propertyKey 的属性替换为访问器属性 [[Configurable]] 和 [[Enumerable]] 特性分别设置为 configurable 和 enumerable ；如果 propertyDesc 具有相应字段，则其 [[Getter]] 和 [[Setter]] 特性设置为 propertyDesc 中对应字段的值，否则设置为相应特性的默认值 否则如果 IsAccessorDescriptor current ) 是 true 且 IsDataDescriptor propertyDesc ) 是 true ，则如果 propertyDesc 具有 [[Configurable]] 字段，则令 configurable 为 propertyDesc .[[Configurable]] ；否则令 configurable 为 current .[[Configurable]] 。 如果 propertyDesc 具有 [[Enumerable]] 字段，则令 enumerable 为 propertyDesc .[[Enumerable]] ；否则令 enumerable 为 current .[[Enumerable]] 。 将对象 obj 中名为 propertyKey 的属性替换为数据属性 [[Configurable]] 和 [[Enumerable]] 特性分别设置为 configurable 和 enumerable ；如果 propertyDesc 具有相应字段，则其 [[Value]] 和 [[Writable]] 特性设置为 propertyDesc 中对应字段的值，否则设置为相应特性的默认值 否则，对 propertyDesc 的每个字段名称 fieldName ，将对象 obj 中名为 propertyKey 的属性中名为 fieldName 的特性设置为 propertyDesc 的 fieldName 字段的值。 返回 true 。
10.1.7 [[HasProperty]] ( propertyKey )an ordinary object obj 的内部方法 [[HasProperty]] ，接收参数 propertyKey (属性键 正常完成
返回 ? OrdinaryHasProperty obj , propertyKey )。
10.1.7.1 OrdinaryHasProperty ( obj , propertyKey )抽象操作 obj (Object) 和 propertyKey (属性键 正常完成
令 hasOwn 为 ? obj .[[GetOwnProperty]] propertyKey ) 如果 hasOwn 不是 undefined ，则返回 true 。 令 parent 为 ? obj .[[GetPrototypeOf]] 如果 parent 不是 null ，则返回 ? parent .[[HasProperty]] propertyKey ) 返回 false 。
10.1.8 [[Get]] ( propertyKey , receiver )an ordinary object obj 的内部方法 [[Get]] ，接收参数 propertyKey (属性键 receiver (ECMAScript 语言值 正常完成 ECMAScript 语言值
返回 ? OrdinaryGet obj , propertyKey , receiver )。
10.1.8.1 OrdinaryGet ( obj , propertyKey , receiver )抽象操作 obj (Object)、propertyKey (属性键 receiver (ECMAScript 语言值 正常完成 ECMAScript 语言值
令 propertyDesc 为 ? obj .[[GetOwnProperty]] propertyKey ) 如果 propertyDesc 是 undefined ，则令 parent 为 ? obj .[[GetPrototypeOf]] 如果 parent 是 null ，则返回 undefined 。 返回 ? parent .[[Get]] propertyKey , receiver ) 如果 IsDataDescriptor propertyDesc ) 是 true ，则返回 propertyDesc .[[Value]] 。 断言 IsAccessorDescriptor propertyDesc ) 是 true 。令 getter 为 propertyDesc .[[Getter]] 。 如果 getter 是 undefined ，则返回 undefined 。 返回 ? Call getter , receiver )。
10.1.9 [[Set]] ( propertyKey , value , receiver )an ordinary object obj 的内部方法 [[Set]] ，接收参数 propertyKey (属性键 value (ECMAScript 语言值 receiver (ECMAScript 语言值 正常完成
返回 ? OrdinarySet obj , propertyKey , value , receiver )。
10.1.9.1 OrdinarySet ( obj , propertyKey , value , receiver )抽象操作 obj (Object)、propertyKey (属性键 value (ECMAScript 语言值 receiver (ECMAScript 语言值 正常完成
令 ownDesc 为 ? obj .[[GetOwnProperty]] propertyKey ) 返回 ? OrdinarySetWithOwnDescriptor obj , propertyKey , value , receiver , ownDesc )。
10.1.9.2 OrdinarySetWithOwnDescriptor ( obj , propertyKey , value , receiver , ownDesc )抽象操作 obj (Object)、propertyKey (属性键 value (ECMAScript 语言值 receiver (ECMAScript 语言值 ownDesc ((属性描述符 undefined ))；返回值：(正常完成
如果 ownDesc 是 undefined ，则令 parent 为 ? obj .[[GetPrototypeOf]] 如果 parent 不是 null ，则返回 ? parent .[[Set]] propertyKey , value , receiver ) 将 ownDesc 设置为 PropertyDescriptor { [[Value]] : undefined , [[Writable]] : true , [[Enumerable]] : true , [[Configurable]] : true }。 如果 IsDataDescriptor ownDesc ) 是 true ，则如果 ownDesc .[[Writable]] 是 false ，则返回 false 。 如果 receiver 不是 Object，则返回 false 。 令 existingDesc 为 ? receiver .[[GetOwnProperty]] propertyKey ) 如果 existingDesc 是 undefined ，则断言 receiver 当前没有属性 propertyKey 。返回 ? CreateDataProperty receiver , propertyKey , value )。 如果 IsAccessorDescriptor existingDesc ) 是 true ，则返回 false 。 如果 existingDesc .[[Writable]] 是 false ，则返回 false 。 令 valueDesc 为 PropertyDescriptor { [[Value]] : value }。 返回 ? receiver .[[DefineOwnProperty]] propertyKey , valueDesc ) 断言 IsAccessorDescriptor ownDesc ) 是 true 。令 setter 为 ownDesc .[[Setter]] 。 如果 setter 是 undefined ，则返回 false 。 执行 ? Call setter , receiver , « value »)。 返回 true 。
10.1.10 [[Delete]] ( propertyKey )an ordinary object obj 的内部方法 [[Delete]] ，接收参数 propertyKey (属性键 正常完成
返回 ? OrdinaryDelete obj , propertyKey )。
10.1.10.1 OrdinaryDelete ( obj , propertyKey )抽象操作 obj (Object) 和 propertyKey (属性键 正常完成
令 propertyDesc 为 ? obj .[[GetOwnProperty]] propertyKey ) 如果 propertyDesc 是 undefined ，则返回 true 。 如果 propertyDesc .[[Configurable]] 是 true ，则从 obj 中移除名为 propertyKey 的自有属性。 返回 true 。 返回 false 。
10.1.11 [[OwnPropertyKeys]] ( )an ordinary object obj 的内部方法 [[OwnPropertyKeys]] ，接收无参数；返回值：正常完成 列表 属性键
返回 OrdinaryOwnPropertyKeys obj )。
10.1.11.1 OrdinaryOwnPropertyKeys ( obj )抽象操作 obj (Object)；返回值：列表 属性键
令 keys 为新的空 List 对 obj 的每个自有属性键 propertyKey ，其中 propertyKey 是数组索引 将 propertyKey 追加到 keys 。 对 obj 的每个自有属性键 propertyKey ，其中 propertyKey 是 String 且 propertyKey 不是数组索引 将 propertyKey 追加到 keys 。 对 obj 的每个自有属性键 propertyKey ，其中 propertyKey 是 Symbol，按照属性创建时间升序执行将 propertyKey 追加到 keys 。 返回 keys 。
10.1.12 OrdinaryObjectCreate ( proto [ , additionalInternalSlotsList ] )抽象操作 proto ((Object 或 null ))和可选参数 additionalInternalSlotsList (列表 普通对象 additionalInternalSlotsList 包含 [[Prototype]] 和 [[Extensible]] 之外，必须作为对象一部分定义的附加内部槽名称。如果未提供 additionalInternalSlotsList ，则使用新的空 List
令 internalSlotsList 为 « [[Prototype]] , [[Extensible]] »。 如果存在 additionalInternalSlotsList ，则将 internalSlotsList 设置为 internalSlotsList 和 additionalInternalSlotsList 的列表连接 令 obj 为 MakeBasicObject internalSlotsList )。 将 obj .[[Prototype]] 设置为 proto 。 返回 obj 。 注
尽管 OrdinaryObjectCreate 所做的事情几乎只是调用 MakeBasicObject 普通对象 异质对象 普通对象 异质对象 MakeBasicObject
10.1.13 OrdinaryCreateFromConstructor ( ctor , intrinsicDefaultProto [ , internalSlotsList ] )抽象操作 ctor (函数对象 intrinsicDefaultProto (String)和可选参数 internalSlotsList (列表 正常完成 普通对象 构造函数 "prototype" 属性，则从该属性取得其 [[Prototype]] 值。否则，使用由 intrinsicDefaultProto 命名的内在对象作为 [[Prototype]] 。internalSlotsList 包含 internalSlotsList ，则使用新的空 List
断言 intrinsicDefaultProto 是本规范中某个内在对象的名称。对应对象必须是预期用作对象 [[Prototype]] 值的内在对象。令 proto 为 ? GetPrototypeFromConstructor ctor , intrinsicDefaultProto )。 如果存在 internalSlotsList ，则令 slots 为 internalSlotsList 。 否则，令 slots 为新的空 List 返回 OrdinaryObjectCreate proto , slots )。
10.1.14 GetPrototypeFromConstructor ( ctor , intrinsicDefaultProto )抽象操作 ctor (函数对象 intrinsicDefaultProto (String)；返回值：(正常完成 构造函数 [[Prototype]] 值。如果构造函数 "prototype" 属性，则从该属性获取该值。否则，使用由 intrinsicDefaultProto 命名的内在对象作为 [[Prototype]] 。 调用时执行以下步骤：
断言 intrinsicDefaultProto 是本规范中某个内在对象的名称。对应对象必须是预期用作对象 [[Prototype]] 值的内在对象。令 proto 为 ? Get ctor , "prototype" )。 如果 proto 不是 Object，则令 realm 为 ? GetFunctionRealm ctor )。 将 proto 设置为 realm 中名为 intrinsicDefaultProto 的内在对象。 返回 proto 。 注
如果 ctor 不提供 [[Prototype]] 值，则使用的默认值取自 ctor 函数的 Realm 正在运行的执行上下文
10.1.15 RequireInternalSlot ( obj , internalSlot )抽象操作 obj (ECMAScript 语言值 internalSlot (内部槽名称)；返回值：(正常完成 unused ) 或 抛出完成)。 除非 obj 是 Object 且具有给定内部槽，否则它会抛出异常。 调用时执行以下步骤：
如果 obj 不是 Object，则抛出 TypeError 异常。 如果 obj 没有 internalSlot 内部槽，则抛出 TypeError 异常。 返回 unused 。
10.2 ECMAScript 函数对象ECMAScript 函数对象 函数对象 普通对象 普通对象 函数对象 严格模式代码 11.2.2 严格模式代码 严格模式代码 函数对象 严格函数 。其代码不是严格模式代码 函数对象 非严格函数 。
除 [[Extensible]] 和 [[Prototype]] 外，ECMAScript 函数对象 表 26
表 26: ECMAScript 函数对象 所有 ECMAScript 函数对象 [[Call]] 内部方法。除此之外，同时也是构造函数 [[Construct]] 内部方法。
10.2.1 [[Call]] ( thisArg , argList )an ECMAScript function object func 的内部方法 [[Call]] ，接收参数 thisArg (ECMAScript 语言值 argList (列表 ECMAScript 语言值 正常完成 ECMAScript 语言值
令 callerContext 为正在运行的执行上下文 令 calleeContext 为 PrepareForOrdinaryCall func , undefined )。 断言 calleeContext 现在是正在运行的执行上下文 如果 func .[[IsClassConstructor]] 是 true ，则令 error 为新创建的 TypeError 对象。 注 error 在 calleeContext 中使用与 func 关联的 Realm Record 从执行上下文栈 calleeContext ，并恢复 callerContext 作为正在运行的执行上下文 抛出 error 。 执行 OrdinaryCallBindThis func , calleeContext , thisArg )。 令 result 为 Completion OrdinaryCallEvaluateBody func , argList ))。 从执行上下文栈 calleeContext ，并恢复 callerContext 作为正在运行的执行上下文 如果 result 是抛出完成，则返回 ? result 。 断言 result 是 return 完成 返回 result .[[Value]] 。 注
当步骤 7 执行上下文栈 calleeContext 时，如果它已暂停并由可访问的 Generator 保留以供以后恢复，则不得销毁它。
10.2.1.1 PrepareForOrdinaryCall ( func , newTarget )抽象操作 func (ECMAScript 函数对象) 和 newTarget ((Object 或 undefined ))；返回值：执行上下文
令 callerContext 为正在运行的执行上下文 令 calleeContext 为新的 ECMAScript 代码执行上下文 将 calleeContext 的 Function 设置为 func 。 令 calleeRealm 为 func .[[Realm]] 。 将 calleeContext 的 Realm calleeRealm 。 将 calleeContext 的 ScriptOrModule 设置为 func .[[ScriptOrModule]] 。 令 localEnv 为 NewFunctionEnvironment func , newTarget )。 将 calleeContext 的 LexicalEnvironment 设置为 localEnv 。 将 calleeContext 的 VariableEnvironment 设置为 localEnv 。 将 calleeContext 的 PrivateEnvironment 设置为 func .[[PrivateEnvironment]] 。 如果 callerContext 尚未暂停，则暂停 callerContext 。 将 calleeContext 压入执行上下文栈 calleeContext 现在是正在运行的执行上下文 注 calleeRealm 关联。返回 calleeContext 。
10.2.1.2 OrdinaryCallBindThis ( func , calleeContext , thisArg )抽象操作 func (ECMAScript 函数对象)、calleeContext (执行上下文 thisArg (ECMAScript 语言值 unused 。 调用时执行以下步骤：
令 thisMode 为 func .[[ThisMode]] 。 如果 thisMode 是 lexical ，则返回 unused 。 令 calleeRealm 为 func .[[Realm]] 。 令 localEnv 为 calleeContext 的 LexicalEnvironment。 如果 thisMode 是 strict ，则令 thisValue 为 thisArg 。 否则，如果 thisArg 是 undefined 或 null ，则令 globalEnv 为 calleeRealm .[[GlobalEnv]] 。 断言 globalEnv 是 Global Environment Record 令 thisValue 为 globalEnv .[[GlobalThisValue]] 。 否则，令 thisValue 为 ! ToObject thisArg )。 注 ToObject calleeRealm 创建包装对象。 断言 localEnv 是 Function Environment Record 断言 localEnv .[[ThisBindingStatus]] 不是 initialized ，所以下一步永远不会返回突然完成 执行 ! BindThisValue localEnv , thisValue )。 返回 unused 。
10.2.1.3 Runtime Semantics: EvaluateBody语法制导操作 func (ECMAScript 函数对象) 和 argList (列表 ECMAScript 语言值
FunctionBody : FunctionStatementList
返回 ? 以 func 和 argList 为参数对 FunctionBody EvaluateFunctionBody
ConciseBody : ExpressionBody
返回 ? 以 func 和 argList 为参数对 ConciseBody EvaluateConciseBody
GeneratorBody : FunctionBody
返回 ? 以 func 和 argList 为参数对 GeneratorBody EvaluateGeneratorBody
AsyncGeneratorBody : FunctionBody
返回 ? 以 func 和 argList 为参数对 AsyncGeneratorBody EvaluateAsyncGeneratorBody
AsyncFunctionBody : FunctionBody
返回 ? 以 func 和 argList 为参数对 AsyncFunctionBody EvaluateAsyncFunctionBody
AsyncConciseBody : ExpressionBody
返回 ? 以 func 和 argList 为参数对 AsyncConciseBody EvaluateAsyncConciseBody
Initializer :
=
AssignmentExpression
断言 argList 为空。断言 func .[[ClassFieldInitializerName]] 不是 empty 。如果 IsAnonymousFunctionDefinition AssignmentExpression true ，则令 value 为 ? 以 func .[[ClassFieldInitializerName]] 为参数对 Initializer NamedEvaluation 否则，令 rhs 为 ? AssignmentExpression Evaluation 令 value 为 ? GetValue rhs )。 返回 ReturnCompletion value )。 注
即使字段初始化器构成函数边界，调用 FunctionDeclarationInstantiation
ClassStaticBlockBody : ClassStaticBlockStatementList
断言 argList 为空。返回 ? 以 func 为参数对 ClassStaticBlockBody EvaluateClassStaticBlockBody
10.2.1.4 OrdinaryCallEvaluateBody ( func , argList )抽象操作 func (ECMAScript 函数对象) 和 argList (列表 ECMAScript 语言值
返回 ? 以 func 和 argList 为参数对 func .[[ECMAScriptCode]] 执行 EvaluateBody
10.2.2 [[Construct]] ( argList , newTarget )an ECMAScript function object func 的内部方法 [[Construct]] ，接收参数 argList (列表 ECMAScript 语言值 newTarget (构造函数 正常完成
令 callerContext 为正在运行的执行上下文 令 kind 为 func .[[ConstructorKind]] 。 如果 kind 是 base ，则令 thisArg 为 ? OrdinaryCreateFromConstructor newTarget , "%Object.prototype%" )。 令 calleeContext 为 PrepareForOrdinaryCall func , newTarget )。 断言 calleeContext 现在是正在运行的执行上下文 如果 kind 是 base ，则执行 OrdinaryCallBindThis func , calleeContext , thisArg )。 令 initializeResult 为 Completion InitializeInstanceElements thisArg , func ))。 如果 initializeResult 是突然完成 从执行上下文栈 calleeContext ，并恢复 callerContext 作为正在运行的执行上下文 返回 ? initializeResult 。 令 ctorEnv 为 calleeContext 的 LexicalEnvironment。 令 result 为 Completion OrdinaryCallEvaluateBody func , argList ))。 从执行上下文栈 calleeContext ，并恢复 callerContext 作为正在运行的执行上下文 如果 result 是抛出完成，则返回 ? result 。 断言 result 是 return 完成 如果 result .[[Value]] 是 Object，则返回 result .[[Value]] 。 如果 kind 是 base ，则返回 thisArg 。 如果 result .[[Value]] 不是 undefined ，则抛出 TypeError 异常。 令 thisBinding 为 ? ctorEnv .GetThisBinding 断言 thisBinding 是 Object。返回 thisBinding 。
10.2.3 OrdinaryFunctionCreate ( proto , sourceText , paramList , body , thisMode , envRecord , privateEnv )抽象操作 proto (Object)、sourceText (a sequence of Unicode code points)、paramList (解析节点 body (解析节点 thisMode ((lexical-this 或 non-lexical-this ))、envRecord (Environment 记录 privateEnv ((PrivateEnvironment 记录 null ))；返回值：ECMAScript 函数对象。 它用于规定运行时创建一个新的函数，该函数具有默认的 [[Call]] 内部方法且没有 [[Construct]] 内部方法（尽管随后可能通过 MakeConstructor sourceText 是要创建函数的句法定义的源文本。 调用时执行以下步骤：
令 internalSlotsList 为 表 26 令 func 为 OrdinaryObjectCreate proto , internalSlotsList )。 将 func .[[Call]] 10.2.1 将 func .[[SourceText]] 设置为 sourceText 。 将 func .[[FormalParameters]] 设置为 paramList 。 将 func .[[ECMAScriptCode]] 设置为 body 。 令 strict 为 IsStrict body )。 将 func .[[Strict]] 设置为 strict 。 如果 thisMode 是 lexical-this ，则将 func .[[ThisMode]] 设置为 lexical 。 否则如果 strict 是 true ，则将 func .[[ThisMode]] 设置为 strict 。 否则，将 func .[[ThisMode]] 设置为 global 。 将 func .[[IsClassConstructor]] 设置为 false 。 将 func .[[Environment]] 设置为 envRecord 。 将 func .[[PrivateEnvironment]] 设置为 privateEnv 。 将 func .[[ScriptOrModule]] 设置为 GetActiveScriptOrModule 将 func .[[Realm]] 设置为当前 Realm Record 将 func .[[HomeObject]] 设置为 undefined 。 将 func .[[Fields]] 设置为新的空 List 将 func .[[PrivateMethods]] 设置为新的空 List 将 func .[[ClassFieldInitializerName]] 设置为 empty 。 令 length 为 paramList 的 ExpectedArgumentCount 执行 SetFunctionLength func , length )。 返回 func 。
10.2.4 AddRestrictedFunctionProperties ( func , realm )抽象操作 func (函数对象 realm (Realm 记录 unused 。 调用时执行以下步骤：
断言 realm .[[Intrinsics]] .[[%ThrowTypeError% 令 thrower 为 realm .[[Intrinsics]] .[[%ThrowTypeError% 执行 ! DefinePropertyOrThrow func , "caller" , PropertyDescriptor { [[Getter]] : thrower , [[Setter]] : thrower , [[Enumerable]] : false , [[Configurable]] : true })。 执行 ! DefinePropertyOrThrow func , "arguments" , PropertyDescriptor { [[Getter]] : thrower , [[Setter]] : thrower , [[Enumerable]] : false , [[Configurable]] : true })。 返回 unused 。
10.2.4.1 %ThrowTypeError% ( )此函数是 %ThrowTypeError% 内在对象。
它是一个匿名内置函数对象 Realm
调用时，它执行以下步骤：
抛出 TypeError 异常。 此函数的 [[Extensible]] 内部槽值为 false 。
此函数的 "length" 属性具有特性 { [[Writable]] : false , [[Enumerable]] : false , [[Configurable]] : false }。
此函数的 "name" 属性具有特性 { [[Writable]] : false , [[Enumerable]] : false , [[Configurable]] : false }。
10.2.5 MakeConstructor ( func [ , writableProto [ , proto ] ] )抽象操作 func ((ECMAScript 函数对象 或 内置函数对象))和可选参数 writableProto (Boolean) 和 proto (Object)；返回值：unused 。 它将 func 转换为构造函数
如果 func 是 ECMAScript 函数对象 断言 IsConstructor func ) 是 false 。断言 func 是可扩展对象，并且没有 "prototype" 自有属性。将 func .[[Construct]] 10.2.2 否则，将 func .[[Construct]] 10.3.2 将 func .[[ConstructorKind]] 设置为 base 。 如果不存在 writableProto ，则将 writableProto 设置为 true 。 如果不存在 proto ，则将 proto 设置为 OrdinaryObjectCreate %Object.prototype% 执行 ! DefinePropertyOrThrow proto , "constructor" , PropertyDescriptor { [[Value]] : func , [[Writable]] : writableProto , [[Enumerable]] : false , [[Configurable]] : true })。 执行 ! DefinePropertyOrThrow func , "prototype" , PropertyDescriptor { [[Value]] : proto , [[Writable]] : writableProto , [[Enumerable]] : false , [[Configurable]] : false })。 返回 unused 。
10.2.6 MakeClassConstructor ( func )抽象操作 func (ECMAScript 函数对象)；返回值：unused 。 调用时执行以下步骤：
断言 func .[[IsClassConstructor]] 是 false 。将 func .[[IsClassConstructor]] 设置为 true 。 返回 unused 。
10.2.7 MakeMethod ( func , homeObj )抽象操作 func (ECMAScript 函数对象) 和 homeObj (Object)；返回值：unused 。 它将 func 配置为方法。 调用时执行以下步骤：
断言 homeObj 是普通对象 将 func .[[HomeObject]] 设置为 homeObj 。 返回 unused 。
10.2.8 DefineMethodProperty ( homeObj , name , closure , enumerable )抽象操作 homeObj (Object)、name ((属性键 私有名称 closure (函数对象 enumerable (Boolean)；返回值：(正常完成 PrivateElement empty )) 或 突兀完成)。 调用时执行以下步骤：
断言 homeObj 是普通、可扩展对象。如果 name 是 Private Name PrivateElement [[Key]] : name , [[Kind]] : method , [[Value]] : closure }。 令 propertyDesc 为 PropertyDescriptor { [[Value]] : closure , [[Writable]] : true , [[Enumerable]] : enumerable , [[Configurable]] : true }。 执行 ? DefinePropertyOrThrow homeObj , name , propertyDesc )。 注 DefinePropertyOrThrow name 为 "prototype" 的类静态方法时返回突然完成 返回 empty 。
10.2.9 SetFunctionName ( func , name [ , prefix ] )抽象操作 func (函数对象 name ((属性键 私有名称 prefix (String)；返回值：unused 。 它向 func 添加 "name" 属性。 调用时执行以下步骤：
断言 func 是可扩展对象，且没有 "name" 自有属性。如果 name 是 Symbol，则令 description 为 name .[[Description]] 。 如果 description 是 undefined ，则将 name 设置为空 String。 否则，将 name 设置为 "[" 、description 和 "]" 的字符串连接 否则如果 name 是 Private Name 将 name 设置为 name .[[Description]] 。 令 initialName 为 name 。 如果存在 prefix ，则令 prefixedName 为 prefix 、码元 0x0020 (SPACE) 和 name 的字符串连接 将 initialName 设置为 prefixedName 。 Normative Optional, Legacy
将 initialName 设置为实现定义 name 或 prefixedName 中选择的一个值。将 name 设置为 prefixedName 。 如果 func 具有 [[InitialName]] 内部槽，则将 func .[[InitialName]] 设置为 initialName 。 执行 ! DefinePropertyOrThrow func , "name" , PropertyDescriptor { [[Value]] : name , [[Writable]] : false , [[Enumerable]] : false , [[Configurable]] : true })。 返回 unused 。 注
是否为 func .[[InitialName]] 使用 prefixedName 的选择会影响 Function.prototype.toString ( ) 5.c 遗留
10.2.10 SetFunctionLength ( func , length )抽象操作 func (函数对象 length ((非负整数 或 +∞))；返回值：unused 。 它向 func 添加 "length" 属性。 调用时执行以下步骤：
断言 func 是可扩展对象，且没有 "length" 自有属性。执行 ! DefinePropertyOrThrow func , "length" , PropertyDescriptor { [[Value]] : 𝔽 length ), [[Writable]] : false , [[Enumerable]] : false , [[Configurable]] : true })。 返回 unused 。
10.2.11 FunctionDeclarationInstantiation ( func , argList )抽象操作 func (ECMAScript 函数对象) 和 argList (列表 ECMAScript 语言值 正常完成 unused ) 或 抛出完成)。 func 是正在为其建立执行上下文 函数对象
注
为对 ECMAScript 函数求值而建立执行上下文 Function Environment Record Environment Record 包含 Environment Record Environment Record
调用时，它执行以下步骤：
令 calleeContext 为正在运行的执行上下文 令 code 为 func .[[ECMAScriptCode]] 。 令 strict 为 func .[[Strict]] 。 令 formals 为 func .[[FormalParameters]] 。 令 paramNames 为 formals 的 BoundNames 如果 paramNames 有任何重复条目，则令 hasDuplicates 为 true ；否则令 hasDuplicates 为 false 。 令 simpleParamList 为 formals 的 IsSimpleParameterList 令 hasParamExprs 为 formals 的 ContainsExpression 令 variableNames 为 code 的 VarDeclaredNames 令 variableDecls 为 code 的 VarScopedDeclarations 令 lexicalNames 为 code 的 LexicallyDeclaredNames 令 funcNames 为新的空 List 令 funcsToInitialize 为新的空 List 对 variableDecls 的每个元素 variableDecl ，按照 List 如果 variableDecl 既不是 VariableDeclaration ForBinding BindingIdentifier 断言 variableDecl 是 FunctionDeclaration GeneratorDeclaration AsyncFunctionDeclaration AsyncGeneratorDeclaration 令 funcName 为 variableDecl 的 BoundNames 如果 funcNames 不包含 funcName ，则将 funcName 插入为 funcNames 的第一个元素。 注 将 variableDecl 插入为 funcsToInitialize 的第一个元素。 令 argumentsObjNeeded 为 true 。 如果 func .[[ThisMode]] 是 lexical ，则注 将 argumentsObjNeeded 设置为 false 。 否则如果 paramNames 包含 "arguments" ，则将 argumentsObjNeeded 设置为 false 。 否则如果 hasParamExprs 是 false ，则如果 funcNames 包含 "arguments" 或 lexicalNames 包含 "arguments" ，则将 argumentsObjNeeded 设置为 false 。 如果 strict 是 true 或 hasParamExprs 是 false ，则注 Environment Record 严格模式代码 eval 调用无法创建在 eval 外部可见的新绑定。令 envRecord 为 calleeContext 的 LexicalEnvironment。 否则，注 Environment Record 直接 eval 令 calleeEnv 为 calleeContext 的 LexicalEnvironment。 令 envRecord 为 NewDeclarativeEnvironment calleeEnv )。 断言 calleeContext 的 VariableEnvironment 与 calleeEnv 是同一个 Environment Record 将 calleeContext 的 LexicalEnvironment 设置为 envRecord 。 对 paramNames 的每个 String paramName ，执行令 alreadyDeclared 为 ! envRecord .HasBinding paramName )。 注 提前错误 非严格函数 如果 alreadyDeclared 是 false ，则执行 ! envRecord .CreateMutableBinding paramName , false )。 如果 hasDuplicates 是 true ，则执行 ! envRecord .InitializeBinding paramName , undefined )。 如果 argumentsObjNeeded 是 true ，则如果 strict 是 true 或 simpleParamList 是 false ，则令 argumentsObj 为 CreateUnmappedArgumentsObject argList )。 否则，注 非严格函数 令 argumentsObj 为 CreateMappedArgumentsObject func , formals , argList , envRecord )。 如果 strict 是 true ，则执行 ! envRecord .CreateImmutableBinding "arguments" , false )。 注 严格模式代码 提前错误 否则，执行 ! envRecord .CreateMutableBinding "arguments" , false )。 执行 ! envRecord .InitializeBinding "arguments" , argumentsObj )。 令 paramBindings 为 paramNames 与 « "arguments" » 的列表连接 否则，令 paramBindings 为 paramNames 。 令 iteratorRecord 为 CreateListIteratorRecord argList )。 如果 hasDuplicates 是 true ，则令 usedEnv 为 undefined 。 否则，令 usedEnv 为 envRecord 。 注 ReturnCompletion YieldExpression 15.5.1 15.6.1 提前错误规则 执行 ? 以 iteratorRecord 和 usedEnv 为参数对 formals 执行 IteratorBindingInitialization 如果 hasParamExprs 是 false ，则注 Environment Record 令 instantiatedVariableNames 为 List paramBindings 的副本。 对 variableNames 的每个元素 name ，执行如果 instantiatedVariableNames 不包含 name ，则将 name 追加到 instantiatedVariableNames 。 执行 ! envRecord .CreateMutableBinding name , false )。 执行 ! envRecord .InitializeBinding name , undefined )。 令 variableEnv 为 envRecord 。 否则，注 Environment Record 令 variableEnv 为 NewDeclarativeEnvironment envRecord )。 将 calleeContext 的 VariableEnvironment 设置为 variableEnv 。 令 instantiatedVariableNames 为新的空 List 对 variableNames 的每个元素 name ，执行如果 instantiatedVariableNames 不包含 name ，则将 name 追加到 instantiatedVariableNames 。 执行 ! variableEnv .CreateMutableBinding name , false )。 如果 paramBindings 不包含 name 或 funcNames 包含 name ，则令 initialValue 为 undefined 。 否则，令 initialValue 为 ! envRecord .GetBindingValue name , false )。 执行 ! variableEnv .InitializeBinding name , initialValue )。 注 如果 strict 是 true ，则令 lexicalEnv 为 variableEnv 。 否则，Normative Optional
如果宿主 块级函数声明的 Web 遗留兼容性语义 对任何 Block CaseClause DefaultClause x 的 StatementList 包含 FunctionDeclaration funcDecl ，且 code Contains x 是 true ，执行令 funcName 为 funcDecl 的 BindingIdentifier StringValue 如果将 FunctionDeclaration funcDecl 替换为一个以 funcName 作为 BindingIdentifier VariableStatement func 产生任何提前错误 paramNames 不包含 funcName ，则注 funcName 既不是 VarDeclaredName、也不是形式参数名称、也不是另一个 FunctionDeclaration funcName 实例化 var 绑定。如果 instantiatedVariableNames 不包含 funcName 且 funcName 不是 "arguments" ，则执行 ! variableEnv .CreateMutableBinding funcName , false )。 执行 ! variableEnv .InitializeBinding funcName , undefined )。 将 funcName 追加到 instantiatedVariableNames 。 当对 FunctionDeclaration funcDecl 求值时，执行以下步骤，以代替 15.2.6 FunctionDeclaration Evaluation 令 funcEnv 为正在运行的执行上下文 令 blockEnv 为正在运行的执行上下文 令 funcObj 为 ! blockEnv .GetBindingValue funcName , false )。 执行 ! funcEnv .SetMutableBinding funcName , funcObj , false )。 返回 unused 。 令 lexicalEnv 为 NewDeclarativeEnvironment variableEnv )。 注 非严格函数 Environment Record 直接 eval 严格函数 直接 eval Environment Record 将 calleeContext 的 LexicalEnvironment 设置为 lexicalEnv 。 令 lexicalDecls 为 code 的 LexicallyScopedDeclarations 对 lexicalDecls 的每个元素 lexicalDecl ，执行注 对 lexicalDecl 的 BoundNames name ，执行如果 lexicalDecl 的 IsConstantDeclaration true ，则执行 ! lexicalEnv .CreateImmutableBinding name , true )。 否则，执行 ! lexicalEnv .CreateMutableBinding name , false )。 令 privateEnv 为 calleeContext 的 PrivateEnvironment。 对 funcsToInitialize 的每个 Parse Node funcDecl ，执行令 funcName 为 funcDecl 的 BoundNames 令 funcObj 为以 lexicalEnv 和 privateEnv 为参数对 funcDecl 执行 InstantiateFunctionObject 执行 ! variableEnv .SetMutableBinding funcName , funcObj , false )。 返回 unused 。
10.3 内置函数对象内置函数对象 普通对象 10.1 普通对象
除每个普通对象 10.1 函数对象
除非另有规定，内置函数对象 [[Prototype]] 内部槽的初始值为 %Function.prototype%
内置函数对象 10.3.1 [[Call]] 内部方法。
当且仅当内置函数对象 构造函数 [[Construct]] 内部方法时，它才具有 [[Construct]] 内部方法。这样的 [[Construct]] 内部方法必须符合 10.3.2
实现可以提供本规范未定义的其他内置函数对象
10.3.1 [[Call]] ( thisArg , argList )a built-in function object func 的内部方法 [[Call]] ，接收参数 thisArg (ECMAScript 语言值 argList (列表 ECMAScript 语言值 正常完成 ECMAScript 语言值
返回 ? BuiltinCallOrConstruct func , thisArg , argList , undefined )。
10.3.2 [[Construct]] ( argList , newTarget )a built-in function object func (when the method is present)的内部方法 [[Construct]] ，接收参数 argList (列表 ECMAScript 语言值 newTarget (构造函数 正常完成
令 result 为 ? BuiltinCallOrConstruct func , uninitialized , argList , newTarget )。 断言 result 是 Object。返回 result 。
10.3.3 BuiltinCallOrConstruct ( func , thisArg , argList , newTarget )抽象操作 func (内置函数对象)、thisArg ((ECMAScript 语言值 uninitialized ))、argList (列表 ECMAScript 语言值 newTarget ((构造函数 undefined ))；返回值：(正常完成 ECMAScript 语言值
令 callerContext 为正在运行的执行上下文 如果 callerContext 尚未暂停，则暂停 callerContext 。 令 calleeContext 为新的执行上下文 将 calleeContext 的 Function 设置为 func 。 令 calleeRealm 为 func .[[Realm]] 。 将 calleeContext 的 Realm calleeRealm 。 将 calleeContext 的 ScriptOrModule 设置为 null 。 执行对 calleeContext 所需的任何实现定义 将 calleeContext 压入执行上下文栈 calleeContext 现在是正在运行的执行上下文 如果 func .[[Async]] 是 true ，则令 promiseCapability 为 ! NewPromiseCapability %Promise% 令 resultsClosure 为一个没有参数的新 Abstract Closure func 、thisArg 、argList 和 newTarget ，并在被调用时执行以下步骤：令 result 为按照符合 func 规范的方式对 func 求值的结果 所得的 Completion Record thisArg 是 uninitialized ，则 this 值未初始化；否则 thisArg 提供 this 值。argList 提供具名参数。newTarget 提供 NewTarget 值。 注 func 在本文档中定义，则“func 的规范”是通过算法步骤或其他方式为它规定的行为。返回 Completion result )。 执行 AsyncFunctionStart promiseCapability , resultsClosure )。 从执行上下文栈 calleeContext ，并恢复 callerContext 作为正在运行的执行上下文 返回 promiseCapability .[[Promise]] 。 令 result 为按照符合 func 规范的方式对 func 求值的结果 所得的 Completion Record thisArg 是 uninitialized ，则 this 值未初始化；否则 thisArg 提供 this 值。argList 提供具名参数。newTarget 提供 NewTarget 值。 注 func 在本文档中定义，则“func 的规范”是通过算法步骤或其他方式为它规定的行为。从执行上下文栈 calleeContext ，并恢复 callerContext 作为正在运行的执行上下文 返回 ? result 。 注
从执行上下文栈 calleeContext 时，如果它已经暂停并由可访问的 Generator 保留以便以后恢复，则不得销毁它。
10.3.4 CreateBuiltinFunction ( behaviour , length , name , additionalInternalSlotsList [ , realm [ , proto [ , prefix [ , async ] ] ] ] )抽象操作 behaviour ((抽象闭包 length ((非负整数 或 +∞))、name ((属性键 私有名称 additionalInternalSlotsList (列表 realm (Realm 记录 proto ((Object 或 null ))、prefix (String) 和 async (Boolean)；返回值：内置函数对象。 additionalInternalSlotsList 包含 函数对象
如果不存在 realm ，则将 realm 设置为当前 Realm Record 如果不存在 proto ，则将 proto 设置为 realm .[[Intrinsics]] .[[%Function.prototype% 如果不存在 async ，则将 async 设置为 false 。 令 internalSlotsList 为一个 List 包含 10.3 函数对象 将 additionalInternalSlotsList 的元素追加到 internalSlotsList 。 令 func 为新的内置函数对象 behaviour 所规定对应参数的值，执行 behaviour 所描述的操作。新函数对象 internalSlotsList 中元素的内部槽，以及一个 [[InitialName]] 内部槽。 将 func .[[Async]] 设置为 async 。 将 func .[[Prototype]] 设置为 proto 。 将 func .[[Extensible]] 设置为 true 。 将 func .[[Realm]] 设置为 realm 。 将 func .[[InitialName]] 设置为 null 。 执行 SetFunctionLength func , length )。 如果不存在 prefix ，则执行 SetFunctionName func , name )。 否则，执行 SetFunctionName func , name , prefix )。 返回 func 。 本规范中定义的每个内置函数都通过调用 CreateBuiltinFunction 抽象操作
10.4 内置异质对象内部方法和内部槽本规范定义了若干种内置异质对象 普通对象 异质对象 普通对象
10.4.1 绑定函数异质对象绑定函数异质对象 函数对象 异质对象 绑定函数异质对象 [[Call]] 内部方法，并且可能具有 [[Construct]] 内部方法）。调用绑定函数异质对象
如果一个对象的 [[Call]] 以及（如果适用）[[Construct]] 内部方法使用以下实现，并且其其他基本内部方法使用 10.1 绑定函数异质对象 。这些方法在 BoundFunctionCreate
绑定函数异质对象 表 26 函数对象 [[Prototype]] 和 [[Extensible]] 外，它们还具有 表 27
表 27: 绑定函数异质对象
10.4.1.1 [[Call]] ( thisArg , argList )a bound function exotic object func 的内部方法 [[Call]] ，接收参数 thisArg (ECMAScript 语言值 argList (列表 ECMAScript 语言值 正常完成 ECMAScript 语言值
令 target 为 func .[[BoundTargetFunction]] 。 令 boundThis 为 func .[[BoundThis]] 。 令 boundArgs 为 func .[[BoundArguments]] 。 令 args 为 boundArgs 和 argList 的列表连接 返回 ? Call target , boundThis , args )。
10.4.1.2 [[Construct]] ( argList , newTarget )a bound function exotic object func 的内部方法 [[Construct]] ，接收参数 argList (列表 ECMAScript 语言值 newTarget (构造函数 正常完成
令 target 为 func .[[BoundTargetFunction]] 。 断言 IsConstructor target ) 是 true 。令 boundArgs 为 func .[[BoundArguments]] 。 令 args 为 boundArgs 和 argList 的列表连接 如果 SameValue func , newTarget ) 是 true ，则将 newTarget 设置为 target 。 返回 ? Construct target , args , newTarget )。
10.4.1.3 BoundFunctionCreate ( targetFunc , boundThis , boundArgs )抽象操作 targetFunc (函数对象 boundThis (ECMAScript 语言值 boundArgs (列表 ECMAScript 语言值 正常完成 函数对象 绑定函数异质对象
令 proto 为 ? targetFunc .[[GetPrototypeOf]] 令 internalSlotsList 为 « [[Prototype]] , [[Extensible]] » 与 表 27 列表连接 令 obj 为 MakeBasicObject internalSlotsList )。 将 obj .[[Prototype]] 设置为 proto 。 按 10.4.1.1 obj .[[Call]] 如果 IsConstructor targetFunc ) 是 true ，则按 10.4.1.2 obj .[[Construct]] 将 obj .[[BoundTargetFunction]] 设置为 targetFunc 。 将 obj .[[BoundThis]] 设置为 boundThis 。 将 obj .[[BoundArguments]] 设置为 boundArgs 。 返回 obj 。
10.4.2 Array 异质对象Array 是一种对数组索引 属性键 6.1.7 异质对象 属性名称 数组索引 元素 。每个 Array 都有一个不可配置的 "length" 属性，其值始终是数学值 32 的非负整数 Number "length" 属性的值在数值上大于名称为数组索引 数组索引 "length" 属性的值会更改为该数组索引 "length" 属性的值发生变化时，所有名称为数组索引 "length" 或数组索引
如果一个对象的 [[DefineOwnProperty]] 内部方法使用以下实现，并且其其他基本内部方法使用 10.1 Array 异质对象 （或简称 Array）。这些方法在 ArrayCreate
10.4.2.1 [[DefineOwnProperty]] ( propertyKey , propertyDesc )an Array exotic object array 的内部方法 [[DefineOwnProperty]] ，接收参数 propertyKey (属性键 propertyDesc (属性描述符 正常完成
如果 propertyKey 是 "length" ，则返回 ? ArraySetLength array , propertyDesc )。 如果 propertyKey 是数组索引 令 lengthDesc 为 OrdinaryGetOwnProperty array , "length" )。 断言 lengthDesc 不是 undefined 。断言 IsDataDescriptor lengthDesc ) 是 true 。断言 lengthDesc .[[Configurable]] 是 false 。令 length 为 lengthDesc .[[Value]] 。 断言 length 是非负整数 Number 令 index 为 ! ToUint32 propertyKey )。 如果 index ≥ length 且 lengthDesc .[[Writable]] 是 false ，则返回 false 。 令 succeeded 为 ! OrdinaryDefineOwnProperty array , propertyKey , propertyDesc )。 如果 succeeded 是 false ，则返回 false 。 如果 index ≥ length ，则将 lengthDesc .[[Value]] 设置为 index + 1 𝔽 。 将 succeeded 设置为 ! OrdinaryDefineOwnProperty array , "length" , lengthDesc )。 断言 succeeded 是 true 。 返回 true 。 返回 ? OrdinaryDefineOwnProperty array , propertyKey , propertyDesc )。
10.4.2.2 ArrayCreate ( length [ , proto ] )抽象操作 length (非负整数)和可选参数 proto (Object)；返回值：(正常完成
如果 length > 232 - 1，则抛出 RangeError 异常。 如果不存在 proto ，则将 proto 设置为 %Array.prototype% 令 array 为 MakeBasicObject [[Prototype]] , [[Extensible]] »)。 将 array .[[Prototype]] 设置为 proto 。 按 10.4.2.1 array .[[DefineOwnProperty]] 执行 ! OrdinaryDefineOwnProperty array , "length" , PropertyDescriptor { [[Value]] : 𝔽 length ), [[Writable]] : true , [[Enumerable]] : false , [[Configurable]] : false })。 返回 array 。
10.4.2.3 ArraySpeciesCreate ( originalArray , length )抽象操作 originalArray (Object) 和 length (非负整数)；返回值：(正常完成 originalArray 派生的构造函数 构造函数
令 isArray 为 ? IsArray originalArray )。 如果 isArray 是 false ，则返回 ? ArrayCreate length )。 令 ctor 为 ? Get originalArray , "constructor" )。 如果 IsConstructor ctor ) 是 true ，则令 thisRealm 为当前 Realm Record 令 ctorRealm 为 ? GetFunctionRealm ctor )。 如果 thisRealm 和 ctorRealm 不是同一个 Realm Record 如果 SameValue ctor , ctorRealm .[[Intrinsics]] .[[%Array% true ，则将 ctor 设置为 undefined 。 如果 ctor 是 Object，则将 ctor 设置为 ? Get ctor , %Symbol.species% 如果 ctor 是 null ，则将 ctor 设置为 undefined 。 如果 ctor 是 undefined ，则返回 ? ArrayCreate length )。 如果 IsConstructor ctor ) 是 false ，则抛出 TypeError 异常。 返回 ? Construct ctor , « 𝔽 length ) »)。 注
如果 originalArray 是使用并非正在运行的执行上下文 Realm 构造函数 正在运行的执行上下文 Realm Array.prototype 方法历史上就具有这种行为。
10.4.2.4 ArraySetLength ( array , propertyDesc )抽象操作 array (Array) 和 propertyDesc (属性描述符 正常完成
如果 propertyDesc 没有 [[Value]] 字段，则返回 ! OrdinaryDefineOwnProperty array , "length" , propertyDesc )。 令 newLengthDesc 为 propertyDesc 的副本。 令 newLength 为 ? ToUint32 propertyDesc .[[Value]] )。 令 numberLength 为 ? ToNumber propertyDesc .[[Value]] )。 如果 SameValueZero newLength , numberLength ) 是 false ，则抛出 RangeError 异常。 将 newLengthDesc .[[Value]] 设置为 newLength 。 令 oldLengthDesc 为 OrdinaryGetOwnProperty array , "length" )。 断言 oldLengthDesc 不是 undefined 。断言 IsDataDescriptor oldLengthDesc ) 是 true 。断言 oldLengthDesc .[[Configurable]] 是 false 。令 oldLength 为 oldLengthDesc .[[Value]] 。 如果 newLength ≥ oldLength ，则返回 ! OrdinaryDefineOwnProperty array , "length" , newLengthDesc )。 如果 oldLengthDesc .[[Writable]] 是 false ，则返回 false 。 如果 newLengthDesc 没有 [[Writable]] 字段或 newLengthDesc .[[Writable]] 是 true ，则令 newWritable 为 true 。 否则，注 [[Writable]] 特性设置为 false 会被延迟，以防某些元素无法删除。令 newWritable 为 false 。 将 newLengthDesc .[[Writable]] 设置为 true 。 令 succeeded 为 ! OrdinaryDefineOwnProperty array , "length" , newLengthDesc )。 如果 succeeded 是 false ，则返回 false 。 对 array 的每个自有属性键 propertyKey ，其中 propertyKey 是数组索引 ToUint32 propertyKey ) ≥ newLength ，按照数值索引降序执行令 deleteSucceeded 为 ! array .[[Delete]] propertyKey )。 如果 deleteSucceeded 是 false ，则将 newLengthDesc .[[Value]] 设置为 ! ToUint32 propertyKey ) + 1 𝔽 。 如果 newWritable 是 false ，则将 newLengthDesc .[[Writable]] 设置为 false 。 执行 ! OrdinaryDefineOwnProperty array , "length" , newLengthDesc )。 返回 false 。 如果 newWritable 是 false ，则将 succeeded 设置为 ! OrdinaryDefineOwnProperty array , "length" , PropertyDescriptor { [[Writable]] : false })。 断言 succeeded 是 true 。 返回 true 。 注
在步骤 3 4 propertyDesc .[[Value]] 是对象，则其 valueOf 方法会被调用两次。这是自本规范第 2版 起就规定具有此效果的遗留
10.4.3 String 异质对象String 对象是一种封装 String 值并暴露与该 String 值的各个码元元素对应的虚拟整数索引 数据属性 异质对象 String 异质对象 "length" 的数据属性 数据属性 "length" 属性均不可写且不可配置。
如果一个对象的 [[GetOwnProperty]] 、[[DefineOwnProperty]] 和 [[OwnPropertyKeys]] 内部方法使用以下实现，并且其其他基本内部方法使用 10.1 String 异质对象 （或简称 String 对象）。这些方法在 StringCreate
String 异质对象 普通对象 [[StringData]] 内部槽。
10.4.3.1 [[GetOwnProperty]] ( propertyKey )a String exotic object string 的内部方法 [[GetOwnProperty]] ，接收参数 propertyKey (属性键 正常完成 属性描述符 undefined ))。 调用时执行以下步骤：
令 propertyDesc 为 OrdinaryGetOwnProperty string , propertyKey )。 如果 propertyDesc 不是 undefined ，则返回 propertyDesc 。 返回 StringGetOwnProperty string , propertyKey )。
10.4.3.2 [[DefineOwnProperty]] ( propertyKey , propertyDesc )a String exotic object string 的内部方法 [[DefineOwnProperty]] ，接收参数 propertyKey (属性键 propertyDesc (属性描述符 正常完成
令 stringDesc 为 StringGetOwnProperty string , propertyKey )。 如果 stringDesc 不是 undefined ，则令 extensible 为 string .[[Extensible]] 。 返回 IsCompatiblePropertyDescriptor extensible , propertyDesc , stringDesc )。 返回 ! OrdinaryDefineOwnProperty string , propertyKey , propertyDesc )。
10.4.3.3 [[OwnPropertyKeys]] ( )a String exotic object obj 的内部方法 [[OwnPropertyKeys]] ，接收无参数；返回值：正常完成 列表 属性键
令 keys 为新的空 List 令 string 为 obj .[[StringData]] 。 断言 string 是 String。令 length 为 string 的长度。 对满足 0 ≤ i < length 的每个整数 i ，按升序执行将 ! ToString 𝔽 i )) 追加到 keys 。 对 obj 的每个自有属性键 propertyKey ，其中 propertyKey 是数组索引 ToIntegerOrInfinity propertyKey ) ≥ length ，按照数值索引升序执行将 propertyKey 追加到 keys 。 对 obj 的每个自有属性键 propertyKey ，其中 propertyKey 是 String 且 propertyKey 不是数组索引 将 propertyKey 追加到 keys 。 对 obj 的每个自有属性键 propertyKey ，其中 propertyKey 是 Symbol，按照属性创建时间升序执行将 propertyKey 追加到 keys 。 返回 keys 。
10.4.3.4 StringCreate ( value , proto )抽象操作 value (String) 和 proto (Object)；返回值：String 特异对象。 它用于规定创建新的 String 异质对象
令 string 为 MakeBasicObject [[Prototype]] , [[Extensible]] , [[StringData]] »)。 将 string .[[Prototype]] 设置为 proto 。 将 string .[[StringData]] 设置为 value 。 按 10.4.3.1 string .[[GetOwnProperty]] 按 10.4.3.2 string .[[DefineOwnProperty]] 按 10.4.3.3 string .[[OwnPropertyKeys]] 令 length 为 value 的长度。 执行 ! DefinePropertyOrThrow string , "length" , PropertyDescriptor { [[Value]] : 𝔽 length ), [[Writable]] : false , [[Enumerable]] : false , [[Configurable]] : false })。 返回 string 。
10.4.3.5 StringGetOwnProperty ( string , propertyKey )抽象操作 string (String 特异对象) 和 propertyKey (属性键 属性描述符 undefined )。 调用时执行以下步骤：
如果 propertyKey 不是 String，则返回 undefined 。 令 numericIndex 为 CanonicalNumericIndexString propertyKey )。 如果 numericIndex 不是整数 Number undefined 。 如果 numericIndex 是 -0 𝔽 或 numericIndex < -0 𝔽 ，则返回 undefined 。 令 stringData 为 string .[[StringData]] 。 断言 stringData 是 String。令 length 为 stringData 的长度。 如果 ℝ numericIndex ) ≥ length ，则返回 undefined 。 令 resultString 为 stringData 从 ℝ numericIndex ) 到 ℝ numericIndex ) + 1 的子字符串 返回 PropertyDescriptor { [[Value]] : resultString , [[Writable]] : false , [[Enumerable]] : true , [[Configurable]] : false }。
10.4.4 Arguments 异质对象大多数 ECMAScript 函数都会向其代码提供 arguments 对象。根据函数定义的特征，其 arguments 对象可能是普通对象 arguments 异质对象 arguments 异质对象 异质对象 数组索引
如果一个对象的内部方法使用以下实现，而此处未规定的那些内部方法使用 10.1 arguments 异质对象 。这些方法在 CreateMappedArgumentsObject
注 1 Arguments 异质对象 普通对象 [[ParameterMap]] 内部槽。普通 arguments 对象也具有 [[ParameterMap]] 内部槽，其值始终为 undefined 。对于普通 arguments 对象，[[ParameterMap]] 内部槽仅由 Object.prototype.toString（20.1.3.6
注 2
arguments 异质对象 函数对象 整数索引 数据属性 执行上下文 访问器属性 普通对象
注 3
ParameterMap 对象及其属性值被用作规定 arguments 对象与参数绑定之间对应关系的机制。ECMAScript 代码无法直接观察 ParameterMap 对象以及作为其属性值的对象。ECMAScript 实现无需实际创建或使用此类对象即可实现规定的语义。
注 4
普通 arguments 对象定义了一个名为 "callee" 的不可配置访问器属性 TypeError 异常。"callee" 属性对于 arguments 异质对象 arguments 异质对象 非严格函数
注 5
ECMAScript 对 arguments 异质对象 包含 "caller" 的访问器属性 包含 "caller" 属性定义。由于实现不再包含 "caller" 访问器要求。
10.4.4.1 [[GetOwnProperty]] ( propertyKey )an arguments exotic object args 的内部方法 [[GetOwnProperty]] ，接收参数 propertyKey (属性键 正常完成 属性描述符 undefined ))。 调用时执行以下步骤：
令 propertyDesc 为 OrdinaryGetOwnProperty args , propertyKey )。 如果 propertyDesc 是 undefined ，则返回 undefined 。 令 map 为 args .[[ParameterMap]] 。 令 isMapped 为 ! HasOwnProperty map , propertyKey )。 如果 isMapped 是 true ，则将 propertyDesc .[[Value]] 设置为 ! Get map , propertyKey )。 返回 propertyDesc 。
10.4.4.2 [[DefineOwnProperty]] ( propertyKey , propertyDesc )an arguments exotic object args 的内部方法 [[DefineOwnProperty]] ，接收参数 propertyKey (属性键 propertyDesc (属性描述符 正常完成
令 map 为 args .[[ParameterMap]] 。 令 isMapped 为 ! HasOwnProperty map , propertyKey )。 令 newArgDesc 为 propertyDesc 。 如果 isMapped 是 true 且 IsDataDescriptor propertyDesc ) 是 true ，则如果 propertyDesc 没有 [[Value]] 字段、propertyDesc 具有 [[Writable]] 字段并且 propertyDesc .[[Writable]] 是 false ，则将 newArgDesc 设置为 propertyDesc 的副本。 将 newArgDesc .[[Value]] 设置为 ! Get map , propertyKey )。 令 allowed 为 ! OrdinaryDefineOwnProperty args , propertyKey , newArgDesc )。 如果 allowed 是 false ，则返回 false 。 如果 isMapped 是 true ，则如果 IsAccessorDescriptor propertyDesc ) 是 true ，则执行 ! map .[[Delete]] propertyKey )。 否则，如果 propertyDesc 具有 [[Value]] 字段，则断言 执行 ! Set map , propertyKey , propertyDesc .[[Value]] , false )。 如果 propertyDesc 具有 [[Writable]] 字段且 propertyDesc .[[Writable]] 是 false ，则执行 ! map .[[Delete]] propertyKey )。 返回 true 。
10.4.4.3 [[Get]] ( propertyKey , receiver )an arguments exotic object args 的内部方法 [[Get]] ，接收参数 propertyKey (属性键 receiver (ECMAScript 语言值 正常完成 ECMAScript 语言值
令 map 为 args .[[ParameterMap]] 。 令 isMapped 为 ! HasOwnProperty map , propertyKey )。 如果 isMapped 是 false ，则返回 ? OrdinaryGet args , propertyKey , receiver )。 断言 map 包含 propertyKey 的形式参数映射。返回 ! Get map , propertyKey )。
10.4.4.4 [[Set]] ( propertyKey , value , receiver )an arguments exotic object args 的内部方法 [[Set]] ，接收参数 propertyKey (属性键 value (ECMAScript 语言值 receiver (ECMAScript 语言值 正常完成
如果 SameValue args , receiver ) 是 false ，则令 isMapped 为 false 。 否则，令 map 为 args .[[ParameterMap]] 。 令 isMapped 为 ! HasOwnProperty map , propertyKey )。 如果 isMapped 是 true ，则断言 执行 ! Set map , propertyKey , value , false )。 返回 ? OrdinarySet args , propertyKey , value , receiver )。
10.4.4.5 [[Delete]] ( propertyKey )an arguments exotic object args 的内部方法 [[Delete]] ，接收参数 propertyKey (属性键 正常完成
令 map 为 args .[[ParameterMap]] 。 令 isMapped 为 ! HasOwnProperty map , propertyKey )。 令 result 为 ? OrdinaryDelete args , propertyKey )。 如果 result 是 true 且 isMapped 是 true ，则执行 ! map .[[Delete]] propertyKey )。 返回 result 。
10.4.4.6 CreateUnmappedArgumentsObject ( argList )抽象操作 argList (列表 ECMAScript 语言值 普通对象
令 length 为 argList 中的元素数量。 令 obj 为 OrdinaryObjectCreate %Object.prototype% [[ParameterMap]] »)。 将 obj .[[ParameterMap]] 设置为 undefined 。 执行 ! DefinePropertyOrThrow obj , "length" , PropertyDescriptor { [[Value]] : 𝔽 length ), [[Writable]] : true , [[Enumerable]] : false , [[Configurable]] : true })。 令 index 为 0。 当 index < length 时，重复执行，令 value 为 argList [index ]。 执行 ! CreateDataPropertyOrThrow obj , ! ToString 𝔽 index )), value )。 将 index 设置为 index + 1。 执行 ! DefinePropertyOrThrow obj , %Symbol.iterator% [[Value]] : %Array.prototype.values%, [[Writable]] : true , [[Enumerable]] : false , [[Configurable]] : true })。 执行 ! DefinePropertyOrThrow obj , "callee" , PropertyDescriptor { [[Getter]] : %ThrowTypeError% [[Setter]] : %ThrowTypeError% [[Enumerable]] : false , [[Configurable]] : false })。 返回 obj 。
10.4.4.7 CreateMappedArgumentsObject ( func , formals , argList , envRecord )抽象操作 func (ECMAScript 函数对象)、formals (解析节点 argList (列表 ECMAScript 语言值 envRecord (Environment 记录
断言 formals 不包含 包含 令 length 为 argList 中的元素数量。 令 obj 为 MakeBasicObject [[Prototype]] , [[Extensible]] , [[ParameterMap]] »)。 按 10.4.4.1 obj .[[GetOwnProperty]] 按 10.4.4.2 obj .[[DefineOwnProperty]] 按 10.4.4.3 obj .[[Get]] 按 10.4.4.4 obj .[[Set]] 按 10.4.4.5 obj .[[Delete]] 将 obj .[[Prototype]] 设置为 %Object.prototype% 令 map 为 OrdinaryObjectCreate null )。 将 obj .[[ParameterMap]] 设置为 map 。 令 paramNames 为 formals 的 BoundNames 令 paramCount 为 paramNames 中的元素数量。 令 index 为 0。 当 index < length 时，重复执行，令 value 为 argList [index ]。 执行 ! CreateDataPropertyOrThrow obj , ! ToString 𝔽 index )), value )。 将 index 设置为 index + 1。 执行 ! DefinePropertyOrThrow obj , "length" , PropertyDescriptor { [[Value]] : 𝔽 length ), [[Writable]] : true , [[Enumerable]] : false , [[Configurable]] : true })。 令 mappedNames 为新的空 List 将 index 设置为 paramCount - 1。 当 index ≥ 0 时，重复执行，令 name 为 paramNames [index ]。 如果 mappedNames 不包含 name ，则将 name 追加到 mappedNames 。 如果 index < length ，则令 getter 为 MakeArgGetter name , envRecord )。 令 setter 为 MakeArgSetter name , envRecord )。 执行 ! map .[[DefineOwnProperty]] ToString 𝔽 index )), PropertyDescriptor { [[Setter]] : setter , [[Getter]] : getter , [[Enumerable]] : false , [[Configurable]] : true })。 将 index 设置为 index - 1。 执行 ! DefinePropertyOrThrow obj , %Symbol.iterator% [[Value]] : %Array.prototype.values%, [[Writable]] : true , [[Enumerable]] : false , [[Configurable]] : true })。 执行 ! DefinePropertyOrThrow obj , "callee" , PropertyDescriptor { [[Value]] : func , [[Writable]] : true , [[Enumerable]] : false , [[Configurable]] : true })。 返回 obj 。
10.4.4.7.1 MakeArgGetter ( name , envRecord )抽象操作 name (String) 和 envRecord (Environment 记录 函数对象 函数对象 envRecord 中绑定到 name 的值。 调用时执行以下步骤：
令 getterClosure 为一个没有参数的新 Abstract Closure name 和 envRecord ，并在被调用时执行以下步骤：返回 NormalCompletion envRecord .GetBindingValue name , false ))。 令 getter 为 CreateBuiltinFunction getterClosure , 0, "" , « »)。 注 getter 。返回 getter 。
10.4.4.7.2 MakeArgSetter ( name , envRecord )抽象操作 name (String) 和 envRecord (Environment 记录 函数对象 函数对象 envRecord 中绑定到 name 的值。 调用时执行以下步骤：
令 setterClosure 为一个具有参数 (value ) 的新 Abstract Closure name 和 envRecord ，并在被调用时执行以下步骤：返回 NormalCompletion envRecord .SetMutableBinding name , value , false ))。 令 setter 为 CreateBuiltinFunction setterClosure , 1, "" , « »)。 注 setter 。返回 setter 。
10.4.5 TypedArray 异质对象TypedArray 规范数值字符串 属性键 异质对象 整数索引
注
因为对于任意 Number n ，ToString n ) 都是规范数值字符串 TypedArray 属性键
TypedArray 普通对象 [[ViewedArrayBuffer]] 、[[TypedArrayName]] 、[[ContentType]] 、[[ByteLength]] 、[[ByteOffset]] 和 [[ArrayLength]] 内部槽。
如果一个对象的 [[PreventExtensions]] 、[[GetOwnProperty]] 、[[HasProperty]] 、[[DefineOwnProperty]] 、[[Get]] 、[[Set]] 、[[Delete]] 和 [[OwnPropertyKeys]] 内部方法使用本节中的定义，而其其他基本内部方法使用 10.1 TypedArrayCreate
10.4.5.1 [[PreventExtensions]] ( )a TypedArray obj 的内部方法 [[PreventExtensions]] ，接收无参数；返回值：正常完成
注 6.1.7.3 obj 能够获得（或失去后重新获得）属性时，此方法返回 true ；当其底层缓冲区调整大小时，具有整数索引 如果 IsTypedArrayFixedLength obj ) 是 false ，则返回 false 。 返回 OrdinaryPreventExtensions obj )。
10.4.5.2 [[GetOwnProperty]] ( propertyKey )a TypedArray obj 的内部方法 [[GetOwnProperty]] ，接收参数 propertyKey (属性键 正常完成 属性描述符 undefined ))。 调用时执行以下步骤：
如果 propertyKey 是 String，则令 numericIndex 为 CanonicalNumericIndexString propertyKey )。 如果 numericIndex 不是 undefined ，则令 value 为 TypedArrayGetElement obj , numericIndex )。 如果 value 是 undefined ，则返回 undefined 。 返回 PropertyDescriptor { [[Value]] : value , [[Writable]] : true , [[Enumerable]] : true , [[Configurable]] : true }。 返回 OrdinaryGetOwnProperty obj , propertyKey )。 10.4.5.3 [[HasProperty]] ( propertyKey )a TypedArray obj 的内部方法 [[HasProperty]] ，接收参数 propertyKey (属性键 正常完成
如果 propertyKey 是 String，则令 numericIndex 为 CanonicalNumericIndexString propertyKey )。 如果 numericIndex 不是 undefined ，则返回 IsValidIntegerIndex obj , numericIndex )。 返回 ? OrdinaryHasProperty obj , propertyKey )。 10.4.5.4 [[DefineOwnProperty]] ( propertyKey , propertyDesc )a TypedArray obj 的内部方法 [[DefineOwnProperty]] ，接收参数 propertyKey (属性键 propertyDesc (属性描述符 正常完成
如果 propertyKey 是 String，则令 numericIndex 为 CanonicalNumericIndexString propertyKey )。 如果 numericIndex 不是 undefined ，则如果 IsValidIntegerIndex obj , numericIndex ) 是 false ，则返回 false 。 如果 propertyDesc 具有 [[Configurable]] 字段且 propertyDesc .[[Configurable]] 是 false ，则返回 false 。 如果 propertyDesc 具有 [[Enumerable]] 字段且 propertyDesc .[[Enumerable]] 是 false ，则返回 false 。 如果 IsAccessorDescriptor propertyDesc ) 是 true ，则返回 false 。 如果 propertyDesc 具有 [[Writable]] 字段且 propertyDesc .[[Writable]] 是 false ，则返回 false 。 如果 propertyDesc 具有 [[Value]] 字段，则执行 ? TypedArraySetElement obj , numericIndex , propertyDesc .[[Value]] )。 返回 true 。 返回 ! OrdinaryDefineOwnProperty obj , propertyKey , propertyDesc )。 10.4.5.5 [[Get]] ( propertyKey , receiver )a TypedArray obj 的内部方法 [[Get]] ，接收参数 propertyKey (属性键 receiver (ECMAScript 语言值 正常完成 ECMAScript 语言值
如果 propertyKey 是 String，则令 numericIndex 为 CanonicalNumericIndexString propertyKey )。 如果 numericIndex 不是 undefined ，则返回 TypedArrayGetElement obj , numericIndex )。 返回 ? OrdinaryGet obj , propertyKey , receiver )。 10.4.5.6 [[Set]] ( propertyKey , value , receiver )a TypedArray obj 的内部方法 [[Set]] ，接收参数 propertyKey (属性键 value (ECMAScript 语言值 receiver (ECMAScript 语言值 正常完成
如果 propertyKey 是 String，则令 numericIndex 为 CanonicalNumericIndexString propertyKey )。 如果 numericIndex 不是 undefined ，则如果 SameValue obj , receiver ) 是 true ，则执行 ? TypedArraySetElement obj , numericIndex , value )。 返回 true 。 如果 IsValidIntegerIndex obj , numericIndex ) 是 false ，则返回 true 。 返回 ? OrdinarySet obj , propertyKey , value , receiver )。 10.4.5.7 [[Delete]] ( propertyKey )a TypedArray obj 的内部方法 [[Delete]] ，接收参数 propertyKey (属性键 正常完成
如果 propertyKey 是 String，则令 numericIndex 为 CanonicalNumericIndexString propertyKey )。 如果 numericIndex 不是 undefined ，则如果 IsValidIntegerIndex obj , numericIndex ) 是 false ，则返回 true 。 返回 false 。 返回 ! OrdinaryDelete obj , propertyKey )。 10.4.5.8 [[OwnPropertyKeys]] ( )a TypedArray obj 的内部方法 [[OwnPropertyKeys]] ，接收无参数；返回值：正常完成 列表 属性键
令 taRecord 为 MakeTypedArrayWithBufferWitnessRecord obj , seq-cst )。 令 keys 为新的空 List 如果 IsTypedArrayOutOfBounds taRecord ) 是 false ，则令 length 为 TypedArrayLength taRecord )。 对满足 0 ≤ i < length 的每个整数 i ，按升序执行将 ! ToString 𝔽 i )) 追加到 keys 。 对 obj 的每个自有属性键 propertyKey ，其中 propertyKey 是 String 且 propertyKey 不是整数索引 将 propertyKey 追加到 keys 。 对 obj 的每个自有属性键 propertyKey ，其中 propertyKey 是 Symbol，按照属性创建时间升序执行将 propertyKey 追加到 keys 。 返回 keys 。 10.4.5.9 TypedArray With Buffer Witness RecordTypedArray With Buffer Witness Record 是用于封装 TypedArray Record ReadSharedMemory
TypedArray With Buffer Witness Record 具有 表 28
表 28: TypedArray With Buffer Witness Record
字段名称
值
含义
[[Object]]
TypedArray
加载其缓冲区字节长度的 TypedArray
[[CachedBufferByteLength]]
非负整数 detached
创建该 Record [[ViewedArrayBuffer]] 的字节长度。
10.4.5.10 MakeTypedArrayWithBufferWitnessRecord ( obj , order )抽象操作 obj (TypedArray order ((seq-cst 或 unordered ))；返回值：TypedArray With Buffer Witness 记录
令 buffer 为 obj .[[ViewedArrayBuffer]] 。 如果 IsDetachedBuffer buffer ) 是 true ，则令 byteLength 为 detached 。 否则，令 byteLength 为 ArrayBufferByteLength buffer , order )。 返回 TypedArray With Buffer Witness Record [[Object]] : obj , [[CachedBufferByteLength]] : byteLength }。 10.4.5.11 TypedArrayCreate ( proto )抽象操作 proto (Object)；返回值：TypedArray TypedArray
令 internalSlotsList 为 « [[Prototype]] , [[Extensible]] , [[ViewedArrayBuffer]] , [[TypedArrayName]] , [[ContentType]] , [[ByteLength]] , [[ByteOffset]] , [[ArrayLength]] »。 令 ta 为 MakeBasicObject internalSlotsList )。 按 10.4.5.1 ta .[[PreventExtensions]] 按 10.4.5.2 ta .[[GetOwnProperty]] 按 10.4.5.3 ta .[[HasProperty]] 按 10.4.5.4 ta .[[DefineOwnProperty]] 按 10.4.5.5 ta .[[Get]] 按 10.4.5.6 ta .[[Set]] 按 10.4.5.7 ta .[[Delete]] 按 10.4.5.8 ta .[[OwnPropertyKeys]] 将 ta .[[Prototype]] 设置为 proto 。 返回 ta 。 10.4.5.12 TypedArrayByteLength ( taRecord )抽象操作 taRecord (TypedArray With Buffer Witness 记录
断言 IsTypedArrayOutOfBounds taRecord ) 是 false 。令 obj 为 taRecord .[[Object]] 。 如果 obj .[[ByteLength]] 不是 auto ，则返回 obj .[[ByteLength]] 。 令 length 为 TypedArrayLength taRecord )。 令 elementSize 为 TypedArrayElementSize obj )。 注 elementSize 整数 elementSize 的整数 返回 length × elementSize 。 10.4.5.13 TypedArrayLength ( taRecord )抽象操作 taRecord (TypedArray With Buffer Witness 记录
断言 IsTypedArrayOutOfBounds taRecord ) 是 false 。令 obj 为 taRecord .[[Object]] 。 如果 obj .[[ArrayLength]] 不是 auto ，则返回 obj .[[ArrayLength]] 。 断言 IsFixedLengthArrayBuffer obj .[[ViewedArrayBuffer]] ) 是 false 。令 byteOffset 为 obj .[[ByteOffset]] 。 令 elementSize 为 TypedArrayElementSize obj )。 令 byteLength 为 taRecord .[[CachedBufferByteLength]] 。 断言 byteLength 不是 detached 。返回 floor byteLength - byteOffset ) / elementSize )。 10.4.5.14 IsTypedArrayOutOfBounds ( taRecord )抽象操作 taRecord (TypedArray With Buffer Witness 记录
令 obj 为 taRecord .[[Object]] 。 令 bufferByteLength 为 taRecord .[[CachedBufferByteLength]] 。 如果 IsDetachedBuffer obj .[[ViewedArrayBuffer]] ) 是 true ，则断言 bufferByteLength 是 detached 。返回 true 。 断言 bufferByteLength 是非负整数 令 byteOffsetStart 为 obj .[[ByteOffset]] 。 如果 obj .[[ArrayLength]] 是 auto ，则令 byteOffsetEnd 为 bufferByteLength 。 否则，令 elementSize 为 TypedArrayElementSize obj )。 令 arrayByteLength 为 obj .[[ArrayLength]] × elementSize 。 令 byteOffsetEnd 为 byteOffsetStart + arrayByteLength 。 注 [[ByteOffset]] 等于 bufferByteLength 的 0 长度 TypedArray 如果 byteOffsetStart > bufferByteLength 或 byteOffsetEnd > bufferByteLength ，则返回 true 。 返回 false 。
10.4.5.15 IsTypedArrayFixedLength ( obj )抽象操作 obj (TypedArray
如果 obj .[[ArrayLength]] 是 auto ，则返回 false 。 令 buffer 为 obj .[[ViewedArrayBuffer]] 。 如果 IsFixedLengthArrayBuffer buffer ) 是 false 且 IsSharedArrayBuffer buffer ) 是 false ，则返回 false 。 返回 true 。
10.4.5.16 IsValidIntegerIndex ( obj , index )抽象操作 obj (TypedArray index (Number)；返回值：Boolean。 调用时执行以下步骤：
如果 IsDetachedBuffer obj .[[ViewedArrayBuffer]] ) 是 true ，则返回 false 。 如果 index 不是整数 Number false 。 如果 index 是 -0 𝔽 或 index < -0 𝔽 ，则返回 false 。 令 taRecord 为 MakeTypedArrayWithBufferWitnessRecord obj , unordered )。 注 obj 的后备缓冲区是可增长 SharedArrayBuffer 时，边界检查不是同步操作。如果 IsTypedArrayOutOfBounds taRecord ) 是 true ，则返回 false 。 令 length 为 TypedArrayLength taRecord )。 如果 ℝ index ) ≥ length ，则返回 false 。 返回 true 。
10.4.5.17 TypedArrayGetElement ( obj , index )抽象操作 obj (TypedArray index (Number)；返回值：(Number、BigInt 或 undefined )。 调用时执行以下步骤：
如果 IsValidIntegerIndex obj , index ) 是 false ，则返回 undefined 。 令 offset 为 obj .[[ByteOffset]] 。 令 elementSize 为 TypedArrayElementSize obj )。 令 byteIndexInBuffer 为 (ℝ index ) × elementSize ) + offset 。 令 elementType 为 TypedArrayElementType obj )。 返回 GetValueFromBuffer obj .[[ViewedArrayBuffer]] , byteIndexInBuffer , elementType , true , unordered )。 10.4.5.18 TypedArraySetElement ( obj , index , value )抽象操作 obj (TypedArray index (Number) 和 value (ECMAScript 语言值 正常完成 unused ) 或 抛出完成)。 调用时执行以下步骤：
如果 obj .[[ContentType]] 是 bigint ，则令 number 为 ? ToBigInt value )。 否则，令 number 为 ? ToNumber value )。 如果 IsValidIntegerIndex obj , index ) 是 true ，则令 offset 为 obj .[[ByteOffset]] 。 令 elementSize 为 TypedArrayElementSize obj )。 令 byteIndexInBuffer 为 (ℝ index ) × elementSize ) + offset 。 令 elementType 为 TypedArrayElementType obj )。 执行 SetValueInBuffer obj .[[ViewedArrayBuffer]] , byteIndexInBuffer , elementType , number , true , unordered )。 返回 unused 。 注
此操作始终表现为成功，但当尝试写入超过 TypedArray TypedArray
10.4.5.19 IsArrayBufferViewOutOfBounds ( obj )抽象操作 obj ((TypedArray TypedArray 抽象操作
如果 obj 具有 [[DataView]] 内部槽，则令 viewRecord 为 MakeDataViewWithBufferWitnessRecord obj , seq-cst )。 返回 IsViewOutOfBounds viewRecord )。 令 taRecord 为 MakeTypedArrayWithBufferWitnessRecord obj , seq-cst )。 返回 IsTypedArrayOutOfBounds taRecord )。
10.4.6 模块命名空间异质对象模块命名空间异质对象 Module 异质对象 16.2.3 模块命名空间异质对象 Module export * 导出项间接导出的任何绑定。每个 String 值自有属性键 StringValue 模块命名空间异质对象 [[Writable]] : true , [[Enumerable]] : true , [[Configurable]] : false }。模块命名空间异质对象
如果一个对象的 [[GetPrototypeOf]] 、[[SetPrototypeOf]] 、[[IsExtensible]] 、[[PreventExtensions]] 、[[GetOwnProperty]] 、[[DefineOwnProperty]] 、[[HasProperty]] 、[[Get]] 、[[Set]] 、[[Delete]] 和 [[OwnPropertyKeys]] 内部方法使用本节中的定义，而其其他基本内部方法使用 10.1 模块命名空间异质对象 。这些方法由 ModuleNamespaceCreate
模块命名空间异质对象 表 29
表 29: 模块命名空间异质对象
10.4.6.1 [[GetPrototypeOf]] ( )a module namespace exotic object的内部方法 [[GetPrototypeOf]] ，接收无参数；返回值：正常完成 null )。 调用时执行以下步骤：
返回 null 。
10.4.6.2 [[SetPrototypeOf]] ( proto )a module namespace exotic object obj 的内部方法 [[SetPrototypeOf]] ，接收参数 proto ((Object 或 null ))；返回值：正常完成
返回 ! SetImmutablePrototype obj , proto )。
10.4.6.3 [[IsExtensible]] ( )a module namespace exotic object的内部方法 [[IsExtensible]] ，接收无参数；返回值：正常完成 false )。 调用时执行以下步骤：
返回 false 。
10.4.6.4 [[PreventExtensions]] ( )a module namespace exotic object的内部方法 [[PreventExtensions]] ，接收无参数；返回值：正常完成 true )。 调用时执行以下步骤：
返回 true 。
10.4.6.5 [[GetOwnProperty]] ( propertyKey )a module namespace exotic object obj 的内部方法 [[GetOwnProperty]] ，接收参数 propertyKey (属性键 正常完成 属性描述符 undefined )) 或 抛出完成)。 调用时执行以下步骤：
如果 propertyKey 是 Symbol，则返回 OrdinaryGetOwnProperty obj , propertyKey )。 令 exports 为 obj .[[Exports]] 。 如果 exports 不包含 propertyKey ，则返回 undefined 。 令 value 为 ? obj .[[Get]] propertyKey , obj )。 返回 PropertyDescriptor { [[Value]] : value , [[Writable]] : true , [[Enumerable]] : true , [[Configurable]] : false }。
10.4.6.6 [[DefineOwnProperty]] ( propertyKey , propertyDesc )a module namespace exotic object obj 的内部方法 [[DefineOwnProperty]] ，接收参数 propertyKey (属性键 propertyDesc (属性描述符 正常完成
如果 propertyKey 是 Symbol，则返回 ! OrdinaryDefineOwnProperty obj , propertyKey , propertyDesc )。 令 current 为 ? obj .[[GetOwnProperty]] propertyKey )。 如果 current 是 undefined ，则返回 false 。 如果 propertyDesc 具有 [[Configurable]] 字段且 propertyDesc .[[Configurable]] 是 true ，则返回 false 。 如果 propertyDesc 具有 [[Enumerable]] 字段且 propertyDesc .[[Enumerable]] 是 false ，则返回 false 。 如果 IsAccessorDescriptor propertyDesc ) 是 true ，则返回 false 。 如果 propertyDesc 具有 [[Writable]] 字段且 propertyDesc .[[Writable]] 是 false ，则返回 false 。 如果 propertyDesc 具有 [[Value]] 字段，则返回 SameValue propertyDesc .[[Value]] , current .[[Value]] )。 返回 true 。
10.4.6.7 [[HasProperty]] ( propertyKey )a module namespace exotic object obj 的内部方法 [[HasProperty]] ，接收参数 propertyKey (属性键 正常完成
如果 propertyKey 是 Symbol，则返回 ! OrdinaryHasProperty obj , propertyKey )。 令 exports 为 obj .[[Exports]] 。 如果 exports 包含 propertyKey ，则返回 true 。 返回 false 。
10.4.6.8 [[Get]] ( propertyKey , receiver )a module namespace exotic object obj 的内部方法 [[Get]] ，接收参数 propertyKey (属性键 receiver (ECMAScript 语言值 正常完成 ECMAScript 语言值
如果 propertyKey 是 Symbol，则返回 ! OrdinaryGet obj , propertyKey , receiver )。 令 exports 为 obj .[[Exports]] 。 如果 exports 不包含 propertyKey ，则返回 undefined 。 令 module 为 obj .[[Module]] 。 令 binding 为 module .ResolveExport propertyKey )。 断言 binding 是 ResolvedBinding Record 令 targetModule 为 binding .[[Module]] 。 断言 targetModule 不是 undefined 。如果 binding .[[BindingName]] 是 namespace ，则返回 GetModuleNamespace targetModule )。 令 targetEnv 为 targetModule .[[Environment]] 。 如果 targetEnv 是 empty ，则抛出 ReferenceError 异常。 返回 ? targetEnv .GetBindingValue binding .[[BindingName]] , true )。 注
ResolveExport exportName 、resolveSet 参数对调用此操作时，它都必须返回相同结果。实现可以选择预先计算或缓存每个模块命名空间异质对象 [[Exports]] 的 ResolveExport
10.4.6.9 [[Set]] ( propertyKey , value , receiver )a module namespace exotic object的内部方法 [[Set]] ，接收参数 propertyKey (属性键 value (ECMAScript 语言值 receiver (ECMAScript 语言值 正常完成 false )。 调用时执行以下步骤：
返回 false 。
10.4.6.10 [[Delete]] ( propertyKey )a module namespace exotic object obj 的内部方法 [[Delete]] ，接收参数 propertyKey (属性键 正常完成
如果 propertyKey 是 Symbol，则返回 ! OrdinaryDelete obj , propertyKey )。 令 exports 为 obj .[[Exports]] 。 如果 exports 包含 propertyKey ，则返回 false 。 返回 true 。
10.4.6.11 [[OwnPropertyKeys]] ( )a module namespace exotic object obj 的内部方法 [[OwnPropertyKeys]] ，接收无参数；返回值：正常完成 列表 属性键
令 exports 为 obj .[[Exports]] 。 令 symbolKeys 为 OrdinaryOwnPropertyKeys obj )。 返回 exports 和 symbolKeys 的列表连接
10.4.6.12 ModuleNamespaceCreate ( module , exports )抽象操作 module (Module 记录 exports (列表 模块命名空间异质对象
断言 module .[[Namespace]] 是 empty 。令 internalSlotsList 为 表 29 令 namespace 为 MakeBasicObject internalSlotsList )。 将 namespace 的基本内部方法设置为 10.4.6 将 namespace .[[Module]] 设置为 module 。 令 sortedExports 为一个 List exports 的元素，并按照码元字典序 将 namespace .[[Exports]] 设置为 sortedExports 。 创建 namespace 的自有属性，对应 28.3 将 module .[[Namespace]] 设置为 namespace 。 返回 namespace 。
10.4.7 不可变原型异质对象不可变原型异质对象 异质对象 [[Prototype]] 内部槽，一旦初始化后就不会再改变。
如果一个对象的 [[SetPrototypeOf]] 内部方法使用以下实现，则该对象是不可变原型异质对象 。（其其他基本内部方法可以根据具体不可变原型异质对象
注
与其他异质对象 不可变原型异质对象 抽象操作 %Object.prototype% 宿主环境 宿主环境
10.4.7.1 [[SetPrototypeOf]] ( proto )an immutable prototype exotic object obj 的内部方法 [[SetPrototypeOf]] ，接收参数 proto ((Object 或 null ))；返回值：(正常完成
返回 ? SetImmutablePrototype obj , proto )。
10.4.7.2 SetImmutablePrototype ( obj , proto )抽象操作 obj (Object) 和 proto ((Object 或 null ))；返回值：(正常完成
令 current 为 ? obj .[[GetPrototypeOf]] 如果 SameValue proto , current ) 是 true ，则返回 true 。 返回 false 。
10.5 Proxy 对象内部方法和内部槽Proxy 对象是一种异质对象 [[ProxyHandler]] 的内部槽。[[ProxyHandler]] 的值是一个对象（称为代理 处理器对象 ）或 null 。处理器对象的方法（参见 表 30 [[ProxyTarget]] 的内部槽，其值为对象或 null 。该对象称为代理 目标对象 。
如果一个对象的基本内部方法（包括适用时的 [[Call]] 和 [[Construct]] ）使用本节中的定义，则该对象是 Proxy 异质对象 。这些内部方法在 ProxyCreate
表 30: Proxy 处理器方法
内部方法
处理器方法
[[GetPrototypeOf]]
getPrototypeOf
[[SetPrototypeOf]]
setPrototypeOf
[[IsExtensible]]
isExtensible
[[PreventExtensions]]
preventExtensions
[[GetOwnProperty]]
getOwnPropertyDescriptor
[[DefineOwnProperty]]
defineProperty
[[HasProperty]]
has
[[Get]]
get
[[Set]]
set
[[Delete]]
deleteProperty
[[OwnPropertyKeys]]
ownKeys
[[Call]]
apply
[[Construct]]
construct
当调用处理器方法来提供 Proxy 对象内部方法的实现时，会将代理 代理 代理 代理
Proxy 对象的 [[ProxyHandler]] 和 [[ProxyTarget]] 内部槽在对象创建时始终会被初始化，并且通常不可修改。某些 Proxy 对象以允许随后被撤销 的方式创建。当代理 [[ProxyHandler]] 和 [[ProxyTarget]] 内部槽会设置为 null ，从而导致随后对该 Proxy 对象调用内部方法时抛出 TypeError 异常。
由于 Proxy 对象允许由任意 ECMAScript 代码提供内部方法的实现，因此可以定义处理器方法违反 6.1.7.3 6.1.7.3
在以下算法描述中，假定 obj 是 ECMAScript Proxy 对象，propertyKey 是属性键 value 是任意 ECMAScript 语言值 propertyDesc 是 Property Descriptor Record
10.5.1 [[GetPrototypeOf]] ( )a Proxy exotic object obj 的内部方法 [[GetPrototypeOf]] ，接收无参数；返回值：(正常完成 null )) 或 抛出完成)。 调用时执行以下步骤：
执行 ? ValidateNonRevokedProxy obj )。 令 target 为 obj .[[ProxyTarget]] 。 令 handler 为 obj .[[ProxyHandler]] 。 断言 handler 是 Object。令 trap 为 ? GetMethod handler , "getPrototypeOf" )。 如果 trap 是 undefined ，则返回 ? target .[[GetPrototypeOf]] 令 handlerProto 为 ? Call trap , handler , « target »)。 如果 handlerProto 不是 Object 且 handlerProto 不是 null ，则抛出 TypeError 异常。 令 extensibleTarget 为 ? IsExtensible target )。 如果 extensibleTarget 是 true ，则返回 handlerProto 。 令 targetProto 为 ? target .[[GetPrototypeOf]] 如果 SameValue handlerProto , targetProto ) 是 false ，则抛出 TypeError 异常。 返回 handlerProto 。 注
Proxy 对象的 [[GetPrototypeOf]] 强制执行以下不变量：
[[GetPrototypeOf]] 的结果必须是 Object 或 null 。
如果目标对象不可扩展，则应用于 Proxy 对象的 [[GetPrototypeOf]] 必须返回与应用于 Proxy 对象目标对象的 [[GetPrototypeOf]] 相同的值。
10.5.2 [[SetPrototypeOf]] ( proto )a Proxy exotic object obj 的内部方法 [[SetPrototypeOf]] ，接收参数 proto ((Object 或 null ))；返回值：(正常完成
执行 ? ValidateNonRevokedProxy obj )。 令 target 为 obj .[[ProxyTarget]] 。 令 handler 为 obj .[[ProxyHandler]] 。 断言 handler 是 Object。令 trap 为 ? GetMethod handler , "setPrototypeOf" )。 如果 trap 是 undefined ，则返回 ? target .[[SetPrototypeOf]] proto ) 令 boolTrapResult 为 ToBoolean Call trap , handler , « target , proto »))。 如果 boolTrapResult 是 false ，则返回 false 。 令 extensibleTarget 为 ? IsExtensible target )。 如果 extensibleTarget 是 true ，则返回 true 。 令 targetProto 为 ? target .[[GetPrototypeOf]] 如果 SameValue proto , targetProto ) 是 false ，则抛出 TypeError 异常。 返回 true 。 注
Proxy 对象的 [[SetPrototypeOf]] 强制执行以下不变量：
[[SetPrototypeOf]] 的结果是 Boolean 值。
如果目标对象不可扩展，则参数值必须与应用于目标对象的 [[GetPrototypeOf]] 的结果相同。
10.5.3 [[IsExtensible]] ( )a Proxy exotic object obj 的内部方法 [[IsExtensible]] ，接收无参数；返回值：(正常完成
执行 ? ValidateNonRevokedProxy obj )。 令 target 为 obj .[[ProxyTarget]] 。 令 handler 为 obj .[[ProxyHandler]] 。 断言 handler 是 Object。令 trap 为 ? GetMethod handler , "isExtensible" )。 如果 trap 是 undefined ，则返回 ? IsExtensible target )。 令 boolTrapResult 为 ToBoolean Call trap , handler , « target »))。 令 targetResult 为 ? IsExtensible target )。 如果 boolTrapResult 不是 targetResult ，则抛出 TypeError 异常。 返回 boolTrapResult 。 注
Proxy 对象的 [[IsExtensible]] 强制执行以下不变量：
[[IsExtensible]] 的结果是 Boolean 值。
应用于 Proxy 对象的 [[IsExtensible]] 必须返回与使用相同参数应用于 Proxy 对象目标对象的 [[IsExtensible]] 相同的值。
10.5.4 [[PreventExtensions]] ( )a Proxy exotic object obj 的内部方法 [[PreventExtensions]] ，接收无参数；返回值：(正常完成
执行 ? ValidateNonRevokedProxy obj )。 令 target 为 obj .[[ProxyTarget]] 。 令 handler 为 obj .[[ProxyHandler]] 。 断言 handler 是 Object。令 trap 为 ? GetMethod handler , "preventExtensions" )。 如果 trap 是 undefined ，则返回 ? target .[[PreventExtensions]] 令 boolTrapResult 为 ToBoolean Call trap , handler , « target »))。 如果 boolTrapResult 是 true ，则令 extensibleTarget 为 ? IsExtensible target )。 如果 extensibleTarget 是 true ，则抛出 TypeError 异常。 返回 boolTrapResult 。 注
Proxy 对象的 [[PreventExtensions]] 强制执行以下不变量：
[[PreventExtensions]] 的结果是 Boolean 值。
仅当应用于 Proxy 对象目标对象的 [[IsExtensible]] 为 false 时，应用于 Proxy 对象的 [[PreventExtensions]] 才返回 true 。
10.5.5 [[GetOwnProperty]] ( propertyKey )a Proxy exotic object obj 的内部方法 [[GetOwnProperty]] ，接收参数 propertyKey (属性键 正常完成 属性描述符 undefined )) 或 抛出完成)。 调用时执行以下步骤：
执行 ? ValidateNonRevokedProxy obj )。 令 target 为 obj .[[ProxyTarget]] 。 令 handler 为 obj .[[ProxyHandler]] 。 断言 handler 是 Object。令 trap 为 ? GetMethod handler , "getOwnPropertyDescriptor" )。 如果 trap 是 undefined ，则返回 ? target .[[GetOwnProperty]] propertyKey ) 令 trapResultObj 为 ? Call trap , handler , « target , propertyKey »)。 如果 trapResultObj 不是 Object 且 trapResultObj 不是 undefined ，则抛出 TypeError 异常。 令 targetDesc 为 ? target .[[GetOwnProperty]] propertyKey ) 如果 trapResultObj 是 undefined ，则如果 targetDesc 是 undefined ，则返回 undefined 。 如果 targetDesc .[[Configurable]] 是 false ，则抛出 TypeError 异常。 令 extensibleTarget 为 ? IsExtensible target )。 如果 extensibleTarget 是 false ，则抛出 TypeError 异常。 返回 undefined 。 令 extensibleTarget 为 ? IsExtensible target )。 令 resultDesc 为 ? ToPropertyDescriptor trapResultObj )。 执行 CompletePropertyDescriptor resultDesc )。 令 valid 为 IsCompatiblePropertyDescriptor extensibleTarget , resultDesc , targetDesc )。 如果 valid 是 false ，则抛出 TypeError 异常。 如果 resultDesc .[[Configurable]] 是 false ，则如果 targetDesc 是 undefined 或 targetDesc .[[Configurable]] 是 true ，则抛出 TypeError 异常。 如果 resultDesc 具有 [[Writable]] 字段且 resultDesc .[[Writable]] 是 false ，则断言 targetDesc 具有 [[Writable]] 字段。如果 targetDesc .[[Writable]] 是 true ，则抛出 TypeError 异常。 返回 resultDesc 。 注
Proxy 对象的 [[GetOwnProperty]] 强制执行以下不变量：
[[GetOwnProperty]] 的结果必须是 Property Descriptor undefined 。
如果属性作为目标对象的不可配置自有属性存在，则不能报告该属性不存在。
如果属性作为不可扩展目标对象的自有属性存在，则不能报告该属性不存在。
如果属性不作为目标对象的自有属性存在并且目标对象不可扩展，则不能报告该属性存在。
除非属性作为目标对象的不可配置自有属性存在，否则不能报告该属性不可配置。
除非属性作为目标对象的不可配置且不可写自有属性存在，否则不能报告该属性同时不可配置且不可写。
10.5.6 [[DefineOwnProperty]] ( propertyKey , propertyDesc )a Proxy exotic object obj 的内部方法 [[DefineOwnProperty]] ，接收参数 propertyKey (属性键 propertyDesc (属性描述符 正常完成
执行 ? ValidateNonRevokedProxy obj )。 令 target 为 obj .[[ProxyTarget]] 。 令 handler 为 obj .[[ProxyHandler]] 。 断言 handler 是 Object。令 trap 为 ? GetMethod handler , "defineProperty" )。 如果 trap 是 undefined ，则返回 ? target .[[DefineOwnProperty]] propertyKey , propertyDesc ) 令 propertyDescObj 为 FromPropertyDescriptor propertyDesc )。 令 boolTrapResult 为 ToBoolean Call trap , handler , « target , propertyKey , propertyDescObj »))。 如果 boolTrapResult 是 false ，则返回 false 。 令 targetDesc 为 ? target .[[GetOwnProperty]] propertyKey ) 令 extensibleTarget 为 ? IsExtensible target )。 如果 propertyDesc 具有 [[Configurable]] 字段且 propertyDesc .[[Configurable]] 是 false ，则令 settingConfigurableFalse 为 true 。 否则，令 settingConfigurableFalse 为 false 。 如果 targetDesc 是 undefined ，则如果 extensibleTarget 是 false ，则抛出 TypeError 异常。 如果 settingConfigurableFalse 是 true ，则抛出 TypeError 异常。 否则，如果 IsCompatiblePropertyDescriptor extensibleTarget , propertyDesc , targetDesc ) 是 false ，则抛出 TypeError 异常。 如果 settingConfigurableFalse 是 true 且 targetDesc .[[Configurable]] 是 true ，则抛出 TypeError 异常。 如果 IsDataDescriptor targetDesc ) 是 true 、targetDesc .[[Configurable]] 是 false 且 targetDesc .[[Writable]] 是 true ，则如果 propertyDesc 具有 [[Writable]] 字段且 propertyDesc .[[Writable]] 是 false ，则抛出 TypeError 异常。 返回 true 。 注
Proxy 对象的 [[DefineOwnProperty]] 强制执行以下不变量：
[[DefineOwnProperty]] 的结果是 Boolean 值。
如果目标对象不可扩展，则不能添加属性。
除非目标对象存在对应的不可配置自有属性，否则属性不能是不可配置的。
除非目标对象存在对应的不可配置且不可写自有属性，否则不可配置属性不能是不可写的。
如果属性具有对应的目标对象属性，则使用 [[DefineOwnProperty]] 将该属性的 Property Descriptor
10.5.7 [[HasProperty]] ( propertyKey )a Proxy exotic object obj 的内部方法 [[HasProperty]] ，接收参数 propertyKey (属性键 正常完成
执行 ? ValidateNonRevokedProxy obj )。 令 target 为 obj .[[ProxyTarget]] 。 令 handler 为 obj .[[ProxyHandler]] 。 断言 handler 是 Object。令 trap 为 ? GetMethod handler , "has" )。 如果 trap 是 undefined ，则返回 ? target .[[HasProperty]] propertyKey ) 令 boolTrapResult 为 ToBoolean Call trap , handler , « target , propertyKey »))。 如果 boolTrapResult 是 false ，则令 targetDesc 为 ? target .[[GetOwnProperty]] propertyKey ) 如果 targetDesc 不是 undefined ，则如果 targetDesc .[[Configurable]] 是 false ，则抛出 TypeError 异常。 令 extensibleTarget 为 ? IsExtensible target )。 如果 extensibleTarget 是 false ，则抛出 TypeError 异常。 返回 boolTrapResult 。 注
Proxy 对象的 [[HasProperty]] 强制执行以下不变量：
[[HasProperty]] 的结果是 Boolean 值。
如果属性作为目标对象的不可配置自有属性存在，则不能报告该属性不存在。
如果属性作为目标对象的自有属性存在且目标对象不可扩展，则不能报告该属性不存在。
10.5.8 [[Get]] ( propertyKey , receiver )a Proxy exotic object obj 的内部方法 [[Get]] ，接收参数 propertyKey (属性键 receiver (ECMAScript 语言值 正常完成 ECMAScript 语言值
执行 ? ValidateNonRevokedProxy obj )。 令 target 为 obj .[[ProxyTarget]] 。 令 handler 为 obj .[[ProxyHandler]] 。 断言 handler 是 Object。令 trap 为 ? GetMethod handler , "get" )。 如果 trap 是 undefined ，则返回 ? target .[[Get]] propertyKey , receiver ) 令 trapResult 为 ? Call trap , handler , « target , propertyKey , receiver »)。 令 targetDesc 为 ? target .[[GetOwnProperty]] propertyKey ) 如果 targetDesc 不是 undefined 且 targetDesc .[[Configurable]] 是 false ，则如果 IsDataDescriptor targetDesc ) 是 true 且 targetDesc .[[Writable]] 是 false ，则如果 SameValue trapResult , targetDesc .[[Value]] ) 是 false ，则抛出 TypeError 异常。 如果 IsAccessorDescriptor targetDesc ) 是 true 且 targetDesc .[[Getter]] 是 undefined ，则如果 trapResult 不是 undefined ，则抛出 TypeError 异常。 返回 trapResult 。 注
Proxy 对象的 [[Get]] 强制执行以下不变量：
如果对应的目标对象属性是不可写、不可配置的自有数据属性
如果对应的目标对象属性是不可配置的自有访问器属性 [[Getter]] 特性为 undefined ，则为该属性报告的值必须为 undefined 。
10.5.9 [[Set]] ( propertyKey , value , receiver )a Proxy exotic object obj 的内部方法 [[Set]] ，接收参数 propertyKey (属性键 value (ECMAScript 语言值 receiver (ECMAScript 语言值 正常完成
执行 ? ValidateNonRevokedProxy obj )。 令 target 为 obj .[[ProxyTarget]] 。 令 handler 为 obj .[[ProxyHandler]] 。 断言 handler 是 Object。令 trap 为 ? GetMethod handler , "set" )。 如果 trap 是 undefined ，则返回 ? target .[[Set]] propertyKey , value , receiver ) 令 boolTrapResult 为 ToBoolean Call trap , handler , « target , propertyKey , value , receiver »))。 如果 boolTrapResult 是 false ，则返回 false 。 令 targetDesc 为 ? target .[[GetOwnProperty]] propertyKey ) 如果 targetDesc 不是 undefined 且 targetDesc .[[Configurable]] 是 false ，则如果 IsDataDescriptor targetDesc ) 是 true 且 targetDesc .[[Writable]] 是 false ，则如果 SameValue value , targetDesc .[[Value]] ) 是 false ，则抛出 TypeError 异常。 如果 IsAccessorDescriptor targetDesc ) 是 true ，则如果 targetDesc .[[Setter]] 是 undefined ，则抛出 TypeError 异常。 返回 true 。 注
Proxy 对象的 [[Set]] 强制执行以下不变量：
[[Set]] 的结果是 Boolean 值。
如果对应目标对象属性是不可写、不可配置的自有数据属性
如果对应目标对象属性是不可配置的自有访问器属性 [[Setter]] 特性为 undefined ，则不能设置该属性的值。
10.5.10 [[Delete]] ( propertyKey )a Proxy exotic object obj 的内部方法 [[Delete]] ，接收参数 propertyKey (属性键 正常完成
执行 ? ValidateNonRevokedProxy obj )。 令 target 为 obj .[[ProxyTarget]] 。 令 handler 为 obj .[[ProxyHandler]] 。 断言 handler 是 Object。令 trap 为 ? GetMethod handler , "deleteProperty" )。 如果 trap 是 undefined ，则返回 ? target .[[Delete]] propertyKey ) 令 boolTrapResult 为 ToBoolean Call trap , handler , « target , propertyKey »))。 如果 boolTrapResult 是 false ，则返回 false 。 令 targetDesc 为 ? target .[[GetOwnProperty]] propertyKey ) 如果 targetDesc 是 undefined ，则返回 true 。 如果 targetDesc .[[Configurable]] 是 false ，则抛出 TypeError 异常。 令 extensibleTarget 为 ? IsExtensible target )。 如果 extensibleTarget 是 false ，则抛出 TypeError 异常。 返回 true 。 注
Proxy 对象的 [[Delete]] 强制执行以下不变量：
[[Delete]] 的结果是 Boolean 值。
如果属性作为目标对象的不可配置自有属性存在，则不能报告该属性已删除。
如果属性作为目标对象的自有属性存在且目标对象不可扩展，则不能报告该属性已删除。
10.5.11 [[OwnPropertyKeys]] ( )a Proxy exotic object obj 的内部方法 [[OwnPropertyKeys]] ，接收无参数；返回值：(正常完成 列表 属性键
执行 ? ValidateNonRevokedProxy obj )。 令 target 为 obj .[[ProxyTarget]] 。 令 handler 为 obj .[[ProxyHandler]] 。 断言 handler 是 Object。令 trap 为 ? GetMethod handler , "ownKeys" )。 如果 trap 是 undefined ，则返回 ? target .[[OwnPropertyKeys]] 令 trapResultArray 为 ? Call trap , handler , « target »)。 令 trapResult 为 ? CreateListFromArrayLike trapResultArray , property-key )。 如果 trapResult 包含 TypeError 异常。 令 extensibleTarget 为 ? IsExtensible target )。 令 targetKeys 为 ? target .[[OwnPropertyKeys]] 断言 targetKeys 是属性键 List 断言 targetKeys 不包含 令 targetConfigurableKeys 为新的空 List 令 targetNonconfigurableKeys 为新的空 List 对 targetKeys 的每个元素 key ，执行令 propertyDesc 为 ? target .[[GetOwnProperty]] key ) 如果 propertyDesc 不是 undefined 且 propertyDesc .[[Configurable]] 是 false ，则将 key 追加到 targetNonconfigurableKeys 。 否则，将 key 追加到 targetConfigurableKeys 。 如果 extensibleTarget 是 true 且 targetNonconfigurableKeys 为空，则返回 trapResult 。 令 uncheckedResultKeys 为一个 List trapResult 的元素。 对 targetNonconfigurableKeys 的每个元素 key ，执行如果 uncheckedResultKeys 不包含 key ，则抛出 TypeError 异常。 从 uncheckedResultKeys 中移除 key 。 如果 extensibleTarget 是 true ，则返回 trapResult 。 对 targetConfigurableKeys 的每个元素 key ，执行如果 uncheckedResultKeys 不包含 key ，则抛出 TypeError 异常。 从 uncheckedResultKeys 中移除 key 。 如果 uncheckedResultKeys 不为空，则抛出 TypeError 异常。 返回 trapResult 。 注
Proxy 对象的 [[OwnPropertyKeys]] 强制执行以下不变量：
10.5.12 [[Call]] ( thisArg , argList )a Proxy exotic object obj 的内部方法 [[Call]] ，接收参数 thisArg (ECMAScript 语言值 argList (列表 ECMAScript 语言值 正常完成 ECMAScript 语言值
执行 ? ValidateNonRevokedProxy obj )。 令 target 为 obj .[[ProxyTarget]] 。 令 handler 为 obj .[[ProxyHandler]] 。 断言 handler 是 Object。令 trap 为 ? GetMethod handler , "apply" )。 如果 trap 是 undefined ，则返回 ? Call target , thisArg , argList )。 令 argArray 为 CreateArrayFromList argList )。 返回 ? Call trap , handler , « target , thisArg , argArray »)。 注
只有当 Proxy 异质对象 [[ProxyTarget]] 内部槽初始值是具有 [[Call]] 内部方法的对象时，该 Proxy 异质对象 [[Call]] 内部方法。
10.5.13 [[Construct]] ( argList , newTarget )a Proxy exotic object obj 的内部方法 [[Construct]] ，接收参数 argList (列表 ECMAScript 语言值 newTarget (构造函数 正常完成
执行 ? ValidateNonRevokedProxy obj )。 令 target 为 obj .[[ProxyTarget]] 。 断言 IsConstructor target ) 是 true 。令 handler 为 obj .[[ProxyHandler]] 。 断言 handler 是 Object。令 trap 为 ? GetMethod handler , "construct" )。 如果 trap 是 undefined ，则返回 ? Construct target , argList , newTarget )。 令 argArray 为 CreateArrayFromList argList )。 令 newObj 为 ? Call trap , handler , « target , argArray , newTarget »)。 如果 newObj 不是 Object，则抛出 TypeError 异常。 返回 newObj 。 注 1
只有当 Proxy 异质对象 [[ProxyTarget]] 内部槽初始值是具有 [[Construct]] 内部方法的对象时，该 Proxy 异质对象 [[Construct]] 内部方法。
注 2
Proxy 对象的 [[Construct]] 强制执行以下不变量：
[[Construct]] 的结果必须是 Object。
10.5.14 ValidateNonRevokedProxy ( proxy )抽象操作 proxy (Proxy 特异对象)；返回值：(正常完成 unused ) 或 抛出完成)。 如果 proxy 已被撤销，则它会抛出 TypeError 异常。 调用时执行以下步骤：
如果 proxy .[[ProxyTarget]] 是 null ，则抛出 TypeError 异常。 断言 proxy .[[ProxyHandler]] 不是 null 。返回 unused 。
10.5.15 ProxyCreate ( target , handler )抽象操作 target (ECMAScript 语言值 handler (ECMAScript 语言值 正常完成
如果 target 不是 Object，则抛出 TypeError 异常。 如果 handler 不是 Object，则抛出 TypeError 异常。 令 proxy 为 MakeBasicObject [[ProxyHandler]] , [[ProxyTarget]] »)。 将 proxy 的基本内部方法（[[Call]] 和 [[Construct]] 除外）设置为 10.5 如果 IsCallable target ) 是 true ，则按 10.5.12 proxy .[[Call]] 如果 IsConstructor target ) 是 true ，则按 10.5.13 proxy .[[Construct]] 将 proxy .[[ProxyTarget]] 设置为 target 。 将 proxy .[[ProxyHandler]] 设置为 handler 。 返回 proxy 。