10 Ordinary ObjectsおよびExotic Objectsの振る舞い

10.1 Ordinary Object Internal Methods and Internal Slots

すべてのordinary objectsは、[[Prototype]]と呼ばれるinternal slotを持ちます。このinternal slotの値はnullまたはobjectのいずれかであり、inheritanceの実装に使用されます。propertyKeyという名前のpropertyがordinary object objには存在しないが、その[[Prototype]] object上には存在すると仮定します。propertyKeyが[[Prototype]] object上のdata propertyを参照する場合、objはget accessについてそれを継承し、propertyKeyがobjのpropertyであるかのように振る舞います。propertyKeyが[[Prototype]] object上のwritable data propertyを参照する場合、obj上のpropertyKeyのset accessは、obj上にpropertyKeyという名前の新しいdata propertyを作成します。propertyKeyが[[Prototype]] object上のnon-writable data propertyを参照する場合、obj上のpropertyKeyのset accessは失敗します。propertyKeyが[[Prototype]] object上のaccessor propertyを参照する場合、そのaccessorはget accessとset accessの両方についてobjに継承されます。

すべてのordinary objectはBoolean値の[[Extensible]] internal slotを持ち、これは6.1.7.3で指定されるextensibility関連のinternal method invariantsを満たすために使用されます。すなわち、objectの[[Extensible]] internal slotの値がいったんfalseに設定されると、そのobjectにpropertiesを追加すること、そのobjectの[[Prototype]] internal slotの値を変更すること、またはその後[[Extensible]]の値をtrueへ変更することは、もはや不可能になります。

以下のalgorithm descriptionsでは、objはordinary object、propertyKeyはproperty key値、valueは任意のECMAScript言語値、propertyDescはProperty Descriptor recordであると仮定します。

各ordinary object internal methodは、同様の名前を持つabstract operationへ委譲します。そのようなabstract operationが別のinternal methodに依存する場合、その同様の名前を持つabstract operationを直接呼び出すのではなく、internal methodがobj上で呼び出されます。これらのsemanticsは、ordinary object internal methodsがexotic objectsに適用されたとき、exotic objectsのoverridden internal methodsが呼び出されることを保証します。

10.1.1 [[GetPrototypeOf]] ( )

The [[GetPrototypeOf]] internal method of ordinary object obj takes no arguments and returns a normal completion containing either an Object or null. It performs the following steps when called:

  1. OrdinaryGetPrototypeOf(obj)を返す。

10.1.1.1 OrdinaryGetPrototypeOf ( obj )

The abstract operation OrdinaryGetPrototypeOf takes argument obj (an Object) and returns an Object or null. It performs the following steps when called:

  1. obj.[[Prototype]]を返す。

10.1.2 [[SetPrototypeOf]] ( proto )

The [[SetPrototypeOf]] internal method of ordinary object obj takes argument proto (an Object or null) and returns a normal completion containing a Boolean. It performs the following steps when called:

  1. OrdinarySetPrototypeOf(obj, proto)を返す。

10.1.2.1 OrdinarySetPrototypeOf ( obj, proto )

The abstract operation OrdinarySetPrototypeOf takes arguments obj (an Object) and proto (an Object or null) and returns a Boolean. It performs the following steps when called:

  1. currentをobj.[[Prototype]]とする。
  2. SameValue(proto, current)がtrueなら、trueを返す。
  3. extensibleをobj.[[Extensible]]とする。
  4. extensibleがfalseなら、falseを返す。
  5. cursorをprotoとする。
  6. doneをfalseとする。
  7. doneがfalseである間、繰り返す
    1. cursorがnullなら、
      1. doneをtrueに設定する。
    2. そうでなく、SameValue(cursor, obj)がtrueなら、
      1. falseを返す。
    3. そうでなければ、
      1. cursor.[[GetPrototypeOf]]が10.1.1で定義されるordinary object internal methodでないなら、doneをtrueに設定する。
      2. そうでなければ、cursorをcursor.[[Prototype]]に設定する。
  8. obj.[[Prototype]]をprotoに設定する。
  9. trueを返す。
 Note

ステップ7のloopは、[[GetPrototypeOf]]および[[SetPrototypeOf]]についてordinary object definitionsを使用するobjectsのみを含む任意のprototype chainにcyclesが存在しないことを保証します。

10.1.3 [[IsExtensible]] ( )

The [[IsExtensible]] internal method of ordinary object obj takes no arguments and returns a normal completion containing a Boolean. It performs the following steps when called:

  1. OrdinaryIsExtensible(obj)を返す。

10.1.3.1 OrdinaryIsExtensible ( obj )

The abstract operation OrdinaryIsExtensible takes argument obj (an Object) and returns a Boolean. It performs the following steps when called:

  1. obj.[[Extensible]]を返す。

10.1.4 [[PreventExtensions]] ( )

The [[PreventExtensions]] internal method of ordinary object obj takes no arguments and returns a normal completion containing true. It performs the following steps when called:

  1. OrdinaryPreventExtensions(obj)を返す。

10.1.4.1 OrdinaryPreventExtensions ( obj )

The abstract operation OrdinaryPreventExtensions takes argument obj (an Object) and returns true. It performs the following steps when called:

  1. obj.[[Extensible]]をfalseに設定する。
  2. trueを返す。

10.1.5 [[GetOwnProperty]] ( propertyKey )

The [[GetOwnProperty]] internal method of ordinary object obj takes argument propertyKey (a property key) and returns a normal completion containing either a Property Descriptor or undefined. It performs the following steps when called:

  1. OrdinaryGetOwnProperty(obj, propertyKey)を返す。

10.1.5.1 OrdinaryGetOwnProperty ( obj, propertyKey )

The abstract operation OrdinaryGetOwnProperty takes arguments obj (an Object) and propertyKey (a property key) and returns a Property Descriptor or undefined. It performs the following steps when called:

  1. objがkey propertyKeyを持つown propertyを持たないなら、undefinedを返す。
  2. propertyDescを、fieldsを持たない新しく作成されたProperty Descriptorとする。
  3. ownPropertyを、keyがpropertyKeyであるobjのown propertyとする。
  4. ownPropertyがdata propertyなら、
    1. propertyDesc.[[Value]]をownPropertyの[[Value]]属性の値に設定する。
    2. propertyDesc.[[Writable]]をownPropertyの[[Writable]]属性の値に設定する。
  5. そうでなければ、
    1. Assert: ownPropertyはaccessor propertyである。
    2. propertyDesc.[[Get]]をownPropertyの[[Get]]属性の値に設定する。
    3. propertyDesc.[[Set]]をownPropertyの[[Set]]属性の値に設定する。
  6. propertyDesc.[[Enumerable]]をownPropertyの[[Enumerable]]属性の値に設定する。
  7. propertyDesc.[[Configurable]]をownPropertyの[[Configurable]]属性の値に設定する。
  8. propertyDescを返す。

10.1.6 [[DefineOwnProperty]] ( propertyKey, propertyDesc )

The [[DefineOwnProperty]] internal method of ordinary object obj takes arguments propertyKey (a property key) and propertyDesc (a Property Descriptor) and returns either a normal completion containing a Boolean or a throw completion. It performs the following steps when called:

  1. ? OrdinaryDefineOwnProperty(obj, propertyKey, propertyDesc)を返す。

10.1.6.1 OrdinaryDefineOwnProperty ( obj, propertyKey, propertyDesc )

The abstract operation OrdinaryDefineOwnProperty takes arguments obj (an Object), propertyKey (a property key), and propertyDesc (a Property Descriptor) and returns either a normal completion containing a Boolean or a throw completion. It performs the following steps when called:

  1. currentを ? obj.[[GetOwnProperty]](propertyKey) とする。
  2. extensibleを ? IsExtensible(obj) とする。
  3. ValidateAndApplyPropertyDescriptor(obj, propertyKey, extensible, propertyDesc, current)を返す。

10.1.6.2 IsCompatiblePropertyDescriptor ( extensible, propertyDesc, current )

The abstract operation IsCompatiblePropertyDescriptor takes arguments extensible (a Boolean), propertyDesc (a Property Descriptor), and current (a Property Descriptor or undefined) and returns a Boolean. It performs the following steps when called:

  1. ValidateAndApplyPropertyDescriptor(undefined, "", extensible, propertyDesc, current)を返す。

10.1.6.3 ValidateAndApplyPropertyDescriptor ( obj, propertyKey, extensible, propertyDesc, current )

The abstract operation ValidateAndApplyPropertyDescriptor takes arguments obj (an Object or undefined), propertyKey (a property key), extensible (a Boolean), propertyDesc (a Property Descriptor), and current (a Property Descriptor or undefined) and returns a Boolean. これは、invariantsを維持しつつ、指定されたextensibilityおよび現在のproperty currentを持つobjectのpropertyとしてpropertyDescを適用できる場合に限りtrueを返します。そのような適用が可能であり、objがundefinedでない場合、propertyKeyという名前のpropertyについてそれが実行されます（必要であれば作成されます）。 It performs the following steps when called:

  1. Assert: propertyKeyはproperty keyである。
  2. currentがundefinedなら、
    1. extensibleがfalseなら、falseを返す。
    2. objがundefinedなら、trueを返す。
    3. IsAccessorDescriptor(propertyDesc)がtrueなら、
      1. object objのpropertyKeyという名前のown accessor propertyを作成する。その[[Get]]、[[Set]]、[[Enumerable]]、および[[Configurable]]属性は、propertyDescが対応するfieldを持つ場合はpropertyDesc内の対応するfieldの値に、そうでない場合はその属性のdefault valueに設定される。
    4. そうでなければ、
      1. object objのpropertyKeyという名前のown data propertyを作成する。その[[Value]]、[[Writable]]、[[Enumerable]]、および[[Configurable]]属性は、propertyDescが対応するfieldを持つ場合はpropertyDesc内の対応するfieldの値に、そうでない場合はその属性のdefault valueに設定される。
    5. trueを返す。
  3. Assert: currentはfully populated Property Descriptorである。
  4. propertyDescがfieldsをまったく持たないなら、trueを返す。
  5. current.[[Configurable]]がfalseなら、
    1. propertyDescが[[Configurable]] fieldを持ち、propertyDesc.[[Configurable]]がtrueなら、falseを返す。
    2. propertyDescが[[Enumerable]] fieldを持ち、propertyDesc.[[Enumerable]]がcurrent.[[Enumerable]]でないなら、falseを返す。
    3. IsGenericDescriptor(propertyDesc)がfalseであり、かつIsAccessorDescriptor(propertyDesc)がIsAccessorDescriptor(current)でないなら、falseを返す。
    4. IsAccessorDescriptor(current)がtrueなら、
      1. propertyDescが[[Get]] fieldを持ち、SameValue(propertyDesc.[[Get]], current.[[Get]])がfalseなら、falseを返す。
      2. propertyDescが[[Set]] fieldを持ち、SameValue(propertyDesc.[[Set]], current.[[Set]])がfalseなら、falseを返す。
    5. そうでなく、current.[[Writable]]がfalseなら、
      1. propertyDescが[[Writable]] fieldを持ち、propertyDesc.[[Writable]]がtrueなら、falseを返す。
      2. NOTE: SameValueはNaN valuesに対してtrueを返しますが、それらは他の手段によって区別可能な場合があります。ここで返すことにより、objの既存propertyが変更されないことが保証されます。
      3. propertyDescが[[Value]] fieldを持つなら、SameValue(propertyDesc.[[Value]], current.[[Value]])を返す。
  6. objがundefinedでないなら、
    1. IsDataDescriptor(current)がtrueであり、かつIsAccessorDescriptor(propertyDesc)がtrueなら、
      1. propertyDescが[[Configurable]] fieldを持つなら、configurableをpropertyDesc.[[Configurable]]とする；そうでなければ、configurableをcurrent.[[Configurable]]とする。
      2. propertyDescが[[Enumerable]] fieldを持つなら、enumerableをpropertyDesc.[[Enumerable]]とする；そうでなければ、enumerableをcurrent.[[Enumerable]]とする。
      3. object objのpropertyKeyという名前のpropertyをaccessor propertyで置き換える。その[[Configurable]]および[[Enumerable]]属性はそれぞれconfigurableおよびenumerableに設定され、その[[Get]]および[[Set]]属性は、propertyDescが対応するfieldを持つ場合はpropertyDesc内の対応するfieldの値に、そうでない場合はその属性のdefault valueに設定される。
    2. そうでなく、IsAccessorDescriptor(current)がtrueであり、かつIsDataDescriptor(propertyDesc)がtrueなら、
      1. propertyDescが[[Configurable]] fieldを持つなら、configurableをpropertyDesc.[[Configurable]]とする；そうでなければ、configurableをcurrent.[[Configurable]]とする。
      2. propertyDescが[[Enumerable]] fieldを持つなら、enumerableをpropertyDesc.[[Enumerable]]とする；そうでなければ、enumerableをcurrent.[[Enumerable]]とする。
      3. object objのpropertyKeyという名前のpropertyをdata propertyで置き換える。その[[Configurable]]および[[Enumerable]]属性はそれぞれconfigurableおよびenumerableに設定され、その[[Value]]および[[Writable]]属性は、propertyDescが対応するfieldを持つ場合はpropertyDesc内の対応するfieldの値に、そうでない場合はその属性のdefault valueに設定される。
    3. そうでなければ、
      1. propertyDescの各field name fieldNameについて、object objのpropertyKeyという名前のpropertyのfieldNameという名前の属性を、propertyDescのfieldName fieldの値に設定する。
  7. trueを返す。

10.1.7 [[HasProperty]] ( propertyKey )

The [[HasProperty]] internal method of ordinary object obj takes argument propertyKey (a property key) and returns either a normal completion containing a Boolean or a throw completion. It performs the following steps when called:

  1. ? OrdinaryHasProperty(obj, propertyKey)を返す。

10.1.7.1 OrdinaryHasProperty ( obj, propertyKey )

The abstract operation OrdinaryHasProperty takes arguments obj (an Object) and propertyKey (a property key) and returns either a normal completion containing a Boolean or a throw completion. It performs the following steps when called:

  1. hasOwnを ? obj.[[GetOwnProperty]](propertyKey) とする。
  2. hasOwnがundefinedでないなら、trueを返す。
  3. parentを ? obj.[[GetPrototypeOf]]() とする。
  4. parentがnullでないなら、
    1. ? parent.[[HasProperty]](propertyKey)を返す。
  5. falseを返す。

10.1.8 [[Get]] ( propertyKey, receiver )

The [[Get]] internal method of ordinary object obj takes arguments propertyKey (a property key) and receiver (an ECMAScript language value) and returns either a normal completion containing an ECMAScript language value or a throw completion. It performs the following steps when called:

  1. ? OrdinaryGet(obj, propertyKey, receiver)を返す。

10.1.8.1 OrdinaryGet ( obj, propertyKey, receiver )

The abstract operation OrdinaryGet takes arguments obj (an Object), propertyKey (a property key), and receiver (an ECMAScript language value) and returns either a normal completion containing an ECMAScript language value or a throw completion. It performs the following steps when called:

  1. propertyDescを ? obj.[[GetOwnProperty]](propertyKey) とする。
  2. propertyDescがundefinedなら、
    1. parentを ? obj.[[GetPrototypeOf]]() とする。
    2. parentがnullなら、undefinedを返す。
    3. ? parent.[[Get]](propertyKey, receiver)を返す。
  3. IsDataDescriptor(propertyDesc)がtrueなら、propertyDesc.[[Value]]を返す。
  4. Assert: IsAccessorDescriptor(propertyDesc)はtrueである。
  5. getterをpropertyDesc.[[Get]]とする。
  6. getterがundefinedなら、undefinedを返す。
  7. ? Call(getter, receiver)を返す。

10.1.9 [[Set]] ( propertyKey, value, receiver )

The [[Set]] internal method of ordinary object obj takes arguments propertyKey (a property key), value (an ECMAScript language value), and receiver (an ECMAScript language value) and returns either a normal completion containing a Boolean or a throw completion. It performs the following steps when called:

  1. ? OrdinarySet(obj, propertyKey, value, receiver)を返す。

10.1.9.1 OrdinarySet ( obj, propertyKey, value, receiver )

The abstract operation OrdinarySet takes arguments obj (an Object), propertyKey (a property key), value (an ECMAScript language value), and receiver (an ECMAScript language value) and returns either a normal completion containing a Boolean or a throw completion. It performs the following steps when called:

  1. ownDescを ? obj.[[GetOwnProperty]](propertyKey) とする。
  2. ? OrdinarySetWithOwnDescriptor(obj, propertyKey, value, receiver, ownDesc)を返す。

10.1.9.2 OrdinarySetWithOwnDescriptor ( obj, propertyKey, value, receiver, ownDesc )

The abstract operation OrdinarySetWithOwnDescriptor takes arguments obj (an Object), propertyKey (a property key), value (an ECMAScript language value), receiver (an ECMAScript language value), and ownDesc (a Property Descriptor or undefined) and returns either a normal completion containing a Boolean or a throw completion. It performs the following steps when called:

  1. ownDescがundefinedなら、
    1. parentを ? obj.[[GetPrototypeOf]]() とする。
    2. parentがnullでないなら、? parent.[[Set]](propertyKey, value, receiver)を返す。
    3. ownDescをPropertyDescriptor { [[Value]]: undefined, [[Writable]]: true, [[Enumerable]]: true, [[Configurable]]: true }に設定する。
  2. IsDataDescriptor(ownDesc)がtrueなら、
    1. ownDesc.[[Writable]]がfalseなら、falseを返す。
    2. receiverがObjectでないなら、falseを返す。
    3. existingDescを ? receiver.[[GetOwnProperty]](propertyKey) とする。
    4. existingDescがundefinedなら、
      1. Assert: receiverは現在property propertyKeyを持たない。
      2. ? CreateDataProperty(receiver, propertyKey, value)を返す。
    5. IsAccessorDescriptor(existingDesc)がtrueなら、falseを返す。
    6. existingDesc.[[Writable]]がfalseなら、falseを返す。
    7. valueDescをPropertyDescriptor { [[Value]]: value }とする。
    8. ? receiver.[[DefineOwnProperty]](propertyKey, valueDesc)を返す。
  3. Assert: IsAccessorDescriptor(ownDesc)はtrueである。
  4. setterをownDesc.[[Set]]とする。
  5. setterがundefinedなら、falseを返す。
  6. ? Call(setter, receiver, « value »)を実行する。
  7. trueを返す。

10.1.10 [[Delete]] ( propertyKey )

The [[Delete]] internal method of ordinary object obj takes argument propertyKey (a property key) and returns either a normal completion containing a Boolean or a throw completion. It performs the following steps when called:

  1. ? OrdinaryDelete(obj, propertyKey)を返す。

