10.1 通常オブジェクトの内部メソッドと内部スロットすべての通常オブジェクト [[Prototype]] と呼ばれる内部スロットを持ちます。この内部スロットの値は null またはオブジェクトのいずれかであり、継承の実装に使用されます。propertyKey という名前のプロパティが通常オブジェクト obj には存在しないものの、その [[Prototype]] オブジェクトには存在すると仮定します。propertyKey が [[Prototype]] オブジェクト上のデータプロパティ obj は get アクセスのためにそれを継承し、propertyKey が obj のプロパティであるかのように動作します。propertyKey が [[Prototype]] オブジェクト上の書込み可能なデータプロパティ obj 上で propertyKey に set アクセスすると、obj 上に propertyKey という名前の新しいデータプロパティ propertyKey が [[Prototype]] オブジェクト上の書込み不可のデータプロパティ obj 上での propertyKey への set アクセスは失敗します。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 を、キーが propertyKey である obj 自身のプロパティとする。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 (プロパティ記述子 正常完了 throw 完了
? OrdinaryDefineOwnProperty obj , propertyKey , propertyDesc ) を返す。
10.1.6.1 OrdinaryDefineOwnProperty ( obj , propertyKey , propertyDesc )抽象操作 obj (Object)、propertyKey (プロパティキー propertyDesc (プロパティ記述子 正常完了 throw 完了
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。 指定された extensibility と現在のプロパティ current を持つオブジェクトのプロパティとして propertyDesc を適用しても 不変条件 true を返します。そのような適用が可能で、かつ obj が undefined でない場合、propertyKey という名前のプロパティに対して適用が実行されます（必要であれば作成されます）。 呼び出されると、次の手順を実行する。
表明 propertyKey はプロパティキー current が undefined である場合、extensible が false である場合、false を返す。obj が undefined である場合、true を返す。IsAccessorDescriptor propertyDesc ) が true である場合、オブジェクト obj に propertyKey という名前の自身のアクセサープロパティ [[Getter]] 、[[Setter]] 、[[Enumerable]] 、および [[Configurable]] 属性は、propertyDesc が対応するフィールドを持つ場合はそのフィールドの値に、そうでない場合は属性の 既定値 そうでない場合、オブジェクト obj に propertyKey という名前の自身のデータプロパティ [[Value]] 、[[Writable]] 、[[Enumerable]] 、および [[Configurable]] 属性は、propertyDesc が対応するフィールドを持つ場合はそのフィールドの値に、そうでない場合は属性の 既定値 true を返す。表明 current は完全に設定された Property Descriptor propertyDesc がフィールドを1つも持たない場合、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 に設定され、[[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 に設定され、[[Value]] および [[Writable]] 属性が、propertyDesc が対応するフィールドを持つ場合はそのフィールドの値に、そうでない場合は属性の 既定値 データプロパティ そうでない場合、propertyDesc の各フィールド名 fieldName について、オブジェクト obj の propertyKey という名前のプロパティの fieldName という名前の属性を、propertyDesc の fieldName フィールドの値に設定する。 true を返す。
10.1.7 [[HasProperty]] ( propertyKey )an ordinary object obj の内部メソッド [[HasProperty]] 。引数 propertyKey (プロパティキー 正常完了 throw 完了
? OrdinaryHasProperty obj , propertyKey ) を返す。
10.1.7.1 OrdinaryHasProperty ( obj , propertyKey )抽象操作 obj (Object) および propertyKey (プロパティキー 正常完了 throw 完了
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 言語値 throw 完了
? OrdinaryGet obj , propertyKey , receiver ) を返す。
10.1.8.1 OrdinaryGet ( obj , propertyKey , receiver )抽象操作 obj (Object)、propertyKey (プロパティキー receiver (ECMAScript 言語値 正常完了 ECMAScript 言語値 throw 完了
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 言語値 正常完了 throw 完了
? OrdinarySet obj , propertyKey , value , receiver ) を返す。
10.1.9.1 OrdinarySet ( obj , propertyKey , value , receiver )抽象操作 obj (Object)、propertyKey (プロパティキー value (ECMAScript 言語値 receiver (ECMAScript 言語値 正常完了 throw 完了
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 ))。戻り値：(正常完了 throw 完了
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 (プロパティキー 正常完了 throw 完了
? OrdinaryDelete obj , propertyKey ) を返す。
10.1.10.1 OrdinaryDelete ( obj , propertyKey )抽象操作 obj (Object) および propertyKey (プロパティキー 正常完了 throw 完了
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 を 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 (リスト 正常完了 throw 完了 コンストラクター "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)。戻り値：(正常完了 throw 完了 コンストラクター [[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 ) または throw 完了 obj が Object であり、かつ指定された内部スロットを持つ場合を除き、例外をスローします。 呼び出されると、次の手順を実行する。
obj が Object でない場合、TypeError 例外をスローする。obj が internalSlot 内部スロットを持たない場合、TypeError 例外をスローする。unused を返す。
10.2 ECMAScript 関数オブジェクトECMAScript 関数オブジェクト 関数オブジェクト 通常オブジェクト 通常オブジェクト 関数オブジェクト strict モードコード 11.2.2 非 strict コード strict モードコード 関数オブジェクト strict 関数 と呼びます。コードが strict モードコード 非 strict 関数 と呼びます。
[[Extensible]] および [[Prototype]] に加えて、ECMAScript 関数オブジェクト 表 26
表 26: ECMAScript 関数オブジェクト
内部スロット
型
説明
[[Environment]]
an Environment Record
関数が閉包として取り込んだ Environment Record
[[PrivateEnvironment]]
a PrivateEnvironment Record null
関数が閉包として取り込んだ Private Name PrivateEnvironment Record null です。関数のコードを評価するとき、内側のクラスに対する外側の PrivateEnvironment として使用されます。
[[FormalParameters]]
a Parse Node
関数の仮引数リストを定義するソーステキストのルート Parse Node
[[ECMAScriptCode]]
a Parse Node
関数本体を定義するソーステキストのルート Parse Node
[[ConstructorKind]]
base or derived
関数が派生クラスのコンストラクター
[[Realm]]
a Realm Record
関数が作成された Realm
[[ScriptOrModule]]
a Script Record Module Record
関数が作成されたスクリプトまたはモジュールです。
[[ThisMode]]
lexical , strict , or global
関数の仮引数およびコード本体内で this 参照をどのように解釈するかを定義します。lexical は、this がレキシカルに外側の関数の this 値を参照することを意味します。strict は、関数呼出しによって提供された this 値をそのまま使用することを意味します。global は、undefined または null の this 値をグローバルオブジェクト this 値は最初に ToObject
[[Strict]]
a Boolean
strict 関数 true 、非 strict 関数 false です。
[[HomeObject]]
an Object or undefined
関数が super を使用する場合、これは、その [[GetPrototypeOf]] が super プロパティ検索を開始するオブジェクトを提供するオブジェクトです。
[[SourceText]]
a sequence of Unicode code points
関数を定義するソーステキスト
[[Fields]]
a List ClassFieldDefinition Records
関数がクラスである場合、クラスの非 static フィールドと対応する初期化子を表す Record
[[PrivateMethods]]
a List PrivateElements
関数がクラスである場合、クラスの非 static プライベートメソッドおよびアクセサーを表すリストです。
[[ClassFieldInitializerName]]
a String, a Symbol, a Private Name empty
関数がクラスフィールドの初期化子として作成された場合、フィールドの NamedEvaluation empty です。
[[IsClassConstructor]]
a Boolean
関数がクラスコンストラクター true の場合、関数の [[Call]] を呼び出すと直ちに TypeError 例外がスローされます。）
すべての ECMAScript 関数オブジェクト [[Call]] 内部メソッドを持ちます。コンストラクター [[Construct]] 内部メソッドも持ちます。
10.2.1 [[Call]] ( thisArg , argList )an ECMAScript function object func の内部メソッド [[Call]] 。引数 thisArg (ECMAScript 言語値 argList (リスト ECMAScript 言語値 正常完了 ECMAScript 言語値 throw 完了
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 が実行コンテキストスタック
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 言語値 return 完了 throw 完了
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 言語値 return 完了 throw 完了
引数 func および argList を指定した func .[[ECMAScriptCode]] の ? EvaluateBody
10.2.2 [[Construct]] ( argList , newTarget )an ECMAScript function object func の内部メソッド [[Construct]] 。引数 argList (リスト ECMAScript 言語値 newTarget (コンストラクター 正常完了 throw 完了
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" であるクラス static メソッドを定義しようとする場合だけである。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 ) または throw 完了 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 である場合、注記 strict モードコード eval の呼出しは eval の外側から可視な新しい束縛を作成できないため、引数には単一の Environment Record envRecord を calleeContext の LexicalEnvironment とする。そうでない場合、注記 direct eval Environment Record calleeEnv を calleeContext の LexicalEnvironment とする。envRecord を NewDeclarativeEnvironment calleeEnv ) とする。表明 calleeContext の VariableEnvironment と calleeEnv は同じ Environment Record calleeContext の LexicalEnvironment を envRecord に設定する。 paramNames の各 String paramName について、次を行う。alreadyDeclared を ! envRecord .HasBinding paramName ) とする。注記 早期エラー 非 strict 関数 alreadyDeclared が false である場合、! envRecord .CreateMutableBinding paramName , false ) を実行する。 hasDuplicates が true である場合、! envRecord .InitializeBinding paramName , undefined ) を実行する。 argumentsObjNeeded が true である場合、strict が true または simpleParamList が false である場合、argumentsObj を CreateUnmappedArgumentsObject argList ) とする。そうでない場合、注記 非 strict 関数 argumentsObj を CreateMappedArgumentsObject func , formals , argList , envRecord ) とする。 strict が true である場合、! envRecord .CreateImmutableBinding "arguments" , false ) を実行する。 注記 strict モードコード 早期エラー そうでない場合、! 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 Legacy 互換性意味論 code Contains x が true であるような任意の Block CaseClause DefaultClause x の StatementList FunctionDeclaration funcDecl について、次を行う。funcName を funcDecl の BindingIdentifier StringValue FunctionDeclaration funcDecl を、BindingIdentifier funcName を持つ VariableStatement func に対する早期エラー paramNames が funcName を含まない場合、注記 funcName の var 束縛は、それが VarDeclaredName、仮引数の名前、または別の FunctionDeclaration 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 ) とする。注記 非 strict 関数 Environment Record direct eval 競合 direct eval Environment Record strict 関数 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]] 内部メソッドを持つのは、それが「constructor」と記述されている場合、またはこの仕様内の何らかのアルゴリズムがその [[Construct]] 内部メソッドを明示的に設定する場合に限ります。そのような [[Construct]] 内部メソッドは、10.3.2
実装は、この仕様で定義されていない追加の組込み関数オブジェクト
10.3.1 [[Call]] ( thisArg , argList )a built-in function object func の内部メソッド [[Call]] 。引数 thisArg (ECMAScript 言語値 argList (リスト ECMAScript 言語値 正常完了 ECMAScript 言語値 throw 完了
? 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 (コンストラクター 正常完了 throw 完了
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 言語値 throw 完了
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 を、パラメーターを持たず、func 、thisArg 、argList 、および newTarget を捕捉し、呼び出されたときに次の手順を実行する新しい Abstract Closure 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 が実行コンテキストスタック
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 を、これから作成される組込み関数オブジェクト 10.3 List 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: 束縛関数特殊オブジェクト
内部スロット
型
説明
[[BoundTargetFunction]]
a callable Object
ラップされる関数オブジェクト
[[BoundThis]]
an ECMAScript language value
ラップされた関数を呼び出すときに常に this 値として渡される値です。
[[BoundArguments]]
a List ECMAScript language values
ラップされた関数の任意の呼出しに対する先頭の引数として使用される値を要素とする List
10.4.1.1 [[Call]] ( thisArg , argList )a bound function exotic object func の内部メソッド [[Call]] 。引数 thisArg (ECMAScript 言語値 argList (リスト ECMAScript 言語値 正常完了 ECMAScript 言語値 throw 完了
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 (コンストラクター 正常完了 throw 完了
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 言語値 正常完了 関数オブジェクト throw 完了 束縛関数特殊オブジェクト
proto を ? targetFunc .[[GetPrototypeOf]] internalSlotsList を « [[Prototype]] , [[Extensible]] » と 表 27 リスト連結 obj を MakeBasicObject internalSlotsList ) とする。obj .[[Prototype]] を proto に設定する。obj .[[Call]] 10.4.1.1 IsConstructor targetFunc ) が true である場合、obj .[[Construct]] 10.4.1.2 obj .[[BoundTargetFunction]] を targetFunc に設定する。obj .[[BoundThis]] を boundThis に設定する。obj .[[BoundArguments]] を boundArgs に設定する。obj を返す。
10.4.2 Array 特殊オブジェクトArray は、配列インデックス プロパティキー 6.1.7 特殊オブジェクト プロパティ名 配列インデックス 要素 とも呼ばれます。すべての Array は構成不可の "length" プロパティを持ち、その値は常に数学的値 32 より厳密に小さい非負の整数 "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 (プロパティ記述子 正常完了 throw 完了
propertyKey が "length" である場合、? ArraySetLength array , propertyDesc ) を返す。propertyKey が配列インデックス lengthDesc を OrdinaryGetOwnProperty array , "length" ) とする。表明 lengthDesc は undefined ではない。表明 IsDataDescriptor lengthDesc ) は true である。表明 lengthDesc .[[Configurable]] は false である。length を lengthDesc .[[Value]] とする。表明 length は非負の整数 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)。戻り値：(正常完了 throw 完了
length > 232 - 1 である場合、RangeError 例外をスローする。proto が存在しない場合、proto を %Array.prototype% array を MakeBasicObject [[Prototype]] , [[Extensible]] ») とする。array .[[Prototype]] を proto に設定する。array .[[DefineOwnProperty]] 10.4.2.1 ! OrdinaryDefineOwnProperty array , "length" , PropertyDescriptor { [[Value]] : 𝔽 length ), [[Writable]] : true , [[Enumerable]] : false , [[Configurable]] : false }) を実行する。 array を返す。
10.4.2.3 ArraySpeciesCreate ( originalArray , length )抽象操作 originalArray (Object) および length (非負整数)。戻り値：(正常完了 throw 完了 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 コンストラクター 実行中の実行コンテキスト Realm Array.prototype メソッドについて、歴史的にその動作を持っていた Web ブラウザーとの互換性が維持されます。
10.4.2.4 ArraySetLength ( array , propertyDesc )抽象操作 array (Array) および propertyDesc (プロパティ記述子 正常完了 throw 完了
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回呼び出されます。これは、この仕様の第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 を 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 に設定する。string .[[GetOwnProperty]] 10.4.3.1 string .[[DefineOwnProperty]] 10.4.3.2 string .[[OwnPropertyKeys]] 10.4.3.3 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 が整数 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 オブジェクトと引数束縛との対応関係を規定するための仕組みとして使用されます。ParameterMap オブジェクトおよびそのプロパティ値であるオブジェクトは、ECMAScript コードから直接観測できません。ECMAScript 実装は、規定された意味論を実装するためにそのようなオブジェクトを実際に作成または使用する必要はありません。
注 4
通常の arguments オブジェクトは、"callee" という名前の構成不可のアクセサープロパティ TypeError 例外をスローします。"callee" プロパティは、一部の非 strict 関数 arguments 特殊オブジェクト
注 5
arguments 特殊オブジェクト "caller" という名前のアクセサープロパティ "caller" プロパティの定義が含まれていました。実装がもはやこの拡張を含まなくなったため、ECMAScript 2017 では例外をスローする "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 言語値 throw 完了
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 言語値 正常完了 throw 完了
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 (プロパティキー 正常完了 throw 完了
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 は rest 引数、束縛パターン、または初期化子を含まない。重複する識別子を含む場合がある。length を argList の要素数とする。obj を MakeBasicObject [[Prototype]] , [[Extensible]] , [[ParameterMap]] ») とする。obj .[[GetOwnProperty]] 10.4.4.1 obj .[[DefineOwnProperty]] 10.4.4.2 obj .[[Get]] 10.4.4.3 obj .[[Set]] 10.4.4.4 obj .[[Delete]] 10.4.4.5 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 を、パラメーターを持たず、name および envRecord を捕捉し、呼び出されたときに次の手順を実行する新しい Abstract Closure NormalCompletion envRecord .GetBindingValue name , false )) を返す。getter を CreateBuiltinFunction getterClosure , 0, "" , « ») とする。注記 getter は ECMAScript コードから直接アクセスされることはない。getter を返す。
10.4.4.7.2 MakeArgSetter ( name , envRecord )抽象操作 name (String) および envRecord (Environmentレコード 関数オブジェクト envRecord 内で name に束縛されている値を設定する組込み関数オブジェクト
setterClosure を、パラメーター (value ) を持ち、name および envRecord を捕捉し、呼び出されたときに次の手順を実行する新しい Abstract Closure NormalCompletion envRecord .SetMutableBinding name , value , false )) を返す。setter を CreateBuiltinFunction setterClosure , 1, "" , « ») とする。注記 setter は ECMAScript コードから直接アクセスされることはない。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 (プロパティキー 正常完了 throw 完了
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 (プロパティ記述子 正常完了 throw 完了
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 言語値 throw 完了
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 言語値 正常完了 throw 完了
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 を keys に追加する。obj の自身のプロパティキー propertyKey のうち、propertyKey が Symbol であるものについて、プロパティ作成時刻の昇順で、次を行う。propertyKey を keys に追加する。keys を返す。10.4.5.9 TypedArray With Buffer Witness RecordTypedArray With Buffer Witness Record は、TypedArray Record 拡張可能な SharedArrayBuffer ReadSharedMemory
TypedArray With Buffer Witness Record は、表 28
表 28: TypedArray With Buffer Witness Record
フィールド名
値
意味
[[Object]]
a TypedArray
そのバッファのバイト長が読み込まれた TypedArray
[[CachedBufferByteLength]]
a non-negative integer or 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 ) とする。ta .[[PreventExtensions]] 10.4.5.1 ta .[[GetOwnProperty]] 10.4.5.2 ta .[[HasProperty]] 10.4.5.3 ta .[[DefineOwnProperty]] 10.4.5.4 ta .[[Get]] 10.4.5.5 ta .[[Set]] 10.4.5.6 ta .[[Delete]] 10.4.5.7 ta .[[OwnPropertyKeys]] 10.4.5.8 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 が整数 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 ) または throw 完了
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 Namespace 特殊オブジェクトModule Namespace 特殊オブジェクト Module 特殊オブジェクト 16.2.3 Module Namespace 特殊オブジェクト Module export * エクスポート項目を使用して間接的にエクスポートされる束縛も含まれます。String 値を持つ各自身のプロパティキー StringValue Module Namespace 特殊オブジェクト [[Writable]] : true , [[Enumerable]] : true , [[Configurable]] : false } を持ちます。Module Namespace 特殊オブジェクト
オブジェクトの [[GetPrototypeOf]] 、[[SetPrototypeOf]] 、[[IsExtensible]] 、[[PreventExtensions]] 、[[GetOwnProperty]] 、[[DefineOwnProperty]] 、[[HasProperty]] 、[[Get]] 、[[Set]] 、[[Delete]] 、および [[OwnPropertyKeys]] 内部メソッドがこの節の定義を使用し、その他の必須内部メソッドが 10.1 Module Namespace 特殊オブジェクト です。これらのメソッドは ModuleNamespaceCreate
Module Namespace 特殊オブジェクト 表 29
表 29: Module Namespace 特殊オブジェクト
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 )) または throw 完了
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 (プロパティ記述子 正常完了 throw 完了
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 言語値 throw 完了
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 の組を引数として呼び出されるたびに、同じ結果を返さなければなりません。実装は、各 Module Namespace 特殊オブジェクト [[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 特殊オブジェクト
表明 module .[[Namespace]] は empty である。internalSlotsList を 表 29 namespace を MakeBasicObject internalSlotsList ) とする。namespace の必須内部メソッドを 10.4.6 namespace .[[Module]] を module に設定する。sortedExports を、exports の要素を辞書式コード単位順 List namespace .[[Exports]] を sortedExports に設定する。28.3 namespace 自身のプロパティを作成する。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 ))。戻り値：(正常完了 throw 完了
? SetImmutablePrototype obj , proto ) を返す。
10.4.7.2 SetImmutablePrototype ( obj , proto )抽象操作 obj (Object) および proto ((Object または null ))。戻り値：(正常完了 throw 完了
current を ? obj .[[GetPrototypeOf]] SameValue proto , current ) が true である場合、true を返す。false を返す。
10.5 Proxy オブジェクトの内部メソッドと内部スロットProxy オブジェクトは、その必須内部メソッドの一部が ECMAScript コードを使用して実装される特殊オブジェクト [[ProxyHandler]] と呼ばれる内部スロットを持ちます。[[ProxyHandler]] の値は、Proxy のハンドラーオブジェクト と呼ばれるオブジェクト、または null です。ハンドラーオブジェクトのメソッド（表 30 [[ProxyTarget]] と呼ばれる内部スロットも持ち、その値はオブジェクトまたは null のいずれかです。このオブジェクトを Proxy のターゲットオブジェクト と呼びます。
オブジェクトの必須内部メソッド（該当する場合は [[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 のターゲットオブジェクトがパラメーターとしてハンドラーメソッドに渡されます。Proxy のハンドラーオブジェクトは、必ずしもすべての必須内部メソッドに対応するメソッドを持つとは限りません。ハンドラーオブジェクトが内部トラップに対応するメソッドを持たない場合、Proxy 上で内部メソッドを呼び出すと、Proxy のターゲットオブジェクト上の対応する内部メソッドが呼び出されます。
Proxy オブジェクトの [[ProxyHandler]] および [[ProxyTarget]] 内部スロットは、オブジェクトの作成時に常に初期化され、通常は変更できません。一部の Proxy オブジェクトは、その後取り消す ことができる方法で作成されます。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 )) または throw 完了
? 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 でも 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 ))。戻り値：(正常完了 throw 完了
? 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]] 。引数なし。戻り値：(正常完了 throw 完了
? 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]] 。引数なし。戻り値：(正常完了 throw 完了
? 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 オブジェクトに適用された [[PreventExtensions]] が true を返すのは、Proxy オブジェクトのターゲットオブジェクトに適用された [[IsExtensible]] が false である場合に限ります。
10.5.5 [[GetOwnProperty]] ( propertyKey )a Proxy exotic object obj の内部メソッド [[GetOwnProperty]] 。引数 propertyKey (プロパティキー 正常完了 プロパティ記述子 undefined )) または throw 完了
? 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 でも 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 (プロパティ記述子 正常完了 throw 完了
? 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 値です。
ターゲットオブジェクトが拡張可能でない場合、プロパティを追加することはできません。
対応する構成不可のターゲットオブジェクト自身のプロパティが存在する場合を除き、プロパティを構成不可にすることはできません。
対応する構成不可かつ書込み不可のターゲットオブジェクト自身のプロパティが存在する場合を除き、構成不可のプロパティを書込み不可にすることはできません。
プロパティに対応するターゲットオブジェクトのプロパティが存在する場合、そのプロパティの Property Descriptor [[DefineOwnProperty]] を使用してターゲットオブジェクトに適用しても例外はスローされません。
10.5.7 [[HasProperty]] ( propertyKey )a Proxy exotic object obj の内部メソッド [[HasProperty]] 。引数 propertyKey (プロパティキー 正常完了 throw 完了
? 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 言語値 throw 完了
? 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 言語値 正常完了 throw 完了
? 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 (プロパティキー 正常完了 throw 完了
? 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]] 。引数なし。戻り値：(正常完了 リスト プロパティキー throw 完了
? 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 を、trapResult の要素を要素とする List targetNonconfigurableKeys の各要素 key について、次を行う。uncheckedResultKeys が key を含まない場合、TypeError 例外をスローする。key を uncheckedResultKeys から削除する。extensibleTarget が true である場合、trapResult を返す。targetConfigurableKeys の各要素 key について、次を行う。uncheckedResultKeys が key を含まない場合、TypeError 例外をスローする。key を uncheckedResultKeys から削除する。uncheckedResultKeys が空でない場合、TypeError 例外をスローする。trapResult を返す。注
Proxy オブジェクトの [[OwnPropertyKeys]] は、次の不変条件を強制します。
[[OwnPropertyKeys]] の結果は List
返される List
返される List プロパティキー
結果の List
ターゲットオブジェクトが拡張可能でない場合、結果の List プロパティキー
10.5.12 [[Call]] ( thisArg , argList )a Proxy exotic object obj の内部メソッド [[Call]] 。引数 thisArg (ECMAScript 言語値 argList (リスト ECMAScript 言語値 正常完了 ECMAScript 言語値 throw 完了
? 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 特殊オブジェクト [[Call]] 内部メソッドを持つのは、その [[ProxyTarget]] 内部スロットの初期値が [[Call]] 内部メソッドを持つオブジェクトである場合に限ります。
10.5.13 [[Construct]] ( argList , newTarget )a Proxy exotic object obj の内部メソッド [[Construct]] 。引数 argList (リスト ECMAScript 言語値 newTarget (コンストラクター 正常完了 throw 完了
? 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 特殊オブジェクト [[Construct]] 内部メソッドを持つのは、その [[ProxyTarget]] 内部スロットの初期値が [[Construct]] 内部メソッドを持つオブジェクトである場合に限ります。
注 2
Proxy オブジェクトの [[Construct]] は、次の不変条件を強制します。
[[Construct]] の結果は Object でなければなりません。
10.5.14 ValidateNonRevokedProxy ( proxy )抽象操作 proxy (Proxyエキゾチックオブジェクト)。戻り値：(正常完了 unused ) または throw 完了 proxy が取り消されている場合、TypeError 例外をスローします。 呼び出されると、次の手順を実行する。
proxy .[[ProxyTarget]] が null である場合、TypeError 例外をスローする。表明 proxy .[[ProxyHandler]] は null ではない。unused を返す。
10.5.15 ProxyCreate ( target , handler )抽象操作 target (ECMAScript 言語値 handler (ECMAScript 言語値 正常完了 throw 完了
target が Object でない場合、TypeError 例外をスローする。handler が Object でない場合、TypeError 例外をスローする。proxy を MakeBasicObject [[ProxyHandler]] , [[ProxyTarget]] ») とする。proxy の [[Call]] および [[Construct]] を除く必須内部メソッドを、10.5 IsCallable target ) が true である場合、proxy .[[Call]] 10.5.12 IsConstructor target ) が true である場合、proxy .[[Construct]] 10.5.13 proxy .[[ProxyTarget]] を target に設定する。proxy .[[ProxyHandler]] を handler に設定する。proxy を返す。