10.1.10.1 OrdinaryDelete ( obj, propertyKey )

The abstract operation OrdinaryDelete takes arguments obj (an Object) and propertyKey (a property key) and returns either a normal completion containing a Boolean or a throw completion. It performs the following steps when called:

  1. propertyDescを ? obj.[[GetOwnProperty]](propertyKey) とする。
  2. propertyDescがundefinedなら、trueを返す。
  3. propertyDesc.[[Configurable]]がtrueなら、
    1. objからpropertyKeyという名前のown propertyを削除する。
    2. trueを返す。
  4. falseを返す。

10.1.11 [[OwnPropertyKeys]] ( )

The [[OwnPropertyKeys]] internal method of ordinary object obj takes no arguments and returns a normal completion containing a List of property keys. It performs the following steps when called:

  1. OrdinaryOwnPropertyKeys(obj)を返す。

10.1.11.1 OrdinaryOwnPropertyKeys ( obj )

The abstract operation OrdinaryOwnPropertyKeys takes argument obj (an Object) and returns a List of property keys. It performs the following steps when called:

  1. keysを新しい空のListとする。
  2. array indexであるようなobjの各own property key propertyKeyについて、ascending numeric index orderで、以下を行う
    1. propertyKeyをkeysへappendする。
  3. Stringであり、array indexでないようなobjの各own property key propertyKeyについて、property creationのascending chronological orderで、以下を行う
    1. propertyKeyをkeysへappendする。
  4. Symbolであるようなobjの各own property key propertyKeyについて、property creationのascending chronological orderで、以下を行う
    1. propertyKeyをkeysへappendする。
  5. keysを返す。

10.1.12 OrdinaryObjectCreate ( proto [ , additionalInternalSlotsList ] )

The abstract operation OrdinaryObjectCreate takes argument proto (an Object or null) and optional argument additionalInternalSlotsList (a List of names of internal slots) and returns an Object. これは、新しいordinary objectsのruntime creationを指定するために使用されます。additionalInternalSlotsListは、[[Prototype]]および[[Extensible]]を超えて、objectの一部として定義されなければならない追加internal slotsの名前を含みます。additionalInternalSlotsListが提供されない場合、新しい空のListが使用されます。 It performs the following steps when called:

  1. internalSlotsListを« [[Prototype]], [[Extensible]] »とする。
  2. additionalInternalSlotsListが存在するなら、internalSlotsListをinternalSlotsListとadditionalInternalSlotsListのlist-concatenationに設定する。
  3. objをMakeBasicObject(internalSlotsList)とする。
  4. obj.[[Prototype]]をprotoに設定する。
  5. objを返す。
 Note

OrdinaryObjectCreateはMakeBasicObjectを呼び出す以上のことはほとんどしませんが、その使用はordinary objectを作成する意図を伝え、exotic objectを作成する意図ではないことを伝えます。したがって、この仕様内では、その結果がnon-ordinaryになるような方法でobjectのinternal methodsを後で変更するalgorithmからは呼び出されません。exotic objectsを作成するoperationsはMakeBasicObjectを直接invokeします。

10.1.13 OrdinaryCreateFromConstructor ( ctor, intrinsicDefaultProto [ , internalSlotsList ] )

The abstract operation OrdinaryCreateFromConstructor takes arguments ctor (a function object) and intrinsicDefaultProto (a String) and optional argument internalSlotsList (a List of names of internal slots) and returns either a normal completion containing an Object or a throw completion. これは、存在する場合にはconstructorの"prototype" propertyから[[Prototype]]値を取得したordinary objectを作成します。そうでない場合、intrinsicDefaultProtoによって名付けられたintrinsicが[[Prototype]]に使用されます。internalSlotsListは、objectの一部として定義されなければならない追加internal slotsの名前を含みます。internalSlotsListが提供されない場合、新しい空のListが使用されます。 It performs the following steps when called:

  1. Assert: intrinsicDefaultProtoはこの仕様におけるintrinsic objectの名前である。対応するobjectは、objectの[[Prototype]]値として使用されることを意図したintrinsicでなければならない。
  2. protoを ? GetPrototypeFromConstructor(ctor, intrinsicDefaultProto) とする。
  3. internalSlotsListが存在するなら、slotsをinternalSlotsListとする。
  4. そうでなければ、slotsを新しい空のListとする。
  5. OrdinaryObjectCreate(proto, slots)を返す。

10.1.14 GetPrototypeFromConstructor ( ctor, intrinsicDefaultProto )

The abstract operation GetPrototypeFromConstructor takes arguments ctor (a function object) and intrinsicDefaultProto (a String) and returns either a normal completion containing an Object or a throw completion. これは、特定のconstructorに対応するobjectを作成するために使用すべき[[Prototype]]値を決定します。その値は、存在する場合にはconstructorの"prototype" propertyから取得されます。そうでない場合、intrinsicDefaultProtoによって名付けられたintrinsicが[[Prototype]]に使用されます。 It performs the following steps when called:

  1. Assert: intrinsicDefaultProtoはこの仕様におけるintrinsic objectの名前である。対応するobjectは、objectの[[Prototype]]値として使用されることを意図したintrinsicでなければならない。
  2. protoを ? Get(ctor, "prototype") とする。
  3. protoがObjectでないなら、
    1. realmを ? GetFunctionRealm(ctor) とする。
    2. protoをintrinsicDefaultProtoという名前のrealmのintrinsic objectに設定する。
  4. protoを返す。
 Note

ctorが[[Prototype]]値を供給しない場合、使用されるdefault valueはrunning execution contextからではなく、ctor functionのrealmから取得されます。

10.1.15 RequireInternalSlot ( obj, internalSlot )

The abstract operation RequireInternalSlot takes arguments obj (an ECMAScript language value) and internalSlot (an internal slot name) and returns either a normal completion containing unused or a throw completion. これは、objがObjectであり、指定されたinternal slotを持つ場合を除き、例外をthrowします。 It performs the following steps when called:

  1. objがObjectでないなら、TypeError例外をthrowする。
  2. objがinternalSlot internal slotを持たないなら、TypeError例外をthrowする。
  3. unusedを返す。

10.2 ECMAScript関数オブジェクト

ECMAScript function objectsは、lexical environmentで閉じ込められたparameterized ECMAScript codeをカプセル化し、そのコードの動的評価をサポートします。ECMAScript function objectはordinary objectであり、他のordinary objectsと同じinternal slotsおよび同じinternal methodsを持ちます。ECMAScript function objectのコードは、strict mode code（11.2.2）またはnon-strict codeのいずれかであり得ます。コードがstrict mode codeであるECMAScript function objectはstrict functionと呼ばれます。コードがstrict mode codeでないものはnon-strict functionと呼ばれます。

[[Extensible]]および[[Prototype]]に加えて、ECMAScript function objectsはTable 26に列挙されるinternal slotsも持ちます。

Table 26: Internal Slots of ECMAScript Function Objects
Internal Slot 型 説明
[[Environment]] Environment Record functionがclosed overされたEnvironment Record。functionのコードを評価するときにouter environmentとして使用されます。
[[PrivateEnvironment]] PrivateEnvironment Recordまたはnull functionがclosed overされたPrivate NamesのためのPrivateEnvironment Record。このfunctionが構文上class内に含まれていない場合はnull。functionのコードを評価するとき、inner classesのouter PrivateEnvironmentとして使用されます。
[[FormalParameters]] Parse Node functionのformal parameter listを定義するsource textのroot parse node。
[[ECMAScriptCode]] Parse Node functionのbodyを定義するsource textのroot parse node。
[[ConstructorKind]] baseまたはderived functionがderived class constructorであるかどうか。
[[Realm]] Realm Record functionが作成されたrealmであり、functionの評価時にアクセスされる任意のintrinsic objectsを提供するもの。
[[ScriptOrModule]] Script RecordまたはModule Record functionが作成されたscriptまたはmodule。
[[ThisMode]] lexical, strict, or global functionのformal parametersおよびcode body内でthis参照がどのように解釈されるかを定義します。lexicalは、thisが字句的に囲むfunctionのthis値を参照することを意味します。strictは、functionの呼び出しによって提供されたthis値がそのまま使用されることを意味します。globalは、undefinedまたはnullのthis値がglobal objectへの参照として解釈され、その他のthis値はまずToObjectに渡されることを意味します。
[[Strict]] Boolean これがstrict functionである場合はtrue、non-strict functionである場合はfalse。
[[HomeObject]] Objectまたはundefined functionがsuperを使用する場合、これは、その[[GetPrototypeOf]]がsuper property lookupsを開始するobjectを提供するobjectです。
[[SourceText]] Unicode code pointsのsequence functionを定義するsource text。
[[Fields]] ClassFieldDefinition RecordsのList functionがclassである場合、これはclassのnon-static fieldsおよび対応するinitializersを表すRecordsのlistです。
[[PrivateMethods]] PrivateElementsのList functionがclassである場合、これはclassのnon-static private methodsおよびaccessorsを表すlistです。
[[ClassFieldInitializerName]] String、Symbol、Private Name、またはempty functionがclass fieldのinitializerとして作成された場合、そのfieldのNamedEvaluationに使用する名前；それ以外の場合はempty。
[[IsClassConstructor]] Boolean functionがclass constructorであるかどうかを示します。（trueの場合、functionの[[Call]]を呼び出すと直ちにTypeError例外がthrowされます。）

すべてのECMAScript function objectsは、ここで定義される[[Call]] internal methodを持ちます。constructorでもあるECMAScript functionsは、さらに[[Construct]] internal methodを持ちます。

10.2.1 [[Call]] ( thisArg, argList )

The [[Call]] internal method of ECMAScript function object func takes arguments thisArg (an ECMAScript language value) and argList (a List of ECMAScript language values) and returns either a normal completion containing an ECMAScript language value or a throw completion. It performs the following steps when called:

  1. callerContextをrunning execution contextとする。
  2. calleeContextをPrepareForOrdinaryCall(func, undefined)とする。
  3. Assert: calleeContextは現在running execution contextである。
  4. func.[[IsClassConstructor]]がtrueなら、
    1. errorを新しく作成されたTypeError objectとする。
    2. NOTE: errorは、funcに関連付けられたRealm Recordを伴うcalleeContext内で作成される。
    3. calleeContextをexecution context stackから削除し、callerContextをrunning execution contextとして復元する。
    4. errorをthrowする。
  5. OrdinaryCallBindThis(func, calleeContext, thisArg)を実行する。
  6. resultをCompletion(OrdinaryCallEvaluateBody(func, argList))とする。
  7. calleeContextをexecution context stackから削除し、callerContextをrunning execution contextとして復元する。
  8. resultがreturn completionなら、result.[[Value]]を返す。
  9. Assert: resultはthrow completionである。
  10. ? resultを返す。
 Note

ステップ7でcalleeContextがexecution context stackから削除されるとき、それがsuspendedであり、accessible Generatorによる後続のresumptionのために保持されている場合、破棄してはなりません。

10.2.1.1 PrepareForOrdinaryCall ( func, newTarget )

The abstract operation PrepareForOrdinaryCall takes arguments func (an ECMAScript function object) and newTarget (an Object or undefined) and returns an execution context. It performs the following steps when called:

  1. callerContextをrunning execution contextとする。
  2. calleeContextを新しいECMAScript code execution contextとする。
  3. calleeContextのFunctionをfuncに設定する。
  4. calleeRealmをfunc.[[Realm]]とする。
  5. calleeContextのRealmをcalleeRealmに設定する。
  6. calleeContextのScriptOrModuleをfunc.[[ScriptOrModule]]に設定する。
  7. localEnvをNewFunctionEnvironment(func, newTarget)とする。
  8. calleeContextのLexicalEnvironmentをlocalEnvに設定する。
  9. calleeContextのVariableEnvironmentをlocalEnvに設定する。
  10. calleeContextのPrivateEnvironmentをfunc.[[PrivateEnvironment]]に設定する。
  11. callerContextがまだsuspendedでないなら、callerContextをsuspendする。
  12. calleeContextをexecution context stackへpushする；calleeContextは現在running execution contextである。
  13. NOTE: この時点以降に生成される任意のexception objectsはcalleeRealmに関連付けられる。
  14. calleeContextを返す。

10.2.1.2 OrdinaryCallBindThis ( func, calleeContext, thisArg )

The abstract operation OrdinaryCallBindThis takes arguments func (an ECMAScript function object), calleeContext (an execution context), and thisArg (an ECMAScript language value) and returns unused. It performs the following steps when called:

  1. thisModeをfunc.[[ThisMode]]とする。
  2. thisModeがlexicalなら、unusedを返す。
  3. calleeRealmをfunc.[[Realm]]とする。
  4. localEnvをcalleeContextのLexicalEnvironmentとする。
  5. thisModeがstrictなら、
    1. thisValueをthisArgとする。
  6. そうでなければ、
    1. thisArgがundefinedまたはnullのいずれかなら、
      1. globalEnvをcalleeRealm.[[GlobalEnv]]とする。
      2. Assert: globalEnvはGlobal Environment Recordである。
      3. thisValueをglobalEnv.[[GlobalThisValue]]とする。
    2. そうでなければ、
      1. thisValueを ! ToObject(thisArg) とする。
      2. NOTE: ToObjectはcalleeRealmを使用してwrapper objectsを生成する。
  7. Assert: localEnvはFunction Environment Recordである。
  8. Assert: 次のstepはabrupt completionを返すことはない。なぜならlocalEnv.[[ThisBindingStatus]]はinitializedでないからである。
  9. ! BindThisValue(localEnv, thisValue)を実行する。
  10. unusedを返す。

10.2.1.3 Runtime Semantics: EvaluateBody

The syntax-directed operation EvaluateBody takes arguments func (an ECMAScript function object) and argList (a List of ECMAScript language values) and returns a return completion or a throw completion. It is defined piecewise over the following productions:

FunctionBody : FunctionStatementList
  1. 引数funcおよびargListを伴うFunctionBodyのEvaluateFunctionBodyを ? で返す。
 ConciseBody : ExpressionBody
  1. 引数funcおよびargListを伴うConciseBodyのEvaluateConciseBodyを ? で返す。
 GeneratorBody : FunctionBody
  1. 引数funcおよびargListを伴うGeneratorBodyのEvaluateGeneratorBodyを ? で返す。
 AsyncGeneratorBody : FunctionBody
  1. 引数funcおよびargListを伴うAsyncGeneratorBodyのEvaluateAsyncGeneratorBodyを ? で返す。
 AsyncFunctionBody : FunctionBody
  1. 引数funcおよびargListを伴うAsyncFunctionBodyのEvaluateAsyncFunctionBodyを ? で返す。
 AsyncConciseBody : ExpressionBody
  1. 引数funcおよびargListを伴うAsyncConciseBodyのEvaluateAsyncConciseBodyを ? で返す。
 Initializer : = AssignmentExpression
  1. Assert: argListは空である。
  2. Assert: func.[[ClassFieldInitializerName]]はemptyでない。
  3. IsAnonymousFunctionDefinition(AssignmentExpression)がtrueなら、
    1. valueを、引数func.[[ClassFieldInitializerName]]を伴うInitializerのNamedEvaluationの ? 結果とする。
  4. そうでなければ、
    1. rhsをAssignmentExpressionのEvaluationの ? 結果とする。
    2. valueを ? GetValue(rhs) とする。
  5. ReturnCompletion(value)を返す。
 Note

field initializersはfunction boundaryを構成しますが、FunctionDeclarationInstantiationの呼び出しには観測可能な効果がないため省略されます。

 ClassStaticBlockBody : ClassStaticBlockStatementList
  1. Assert: argListは空である。
  2. 引数funcを伴うClassStaticBlockBodyのEvaluateClassStaticBlockBodyを ? で返す。

10.2.1.4 OrdinaryCallEvaluateBody ( func, argList )

The abstract operation OrdinaryCallEvaluateBody takes arguments func (an ECMAScript function object) and argList (a List of ECMAScript language values) and returns a return completion or a throw completion. It performs the following steps when called:

  1. 引数funcおよびargListを伴うfunc.[[ECMAScriptCode]]のEvaluateBodyを ? で返す。

10.2.2 [[Construct]] ( argList, newTarget )

The [[Construct]] internal method of ECMAScript function object func takes arguments argList (a List of ECMAScript language values) and newTarget (a constructor) and returns either a normal completion containing an Object or a throw completion. It performs the following steps when called:

  1. callerContextをrunning execution contextとする。
  2. kindをfunc.[[ConstructorKind]]とする。
  3. kindがbaseなら、
    1. thisArgを ? OrdinaryCreateFromConstructor(newTarget, "%Object.prototype%") とする。
  4. calleeContextをPrepareForOrdinaryCall(func, newTarget)とする。
  5. Assert: calleeContextは現在running execution contextである。
  6. kindがbaseなら、
    1. OrdinaryCallBindThis(func, calleeContext, thisArg)を実行する。
    2. initializeResultをCompletion(InitializeInstanceElements(thisArg, func))とする。
    3. initializeResultがabrupt completionなら、
      1. calleeContextをexecution context stackから削除し、callerContextをrunning execution contextとして復元する。
      2. ? initializeResultを返す。
  7. ctorEnvをcalleeContextのLexicalEnvironmentとする。
  8. resultをCompletion(OrdinaryCallEvaluateBody(func, argList))とする。
  9. calleeContextをexecution context stackから削除し、callerContextをrunning execution contextとして復元する。
  10. resultがthrow completionなら、
    1. ? resultを返す。
  11. Assert: resultはreturn completionである。
  12. result.[[Value]]がObjectなら、result.[[Value]]を返す。
  13. kindがbaseなら、thisArgを返す。
  14. result.[[Value]]がundefinedでないなら、TypeError例外をthrowする。
  15. thisBindingを ? ctorEnv.GetThisBinding() とする。
  16. Assert: thisBindingはObjectである。
  17. thisBindingを返す。

10.2.3 OrdinaryFunctionCreate ( proto, sourceText, paramList, body, thisMode, envRecord, privateEnv )

The abstract operation OrdinaryFunctionCreate takes arguments proto (an Object), sourceText (a sequence of Unicode code points), paramList (a Parse Node), body (a Parse Node), thisMode (lexical-this or non-lexical-this), envRecord (an Environment Record), and privateEnv (a PrivateEnvironment Record or null) and returns an ECMAScript function object. これは、デフォルトの[[Call]] internal methodを持ち、[[Construct]] internal methodを持たない新しいfunctionのruntime creationを指定するために使用されます（ただし、後でMakeConstructorなどのoperationによって追加される場合があります）。sourceTextは、作成されるfunctionのsyntactic definitionのsource textです。 It performs the following steps when called:

  1. internalSlotsListをTable 26に列挙されるinternal slotsとする。
  2. funcをOrdinaryObjectCreate(proto, internalSlotsList)とする。
  3. func.[[Call]]を10.2.1で指定される定義に設定する。
  4. func.[[SourceText]]をsourceTextに設定する。
  5. func.[[FormalParameters]]をparamListに設定する。
  6. func.[[ECMAScriptCode]]をbodyに設定する。
  7. strictをIsStrict(body)とする。
  8. func.[[Strict]]をstrictに設定する。
  9. thisModeがlexical-thisなら、func.[[ThisMode]]をlexicalに設定する。
  10. そうでなく、strictがtrueなら、func.[[ThisMode]]をstrictに設定する。
  11. そうでなければ、func.[[ThisMode]]をglobalに設定する。
  12. func.[[IsClassConstructor]]をfalseに設定する。
  13. func.[[Environment]]をenvRecordに設定する。
  14. func.[[PrivateEnvironment]]をprivateEnvに設定する。
  15. func.[[ScriptOrModule]]をGetActiveScriptOrModule()に設定する。
  16. func.[[Realm]]をcurrent Realm Recordに設定する。
  17. func.[[HomeObject]]をundefinedに設定する。
  18. func.[[Fields]]を新しい空のListに設定する。
  19. func.[[PrivateMethods]]を新しい空のListに設定する。
  20. func.[[ClassFieldInitializerName]]をemptyに設定する。
  21. lengthをparamListのExpectedArgumentCountとする。
  22. SetFunctionLength(func, length)を実行する。
  23. funcを返す。

10.2.4 AddRestrictedFunctionProperties ( func, realm )

The abstract operation AddRestrictedFunctionProperties takes arguments func (a function object) and realm (a Realm Record) and returns unused. It performs the following steps when called:

  1. Assert: realm.[[Intrinsics]].[[%ThrowTypeError%]]は存在し、初期化済みである。
  2. throwerをrealm.[[Intrinsics]].[[%ThrowTypeError%]]とする。
  3. ! DefinePropertyOrThrow(func, "caller", PropertyDescriptor { [[Get]]: thrower, [[Set]]: thrower, [[Enumerable]]: false, [[Configurable]]: true })を実行する。
  4. ! DefinePropertyOrThrow(func, "arguments", PropertyDescriptor { [[Get]]: thrower, [[Set]]: thrower, [[Enumerable]]: false, [[Configurable]]: true })を実行する。
  5. unusedを返す。

10.2.4.1 %ThrowTypeError% ( )

このfunctionは%ThrowTypeError% intrinsic objectです。

これは、realmごとに1回定義されるanonymous built-in function objectです。

呼び出されたとき、次のstepsを実行します：

  1. TypeError例外をthrowする。

このfunctionの[[Extensible]] internal slotの値はfalseです。

このfunctionの"length" propertyは、attributes { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }を持ちます。

このfunctionの"name" propertyは、attributes { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }を持ちます。

10.2.5 MakeConstructor ( func [ , writableProto [ , proto ] ] )

The abstract operation MakeConstructor takes argument func (an ECMAScript function object or a built-in function object) and optional arguments writableProto (a Boolean) and proto (an Object) and returns unused. これはfuncをconstructorへ変換します。 It performs the following steps when called:

  1. funcがECMAScript function objectなら、
    1. Assert: IsConstructor(func)はfalseである。
    2. Assert: funcはextensible objectであり、"prototype" own propertyを持たない。
    3. func.[[Construct]]を10.2.2で指定される定義に設定する。
  2. そうでなければ、
    1. func.[[Construct]]を10.3.2で指定される定義に設定する。
  3. func.[[ConstructorKind]]をbaseに設定する。
  4. writableProtoが存在しないなら、writableProtoをtrueに設定する。
  5. protoが存在しないなら、
    1. protoをOrdinaryObjectCreate(%Object.prototype%)に設定する。
    2. ! DefinePropertyOrThrow(proto, "constructor", PropertyDescriptor { [[Value]]: func, [[Writable]]: writableProto, [[Enumerable]]: false, [[Configurable]]: true })を実行する。
  6. ! DefinePropertyOrThrow(func, "prototype", PropertyDescriptor { [[Value]]: proto, [[Writable]]: writableProto, [[Enumerable]]: false, [[Configurable]]: false })を実行する。
  7. unusedを返す。

10.2.6 MakeClassConstructor ( func )

The abstract operation MakeClassConstructor takes argument func (an ECMAScript function object) and returns unused. It performs the following steps when called:

  1. Assert: func.[[IsClassConstructor]]はfalseである。
  2. func.[[IsClassConstructor]]をtrueに設定する。
  3. unusedを返す。

10.2.7 MakeMethod ( func, homeObj )

The abstract operation MakeMethod takes arguments func (an ECMAScript function object) and homeObj (an Object) and returns unused. これはfuncをmethodとしてconfigureします。 It performs the following steps when called:

  1. Assert: homeObjはordinary objectである。
  2. func.[[HomeObject]]をhomeObjに設定する。
  3. unusedを返す。

10.2.8 DefineMethodProperty ( homeObj, name, closure, enumerable )

The abstract operation DefineMethodProperty takes arguments homeObj (an Object), name (a property key or Private Name), closure (a function object), and enumerable (a Boolean) and returns either a normal completion containing either a PrivateElement or unused, or an abrupt completion. It performs the following steps when called:

  1. Assert: homeObjはordinaryかつextensible objectである。
  2. nameがPrivate Nameなら、PrivateElement { [[Key]]: name, [[Kind]]: method, [[Value]]: closure }を返す。
  3. propertyDescをPropertyDescriptor { [[Value]]: closure, [[Writable]]: true, [[Enumerable]]: enumerable, [[Configurable]]: true }とする。
  4. ? DefinePropertyOrThrow(homeObj, name, propertyDesc)を実行する。
  5. NOTE: DefinePropertyOrThrowがabrupt completionを返すのは、nameが"prototype"であるclass static methodを定義しようとする場合だけである。
  6. unusedを返す。

10.2.9 SetFunctionName ( func, name [ , prefix ] )

The abstract operation SetFunctionName takes arguments func (a function object) and name (a property key or Private Name) and optional argument prefix (a String) and returns unused. これはfuncに"name" propertyを追加します。 It performs the following steps when called:

  1. Assert: funcはextensible objectであり、"name" own propertyを持たない。
  2. nameがSymbolなら、
    1. descriptionをname.[[Description]]とする。
    2. descriptionがundefinedなら、nameを空のStringに設定する。
    3. そうでなければ、nameを"["、description、および"]"のstring-concatenationに設定する。
  3. そうでなく、nameがPrivate Nameなら、
    1. nameをname.[[Description]]に設定する。
  4. funcが[[InitialName]] internal slotを持つなら、
    1. func.[[InitialName]]をnameに設定する。
  5. prefixが存在するなら、
    1. prefixedNameを、prefix、code unit 0x0020 (SPACE)、およびnameのstring-concatenationとする。
    2. funcが[[InitialName]] internal slotを持つなら、
      1. NOTE: 次のstepの選択は、このAbstract Operationが呼び出されるたびに独立して行われる。
      2. func.[[InitialName]]をnameまたはprefixedNameのいずれかのimplementation-defined choiceに設定する。
    3. nameをprefixedNameに設定する。
  6. ! DefinePropertyOrThrow(func, "name", PropertyDescriptor { [[Value]]: name, [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true })を実行する。
  7. unusedを返す。

10.2.10 SetFunctionLength ( func, length )

The abstract operation SetFunctionLength takes arguments func (a function object) and length (a non-negative integer or +∞) and returns unused. これはfuncに"length" propertyを追加します。 It performs the following steps when called:

  1. Assert: funcはextensible objectであり、"length" own propertyを持たない。
  2. ! DefinePropertyOrThrow(func, "length", PropertyDescriptor { [[Value]]: 𝔽(length), [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true })を実行する。
  3. unusedを返す。

10.2.11 FunctionDeclarationInstantiation ( func, argList )

The abstract operation FunctionDeclarationInstantiation takes arguments func (an ECMAScript function object) and argList (a List of ECMAScript language values) and returns either a normal completion containing unused or a throw completion. funcは、execution contextが確立されている対象のfunction objectです。

Note

ECMAScript functionを評価するためにexecution contextが確立されると、新しいFunction Environment Recordが作成され、そのEnvironment Record内に各formal parameterのbindingsがinstantiateされます。function body内の各declarationもinstantiateされます。functionのformal parametersがdefault value initializersを含まない場合、body declarationsはparametersと同じEnvironment Record内でinstantiateされます。default value parameter initializersが存在する場合、body declarationsのために2番目のEnvironment Recordが作成されます。Formal parametersおよびfunctionsはFunctionDeclarationInstantiationの一部として初期化されます。他のすべてのbindingsはfunction bodyの評価中に初期化されます。

呼び出されたとき、次のstepsを実行します：

  1. 実行中の実行コンテキストをcalleeContextとする。
  2. func.[[ECMAScriptCode]]をcodeとする。
  3. func.[[Strict]]をstrictとする。
  4. func.[[FormalParameters]]をformalsとする。
  5. formalsのBoundNamesをparamNamesとする。
  6. paramNamesに重複するエントリがある場合、hasDuplicatesをtrueとする。そうでなければ、hasDuplicatesをfalseとする。
  7. formalsのIsSimpleParameterListをsimpleParamListとする。
  8. formalsのContainsExpressionをhasParamExprsとする。
  9. codeのVarDeclaredNamesをvariableNamesとする。
  10. codeのVarScopedDeclarationsをvariableDeclsとする。
  11. codeのLexicallyDeclaredNamesをlexicalNamesとする。
  12. funcNamesを新しい空のListとする。
  13. funcsToInitializeを新しい空のListとする。
  14. variableDeclsの各要素variableDeclについて、Listの逆順で、次を行う。
    1. variableDeclがVariableDeclaration、ForBinding、BindingIdentifierのいずれでもない場合、
      1. Assert: variableDeclは、FunctionDeclaration、GeneratorDeclaration、AsyncFunctionDeclaration、またはAsyncGeneratorDeclarationのいずれかである。
      2. variableDeclのBoundNamesの唯一の要素をfuncNameとする。
      3. funcNamesがfuncNameを含まない場合、
        1. funcNameをfuncNamesの最初の要素として挿入する。
        2. NOTE: 同じ名前に対して複数の関数宣言がある場合、最後の宣言が使用される。
        3. variableDeclをfuncsToInitializeの最初の要素として挿入する。
  15. argumentsObjNeededをtrueとする。
  16. func.[[ThisMode]]がlexicalである場合、
    1. NOTE: アロー関数はargumentsオブジェクトを持たない。
    2. argumentsObjNeededをfalseに設定する。
  17. そうでなく、paramNamesが"arguments"を含む場合、
    1. argumentsObjNeededをfalseに設定する。
  18. そうでなく、hasParamExprsがfalseである場合、
    1. funcNamesが"arguments"を含む、またはlexicalNamesが"arguments"を含む場合、
      1. argumentsObjNeededをfalseに設定する。
  19. strictがtrueである、またはhasParamExprsがfalseである場合、
    1. NOTE: パラメータには単一のEnvironment Recordだけが必要である。これは、strict modeコード内のevalへの呼び出しが、evalの外側で可視となる新しい束縛を作成できないためである。
    2. calleeContextのLexicalEnvironmentをenvRecordとする。
  20. そうでなければ、
    1. NOTE: 仮引数リスト内のdirect eval呼び出しによって作成された束縛が、パラメータが宣言される環境の外側にあることを保証するため、別個のEnvironment Recordが必要である。
    2. calleeContextのLexicalEnvironmentをcalleeEnvとする。
    3. NewDeclarativeEnvironment(calleeEnv)をenvRecordとする。
    4. Assert: calleeContextのVariableEnvironmentとcalleeEnvは同じEnvironment Recordである。
    5. calleeContextのLexicalEnvironmentをenvRecordに設定する。
  21. paramNamesの各String paramNameについて、次を行う。
    1. ! envRecord.HasBinding(paramName)をalreadyDeclaredとする。
    2. NOTE: Early errorにより、重複するパラメータ名は、パラメータ既定値またはrestパラメータを持たない非strict関数でのみ発生できることが保証される。
    3. alreadyDeclaredがfalseである場合、
      1. ! envRecord.CreateMutableBinding(paramName, false)を実行する。
      2. hasDuplicatesがtrueである場合、
        1. ! envRecord.InitializeBinding(paramName, undefined)を実行する。
  22. argumentsObjNeededがtrueである場合、
    1. strictがtrueである、またはsimpleParamListがfalseである場合、
      1. CreateUnmappedArgumentsObject(argList)をargumentsObjとする。
    2. そうでなければ、
      1. NOTE: マップされたargumentsオブジェクトは、restパラメータ、パラメータ既定値初期化子、または分割代入パラメータを持たない非strict関数に対してのみ提供される。
      2. CreateMappedArgumentsObject(func, formals, argList, envRecord)をargumentsObjとする。
    3. strictがtrueである場合、
      1. ! envRecord.CreateImmutableBinding("arguments", false)を実行する。
      2. NOTE: strict modeコードでは、この束縛に代入しようとすることがEarly errorによって防止されるため、その可変性は観測できない。
    4. そうでなければ、
      1. ! envRecord.CreateMutableBinding("arguments", false)を実行する。
    5. ! envRecord.InitializeBinding("arguments", argumentsObj)を実行する。
    6. paramNamesと« "arguments" »のlist-concatenationをparamBindingsとする。
  23. そうでなければ、
    1. paramNamesをparamBindingsとする。
  24. CreateListIteratorRecord(argList)をiteratorRecordとする。
  25. hasDuplicatesがtrueである場合、
    1. usedEnvをundefinedとする。
  26. そうでなければ、
    1. envRecordをusedEnvとする。
  27. NOTE: 次のステップはReturnCompletionを返すことができない。これは、式位置でそのようなcompletionが発生する唯一の方法はYieldExpressionの使用によるものであり、これは15.5.1および15.6.1のEarly Error規則により、パラメータリストでは禁止されているためである。
  28. iteratorRecordおよびusedEnvを引数として、formalsのIteratorBindingInitializationを実行する。
  29. hasParamExprsがfalseである場合、
    1. NOTE: パラメータとトップレベルのvarには単一のEnvironment Recordだけが必要である。
    2. List paramBindingsのコピーをinstantiatedVariableNamesとする。
    3. variableNamesの各要素nameについて、次を行う。
      1. instantiatedVariableNamesがnameを含まない場合、
        1. nameをinstantiatedVariableNamesに追加する。
        2. ! envRecord.CreateMutableBinding(name, false)を実行する。
        3. ! envRecord.InitializeBinding(name, undefined)を実行する。
    4. envRecordをvariableEnvとする。
  30. そうでなければ、
    1. NOTE: 仮引数リスト内の式によって作成されたクロージャが、関数本体内の宣言を可視にしないことを保証するため、別個のEnvironment Recordが必要である。
    2. NewDeclarativeEnvironment(envRecord)をvariableEnvとする。
    3. calleeContextのVariableEnvironmentをvariableEnvに設定する。
    4. instantiatedVariableNamesを新しい空のListとする。
    5. variableNamesの各要素nameについて、次を行う。
      1. instantiatedVariableNamesがnameを含まない場合、
        1. nameをinstantiatedVariableNamesに追加する。
        2. ! variableEnv.CreateMutableBinding(name, false)を実行する。
        3. paramBindingsがnameを含まない、またはfuncNamesがnameを含む場合、
          1. initialValueをundefinedとする。
        4. そうでなければ、
          1. ! envRecord.GetBindingValue(name, false)をinitialValueとする。
        5. ! variableEnv.InitializeBinding(name, initialValue)を実行する。
        6. NOTE: 仮引数と同じ名前を持つvarは、最初は対応する初期化済みパラメータと同じ値を持つ。
  31. strictがtrueである場合、
    1. variableEnvをlexicalEnvとする。
  32. そうでなければ、
    1. Normative Optional
      ホストがWebブラウザである、またはその他の形でBlock-Level Function Declarations Web Legacy Compatibility Semanticsをサポートする場合、
      1. code Contains xがtrueであるような任意のBlock、CaseClause、またはDefaultClause xのStatementListに直接含まれる各FunctionDeclaration funcDeclについて、次を行う。
        1. funcDeclのBindingIdentifierのStringValueをfuncNameとする。
        2. FunctionDeclaration funcDeclを、funcNameをBindingIdentifierとして持つVariableStatementに置き換えても、funcに対してEarly Errorsが発生せず、かつparamNamesがfuncNameを含まない場合、
          1. NOTE: funcNameに対するvar束縛は、それがVarDeclaredName、仮引数の名前、または別のFunctionDeclarationのいずれでもない場合にのみ、ここでインスタンス化される。
          2. instantiatedVariableNamesがfuncNameを含まず、かつfuncNameが"arguments"でない場合、
            1. ! variableEnv.CreateMutableBinding(funcName, false)を実行する。
            2. ! variableEnv.InitializeBinding(funcName, undefined)を実行する。
            3. funcNameをinstantiatedVariableNamesに追加する。
          3. FunctionDeclaration funcDeclが評価されるとき、15.2.6で提供されるFunctionDeclaration Evaluationアルゴリズムの代わりに、次のステップを実行する。
            1. 実行中の実行コンテキストのVariableEnvironmentをfuncEnvとする。
            2. 実行中の実行コンテキストのLexicalEnvironmentをblockEnvとする。
            3. ! blockEnv.GetBindingValue(funcName, false)をfuncObjとする。
            4. ! funcEnv.SetMutableBinding(funcName, funcObj, false)を実行する。
            5. unusedを返す。
    2. NewDeclarativeEnvironment(variableEnv)をlexicalEnvとする。
    3. NOTE: 非strict関数は、トップレベルのlexical宣言に別個のEnvironment Recordを使用する。これにより、direct evalは、evalコードによって導入されたvar scoped宣言が、既存のトップレベルのlexically scoped宣言と競合するかどうかを判断できる。strict関数では、strict direct evalが常にすべての宣言を新しいEnvironment Recordに配置するため、これは不要である。
  33. calleeContextのLexicalEnvironmentをlexicalEnvに設定する。
  34. codeのLexicallyScopedDeclarationsをlexicalDeclsとする。
  35. lexicalDeclsの各要素lexicalDeclについて、次を行う。
    1. NOTE: lexically declared nameは、関数/ジェネレータ宣言、仮引数、またはvar名と同じにすることはできない。Lexically declared nameはここでインスタンス化されるだけで、初期化はされない。
    2. lexicalDeclのBoundNamesの各要素nameについて、次を行う。
      1. lexicalDeclのIsConstantDeclarationがtrueである場合、
        1. ! lexicalEnv.CreateImmutableBinding(name, true)を実行する。
      2. そうでなければ、
        1. ! lexicalEnv.CreateMutableBinding(name, false)を実行する。
  36. calleeContextのPrivateEnvironmentをprivateEnvとする。
  37. funcsToInitializeの各Parse Node funcDeclについて、次を行う。
    1. funcDeclのBoundNamesの唯一の要素をfuncNameとする。
    2. lexicalEnvおよびprivateEnvを引数として、funcDeclのInstantiateFunctionObjectをfuncObjとする。
    3. ! variableEnv.SetMutableBinding(funcName, funcObj, false)を実行する。
  38. unusedを返す。

10.3 Built-in Function Objects

built-in function objectはordinary objectです；10.1に定められたordinary objectsの要件を満たさなければなりません。

すべてのordinary objectに要求されるinternal slots（10.1を参照）に加えて、built-in function objectは次のinternal slotsも持たなければなりません：

  • [[Realm]]。functionが作成されたrealmを表すRealm Record。
  • [[InitialName]]。functionの初期名であるString。20.2.3.5によって使用されます。
  • [[Async]]。そのfunctionがBuiltinCallOrConstructにおいてasync function callおよびconstruct behaviourを持つかどうかを示すBoolean。

built-in function objectの[[Prototype]] internal slotの初期値は、別途指定されない限り%Function.prototype%です。

built-in function objectは、10.3.1の定義に適合する[[Call]] internal methodを持たなければなりません。

built-in function objectは、それが“constructor”として記述されている場合、またはこの仕様内の何らかのalgorithmが明示的にその[[Construct]] internal methodを設定する場合に限り、[[Construct]] internal methodを持ちます。そのような[[Construct]] internal methodは、10.3.2の定義に適合しなければなりません。

実装は、この仕様で定義されていない追加のbuilt-in function objectsを提供してよいです。

10.3.1 [[Call]] ( thisArg, argList )

The [[Call]] internal method of built-in function object func takes arguments thisArg (an ECMAScript language value) and argList (a List of ECMAScript language values) and returns either a normal completion containing an ECMAScript language value or a throw completion. It performs the following steps when called:

  1. ? BuiltinCallOrConstruct(func, thisArg, argList, undefined)を返す。

10.3.2 [[Construct]] ( argList, newTarget )

The [[Construct]] internal method of built-in function object func（methodが存在する場合） takes arguments argList (a List of ECMAScript language values) and newTarget (a constructor) and returns either a normal completion containing an Object or a throw completion. It performs the following steps when called:

  1. resultを ? BuiltinCallOrConstruct(func, uninitialized, argList, newTarget) とする。
  2. Assert: resultはObjectである。
  3. resultを返す。

10.3.3 BuiltinCallOrConstruct ( func, thisArg, argList, newTarget )

The abstract operation BuiltinCallOrConstruct takes arguments func (a built-in function object), thisArg (an ECMAScript language value or uninitialized), argList (a List of ECMAScript language values), and newTarget (a constructor or undefined) and returns either a normal completion containing an ECMAScript language value or a throw completion. It performs the following steps when called:

  1. callerContextをrunning execution contextとする。
  2. callerContextがまだsuspendedでないなら、callerContextをsuspendする。
  3. calleeContextを新しいexecution contextとする。
  4. calleeContextのFunctionをfuncに設定する。
  5. calleeRealmをfunc.[[Realm]]とする。
  6. calleeContextのRealmをcalleeRealmに設定する。
  7. calleeContextのScriptOrModuleをnullに設定する。
  8. calleeContextの任意の必要なimplementation-defined initializationを実行する。
  9. calleeContextをexecution context stackへpushする；calleeContextは現在running execution contextである。
  10. func.[[Async]]がtrueなら、
    1. promiseCapabilityを ! NewPromiseCapability(%Promise%) とする。
    2. resultsClosureを、func、thisArg、argList、およびnewTargetをcaptureし、呼び出されたときに次のstepsを実行する、parametersを持たない新しいAbstract Closureとする：
      1. resultを、funcの仕様に適合する方法でfuncを評価した結果であるCompletion Recordとする。thisArgがuninitializedである場合、this値はuninitializedである；そうでなければthisArgがthis値を提供する。argListはnamed parametersを提供する。newTargetはNewTarget値を提供する。
      2. NOTE: funcがこの文書内で定義されている場合、“funcの仕様”とは、algorithm stepsまたはその他の手段によってそれに対して指定されたbehaviourである。
      3. Completion(result)を返す。
    3. AsyncFunctionStart(promiseCapability, resultsClosure)を実行する。
    4. calleeContextをexecution context stackから削除し、callerContextをrunning execution contextとして復元する。
    5. promiseCapability.[[Promise]]を返す。
  11. resultを、funcの仕様に適合する方法でfuncを評価した結果であるCompletion Recordとする。thisArgがuninitializedである場合、this値はuninitializedである；そうでなければthisArgがthis値を提供する。argListはnamed parametersを提供する。newTargetはNewTarget値を提供する。
  12. NOTE: funcがこの文書内で定義されている場合、“funcの仕様”とは、algorithm stepsまたはその他の手段によってそれに対して指定されたbehaviourである。
  13. calleeContextをexecution context stackから削除し、callerContextをrunning execution contextとして復元する。
  14. ? resultを返す。
 Note

calleeContextがexecution context stackから削除されるとき、それがsuspendedされ、accessible Generatorによる後続のresumptionのために保持されている場合、破棄してはなりません。

10.3.4 CreateBuiltinFunction ( behaviour, length, name, additionalInternalSlotsList [ , realm [ , proto [ , prefix [ , async ] ] ] ] )

The abstract operation CreateBuiltinFunction takes arguments behaviour (an Abstract Closure, a set of algorithm steps, or some other definition of a function's behaviour provided in this specification), length (a non-negative integer or +∞), name (a property key or a Private Name), and additionalInternalSlotsList (a List of names of internal slots) and optional arguments realm (a Realm Record), proto (an Object or null), prefix (a String), and async (a Boolean) and returns a built-in function object. additionalInternalSlotsListは、objectの一部として定義されなければならない追加internal slotsの名前を含みます。このoperationはbuilt-in function objectを作成します。 It performs the following steps when called:

  1. realmが存在しないなら、realmをcurrent Realm Recordに設定する。
  2. protoが存在しないなら、protoをrealm.[[Intrinsics]].[[%Function.prototype%]]に設定する。
  3. asyncが存在しないなら、asyncをfalseに設定する。
  4. internalSlotsListを、10.3がこれから作成されるbuilt-in function objectに要求するすべてのinternal slotsの名前を含むListとする。
  5. additionalInternalSlotsListの要素をinternalSlotsListへappendする。
  6. funcを、呼び出されたときに、提供されたargumentsをbehaviourによって指定される対応parametersの値として使用して、behaviourによって記述されるactionを実行する新しいbuilt-in function objectとする。新しいfunction objectは、internalSlotsListの要素を名前とするinternal slots、および[[InitialName]] internal slotを持つ。
  7. func.[[Async]]をasyncに設定する。
  8. func.[[Prototype]]をprotoに設定する。
  9. func.[[Extensible]]をtrueに設定する。
  10. func.[[Realm]]をrealmに設定する。
  11. func.[[InitialName]]をnullに設定する。
  12. SetFunctionLength(func, length)を実行する。
  13. prefixが存在しないなら、
    1. SetFunctionName(func, name)を実行する。
  14. そうでなければ、
    1. SetFunctionName(func, name, prefix)を実行する。
  15. funcを返す。

この仕様で定義される各built-in functionは、CreateBuiltinFunction abstract operationを呼び出すことによって作成されます。

10.4 Built-in Exotic Object Internal Methods and Slots

この仕様は、いくつかの種類のbuilt-in exotic objectsを定義します。これらのobjectsは一般に、いくつかの特定の状況を除いてordinary objectsと同様に振る舞います。次のexotic objectsは、以下で明示的に別途指定される場合を除き、ordinary object internal methodsを使用します：

10.4.1 Bound Function Exotic Objects

bound function exotic objectは、別のfunction objectをwrapするexotic objectです。bound function exotic objectはcallableです（[[Call]] internal methodを持ち、[[Construct]] internal methodを持つ場合があります）。bound function exotic objectを呼び出すと、一般にそのwrapped functionがcallされます。

objectは、その[[Call]]および（該当する場合）[[Construct]] internal methodsが次の実装を使用し、その他のessential internal methodsが10.1にある定義を使用する場合、bound function exotic objectです。これらのmethodsはBoundFunctionCreateでinstallされます。

Bound function exotic objectsは、Table 26に列挙されるECMAScript function objectsのinternal slotsを持ちません。代わりに、[[Prototype]]および[[Extensible]]に加えて、Table 27に列挙されるinternal slotsを持ちます。

Table 27: Internal Slots of Bound Function Exotic Objects
Internal Slot 型 説明
[[BoundTargetFunction]] callable Object wrapped function object。
[[BoundThis]] ECMAScript言語値 wrapped functionを呼び出すときに常にthis値として渡される値。
[[BoundArguments]] ECMAScript言語値のList その要素がwrapped functionへの任意のcallの最初のargumentsとして使用される値のlist。

10.4.1.1 [[Call]] ( thisArg, argList )

The [[Call]] internal method of bound function exotic object func takes arguments thisArg (an ECMAScript language value) and argList (a List of ECMAScript language values) and returns either a normal completion containing an ECMAScript language value or a throw completion. It performs the following steps when called:

  1. targetをfunc.[[BoundTargetFunction]]とする。
  2. boundThisをfunc.[[BoundThis]]とする。
  3. boundArgsをfunc.[[BoundArguments]]とする。
  4. argsをboundArgsとargListのlist-concatenationとする。
  5. ? Call(target, boundThis, args)を返す。

10.4.1.2 [[Construct]] ( argList, newTarget )

The [[Construct]] internal method of bound function exotic object func takes arguments argList (a List of ECMAScript language values) and newTarget (a constructor) and returns either a normal completion containing an Object or a throw completion. It performs the following steps when called:

  1. targetをfunc.[[BoundTargetFunction]]とする。
  2. Assert: IsConstructor(target)はtrueである。
  3. boundArgsをfunc.[[BoundArguments]]とする。
  4. argsをboundArgsとargListのlist-concatenationとする。
  5. SameValue(func, newTarget)がtrueなら、newTargetをtargetに設定する。
  6. ? Construct(target, args, newTarget)を返す。

10.4.1.3 BoundFunctionCreate ( targetFunc, boundThis, boundArgs )

The abstract operation BoundFunctionCreate takes arguments targetFunc (a function object), boundThis (an ECMAScript language value), and boundArgs (a List of ECMAScript language values) and returns either a normal completion containing a function object or a throw completion. これは、新しいbound function exotic objectsの作成を指定するために使用されます。 It performs the following steps when called:

  1. protoを ? targetFunc.[[GetPrototypeOf]]() とする。
  2. internalSlotsListを、« [[Prototype]], [[Extensible]] »とTable 27に列挙されるinternal slotsのlist-concatenationとする。
  3. objをMakeBasicObject(internalSlotsList)とする。
  4. obj.[[Prototype]]をprotoに設定する。
  5. obj.[[Call]]を10.4.1.1で指定されるように設定する。
  6. IsConstructor(targetFunc)がtrueなら、
    1. obj.[[Construct]]を10.4.1.2で指定されるように設定する。
  7. obj.[[BoundTargetFunction]]をtargetFuncに設定する。
  8. obj.[[BoundThis]]をboundThisに設定する。
  9. obj.[[BoundArguments]]をboundArgsに設定する。
  10. objを返す。

10.4.2 Array Exotic Objects

Arrayは、array index property keysを特別に扱うexotic objectです（6.1.7を参照）。property nameがarray indexであるpropertyはelementとも呼ばれます。すべてのArrayは、non-configurableな"length" propertyを持ち、その値は常に、その数学的値が232未満である非負整数のNumberです。"length" propertyの値は、名前がarray indexであるすべてのown propertyの名前より数値的に大きいです；Arrayのown propertyが作成または変更されるたびに、このinvariantを維持するために必要に応じて他のpropertiesが調整されます。具体的には、名前がarray indexであるown propertyが追加されるたびに、"length" propertyの値は、必要なら、そのarray indexの数値に1を加えた値へ変更されます；また、"length" propertyの値が変更されるたびに、その値が新しいlength以上であるarray indexを名前に持つすべてのown propertyが削除されます。この制約はArrayのown propertiesにのみ適用され、そのprototypesから継承される可能性のある"length"またはarray index propertiesには影響されません。

objectは、その[[DefineOwnProperty]] internal methodが次の実装を使用し、その他のessential internal methodsが10.1にある定義を使用する場合、Array exotic object（または単にArray）です。これらのmethodsはArrayCreateでinstallされます。

10.4.2.1 [[DefineOwnProperty]] ( propertyKey, propertyDesc )

The [[DefineOwnProperty]] internal method of Array exotic object array takes arguments propertyKey (a property key) and propertyDesc (a Property Descriptor) and returns either a normal completion containing a Boolean or a throw completion. It performs the following steps when called:

  1. propertyKeyが"length"なら、? ArraySetLength(array, propertyDesc)を返す。
  2. propertyKeyがarray indexなら、
    1. lengthDescをOrdinaryGetOwnProperty(array, "length")とする。
    2. Assert: lengthDescはundefinedでない。
    3. Assert: IsDataDescriptor(lengthDesc)はtrueである。
    4. Assert: lengthDesc.[[Configurable]]はfalseである。
    5. lengthをlengthDesc.[[Value]]とする。
    6. Assert: lengthは非負整数のNumberである。
    7. indexを ! ToUint32(propertyKey) とする。
    8. index ≥ lengthかつlengthDesc.[[Writable]]がfalseなら、falseを返す。
    9. succeededを ! OrdinaryDefineOwnProperty(array, propertyKey, propertyDesc) とする。
    10. succeededがfalseなら、falseを返す。
    11. index ≥ lengthなら、
      1. lengthDesc.[[Value]]をindex + 1𝔽に設定する。
      2. succeededを ! OrdinaryDefineOwnProperty(array, "length", lengthDesc) に設定する。
      3. Assert: succeededはtrueである。
    12. trueを返す。
  3. ? OrdinaryDefineOwnProperty(array, propertyKey, propertyDesc)を返す。

10.4.2.2 ArrayCreate ( length [ , proto ] )

The abstract operation ArrayCreate takes argument length (a non-negative integer) and optional argument proto (an Object) and returns either a normal completion containing an Array exotic object or a throw completion. これは、新しいArraysの作成を指定するために使用されます。 It performs the following steps when called:

  1. length > 232 - 1なら、RangeError例外をthrowする。
  2. protoが存在しないなら、protoを%Array.prototype%に設定する。
  3. arrayをMakeBasicObject(« [[Prototype]], [[Extensible]] »)とする。
  4. array.[[Prototype]]をprotoに設定する。
  5. array.[[DefineOwnProperty]]を10.4.2.1で指定されるように設定する。
  6. ! OrdinaryDefineOwnProperty(array, "length", PropertyDescriptor { [[Value]]: 𝔽(length), [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: false })を実行する。
  7. arrayを返す。

10.4.2.3 ArraySpeciesCreate ( originalArray, length )

The abstract operation ArraySpeciesCreate takes arguments originalArray (an Object) and length (a non-negative integer) and returns either a normal completion containing an Object or a throw completion. これは、originalArrayから派生したconstructor functionを使用して、新しいArrayまたは類似objectの作成を指定するために使用されます。constructor functionがArrayを返すことは強制しません。 It performs the following steps when called:

  1. isArrayを ? IsArray(originalArray) とする。
  2. isArrayがfalseなら、? ArrayCreate(length)を返す。
  3. ctorを ? Get(originalArray, "constructor") とする。
  4. IsConstructor(ctor)がtrueなら、
    1. thisRealmをcurrent Realm Recordとする。
    2. ctorRealmを ? GetFunctionRealm(ctor) とする。
    3. thisRealmとctorRealmが同じRealm Recordでないなら、
      1. SameValue(ctor, ctorRealm.[[Intrinsics]].[[%Array%]])がtrueなら、ctorをundefinedに設定する。
  5. ctorがObjectなら、
    1. ctorを ? Get(ctor, %Symbol.species%) に設定する。
    2. ctorがnullなら、ctorをundefinedに設定する。
  6. ctorがundefinedなら、? ArrayCreate(length)を返す。
  7. IsConstructor(ctor)がfalseなら、TypeError例外をthrowする。
  8. ? Construct(ctor, « 𝔽(length) »)を返す。
 Note

originalArrayがrunning execution contextのrealmではないrealmのstandard built-in Array constructorを使用して作成された場合、新しいArrayはrunning execution contextのrealmを使用して作成されます。これは、現在ArraySpeciesCreateを使用して定義されるArray.prototype methodsについて、歴史的にそのbehaviourを持っていたWeb browsersとの互換性を維持します。

10.4.2.4 ArraySetLength ( array, propertyDesc )

The abstract operation ArraySetLength takes arguments array (an Array) and propertyDesc (a Property Descriptor) and returns either a normal completion containing a Boolean or a throw completion. It performs the following steps when called:

  1. propertyDescが[[Value]] fieldを持たないなら、
    1. ! OrdinaryDefineOwnProperty(array, "length", propertyDesc)を返す。
  2. newLengthDescをpropertyDescのcopyとする。
  3. newLengthを ? ToUint32(propertyDesc.[[Value]]) とする。
  4. numberLengthを ? ToNumber(propertyDesc.[[Value]]) とする。
  5. SameValueZero(newLength, numberLength)がfalseなら、RangeError例外をthrowする。
  6. newLengthDesc.[[Value]]をnewLengthに設定する。
  7. oldLengthDescをOrdinaryGetOwnProperty(array, "length")とする。
  8. Assert: oldLengthDescはundefinedでない。
  9. Assert: IsDataDescriptor(oldLengthDesc)はtrueである。
  10. Assert: oldLengthDesc.[[Configurable]]はfalseである。
  11. oldLengthをoldLengthDesc.[[Value]]とする。
  12. newLength ≥ oldLengthなら、
    1. ! OrdinaryDefineOwnProperty(array, "length", newLengthDesc)を返す。
  13. oldLengthDesc.[[Writable]]がfalseなら、falseを返す。
  14. newLengthDescが[[Writable]] fieldを持たない、またはnewLengthDesc.[[Writable]]がtrueなら、
    1. newWritableをtrueとする。
  15. そうでなければ、
    1. NOTE: 任意のelementsを削除できない場合に備えて、[[Writable]]属性をfalseに設定することはdeferされる。
    2. newWritableをfalseとする。
    3. newLengthDesc.[[Writable]]をtrueに設定する。
  16. succeededを ! OrdinaryDefineOwnProperty(array, "length", newLengthDesc) とする。
  17. succeededがfalseなら、falseを返す。
  18. array indexであり、! ToUint32(propertyKey) ≥ newLengthであるようなarrayの各own property key propertyKeyについて、descending numeric index orderで、以下を行う
    1. deleteSucceededを ! array.[[Delete]](propertyKey) とする。
    2. deleteSucceededがfalseなら、
      1. newLengthDesc.[[Value]]を ! ToUint32(propertyKey) + 1𝔽に設定する。
      2. newWritableがfalseなら、newLengthDesc.[[Writable]]をfalseに設定する。
      3. ! OrdinaryDefineOwnProperty(array, "length", newLengthDesc)を実行する。
      4. falseを返す。
  19. newWritableがfalseなら、
    1. succeededを ! OrdinaryDefineOwnProperty(array, "length", PropertyDescriptor { [[Writable]]: false }) に設定する。
    2. Assert: succeededはtrueである。
  20. trueを返す。
 Note

ステップ3および4において、propertyDesc.[[Value]]がobjectである場合、そのvalueOf methodは2回呼び出されます。これは、この仕様の第2版からこのeffectを伴って指定されていたlegacy behaviourです。

10.4.3 String Exotic Objects

String objectは、String値をカプセル化し、String値の個々のcode unit elementsに対応するvirtual integer-indexed data propertiesを公開するexotic objectです。String exotic objectsは常に、カプセル化されたString値のlengthを値に持つ"length"という名前のdata propertyを持ちます。code unit data propertiesと"length" propertyはいずれもnon-writableかつnon-configurableです。

objectは、その[[GetOwnProperty]]、[[DefineOwnProperty]]、および[[OwnPropertyKeys]] internal methodsが次の実装を使用し、その他のessential internal methodsが10.1にある定義を使用する場合、String exotic object（または単にString object）です。これらのmethodsはStringCreateでinstallされます。

String exotic objectsはordinary objectsと同じinternal slotsを持ちます。また、[[StringData]] internal slotも持ちます。

10.4.3.1 [[GetOwnProperty]] ( propertyKey )

The [[GetOwnProperty]] internal method of String exotic object string takes argument propertyKey (a property key) and returns a normal completion containing either a Property Descriptor or undefined. It performs the following steps when called:

  1. propertyDescをOrdinaryGetOwnProperty(string, propertyKey)とする。
  2. propertyDescがundefinedでないなら、propertyDescを返す。
  3. StringGetOwnProperty(string, propertyKey)を返す。

10.4.3.2 [[DefineOwnProperty]] ( propertyKey, propertyDesc )

The [[DefineOwnProperty]] internal method of String exotic object string takes arguments propertyKey (a property key) and propertyDesc (a Property Descriptor) and returns a normal completion containing a Boolean. It performs the following steps when called:

  1. stringDescをStringGetOwnProperty(string, propertyKey)とする。
  2. stringDescがundefinedでないなら、
    1. extensibleをstring.[[Extensible]]とする。
    2. IsCompatiblePropertyDescriptor(extensible, propertyDesc, stringDesc)を返す。
  3. ! OrdinaryDefineOwnProperty(string, propertyKey, propertyDesc)を返す。

10.4.3.3 [[OwnPropertyKeys]] ( )

The [[OwnPropertyKeys]] internal method of String exotic object obj takes no arguments and returns a normal completion containing a List of property keys. It performs the following steps when called:

  1. keysを新しい空のListとする。
  2. stringをobj.[[StringData]]とする。
  3. Assert: stringはStringである。
  4. lengthをstringのlengthとする。
  5. 0 ≤ i < lengthである各integer iについて、昇順で、以下を行う
    1. ! ToString(𝔽(i))をkeysへappendする。
  6. array indexであり、! ToIntegerOrInfinity(propertyKey) ≥ lengthであるようなobjの各own property key propertyKeyについて、ascending numeric index orderで、以下を行う
    1. propertyKeyをkeysへappendする。
  7. Stringであり、array indexでないようなobjの各own property key propertyKeyについて、property creationのascending chronological orderで、以下を行う
    1. propertyKeyをkeysへappendする。
  8. Symbolであるようなobjの各own property key propertyKeyについて、property creationのascending chronological orderで、以下を行う
    1. propertyKeyをkeysへappendする。
  9. keysを返す。

10.4.3.4 StringCreate ( value, proto )

The abstract operation StringCreate takes arguments value (a String) and proto (an Object) and returns a String exotic object. これは、新しいString exotic objectsの作成を指定するために使用されます。 It performs the following steps when called:

  1. stringをMakeBasicObject(« [[Prototype]], [[Extensible]], [[StringData]] »)とする。
  2. string.[[Prototype]]をprotoに設定する。
  3. string.[[StringData]]をvalueに設定する。
  4. string.[[GetOwnProperty]]を10.4.3.1で指定されるように設定する。
  5. string.[[DefineOwnProperty]]を10.4.3.2で指定されるように設定する。
  6. string.[[OwnPropertyKeys]]を10.4.3.3で指定されるように設定する。
  7. lengthをvalueのlengthとする。
  8. ! DefinePropertyOrThrow(string, "length", PropertyDescriptor { [[Value]]: 𝔽(length), [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false })を実行する。
  9. stringを返す。

10.4.3.5 StringGetOwnProperty ( string, propertyKey )

The abstract operation StringGetOwnProperty takes arguments string (an Object that has a [[StringData]] internal slot) and propertyKey (a property key) and returns a Property Descriptor or undefined. It performs the following steps when called:

  1. propertyKeyがStringでないなら、undefinedを返す。
  2. numericIndexをCanonicalNumericIndexString(propertyKey)とする。
  3. numericIndexがintegral Numberでないなら、undefinedを返す。
  4. numericIndexが-0𝔽またはnumericIndex < -0𝔽なら、undefinedを返す。
  5. stringDataをstring.[[StringData]]とする。
  6. Assert: stringDataはStringである。
  7. lengthをstringDataのlengthとする。
  8. ℝ(numericIndex) ≥ lengthなら、undefinedを返す。
  9. resultStringをℝ(numericIndex)からℝ(numericIndex) + 1までのstringDataのsubstringとする。
  10. PropertyDescriptor { [[Value]]: resultString, [[Writable]]: false, [[Enumerable]]: true, [[Configurable]]: false }を返す。

10.4.4 Arguments Exotic Objects

ほとんどのECMAScript functionsは、そのコードからarguments objectを利用可能にします。function definitionの特性に応じて、そのarguments objectはordinary objectまたはarguments exotic objectのいずれかです。arguments exotic objectは、array index propertiesが、その関連ECMAScript functionの呼び出しのformal parameters bindingsへmapするexotic objectです。

objectは、そのinternal methodsが次の実装を使用し、ここで指定されていないものは10.1にある定義を使用する場合、arguments exotic objectです。これらのmethodsはCreateMappedArgumentsObjectでinstallされます。

Note 1

CreateUnmappedArgumentsObjectはこのclauseにgroup化されていますが、arguments exotic objectではなくordinary objectを作成します。

Arguments exotic objectsはordinary objectsと同じinternal slotsを持ちます。また、[[ParameterMap]] internal slotも持ちます。Ordinary arguments objectsも[[ParameterMap]] internal slotを持ち、その値は常にundefinedです。ordinary argument objectsについては、[[ParameterMap]] internal slotはObject.prototype.toString（20.1.3.6）がそれらをそのようなものとして識別するためにのみ使用されます。

Note 2

numeric name valuesが対応するfunction objectのformal parametersの数より小さいarguments exotic objectのinteger-indexed data propertiesは、初期状態で、functionのexecution context内の対応するargument bindingsと値を共有します。これは、propertyを変更すると対応するargument bindingの値が変更され、その逆も成り立つことを意味します。この対応関係は、そのようなpropertyが削除されてから再定義された場合、またはそのpropertyがaccessor propertyへ変更された場合に破られます。arguments objectがordinary objectである場合、そのpropertiesの値は、単にfunctionへ渡されたargumentsのcopyであり、property valuesとformal parameter valuesの間に動的なlinkageはありません。

 Note 3

ParameterMap objectおよびそのproperty valuesは、arguments objectとargument bindingsとの対応を指定するための装置として使用されます。ParameterMap objectおよびそのpropertiesの値であるobjectsは、ECMAScriptコードから直接観測可能ではありません。ECMAScript実装は、指定されたsemanticsを実装するために、そのようなobjectsを実際に作成または使用する必要はありません。

 Note 4

Ordinary arguments objectsは、アクセス時にTypeError例外をthrowする、"callee"という名前のnon-configurable accessor propertyを定義します。"callee" propertyは、一部のclassのnon-strict functionsに対してのみ作成されるarguments exotic objectsについて、より具体的な意味を持ちます。ordinary variantにおけるこのpropertyの定義は、conforming ECMAScript implementationsによって他の方法で定義されないことを保証するために存在します。

 Note 5

arguments exotic objectsのECMAScript実装は、歴史的に"caller"という名前のaccessor propertyを含んでいました。ECMAScript 2017より前、この仕様にはordinary arguments objects上のthrowing "caller" propertyの定義が含まれていました。実装はもはやこの拡張を含まないため、ECMAScript 2017はthrowing "caller" accessorの要件を削除しました。

10.4.4.1 [[GetOwnProperty]] ( propertyKey )

The [[GetOwnProperty]] internal method of arguments exotic object args takes argument propertyKey (a property key) and returns a normal completion containing either a Property Descriptor or undefined. It performs the following steps when called:

  1. propertyDescをOrdinaryGetOwnProperty(args, propertyKey)とする。
  2. propertyDescがundefinedなら、undefinedを返す。
  3. mapをargs.[[ParameterMap]]とする。
  4. isMappedを ! HasOwnProperty(map, propertyKey) とする。
  5. isMappedがtrueなら、
    1. propertyDesc.[[Value]]を ! Get(map, propertyKey) に設定する。
  6. propertyDescを返す。

10.4.4.2 [[DefineOwnProperty]] ( propertyKey, propertyDesc )

The [[DefineOwnProperty]] internal method of arguments exotic object args takes arguments propertyKey (a property key) and propertyDesc (a Property Descriptor) and returns a normal completion containing a Boolean. It performs the following steps when called:

  1. mapをargs.[[ParameterMap]]とする。
  2. isMappedを ! HasOwnProperty(map, propertyKey) とする。
  3. newArgDescをpropertyDescとする。
  4. isMappedがtrueであり、かつIsDataDescriptor(propertyDesc)がtrueなら、
    1. propertyDescが[[Value]] fieldを持たず、propertyDescが[[Writable]] fieldを持ち、かつpropertyDesc.[[Writable]]がfalseなら、
      1. newArgDescをpropertyDescのcopyに設定する。
      2. newArgDesc.[[Value]]を ! Get(map, propertyKey) に設定する。
  5. allowedを ! OrdinaryDefineOwnProperty(args, propertyKey, newArgDesc) とする。
  6. allowedがfalseなら、falseを返す。
  7. isMappedがtrueなら、
    1. IsAccessorDescriptor(propertyDesc)がtrueなら、
      1. ! map.[[Delete]](propertyKey)を実行する。
    2. そうでなければ、
      1. propertyDescが[[Value]] fieldを持つなら、
        1. Assert: formal parameters mapped by arguments objectsは常にwritableであるため、次のSetは成功する。
        2. ! Set(map, propertyKey, propertyDesc.[[Value]], false)を実行する。
      2. propertyDescが[[Writable]] fieldを持ち、propertyDesc.[[Writable]]がfalseなら、
        1. ! map.[[Delete]](propertyKey)を実行する。
  8. trueを返す。

10.4.4.3 [[Get]] ( propertyKey, receiver )

The [[Get]] internal method of arguments exotic object args takes arguments propertyKey (a property key) and receiver (an ECMAScript language value) and returns either a normal completion containing an ECMAScript language value or a throw completion. It performs the following steps when called:

  1. mapをargs.[[ParameterMap]]とする。
  2. isMappedを ! HasOwnProperty(map, propertyKey) とする。
  3. isMappedがfalseなら、? OrdinaryGet(args, propertyKey, receiver)を返す。
  4. Assert: mapはpropertyKeyに対するformal parameter mappingを含む。
  5. ! Get(map, propertyKey)を返す。

10.4.4.4 [[Set]] ( propertyKey, value, receiver )

The [[Set]] internal method of arguments exotic object args takes arguments propertyKey (a property key), value (an ECMAScript language value), and receiver (an ECMAScript language value) and returns either a normal completion containing a Boolean or a throw completion. It performs the following steps when called:

  1. SameValue(args, receiver)がfalseなら、
    1. isMappedをfalseとする。
  2. そうでなければ、
    1. mapをargs.[[ParameterMap]]とする。
    2. isMappedを ! HasOwnProperty(map, propertyKey) とする。
  3. isMappedがtrueなら、
    1. Assert: formal parameters mapped by arguments objectsは常にwritableであるため、次のSetは成功する。
    2. ! Set(map, propertyKey, value, false)を実行する。
  4. ? OrdinarySet(args, propertyKey, value, receiver)を返す。

10.4.4.5 [[Delete]] ( propertyKey )

The [[Delete]] internal method of arguments exotic object args takes argument propertyKey (a property key) and returns either a normal completion containing a Boolean or a throw completion. It performs the following steps when called:

  1. mapをargs.[[ParameterMap]]とする。
  2. isMappedを ! HasOwnProperty(map, propertyKey) とする。
  3. resultを ? OrdinaryDelete(args, propertyKey) とする。
  4. resultがtrueかつisMappedがtrueなら、
    1. ! map.[[Delete]](propertyKey)を実行する。
  5. resultを返す。

10.4.4.6 CreateUnmappedArgumentsObject ( argList )

The abstract operation CreateUnmappedArgumentsObject takes argument argList (a List of ECMAScript language values) and returns an ordinary object. It performs the following steps when called:

  1. lengthをargList内の要素数とする。
  2. objをOrdinaryObjectCreate(%Object.prototype%, « [[ParameterMap]] »)とする。
  3. obj.[[ParameterMap]]をundefinedに設定する。
  4. ! DefinePropertyOrThrow(obj, "length", PropertyDescriptor { [[Value]]: 𝔽(length), [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: true })を実行する。
  5. indexを0とする。
  6. index < lengthである間、繰り返す
    1. valueをargList[index]とする。
    2. ! CreateDataPropertyOrThrow(obj, ! ToString(𝔽(index)), value)を実行する。
    3. indexをindex + 1に設定する。
  7. ! DefinePropertyOrThrow(obj, %Symbol.iterator%, PropertyDescriptor { [[Value]]: %Array.prototype.values%, [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: true })を実行する。
  8. ! DefinePropertyOrThrow(obj, "callee", PropertyDescriptor { [[Get]]: %ThrowTypeError%, [[Set]]: %ThrowTypeError%, [[Enumerable]]: false, [[Configurable]]: false })を実行する。
  9. objを返す。

10.4.4.7 CreateMappedArgumentsObject ( func, formals, argList, envRecord )

The abstract operation CreateMappedArgumentsObject takes arguments func (an ECMAScript function object), formals (a Parse Node), argList (a List of ECMAScript language values), and envRecord (an Environment Record) and returns an arguments exotic object. It performs the following steps when called:

  1. Assert: formalsはrest parameter、任意のbinding patterns、または任意のinitializersを含まない。duplicate identifiersを含む場合がある。
  2. lengthをargList内の要素数とする。
  3. objをMakeBasicObject(« [[Prototype]], [[Extensible]], [[ParameterMap]] »)とする。
  4. obj.[[GetOwnProperty]]を10.4.4.1で指定されるように設定する。
  5. obj.[[DefineOwnProperty]]を10.4.4.2で指定されるように設定する。
  6. obj.[[Get]]を10.4.4.3で指定されるように設定する。
  7. obj.[[Set]]を10.4.4.4で指定されるように設定する。
  8. obj.[[Delete]]を10.4.4.5で指定されるように設定する。
  9. obj.[[Prototype]]を%Object.prototype%に設定する。
  10. mapをOrdinaryObjectCreate(null)とする。
  11. obj.[[ParameterMap]]をmapに設定する。
  12. paramNamesをformalsのBoundNamesとする。
  13. paramCountをparamNames内の要素数とする。
  14. indexを0とする。
  15. index < lengthである間、繰り返す
    1. valueをargList[index]とする。
    2. ! CreateDataPropertyOrThrow(obj, ! ToString(𝔽(index)), value)を実行する。
    3. indexをindex + 1に設定する。
  16. ! DefinePropertyOrThrow(obj, "length", PropertyDescriptor { [[Value]]: 𝔽(length), [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: true })を実行する。
  17. mappedNamesを新しい空のListとする。
  18. indexをparamCount - 1に設定する。
  19. index ≥ 0である間、繰り返す
    1. nameをparamNames[index]とする。
    2. mappedNamesがnameを含まないなら、
      1. nameをmappedNamesへappendする。
      2. index < lengthなら、
        1. getterをMakeArgGetter(name, envRecord)とする。
        2. setterをMakeArgSetter(name, envRecord)とする。
        3. ! map.[[DefineOwnProperty]](! ToString(𝔽(index)), PropertyDescriptor { [[Set]]: setter, [[Get]]: getter, [[Enumerable]]: false, [[Configurable]]: true })を実行する。
    3. indexをindex - 1に設定する。
  20. ! DefinePropertyOrThrow(obj, %Symbol.iterator%, PropertyDescriptor { [[Value]]: %Array.prototype.values%, [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: true })を実行する。
  21. ! DefinePropertyOrThrow(obj, "callee", PropertyDescriptor { [[Value]]: func, [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: true })を実行する。
  22. objを返す。

10.4.4.7.1 MakeArgGetter ( name, envRecord )

The abstract operation MakeArgGetter takes arguments name (a String) and envRecord (an Environment Record) and returns a function object. これは、実行されたときにenvRecord内でnameにbindされた値を返すbuilt-in function objectを作成します。 It performs the following steps when called:

  1. getterClosureを、nameおよびenvRecordをcaptureし、呼び出されたときに次のstepsを実行する、parametersを持たない新しいAbstract Closureとする：
    1. NormalCompletion(! envRecord.GetBindingValue(name, false))を返す。
  2. getterをCreateBuiltinFunction(getterClosure, 0, "", « »)とする。
  3. NOTE: getterはECMAScriptコードから直接アクセス可能になることは決してない。
  4. getterを返す。

10.4.4.7.2 MakeArgSetter ( name, envRecord )

The abstract operation MakeArgSetter takes arguments name (a String) and envRecord (an Environment Record) and returns a function object. これは、実行されたときにenvRecord内でnameにbindされた値を設定するbuilt-in function objectを作成します。 It performs the following steps when called:

  1. setterClosureを、nameおよびenvRecordをcaptureし、呼び出されたときに次のstepsを実行するparameters (value)を持つ新しいAbstract Closureとする：
    1. NormalCompletion(! envRecord.SetMutableBinding(name, value, false))を返す。
  2. setterをCreateBuiltinFunction(setterClosure, 1, "", « »)とする。
  3. NOTE: setterはECMAScriptコードから直接アクセス可能になることは決してない。
  4. setterを返す。

10.4.5 TypedArray Exotic Objects

TypedArrayは、canonical numeric stringsであるproperty keysを特別に処理するexotic objectです。in-bounds integer indicesであるsubsetを使用してuniform typeのelementsをindexし、残りはprototype chain traversalを発生させずに存在しないというinvariantを強制します。

Note

任意のNumber nについてToString(n)はcanonical numeric stringであるため、実装は、実際にstring conversionを実行せずに、NumbersをTypedArraysのproperty keysとして扱ってよいです。

TypedArraysはordinary objectsと同じinternal slotsを持ち、さらに[[ViewedArrayBuffer]]、[[TypedArrayName]]、[[ContentType]]、[[ByteLength]]、[[ByteOffset]]、および[[ArrayLength]] internal slotsを持ちます。

objectは、その[[PreventExtensions]]、[[GetOwnProperty]]、[[HasProperty]]、[[DefineOwnProperty]]、[[Get]]、[[Set]]、[[Delete]]、および[[OwnPropertyKeys]] internal methodsがこのsectionの定義を使用し、その他のessential internal methodsが10.1にある定義を使用する場合、TypedArrayです。これらのmethodsはTypedArrayCreateによってinstallされます。

10.4.5.1 [[PreventExtensions]] ( )

The [[PreventExtensions]] internal method of TypedArray obj takes no arguments and returns a normal completion containing a Boolean. It performs the following steps when called:

  1. NOTE: 6.1.7.3で指定されるextensibility-related invariantsは、objがpropertiesを得る（または失ってから再び得る）可能性があるとき、このmethodがtrueを返すことを許可しない。これは、そのunderlying bufferがresizeされるとき、integer index namesを持つpropertiesについて発生する場合がある。
  2. IsTypedArrayFixedLength(obj)がfalseなら、falseを返す。
  3. OrdinaryPreventExtensions(obj)を返す。

10.4.5.2 [[GetOwnProperty]] ( propertyKey )

The [[GetOwnProperty]] internal method of TypedArray obj takes argument propertyKey (a property key) and returns a normal completion containing either a Property Descriptor or undefined. It performs the following steps when called:

  1. propertyKeyがStringなら、
    1. numericIndexをCanonicalNumericIndexString(propertyKey)とする。
    2. numericIndexがundefinedでないなら、
      1. valueをTypedArrayGetElement(obj, numericIndex)とする。
      2. valueがundefinedなら、undefinedを返す。
      3. PropertyDescriptor { [[Value]]: value, [[Writable]]: true, [[Enumerable]]: true, [[Configurable]]: true }を返す。
  2. OrdinaryGetOwnProperty(obj, propertyKey)を返す。

10.4.5.3 [[HasProperty]] ( propertyKey )

The [[HasProperty]] internal method of TypedArray obj takes argument propertyKey (a property key) and returns either a normal completion containing a Boolean or a throw completion. It performs the following steps when called:

  1. propertyKeyがStringなら、
    1. numericIndexをCanonicalNumericIndexString(propertyKey)とする。
    2. numericIndexがundefinedでないなら、IsValidIntegerIndex(obj, numericIndex)を返す。
  2. ? OrdinaryHasProperty(obj, propertyKey)を返す。

10.4.5.4 [[DefineOwnProperty]] ( propertyKey, propertyDesc )

The [[DefineOwnProperty]] internal method of TypedArray obj takes arguments propertyKey (a property key) and propertyDesc (a Property Descriptor) and returns either a normal completion containing a Boolean or a throw completion. It performs the following steps when called:

  1. propertyKeyがStringなら、
    1. numericIndexをCanonicalNumericIndexString(propertyKey)とする。
    2. numericIndexがundefinedでないなら、
      1. IsValidIntegerIndex(obj, numericIndex)がfalseなら、falseを返す。
      2. propertyDescが[[Configurable]] fieldを持ち、propertyDesc.[[Configurable]]がfalseなら、falseを返す。
      3. propertyDescが[[Enumerable]] fieldを持ち、propertyDesc.[[Enumerable]]がfalseなら、falseを返す。
      4. IsAccessorDescriptor(propertyDesc)がtrueなら、falseを返す。
      5. propertyDescが[[Writable]] fieldを持ち、propertyDesc.[[Writable]]がfalseなら、falseを返す。
      6. propertyDescが[[Value]] fieldを持つなら、? TypedArraySetElement(obj, numericIndex, propertyDesc.[[Value]])を実行する。
      7. trueを返す。
  2. ! OrdinaryDefineOwnProperty(obj, propertyKey, propertyDesc)を返す。

10.4.5.5 [[Get]] ( propertyKey, receiver )

The [[Get]] internal method of TypedArray obj takes arguments propertyKey (a property key) and receiver (an ECMAScript language value) and returns either a normal completion containing an ECMAScript language value or a throw completion. It performs the following steps when called:

  1. propertyKeyがStringなら、
    1. numericIndexをCanonicalNumericIndexString(propertyKey)とする。
    2. numericIndexがundefinedでないなら、
      1. TypedArrayGetElement(obj, numericIndex)を返す。
  2. ? OrdinaryGet(obj, propertyKey, receiver)を返す。

10.4.5.6 [[Set]] ( propertyKey, value, receiver )

The [[Set]] internal method of TypedArray obj takes arguments propertyKey (a property key), value (an ECMAScript language value), and receiver (an ECMAScript language value) and returns either a normal completion containing a Boolean or a throw completion. It performs the following steps when called:

  1. propertyKeyがStringなら、
    1. numericIndexをCanonicalNumericIndexString(propertyKey)とする。
    2. numericIndexがundefinedでないなら、
      1. SameValue(obj, receiver)がtrueなら、
        1. ? TypedArraySetElement(obj, numericIndex, value)を実行する。
        2. trueを返す。
      2. IsValidIntegerIndex(obj, numericIndex)がfalseなら、trueを返す。
  2. ? OrdinarySet(obj, propertyKey, value, receiver)を返す。

10.4.5.7 [[Delete]] ( propertyKey )

The [[Delete]] internal method of TypedArray obj takes argument propertyKey (a property key) and returns a normal completion containing a Boolean. It performs the following steps when called:

  1. propertyKeyがStringなら、
    1. numericIndexをCanonicalNumericIndexString(propertyKey)とする。
    2. numericIndexがundefinedでないなら、
      1. IsValidIntegerIndex(obj, numericIndex)がfalseなら、trueを返す。
      2. falseを返す。
  2. ! OrdinaryDelete(obj, propertyKey)を返す。

10.4.5.8 [[OwnPropertyKeys]] ( )

The [[OwnPropertyKeys]] internal method of TypedArray obj takes no arguments and returns a normal completion containing a List of property keys. It performs the following steps when called:

  1. taRecordをMakeTypedArrayWithBufferWitnessRecord(obj, seq-cst)とする。
  2. keysを新しい空のListとする。
  3. IsTypedArrayOutOfBounds(taRecord)がfalseなら、
    1. lengthをTypedArrayLength(taRecord)とする。
    2. 0 ≤ i < lengthである各integer iについて、昇順で、以下を行う
      1. ! ToString(𝔽(i))をkeysへappendする。
  4. Stringであり、integer indexでないようなobjの各own property key propertyKeyについて、property creationのascending chronological orderで、以下を行う
    1. propertyKeyをkeysへappendする。
  5. Symbolであるようなobjの各own property key propertyKeyについて、property creationのascending chronological orderで、以下を行う
    1. propertyKeyをkeysへappendする。
  6. keysを返す。

10.4.5.9 TypedArray With Buffer Witness Records

TypedArray With Buffer Witness Recordは、TypedArrayを、viewed bufferのcached byte lengthとともにカプセル化するために使用されるRecord値です。viewed bufferがgrowable SharedArrayBufferであるとき、byte length data blockの単一のReadSharedMemory eventが存在することを保証する助けとして使用されます。

TypedArray With Buffer Witness Recordsは、Table 28に列挙されるフィールドを持ちます。

Table 28: TypedArray With Buffer Witness Record Fields
フィールド名 値 意味
[[Object]] TypedArray そのbufferのbyte lengthがloadされるTypedArray。
[[CachedBufferByteLength]] 非負整数またはdetached Recordが作成されたときのobjectの[[ViewedArrayBuffer]]のbyte length。

10.4.5.10 MakeTypedArrayWithBufferWitnessRecord ( obj, order )

The abstract operation MakeTypedArrayWithBufferWitnessRecord takes arguments obj (a TypedArray) and order (seq-cst or unordered) and returns a TypedArray With Buffer Witness Record. It performs the following steps when called:

  1. bufferをobj.[[ViewedArrayBuffer]]とする。
  2. IsDetachedBuffer(buffer)がtrueなら、
    1. byteLengthをdetachedとする。
  3. そうでなければ、
    1. byteLengthをArrayBufferByteLength(buffer, order)とする。
  4. TypedArray With Buffer Witness Record { [[Object]]: obj, [[CachedBufferByteLength]]: byteLength }を返す。

10.4.5.11 TypedArrayCreate ( proto )

The abstract operation TypedArrayCreate takes argument proto (an Object) and returns a TypedArray. これは、新しいTypedArraysの作成を指定するために使用されます。 It performs the following steps when called:

  1. internalSlotsListを« [[Prototype]], [[Extensible]], [[ViewedArrayBuffer]], [[TypedArrayName]], [[ContentType]], [[ByteLength]], [[ByteOffset]], [[ArrayLength]] »とする。
  2. taをMakeBasicObject(internalSlotsList)とする。
  3. ta.[[PreventExtensions]]を10.4.5.1で指定されるように設定する。
  4. ta.[[GetOwnProperty]]を10.4.5.2で指定されるように設定する。
  5. ta.[[HasProperty]]を10.4.5.3で指定されるように設定する。
  6. ta.[[DefineOwnProperty]]を10.4.5.4で指定されるように設定する。
  7. ta.[[Get]]を10.4.5.5で指定されるように設定する。
  8. ta.[[Set]]を10.4.5.6で指定されるように設定する。
  9. ta.[[Delete]]を10.4.5.7で指定されるように設定する。
  10. ta.[[OwnPropertyKeys]]を10.4.5.8で指定されるように設定する。
  11. ta.[[Prototype]]をprotoに設定する。
  12. taを返す。

10.4.5.12 TypedArrayByteLength ( taRecord )

The abstract operation TypedArrayByteLength takes argument taRecord (a TypedArray With Buffer Witness Record) and returns a non-negative integer. It performs the following steps when called:

  1. Assert: IsTypedArrayOutOfBounds(taRecord)はfalseである。
  2. objをtaRecord.[[Object]]とする。
  3. obj.[[ByteLength]]がautoでないなら、obj.[[ByteLength]]を返す。
  4. lengthをTypedArrayLength(taRecord)とする。
  5. elementSizeをTypedArrayElementSize(obj)とする。
  6. NOTE: underlying bufferが非整数倍にresizeされている場合でも、返されるbyte lengthは常にelementSizeの整数倍である。
  7. length × elementSizeを返す。

10.4.5.13 TypedArrayLength ( taRecord )

The abstract operation TypedArrayLength takes argument taRecord (a TypedArray With Buffer Witness Record) and returns a non-negative integer. It performs the following steps when called:

  1. Assert: IsTypedArrayOutOfBounds(taRecord)はfalseである。
  2. objをtaRecord.[[Object]]とする。
  3. obj.[[ArrayLength]]がautoでないなら、obj.[[ArrayLength]]を返す。
  4. Assert: IsFixedLengthArrayBuffer(obj.[[ViewedArrayBuffer]])はfalseである。
  5. byteOffsetをobj.[[ByteOffset]]とする。
  6. elementSizeをTypedArrayElementSize(obj)とする。
  7. byteLengthをtaRecord.[[CachedBufferByteLength]]とする。
  8. Assert: byteLengthはdetachedでない。
  9. floor((byteLength - byteOffset) / elementSize)を返す。

10.4.5.14 IsTypedArrayOutOfBounds ( taRecord )

The abstract operation IsTypedArrayOutOfBounds takes argument taRecord (a TypedArray With Buffer Witness Record) and returns a Boolean. これは、objectのnumeric propertiesのいずれかがunderlying bufferのbounds内に含まれないindexにある値を参照するかどうかをcheckします。 It performs the following steps when called:

  1. objをtaRecord.[[Object]]とする。
  2. bufferByteLengthをtaRecord.[[CachedBufferByteLength]]とする。
  3. IsDetachedBuffer(obj.[[ViewedArrayBuffer]])がtrueなら、
    1. Assert: bufferByteLengthはdetachedである。
    2. trueを返す。
  4. Assert: bufferByteLengthは非負整数である。
  5. byteOffsetStartをobj.[[ByteOffset]]とする。
  6. obj.[[ArrayLength]]がautoなら、
    1. byteOffsetEndをbufferByteLengthとする。
  7. そうでなければ、
    1. elementSizeをTypedArrayElementSize(obj)とする。
    2. arrayByteLengthをobj.[[ArrayLength]] × elementSizeとする。
    3. byteOffsetEndをbyteOffsetStart + arrayByteLengthとする。
  8. NOTE: [[ByteOffset]]がbufferByteLengthである0-length TypedArrayはout-of-boundsとはみなされない。
  9. byteOffsetStart > bufferByteLengthまたはbyteOffsetEnd > bufferByteLengthなら、trueを返す。
  10. falseを返す。

10.4.5.15 IsTypedArrayFixedLength ( obj )

The abstract operation IsTypedArrayFixedLength takes argument obj (a TypedArray) and returns a Boolean. It performs the following steps when called:

  1. obj.[[ArrayLength]]がautoなら、falseを返す。
  2. bufferをobj.[[ViewedArrayBuffer]]とする。
  3. IsFixedLengthArrayBuffer(buffer)がfalseかつIsSharedArrayBuffer(buffer)がfalseなら、falseを返す。
  4. trueを返す。

10.4.5.16 IsValidIntegerIndex ( obj, index )

The abstract operation IsValidIntegerIndex takes arguments obj (a TypedArray) and index (a Number) and returns a Boolean. It performs the following steps when called:

  1. IsDetachedBuffer(obj.[[ViewedArrayBuffer]])がtrueなら、falseを返す。
  2. indexがintegral Numberでないなら、falseを返す。
  3. indexが-0𝔽またはindex < -0𝔽なら、falseを返す。
  4. taRecordをMakeTypedArrayWithBufferWitnessRecord(obj, unordered)とする。
  5. NOTE: objのbacking bufferがgrowable SharedArrayBufferである場合、Bounds checkingはsynchronizing operationではない。
  6. IsTypedArrayOutOfBounds(taRecord)がtrueなら、falseを返す。
  7. lengthをTypedArrayLength(taRecord)とする。
  8. ℝ(index) ≥ lengthなら、falseを返す。
  9. trueを返す。

10.4.5.17 TypedArrayGetElement ( obj, index )

The abstract operation TypedArrayGetElement takes arguments obj (a TypedArray) and index (a Number) and returns a Number, a BigInt, or undefined. It performs the following steps when called:

  1. IsValidIntegerIndex(obj, index)がfalseなら、undefinedを返す。
  2. offsetをobj.[[ByteOffset]]とする。
  3. elementSizeをTypedArrayElementSize(obj)とする。
  4. byteIndexInBufferを(ℝ(index) × elementSize) + offsetとする。
  5. elementTypeをTypedArrayElementType(obj)とする。
  6. GetValueFromBuffer(obj.[[ViewedArrayBuffer]], byteIndexInBuffer, elementType, true, unordered)を返す。

10.4.5.18 TypedArraySetElement ( obj, index, value )

The abstract operation TypedArraySetElement takes arguments obj (a TypedArray), index (a Number), and value (an ECMAScript language value) and returns either a normal completion containing unused or a throw completion. It performs the following steps when called:

  1. obj.[[ContentType]]がbigintなら、numberを ? ToBigInt(value) とする。
  2. そうでなければ、numberを ? ToNumber(value) とする。
  3. IsValidIntegerIndex(obj, index)がtrueなら、
    1. offsetをobj.[[ByteOffset]]とする。
    2. elementSizeをTypedArrayElementSize(obj)とする。
    3. byteIndexInBufferを(ℝ(index) × elementSize) + offsetとする。
    4. elementTypeをTypedArrayElementType(obj)とする。
    5. SetValueInBuffer(obj.[[ViewedArrayBuffer]], byteIndexInBuffer, elementType, number, true, unordered)を実行する。
  4. unusedを返す。
 Note

このoperationは常に成功するように見えますが、TypedArrayの末尾を越えてwriteしようとする場合、またはdetached ArrayBufferによってbackされるTypedArrayへwriteしようとする場合、効果はありません。

10.4.5.19 IsArrayBufferViewOutOfBounds ( obj )

The abstract operation IsArrayBufferViewOutOfBounds takes argument obj (a TypedArray or a DataView) and returns a Boolean. これは、TypedArrayのnumeric propertiesのいずれか、またはDataView objectのmethodsが、underlying data blockのbounds内に含まれないindexにある値を参照できるかどうかをcheckします。このabstract operationは、upstream specificationsの便宜のために存在します。 It performs the following steps when called:

  1. objが[[DataView]] internal slotを持つなら、
    1. viewRecordをMakeDataViewWithBufferWitnessRecord(obj, seq-cst)とする。
    2. IsViewOutOfBounds(viewRecord)を返す。
  2. taRecordをMakeTypedArrayWithBufferWitnessRecord(obj, seq-cst)とする。
  3. IsTypedArrayOutOfBounds(taRecord)を返す。

10.4.6 Module Namespace Exotic Objects

module namespace exotic objectは、ECMAScript Moduleからexportされたbindingsを公開するexotic objectです（16.2.3を参照）。module namespace exotic objectのString-keyed own propertiesと、Moduleによってexportされたbinding namesの間には1対1の対応があります。exported bindingsには、export * export itemsを使用してindirectlyにexportされた任意のbindingsが含まれます。各String-valued own property keyは、対応するexported binding nameのStringValueです。これらはmodule namespace exotic objectの唯一のString-keyed propertiesです。そのような各propertyは、attributes { [[Writable]]: true, [[Enumerable]]: true, [[Configurable]]: false }を持ちます。Module namespace exotic objectsはextensibleではありません。

objectは、その[[GetPrototypeOf]]、[[SetPrototypeOf]]、[[IsExtensible]]、[[PreventExtensions]]、[[GetOwnProperty]]、[[DefineOwnProperty]]、[[HasProperty]]、[[Get]]、[[Set]]、[[Delete]]、および[[OwnPropertyKeys]] internal methodsがこのsectionの定義を使用し、その他のessential internal methodsが10.1にある定義を使用する場合、module namespace exotic objectです。これらのmethodsはModuleNamespaceCreateによってinstallされます。

Module namespace exotic objectsは、Table 29で定義されるinternal slotsを持ちます。

Table 29: Internal Slots of Module Namespace Exotic Objects
Internal Slot 型 説明
[[Module]] Module Record このnamespaceが公開するexportsを持つModule Record。
[[Exports]] StringsのList 要素が、このobjectのown propertiesとして公開されるexported namesのString値であるList。このlistはlexicographic code unit orderに従ってsortされます。

10.4.6.1 [[GetPrototypeOf]] ( )

The [[GetPrototypeOf]] internal method of module namespace exotic object takes no arguments and returns a normal completion containing null. It performs the following steps when called:

  1. nullを返す。

10.4.6.2 [[SetPrototypeOf]] ( proto )

The [[SetPrototypeOf]] internal method of module namespace exotic object obj takes argument proto (an Object or null) and returns a normal completion containing a Boolean. It performs the following steps when called:

  1. ! SetImmutablePrototype(obj, proto)を返す。

10.4.6.3 [[IsExtensible]] ( )

The [[IsExtensible]] internal method of module namespace exotic object takes no arguments and returns a normal completion containing false. It performs the following steps when called:

  1. falseを返す。

10.4.6.4 [[PreventExtensions]] ( )

The [[PreventExtensions]] internal method of module namespace exotic object takes no arguments and returns a normal completion containing true. It performs the following steps when called:

  1. trueを返す。

10.4.6.5 [[GetOwnProperty]] ( propertyKey )

The [[GetOwnProperty]] internal method of module namespace exotic object obj takes argument propertyKey (a property key) and returns either a normal completion containing either a Property Descriptor or undefined, or a throw completion. It performs the following steps when called:

  1. propertyKeyがSymbolなら、OrdinaryGetOwnProperty(obj, propertyKey)を返す。
  2. exportsをobj.[[Exports]]とする。
  3. exportsがpropertyKeyを含まないなら、undefinedを返す。
  4. valueを ? obj.[[Get]](propertyKey, obj) とする。
  5. PropertyDescriptor { [[Value]]: value, [[Writable]]: true, [[Enumerable]]: true, [[Configurable]]: false }を返す。

10.4.6.6 [[DefineOwnProperty]] ( propertyKey, propertyDesc )

The [[DefineOwnProperty]] internal method of module namespace exotic object obj takes arguments propertyKey (a property key) and propertyDesc (a Property Descriptor) and returns either a normal completion containing a Boolean or a throw completion. It performs the following steps when called:

  1. propertyKeyがSymbolなら、! OrdinaryDefineOwnProperty(obj, propertyKey, propertyDesc)を返す。
  2. currentを ? obj.[[GetOwnProperty]](propertyKey) とする。
  3. currentがundefinedなら、falseを返す。
  4. propertyDescが[[Configurable]] fieldを持ち、propertyDesc.[[Configurable]]がtrueなら、falseを返す。
  5. propertyDescが[[Enumerable]] fieldを持ち、propertyDesc.[[Enumerable]]がfalseなら、falseを返す。
  6. IsAccessorDescriptor(propertyDesc)がtrueなら、falseを返す。
  7. propertyDescが[[Writable]] fieldを持ち、propertyDesc.[[Writable]]がfalseなら、falseを返す。
  8. propertyDescが[[Value]] fieldを持つなら、SameValue(propertyDesc.[[Value]], current.[[Value]])を返す。
  9. trueを返す。

10.4.6.7 [[HasProperty]] ( propertyKey )

The [[HasProperty]] internal method of module namespace exotic object obj takes argument propertyKey (a property key) and returns a normal completion containing a Boolean. It performs the following steps when called:

  1. propertyKeyがSymbolなら、! OrdinaryHasProperty(obj, propertyKey)を返す。
  2. exportsをobj.[[Exports]]とする。
  3. exportsがpropertyKeyを含むなら、trueを返す。
  4. falseを返す。

10.4.6.8 [[Get]] ( propertyKey, receiver )

The [[Get]] internal method of module namespace exotic object obj takes arguments propertyKey (a property key) and receiver (an ECMAScript language value) and returns either a normal completion containing an ECMAScript language value or a throw completion. It performs the following steps when called:

  1. propertyKeyがSymbolなら、
    1. ! OrdinaryGet(obj, propertyKey, receiver)を返す。
  2. exportsをobj.[[Exports]]とする。
  3. exportsがpropertyKeyを含まないなら、undefinedを返す。
  4. moduleをobj.[[Module]]とする。
  5. bindingをmodule.ResolveExport(propertyKey)とする。
  6. Assert: bindingはResolvedBinding Recordである。
  7. targetModuleをbinding.[[Module]]とする。
  8. Assert: targetModuleはundefinedでない。
  9. binding.[[BindingName]]がnamespaceなら、
    1. GetModuleNamespace(targetModule)を返す。
  10. targetEnvをtargetModule.[[Environment]]とする。
  11. targetEnvがemptyなら、ReferenceError例外をthrowする。
  12. ? targetEnv.GetBindingValue(binding.[[BindingName]], true)を返す。
 Note

ResolveExportはside-effect freeです。このoperationが特定のexportName、resolveSet pairをargumentsとして呼び出されるたびに、同じ結果を返さなければなりません。実装は、各module namespace exotic objectの[[Exports]]についてResolveExportの結果をpre-computeまたはcacheすることを選択する場合があります。

10.4.6.9 [[Set]] ( propertyKey, value, receiver )

The [[Set]] internal method of module namespace exotic object takes arguments propertyKey (a property key), value (an ECMAScript language value), and receiver (an ECMAScript language value) and returns a normal completion containing false. It performs the following steps when called:

  1. falseを返す。

10.4.6.10 [[Delete]] ( propertyKey )

The [[Delete]] internal method of module namespace exotic object obj takes argument propertyKey (a property key) and returns a normal completion containing a Boolean. It performs the following steps when called:

  1. propertyKeyがSymbolなら、
    1. ! OrdinaryDelete(obj, propertyKey)を返す。
  2. exportsをobj.[[Exports]]とする。
  3. exportsがpropertyKeyを含むなら、falseを返す。
  4. trueを返す。

10.4.6.11 [[OwnPropertyKeys]] ( )

The [[OwnPropertyKeys]] internal method of module namespace exotic object obj takes no arguments and returns a normal completion containing a List of property keys. It performs the following steps when called:

  1. exportsをobj.[[Exports]]とする。
  2. symbolKeysをOrdinaryOwnPropertyKeys(obj)とする。
  3. exportsとsymbolKeysのlist-concatenationを返す。

10.4.6.12 ModuleNamespaceCreate ( module, exports )

The abstract operation ModuleNamespaceCreate takes arguments module (a Module Record) and exports (a List of Strings) and returns a module namespace exotic object. これは、新しいmodule namespace exotic objectsの作成を指定するために使用されます。 It performs the following steps when called:

  1. Assert: module.[[Namespace]]はemptyである。
  2. internalSlotsListをTable 29に列挙されるinternal slotsとする。
  3. namespaceをMakeBasicObject(internalSlotsList)とする。
  4. namespaceのessential internal methodsを10.4.6で指定される定義に設定する。
  5. namespace.[[Module]]をmoduleに設定する。
  6. sortedExportsを、exportsの要素をlexicographic code unit orderに従ってsortした要素を持つListとする。
  7. namespace.[[Exports]]をsortedExportsに設定する。
  8. 28.3の定義に対応するnamespaceのown propertiesを作成する。
  9. module.[[Namespace]]をnamespaceに設定する。
  10. namespaceを返す。

10.4.7 Immutable Prototype Exotic Objects

immutable prototype exotic objectは、初期化されると変更されない[[Prototype]] internal slotを持つexotic objectです。

objectは、その[[SetPrototypeOf]] internal methodが次の実装を使用する場合、immutable prototype exotic objectです。（その他のessential internal methodsは、対象となる具体的なimmutable prototype exotic objectに応じて、任意の実装を使用できます。）

Note

他のexotic objectsとは異なり、immutable prototype exotic objectsには専用のcreation abstract operationは提供されていません。これは、それらが%Object.prototype%およびhost environmentsによってのみ使用され、host environmentsでは、関連objectsが他の方法でもpotentially exoticであるため、それら自身の専用creation operationを必要とするからです。

10.4.7.1 [[SetPrototypeOf]] ( proto )

The [[SetPrototypeOf]] internal method of immutable prototype exotic object obj takes argument proto (an Object or null) and returns either a normal completion containing a Boolean or a throw completion. It performs the following steps when called:

  1. ? SetImmutablePrototype(obj, proto)を返す。

10.4.7.2 SetImmutablePrototype ( obj, proto )

The abstract operation SetImmutablePrototype takes arguments obj (an Object) and proto (an Object or null) and returns either a normal completion containing a Boolean or a throw completion. It performs the following steps when called:

  1. currentを ? obj.[[GetPrototypeOf]]() とする。
  2. SameValue(proto, current)がtrueなら、trueを返す。
  3. falseを返す。

10.5 Proxy Object Internal Methods and Internal Slots

Proxy objectは、そのessential internal methodsが部分的にECMAScriptコードを使用して実装されるexotic objectです。すべてのProxy objectは[[ProxyHandler]]と呼ばれるinternal slotを持ちます。[[ProxyHandler]]の値は、proxyのhandler objectと呼ばれるobject、またはnullです。handler objectのmethods（Table 30を参照）は、Proxy objectの1つ以上のinternal methodsの実装を補強するために使用される場合があります。すべてのProxy objectは[[ProxyTarget]]と呼ばれるinternal slotも持ち、その値はobjectまたはnullのいずれかです。このobjectはproxyのtarget objectと呼ばれます。

objectは、そのessential internal methods（該当する場合は[[Call]]および[[Construct]]を含む）がこのsectionの定義を使用する場合、Proxy exotic objectです。これらのinternal methodsはProxyCreateでinstallされます。

Table 30: Proxy Handler Methods
Internal Method Handler Method
[[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

handler methodがProxy object internal methodの実装を提供するために呼び出されるとき、handler methodにはproxyのtarget objectがparameterとして渡されます。proxyのhandler objectは、すべてのessential internal methodに対応するmethodを必ずしも持つわけではありません。proxy上でinternal methodをinvokeすると、handler objectがinternal trapに対応するmethodを持たない場合、proxyのtarget object上で対応するinternal methodがinvokeされます。

Proxy objectの[[ProxyHandler]]および[[ProxyTarget]] internal slotsは、objectが作成されるときに常に初期化され、通常は変更できません。一部のProxy objectsは、後でrevokedできるような方法で作成されます。proxyがrevokedされると、その[[ProxyHandler]]および[[ProxyTarget]] internal slotsはnullに設定され、そのProxy object上で後続のinternal methodsのinvocationsがTypeError例外をthrowするようになります。

Proxy objectsはinternal methodsの実装を任意のECMAScriptコードによって提供することを許可するため、handler methodsが6.1.7.3で定義されるinvariantsに違反するProxy objectを定義することが可能です。6.1.7.3で定義されるinternal method invariantsの一部はessential integrity invariantsです。これらのinvariantsは、このsectionで指定されるProxy object internal methodsによって明示的に強制されます。ECMAScript実装は、あらゆる可能なinvariant violationsが存在する場合にも堅牢でなければなりません。

以下のalgorithm descriptionsでは、objはECMAScript Proxy object、propertyKeyはproperty key値、valueは任意のECMAScript language value、propertyDescはProperty Descriptor recordであると仮定します。

10.5.1 [[GetPrototypeOf]] ( )

The [[GetPrototypeOf]] internal method of Proxy exotic object obj takes no arguments and returns either a normal completion containing either an Object or null, or a throw completion. It performs the following steps when called:

  1. ? ValidateNonRevokedProxy(obj)を実行する。
  2. targetをobj.[[ProxyTarget]]とする。
  3. handlerをobj.[[ProxyHandler]]とする。
  4. Assert: handlerはObjectである。
  5. trapを ? GetMethod(handler, "getPrototypeOf") とする。
  6. trapがundefinedなら、
    1. ? target.[[GetPrototypeOf]]()を返す。
  7. handlerProtoを ? Call(trap, handler, « target ») とする。
  8. handlerProtoがObjectでなく、かつhandlerProtoがnullでないなら、TypeError例外をthrowする。
  9. extensibleTargetを ? IsExtensible(target) とする。
  10. extensibleTargetがtrueなら、handlerProtoを返す。
  11. targetProtoを ? target.[[GetPrototypeOf]]() とする。
  12. SameValue(handlerProto, targetProto)がfalseなら、TypeError例外をthrowする。
  13. handlerProtoを返す。
 Note

Proxy objectsに対する[[GetPrototypeOf]]は次のinvariantsを強制します：

  • [[GetPrototypeOf]]の結果はObjectまたはnullのいずれかでなければならない。
  • target objectがextensibleでない場合、Proxy objectに適用された[[GetPrototypeOf]]は、Proxy objectのtarget objectに適用された[[GetPrototypeOf]]と同じ値を返さなければならない。

10.5.2 [[SetPrototypeOf]] ( proto )

The [[SetPrototypeOf]] internal method of Proxy exotic object obj takes argument proto (an Object or null) and returns either a normal completion containing a Boolean or a throw completion. It performs the following steps when called:

  1. ? ValidateNonRevokedProxy(obj)を実行する。
  2. targetをobj.[[ProxyTarget]]とする。
  3. handlerをobj.[[ProxyHandler]]とする。
  4. Assert: handlerはObjectである。
  5. trapを ? GetMethod(handler, "setPrototypeOf") とする。
  6. trapがundefinedなら、
    1. ? target.[[SetPrototypeOf]](proto)を返す。
  7. boolTrapResultをToBoolean(? Call(trap, handler, « target, proto »))とする。
  8. boolTrapResultがfalseなら、falseを返す。
  9. extensibleTargetを ? IsExtensible(target) とする。
  10. extensibleTargetがtrueなら、trueを返す。
  11. targetProtoを ? target.[[GetPrototypeOf]]() とする。
  12. SameValue(proto, targetProto)がfalseなら、TypeError例外をthrowする。
  13. trueを返す。
 Note

Proxy objectsに対する[[SetPrototypeOf]]は次のinvariantsを強制します：

  • [[SetPrototypeOf]]の結果はBoolean値である。
  • target objectがextensibleでない場合、argument値はtarget objectに適用された[[GetPrototypeOf]]の結果と同じでなければならない。

10.5.3 [[IsExtensible]] ( )

The [[IsExtensible]] internal method of Proxy exotic object obj takes no arguments and returns either a normal completion containing a Boolean or a throw completion. It performs the following steps when called:

  1. ? ValidateNonRevokedProxy(obj)を実行する。
  2. targetをobj.[[ProxyTarget]]とする。
  3. handlerをobj.[[ProxyHandler]]とする。
  4. Assert: handlerはObjectである。
  5. trapを ? GetMethod(handler, "isExtensible") とする。
  6. trapがundefinedなら、
    1. ? IsExtensible(target)を返す。
  7. boolTrapResultをToBoolean(? Call(trap, handler, « target »))とする。
  8. targetResultを ? IsExtensible(target) とする。
  9. boolTrapResultがtargetResultでないなら、TypeError例外をthrowする。
  10. boolTrapResultを返す。
 Note

Proxy objectsに対する[[IsExtensible]]は次のinvariantsを強制します：

  • [[IsExtensible]]の結果はBoolean値である。
  • Proxy objectに適用された[[IsExtensible]]は、同じargumentを伴ってProxy objectのtarget objectに適用された[[IsExtensible]]と同じ値を返さなければならない。

10.5.4 [[PreventExtensions]] ( )

The [[PreventExtensions]] internal method of Proxy exotic object obj takes no arguments and returns either a normal completion containing a Boolean or a throw completion. It performs the following steps when called:

  1. ? ValidateNonRevokedProxy(obj)を実行する。
  2. targetをobj.[[ProxyTarget]]とする。
  3. handlerをobj.[[ProxyHandler]]とする。
  4. Assert: handlerはObjectである。
  5. trapを ? GetMethod(handler, "preventExtensions") とする。
  6. trapがundefinedなら、
    1. ? target.[[PreventExtensions]]()を返す。
  7. boolTrapResultをToBoolean(? Call(trap, handler, « target »))とする。
  8. boolTrapResultがtrueなら、
    1. extensibleTargetを ? IsExtensible(target) とする。
    2. extensibleTargetがtrueなら、TypeError例外をthrowする。
  9. boolTrapResultを返す。
 Note

Proxy objectsに対する[[PreventExtensions]]は次のinvariantsを強制します：

  • [[PreventExtensions]]の結果はBoolean値である。
  • Proxy objectに適用された[[PreventExtensions]]は、Proxy objectのtarget objectに適用された[[IsExtensible]]がfalseである場合にのみtrueを返す。

10.5.5 [[GetOwnProperty]] ( propertyKey )

The [[GetOwnProperty]] internal method of Proxy exotic object obj takes argument propertyKey (a property key) and returns either a normal completion containing either a Property Descriptor or undefined, or a throw completion. It performs the following steps when called:

  1. ? ValidateNonRevokedProxy(obj)を実行する。
  2. targetをobj.[[ProxyTarget]]とする。
  3. handlerをobj.[[ProxyHandler]]とする。
  4. Assert: handlerはObjectである。
  5. trapを ? GetMethod(handler, "getOwnPropertyDescriptor") とする。
  6. trapがundefinedなら、
    1. ? target.[[GetOwnProperty]](propertyKey)を返す。
  7. trapResultObjを ? Call(trap, handler, « target, propertyKey ») とする。
  8. trapResultObjがObjectでなく、かつtrapResultObjがundefinedでないなら、TypeError例外をthrowする。
  9. targetDescを ? target.[[GetOwnProperty]](propertyKey) とする。
  10. trapResultObjがundefinedなら、
    1. targetDescがundefinedなら、undefinedを返す。
    2. targetDesc.[[Configurable]]がfalseなら、TypeError例外をthrowする。
    3. extensibleTargetを ? IsExtensible(target) とする。
    4. extensibleTargetがfalseなら、TypeError例外をthrowする。
    5. undefinedを返す。
  11. extensibleTargetを ? IsExtensible(target) とする。
  12. resultDescを ? ToPropertyDescriptor(trapResultObj) とする。
  13. CompletePropertyDescriptor(resultDesc)を実行する。
  14. validをIsCompatiblePropertyDescriptor(extensibleTarget, resultDesc, targetDesc)とする。
  15. validがfalseなら、TypeError例外をthrowする。
  16. resultDesc.[[Configurable]]がfalseなら、
    1. targetDescがundefinedまたはtargetDesc.[[Configurable]]がtrueなら、
      1. TypeError例外をthrowする。
    2. resultDescが[[Writable]] fieldを持ち、resultDesc.[[Writable]]がfalseなら、
      1. Assert: targetDescは[[Writable]] fieldを持つ。
      2. targetDesc.[[Writable]]がtrueなら、TypeError例外をthrowする。
  17. resultDescを返す。
 Note

Proxy objectsに対する[[GetOwnProperty]]は次のinvariantsを強制します：

  • [[GetOwnProperty]]の結果はProperty Descriptorまたはundefinedのいずれかでなければならない。
  • propertyがtarget objectのnon-configurable own propertyとして存在する場合、そのpropertyをnon-existentとして報告することはできない。
  • propertyがnon-extensible target objectのown propertyとして存在する場合、そのpropertyをnon-existentとして報告することはできない。
  • propertyがtarget objectのown propertyとして存在せず、かつtarget objectがextensibleでない場合、そのpropertyをexistentとして報告することはできない。
  • propertyがtarget objectのnon-configurable own propertyとして存在しない限り、そのpropertyをnon-configurableとして報告することはできない。
  • propertyがtarget objectのnon-configurable, non-writable own propertyとして存在しない限り、そのpropertyをnon-configurableかつnon-writableとして報告することはできない。

10.5.6 [[DefineOwnProperty]] ( propertyKey, propertyDesc )

The [[DefineOwnProperty]] internal method of Proxy exotic object obj takes arguments propertyKey (a property key) and propertyDesc (a Property Descriptor) and returns either a normal completion containing a Boolean or a throw completion. It performs the following steps when called:

  1. ? ValidateNonRevokedProxy(obj)を実行する。
  2. targetをobj.[[ProxyTarget]]とする。
  3. handlerをobj.[[ProxyHandler]]とする。
  4. Assert: handlerはObjectである。
  5. trapを ? GetMethod(handler, "defineProperty") とする。
  6. trapがundefinedなら、
    1. ? target.[[DefineOwnProperty]](propertyKey, propertyDesc)を返す。
  7. propertyDescObjをFromPropertyDescriptor(propertyDesc)とする。
  8. boolTrapResultをToBoolean(? Call(trap, handler, « target, propertyKey, propertyDescObj »))とする。
  9. boolTrapResultがfalseなら、falseを返す。
  10. targetDescを ? target.[[GetOwnProperty]](propertyKey) とする。
  11. extensibleTargetを ? IsExtensible(target) とする。
  12. propertyDescが[[Configurable]] fieldを持ち、propertyDesc.[[Configurable]]がfalseなら、
    1. settingConfigFalseをtrueとする。
  13. そうでなければ、
    1. settingConfigFalseをfalseとする。
  14. targetDescがundefinedなら、
    1. extensibleTargetがfalseなら、TypeError例外をthrowする。
    2. settingConfigFalseがtrueなら、TypeError例外をthrowする。
  15. そうでなければ、
    1. IsCompatiblePropertyDescriptor(extensibleTarget, propertyDesc, targetDesc)がfalseなら、TypeError例外をthrowする。
    2. settingConfigFalseがtrueかつtargetDesc.[[Configurable]]がtrueなら、TypeError例外をthrowする。
    3. IsDataDescriptor(targetDesc)がtrue、targetDesc.[[Configurable]]がfalse、かつtargetDesc.[[Writable]]がtrueなら、
      1. propertyDescが[[Writable]] fieldを持ち、propertyDesc.[[Writable]]がfalseなら、TypeError例外をthrowする。
  16. trueを返す。
 Note

Proxy objectsに対する[[DefineOwnProperty]]は次のinvariantsを強制します：

  • [[DefineOwnProperty]]の結果はBoolean値である。
  • target objectがextensibleでない場合、propertyを追加することはできない。
  • target objectの対応するnon-configurable own propertyが存在しない限り、propertyはnon-configurableになれない。
  • target objectの対応するnon-configurable, non-writable own propertyが存在しない限り、non-configurable propertyはnon-writableになれない。
  • propertyに対応するtarget object propertyが存在する場合、そのpropertyのProperty Descriptorを[[DefineOwnProperty]]を使用してtarget objectに適用しても例外はthrowされない。

10.5.7 [[HasProperty]] ( propertyKey )

The [[HasProperty]] internal method of Proxy exotic object obj takes argument propertyKey (a property key) and returns either a normal completion containing a Boolean or a throw completion. It performs the following steps when called:

  1. ? ValidateNonRevokedProxy(obj)を実行する。
  2. targetをobj.[[ProxyTarget]]とする。
  3. handlerをobj.[[ProxyHandler]]とする。
  4. Assert: handlerはObjectである。
  5. trapを ? GetMethod(handler, "has") とする。
  6. trapがundefinedなら、
    1. ? target.[[HasProperty]](propertyKey)を返す。
  7. boolTrapResultをToBoolean(? Call(trap, handler, « target, propertyKey »))とする。
  8. boolTrapResultがfalseなら、
    1. targetDescを ? target.[[GetOwnProperty]](propertyKey) とする。
    2. targetDescがundefinedでないなら、
      1. targetDesc.[[Configurable]]がfalseなら、TypeError例外をthrowする。
      2. extensibleTargetを ? IsExtensible(target) とする。
      3. extensibleTargetがfalseなら、TypeError例外をthrowする。
  9. boolTrapResultを返す。
 Note

Proxy objectsに対する[[HasProperty]]は次のinvariantsを強制します：

  • [[HasProperty]]の結果はBoolean値である。
  • propertyがtarget objectのnon-configurable own propertyとして存在する場合、そのpropertyをnon-existentとして報告することはできない。
  • propertyがtarget objectのown propertyとして存在し、かつtarget objectがextensibleでない場合、そのpropertyをnon-existentとして報告することはできない。

10.5.8 [[Get]] ( propertyKey, receiver )

The [[Get]] internal method of Proxy exotic object obj takes arguments propertyKey (a property key) and receiver (an ECMAScript language value) and returns either a normal completion containing an ECMAScript language value or a throw completion. It performs the following steps when called:

  1. ? ValidateNonRevokedProxy(obj)を実行する。
  2. targetをobj.[[ProxyTarget]]とする。
  3. handlerをobj.[[ProxyHandler]]とする。
  4. Assert: handlerはObjectである。
  5. trapを ? GetMethod(handler, "get") とする。
  6. trapがundefinedなら、
    1. ? target.[[Get]](propertyKey, receiver)を返す。
  7. trapResultを ? Call(trap, handler, « target, propertyKey, receiver ») とする。
  8. targetDescを ? target.[[GetOwnProperty]](propertyKey) とする。
  9. targetDescがundefinedでなく、かつtargetDesc.[[Configurable]]がfalseなら、
    1. IsDataDescriptor(targetDesc)がtrueであり、かつtargetDesc.[[Writable]]がfalseなら、
      1. SameValue(trapResult, targetDesc.[[Value]])がfalseなら、TypeError例外をthrowする。
    2. IsAccessorDescriptor(targetDesc)がtrueであり、かつtargetDesc.[[Get]]がundefinedなら、
      1. trapResultがundefinedでないなら、TypeError例外をthrowする。
  10. trapResultを返す。
 Note

Proxy objectsに対する[[Get]]は次のinvariantsを強制します：

  • propertyについて報告される値は、target object propertyがnon-writable, non-configurable own data propertyである場合、対応するtarget object propertyの値と同じでなければならない。
  • 対応するtarget object propertyが[[Get]]属性としてundefinedを持つnon-configurable own accessor propertyである場合、propertyについて報告される値はundefinedでなければならない。

10.5.9 [[Set]] ( propertyKey, value, receiver )

The [[Set]] internal method of Proxy exotic object obj takes arguments propertyKey (a property key), value (an ECMAScript language value), and receiver (an ECMAScript language value) and returns either a normal completion containing a Boolean or a throw completion. It performs the following steps when called:

  1. ? ValidateNonRevokedProxy(obj)を実行する。
  2. targetをobj.[[ProxyTarget]]とする。
  3. handlerをobj.[[ProxyHandler]]とする。
  4. Assert: handlerはObjectである。
  5. trapを ? GetMethod(handler, "set") とする。
  6. trapがundefinedなら、
    1. ? target.[[Set]](propertyKey, value, receiver)を返す。
  7. boolTrapResultをToBoolean(? Call(trap, handler, « target, propertyKey, value, receiver »))とする。
  8. boolTrapResultがfalseなら、falseを返す。
  9. targetDescを ? target.[[GetOwnProperty]](propertyKey) とする。
  10. targetDescがundefinedでなく、かつtargetDesc.[[Configurable]]がfalseなら、
    1. IsDataDescriptor(targetDesc)がtrueであり、かつtargetDesc.[[Writable]]がfalseなら、
      1. SameValue(value, targetDesc.[[Value]])がfalseなら、TypeError例外をthrowする。
    2. IsAccessorDescriptor(targetDesc)がtrueなら、
      1. targetDesc.[[Set]]がundefinedなら、TypeError例外をthrowする。
  11. trueを返す。
 Note

Proxy objectsに対する[[Set]]は次のinvariantsを強制します：

  • [[Set]]の結果はBoolean値である。
  • 対応するtarget object propertyがnon-writable, non-configurable own data propertyである場合、propertyの値を、対応するtarget object propertyの値と異なるものに変更することはできない。
  • 対応するtarget object propertyが[[Set]]属性としてundefinedを持つnon-configurable own accessor propertyである場合、propertyの値を設定することはできない。

10.5.10 [[Delete]] ( propertyKey )

The [[Delete]] internal method of Proxy exotic object obj takes argument propertyKey (a property key) and returns either a normal completion containing a Boolean or a throw completion. It performs the following steps when called:

  1. ? ValidateNonRevokedProxy(obj)を実行する。
  2. targetをobj.[[ProxyTarget]]とする。
  3. handlerをobj.[[ProxyHandler]]とする。
  4. Assert: handlerはObjectである。
  5. trapを ? GetMethod(handler, "deleteProperty") とする。
  6. trapがundefinedなら、
    1. ? target.[[Delete]](propertyKey)を返す。
  7. boolTrapResultをToBoolean(? Call(trap, handler, « target, propertyKey »))とする。
  8. boolTrapResultがfalseなら、falseを返す。
  9. targetDescを ? target.[[GetOwnProperty]](propertyKey) とする。
  10. targetDescがundefinedなら、trueを返す。
  11. targetDesc.[[Configurable]]がfalseなら、TypeError例外をthrowする。
  12. extensibleTargetを ? IsExtensible(target) とする。
  13. extensibleTargetがfalseなら、TypeError例外をthrowする。
  14. trueを返す。
 Note

Proxy objectsに対する[[Delete]]は次のinvariantsを強制します：

  • [[Delete]]の結果はBoolean値である。
  • propertyがtarget objectのnon-configurable own propertyとして存在する場合、そのpropertyをdeletedとして報告することはできない。
  • propertyがtarget objectのown propertyとして存在し、かつtarget objectがnon-extensibleである場合、そのpropertyをdeletedとして報告することはできない。

10.5.11 [[OwnPropertyKeys]] ( )

The [[OwnPropertyKeys]] internal method of Proxy exotic object obj takes no arguments and returns either a normal completion containing a List of property keys or a throw completion. It performs the following steps when called:

  1. ? ValidateNonRevokedProxy(obj)を実行する。
  2. targetをobj.[[ProxyTarget]]とする。
  3. handlerをobj.[[ProxyHandler]]とする。
  4. Assert: handlerはObjectである。
  5. trapを ? GetMethod(handler, "ownKeys") とする。
  6. trapがundefinedなら、
    1. ? target.[[OwnPropertyKeys]]()を返す。
  7. trapResultArrayを ? Call(trap, handler, « target ») とする。
  8. trapResultを ? CreateListFromArrayLike(trapResultArray, property-key) とする。
  9. trapResultが重複entriesを含むなら、TypeError例外をthrowする。
  10. extensibleTargetを ? IsExtensible(target) とする。
  11. targetKeysを ? target.[[OwnPropertyKeys]]() とする。
  12. Assert: targetKeysはproperty keysのListである。
  13. Assert: targetKeysは重複entriesを含まない。
  14. targetConfigurableKeysを新しい空のListとする。
  15. targetNonconfigurableKeysを新しい空のListとする。
  16. targetKeysの各要素keyについて、以下を行う
    1. propertyDescを ? target.[[GetOwnProperty]](key) とする。
    2. propertyDescがundefinedでなく、かつpropertyDesc.[[Configurable]]がfalseなら、
      1. keyをtargetNonconfigurableKeysへappendする。
    3. そうでなければ、
      1. keyをtargetConfigurableKeysへappendする。
  17. extensibleTargetがtrueであり、かつtargetNonconfigurableKeysが空なら、
    1. trapResultを返す。
  18. uncheckedResultKeysを、要素がtrapResultの要素であるListとする。
  19. targetNonconfigurableKeysの各要素keyについて、以下を行う
    1. uncheckedResultKeysがkeyを含まないなら、TypeError例外をthrowする。
    2. keyをuncheckedResultKeysから削除する。
  20. extensibleTargetがtrueなら、trapResultを返す。
  21. targetConfigurableKeysの各要素keyについて、以下を行う
    1. uncheckedResultKeysがkeyを含まないなら、TypeError例外をthrowする。
    2. keyをuncheckedResultKeysから削除する。
  22. uncheckedResultKeysが空でないなら、TypeError例外をthrowする。
  23. trapResultを返す。
 Note

Proxy objectsに対する[[OwnPropertyKeys]]は次のinvariantsを強制します：

  • [[OwnPropertyKeys]]の結果はListである。
  • 返されるListは重複entriesを含まない。
  • 返されるListの各要素はproperty keyである。
  • result Listは、target objectのすべてのnon-configurable own propertiesのkeysを含まなければならない。
  • target objectがextensibleでない場合、result Listはtarget objectのown propertiesのすべてのkeysを含み、他の値を含んではならない。

10.5.12 [[Call]] ( thisArg, argList )

The [[Call]] internal method of Proxy exotic object obj takes arguments thisArg (an ECMAScript language value) and argList (a List of ECMAScript language values) and returns either a normal completion containing an ECMAScript language value or a throw completion. It performs the following steps when called:

  1. ? ValidateNonRevokedProxy(obj)を実行する。
  2. targetをobj.[[ProxyTarget]]とする。
  3. handlerをobj.[[ProxyHandler]]とする。
  4. Assert: handlerはObjectである。
  5. trapを ? GetMethod(handler, "apply") とする。
  6. trapがundefinedなら、
    1. ? Call(target, thisArg, argList)を返す。
  7. argArrayをCreateArrayFromList(argList)とする。
  8. ? Call(trap, handler, « target, thisArg, argArray »)を返す。
 Note

Proxy exotic objectが[[Call]] internal methodを持つのは、その[[ProxyTarget]] internal slotの初期値が[[Call]] internal methodを持つobjectである場合のみです。

10.5.13 [[Construct]] ( argList, newTarget )

The [[Construct]] internal method of Proxy exotic object obj takes arguments argList (a List of ECMAScript language values) and newTarget (a constructor) and returns either a normal completion containing an Object or a throw completion. It performs the following steps when called:

  1. ? ValidateNonRevokedProxy(obj)を実行する。
  2. targetをobj.[[ProxyTarget]]とする。
  3. Assert: IsConstructor(target)はtrueである。
  4. handlerをobj.[[ProxyHandler]]とする。
  5. Assert: handlerはObjectである。
  6. trapを ? GetMethod(handler, "construct") とする。
  7. trapがundefinedなら、
    1. ? Construct(target, argList, newTarget)を返す。
  8. argArrayをCreateArrayFromList(argList)とする。
  9. newObjを ? Call(trap, handler, « target, argArray, newTarget ») とする。
  10. newObjがObjectでないなら、TypeError例外をthrowする。
  11. newObjを返す。
 Note 1

Proxy exotic objectが[[Construct]] internal methodを持つのは、その[[ProxyTarget]] internal slotの初期値が[[Construct]] internal methodを持つobjectである場合のみです。

 Note 2

Proxy objectsに対する[[Construct]]は次のinvariantsを強制します：

  • [[Construct]]の結果はObjectでなければならない。

10.5.14 ValidateNonRevokedProxy ( proxy )

The abstract operation ValidateNonRevokedProxy takes argument proxy (a Proxy exotic object) and returns either a normal completion containing unused or a throw completion. これはproxyがrevokedされている場合、TypeError例外をthrowします。 It performs the following steps when called:

  1. proxy.[[ProxyTarget]]がnullなら、TypeError例外をthrowする。
  2. Assert: proxy.[[ProxyHandler]]はnullでない。
  3. unusedを返す。

10.5.15 ProxyCreate ( target, handler )

The abstract operation ProxyCreate takes arguments target (an ECMAScript language value) and handler (an ECMAScript language value) and returns either a normal completion containing a Proxy exotic object or a throw completion. これは、新しいProxy objectsの作成を指定するために使用されます。 It performs the following steps when called:

  1. targetがObjectでないなら、TypeError例外をthrowする。
  2. handlerがObjectでないなら、TypeError例外をthrowする。
  3. proxyをMakeBasicObject(« [[ProxyHandler]], [[ProxyTarget]] »)とする。
  4. , [[Call]]および[[Construct]]を除き、proxyのessential internal methodsを10.5で指定される定義に設定する。
  5. IsCallable(target)がtrueなら、
    1. proxy.[[Call]]を10.5.12で指定されるように設定する。
    2. IsConstructor(target)がtrueなら、
      1. proxy.[[Construct]]を10.5.13で指定されるように設定する。
  6. proxy.[[ProxyTarget]]をtargetに設定する。
  7. proxy.[[ProxyHandler]]をhandlerに設定する。
  8. proxyを返す。