10.1 일반 객체 내부 메서드와 내부 슬롯모든 일반 객체 [[Prototype]] 이라는 내부 슬롯이 있습니다. 이 내부 슬롯의 값은 null 또는 객체이며 상속을 구현하는 데 사용됩니다. propertyKey 라는 이름의 프로퍼티가 일반 객체 obj 에는 없지만 해당 [[Prototype]] 객체에는 존재한다고 가정합니다. propertyKey 가 [[Prototype]] 객체의 데이터 프로퍼티 obj 는 get 접근을 위해 이를 상속하며, propertyKey 가 obj 의 프로퍼티인 것처럼 동작합니다. propertyKey 가 [[Prototype]] 객체의 쓰기 가능한 데이터 프로퍼티 obj 에서 propertyKey 에 대한 set 접근은 obj 에 propertyKey 라는 이름의 새로운 데이터 프로퍼티 propertyKey 가 [[Prototype]] 객체의 쓰기 불가능한 데이터 프로퍼티 obj 에서 propertyKey 에 대한 set 접근은 실패합니다. propertyKey 가 [[Prototype]] 객체의 접근자 프로퍼티 obj 에 상속됩니다.
모든 일반 객체 [[Extensible]] 내부 슬롯이 있으며, 이는 6.1.7.3 [[Extensible]] 내부 슬롯 값이 false 로 설정되고 나면 더 이상 객체에 프로퍼티를 추가하거나, 객체의 [[Prototype]] 내부 슬롯 값을 수정하거나, 이후 [[Extensible]] 값을 true 로 변경할 수 없습니다.
다음 알고리즘 설명에서는 obj 가 일반 객체 propertyKey 가 프로퍼티 키 value 가 임의의 ECMAScript 언어 값 propertyDesc 가 Property Descriptor Record
각 일반 객체 추상 연산 추상 연산 추상 연산 obj 에서 내부 메서드를 호출합니다. 이러한 의미론은 일반 객체 특수 객체 특수 객체
10.1.1 [[GetPrototypeOf]] ( )an ordinary object obj 의 내부 메서드 [[GetPrototypeOf]] . 인수 없음. 반환값: 정상 완료 null )). 호출되면 다음 단계를 수행한다.
OrdinaryGetPrototypeOf obj )를 반환합니다.
10.1.1.1 OrdinaryGetPrototypeOf ( obj )추상 연산 obj (Object). 반환값: (Object 또는 null ). 호출되면 다음 단계를 수행한다.
obj .[[Prototype]] 을 반환합니다.
10.1.2 [[SetPrototypeOf]] ( proto )an ordinary object obj 의 내부 메서드 [[SetPrototypeOf]] . 인수 proto ((Object 또는 null )). 반환값: 정상 완료
OrdinarySetPrototypeOf obj , proto )를 반환합니다.
10.1.2.1 OrdinarySetPrototypeOf ( obj , proto )추상 연산 obj (Object) 및 proto ((Object 또는 null )). 반환값: Boolean. 호출되면 다음 단계를 수행한다.
current 를 obj .[[Prototype]] 으로 둡니다.SameValue proto , current )가 true 이면, true 를 반환합니다.extensible 을 obj .[[Extensible]] 로 둡니다.extensible 이 false 이면, false 를 반환합니다.cursor 를 proto 로 둡니다.done 을 false 로 둡니다.done 이 false 인 동안 다음을 반복합니다.cursor 가 null 이면, 다음을 수행합니다.done 을 true 로 설정합니다.그렇지 않고 SameValue cursor , obj )가 true 이면, 다음을 수행합니다.false 를 반환합니다. 그렇지 않으면,cursor .[[GetPrototypeOf]] 10.1.1 일반 객체 done 을 true 로 설정합니다.그렇지 않으면 cursor 를 cursor .[[Prototype]] 으로 설정합니다. obj .[[Prototype]] 을 proto 로 설정합니다.true 를 반환합니다.참고
7 [[GetPrototypeOf]] 및 [[SetPrototypeOf]] 에 일반 객체
10.1.3 [[IsExtensible]] ( )an ordinary object obj 의 내부 메서드 [[IsExtensible]] . 인수 없음. 반환값: 정상 완료
OrdinaryIsExtensible obj )를 반환합니다.
10.1.3.1 OrdinaryIsExtensible ( obj )추상 연산 obj (Object). 반환값: Boolean. 호출되면 다음 단계를 수행한다.
obj .[[Extensible]] 을 반환합니다.
10.1.4 [[PreventExtensions]] ( )an ordinary object obj 의 내부 메서드 [[PreventExtensions]] . 인수 없음. 반환값: 정상 완료 true ). 호출되면 다음 단계를 수행한다.
OrdinaryPreventExtensions obj )를 반환합니다.
10.1.4.1 OrdinaryPreventExtensions ( obj )추상 연산 obj (Object). 반환값: true . 호출되면 다음 단계를 수행한다.
obj .[[Extensible]] 을 false 로 설정합니다.true 를 반환합니다.
10.1.5 [[GetOwnProperty]] ( propertyKey )an ordinary object obj 의 내부 메서드 [[GetOwnProperty]] . 인수 propertyKey (프로퍼티 키 정상 완료 프로퍼티 서술자 undefined )). 호출되면 다음 단계를 수행한다.
OrdinaryGetOwnProperty obj , propertyKey )를 반환합니다.
10.1.5.1 OrdinaryGetOwnProperty ( obj , propertyKey )추상 연산 obj (Object) 및 propertyKey (프로퍼티 키 프로퍼티 서술자 undefined ). 호출되면 다음 단계를 수행한다.
obj 에 키가 propertyKey 인 자체 프로퍼티가 없으면, undefined 를 반환합니다.propertyDesc 를 필드가 없는 새로 생성된 Property Descriptor ownProperty 를 키가 propertyKey 인 obj 의 자체 프로퍼티로 둡니다.ownProperty 가 데이터 프로퍼티 propertyDesc .[[Value]] 를 ownProperty 의 [[Value]] 속성 값으로 설정합니다.propertyDesc .[[Writable]] 을 ownProperty 의 [[Writable]] 속성 값으로 설정합니다.그렇지 않으면,단언 ownProperty 는 접근자 프로퍼티 propertyDesc .[[Getter]] 를 ownProperty 의 [[Getter]] 속성 값으로 설정합니다.propertyDesc .[[Setter]] 를 ownProperty 의 [[Setter]] 속성 값으로 설정합니다. propertyDesc .[[Enumerable]] 을 ownProperty 의 [[Enumerable]] 속성 값으로 설정합니다.propertyDesc .[[Configurable]] 을 ownProperty 의 [[Configurable]] 속성 값으로 설정합니다.propertyDesc 를 반환합니다.
10.1.6 [[DefineOwnProperty]] ( propertyKey , propertyDesc )an ordinary object obj 의 내부 메서드 [[DefineOwnProperty]] . 인수 propertyKey (프로퍼티 키 propertyDesc (프로퍼티 서술자 정상 완료 throw 완료
? OrdinaryDefineOwnProperty obj , propertyKey , propertyDesc )를 반환합니다.
10.1.6.1 OrdinaryDefineOwnProperty ( obj , propertyKey , propertyDesc )추상 연산 obj (Object), propertyKey (프로퍼티 키 propertyDesc (프로퍼티 서술자 정상 완료 throw 완료
current 를 ? obj .[[GetOwnProperty]] propertyKey )extensible 을 ? IsExtensible obj )로 둡니다.ValidateAndApplyPropertyDescriptor obj , propertyKey , extensible , propertyDesc , current )를 반환합니다.
10.1.6.2 IsCompatiblePropertyDescriptor ( extensible , propertyDesc , current )추상 연산 extensible (Boolean), propertyDesc (프로퍼티 서술자 current ((프로퍼티 서술자 undefined )). 반환값: Boolean. 호출되면 다음 단계를 수행한다.
ValidateAndApplyPropertyDescriptor undefined , "" , extensible , propertyDesc , current )를 반환합니다.
10.1.6.3 ValidateAndApplyPropertyDescriptor ( obj , propertyKey , extensible , propertyDesc , current )추상 연산 obj ((Object 또는 undefined )), propertyKey (프로퍼티 키 extensible (Boolean), propertyDesc (프로퍼티 서술자 current ((프로퍼티 서술자 undefined )). 반환값: Boolean. 지정된 extensibility 와 현재 프로퍼티 current 를 갖는 객체의 프로퍼티로 propertyDesc 를 적용하면서 불변 조건 true 를 반환합니다. 이러한 적용이 가능하고 obj 가 undefined 가 아니면 propertyKey 라는 이름의 프로퍼티에 적용하며, 필요한 경우 해당 프로퍼티를 생성합니다. 호출되면 다음 단계를 수행한다.
단언 propertyKey 는 프로퍼티 키 current 가 undefined 이면, 다음을 수행합니다.extensible 이 false 이면, false 를 반환합니다.obj 가 undefined 이면, true 를 반환합니다.IsAccessorDescriptor propertyDesc )가 true 이면, 다음을 수행합니다.객체 obj 에 propertyKey 라는 이름의 자체 접근자 프로퍼티 [[Getter]] , [[Setter]] , [[Enumerable]] 및 [[Configurable]] 속성은 propertyDesc 에 대응하는 필드가 있으면 해당 필드 값으로 설정하고, 그렇지 않으면 해당 속성의 기본값 그렇지 않으면,객체 obj 에 propertyKey 라는 이름의 자체 데이터 프로퍼티 [[Value]] , [[Writable]] , [[Enumerable]] 및 [[Configurable]] 속성은 propertyDesc 에 대응하는 필드가 있으면 해당 필드 값으로 설정하고, 그렇지 않으면 해당 속성의 기본값 true 를 반환합니다.단언 current 는 모든 필드가 채워진 Property Descriptor propertyDesc 에 필드가 하나도 없으면, true 를 반환합니다.current .[[Configurable]] 이 false 이면, 다음을 수행합니다.propertyDesc 에 [[Configurable]] 필드가 있고 propertyDesc .[[Configurable]] 이 true 이면, false 를 반환합니다.propertyDesc 에 [[Enumerable]] 필드가 있고 propertyDesc .[[Enumerable]] 이 current .[[Enumerable]] 과 다르면, false 를 반환합니다.IsGenericDescriptor propertyDesc )가 false 이고 IsAccessorDescriptor propertyDesc )가 IsAccessorDescriptor current )와 다르면, false 를 반환합니다.IsAccessorDescriptor current )가 true 이면, 다음을 수행합니다.propertyDesc 에 [[Getter]] 필드가 있고 SameValue propertyDesc .[[Getter]] , current .[[Getter]] )가 false 이면, false 를 반환합니다.propertyDesc 에 [[Setter]] 필드가 있고 SameValue propertyDesc .[[Setter]] , current .[[Setter]] )가 false 이면, false 를 반환합니다.그렇지 않고 current .[[Writable]] 이 false 이면, 다음을 수행합니다.propertyDesc 에 [[Writable]] 필드가 있고 propertyDesc .[[Writable]] 이 true 이면, false 를 반환합니다.참고 SameValue NaN 값에 대해 true 를 반환합니다. 여기에서 반환하면 obj 의 기존 프로퍼티가 수정되지 않도록 보장합니다.propertyDesc 에 [[Value]] 필드가 있으면, SameValue propertyDesc .[[Value]] , current .[[Value]] )를 반환합니다. obj 가 undefined 가 아니면, 다음을 수행합니다.IsDataDescriptor current )가 true 이고 IsAccessorDescriptor propertyDesc )가 true 이면, 다음을 수행합니다.propertyDesc 에 [[Configurable]] 필드가 있으면 configurable 을 propertyDesc .[[Configurable]] 로 둡니다. 그렇지 않으면 configurable 을 current .[[Configurable]] 로 둡니다.propertyDesc 에 [[Enumerable]] 필드가 있으면 enumerable 을 propertyDesc .[[Enumerable]] 로 둡니다. 그렇지 않으면 enumerable 을 current .[[Enumerable]] 로 둡니다.객체 obj 에서 propertyKey 라는 이름의 프로퍼티를 접근자 프로퍼티 [[Configurable]] 및 [[Enumerable]] 속성은 각각 configurable 및 enumerable 로 설정하고, [[Getter]] 및 [[Setter]] 속성은 propertyDesc 에 대응하는 필드가 있으면 해당 필드 값으로 설정하며, 그렇지 않으면 해당 속성의 기본값 그렇지 않고 IsAccessorDescriptor current )가 true 이고 IsDataDescriptor propertyDesc )가 true 이면, 다음을 수행합니다.propertyDesc 에 [[Configurable]] 필드가 있으면 configurable 을 propertyDesc .[[Configurable]] 로 둡니다. 그렇지 않으면 configurable 을 current .[[Configurable]] 로 둡니다.propertyDesc 에 [[Enumerable]] 필드가 있으면 enumerable 을 propertyDesc .[[Enumerable]] 로 둡니다. 그렇지 않으면 enumerable 을 current .[[Enumerable]] 로 둡니다.객체 obj 에서 propertyKey 라는 이름의 프로퍼티를 데이터 프로퍼티 [[Configurable]] 및 [[Enumerable]] 속성은 각각 configurable 및 enumerable 로 설정하고, [[Value]] 및 [[Writable]] 속성은 propertyDesc 에 대응하는 필드가 있으면 해당 필드 값으로 설정하며, 그렇지 않으면 해당 속성의 기본값 그렇지 않으면,propertyDesc 의 각 필드 이름 fieldName 에 대해 객체 obj 에서 propertyKey 라는 이름의 프로퍼티에 있는 fieldName 이라는 이름의 속성을 propertyDesc 의 fieldName 필드 값으로 설정합니다. true 를 반환합니다.
10.1.7 [[HasProperty]] ( propertyKey )an ordinary object obj 의 내부 메서드 [[HasProperty]] . 인수 propertyKey (프로퍼티 키 정상 완료 throw 완료
? OrdinaryHasProperty obj , propertyKey )를 반환합니다.
10.1.7.1 OrdinaryHasProperty ( obj , propertyKey )추상 연산 obj (Object) 및 propertyKey (프로퍼티 키 정상 완료 throw 완료
hasOwn 을 ? obj .[[GetOwnProperty]] propertyKey )hasOwn 이 undefined 가 아니면, true 를 반환합니다.parent 를 ? obj .[[GetPrototypeOf]] parent 가 null 이 아니면, 다음을 수행합니다.? parent .[[HasProperty]] propertyKey ) false 를 반환합니다.
10.1.8 [[Get]] ( propertyKey , receiver )an ordinary object obj 의 내부 메서드 [[Get]] . 인수 propertyKey (프로퍼티 키 receiver (ECMAScript 언어 값 정상 완료 ECMAScript 언어 값 throw 완료
? OrdinaryGet obj , propertyKey , receiver )를 반환합니다.
10.1.8.1 OrdinaryGet ( obj , propertyKey , receiver )추상 연산 obj (Object), propertyKey (프로퍼티 키 receiver (ECMAScript 언어 값 정상 완료 ECMAScript 언어 값 throw 완료
propertyDesc 를 ? obj .[[GetOwnProperty]] propertyKey )propertyDesc 가 undefined 이면, 다음을 수행합니다.parent 를 ? obj .[[GetPrototypeOf]] parent 가 null 이면, undefined 를 반환합니다.? parent .[[Get]] propertyKey , receiver ) IsDataDescriptor propertyDesc )가 true 이면, propertyDesc .[[Value]] 를 반환합니다.단언 IsAccessorDescriptor propertyDesc )는 true 입니다.getter 를 propertyDesc .[[Getter]] 로 둡니다.getter 가 undefined 이면, undefined 를 반환합니다.? Call getter , receiver )를 반환합니다.
10.1.9 [[Set]] ( propertyKey , value , receiver )an ordinary object obj 의 내부 메서드 [[Set]] . 인수 propertyKey (프로퍼티 키 value (ECMAScript 언어 값 receiver (ECMAScript 언어 값 정상 완료 throw 완료
? OrdinarySet obj , propertyKey , value , receiver )를 반환합니다.
10.1.9.1 OrdinarySet ( obj , propertyKey , value , receiver )추상 연산 obj (Object), propertyKey (프로퍼티 키 value (ECMAScript 언어 값 receiver (ECMAScript 언어 값 정상 완료 throw 완료
ownDesc 를 ? obj .[[GetOwnProperty]] propertyKey )? OrdinarySetWithOwnDescriptor obj , propertyKey , value , receiver , ownDesc )를 반환합니다.
10.1.9.2 OrdinarySetWithOwnDescriptor ( obj , propertyKey , value , receiver , ownDesc )추상 연산 obj (Object), propertyKey (프로퍼티 키 value (ECMAScript 언어 값 receiver (ECMAScript 언어 값 ownDesc ((프로퍼티 서술자 undefined )). 반환값: (정상 완료 throw 완료
ownDesc 가 undefined 이면, 다음을 수행합니다.parent 를 ? obj .[[GetPrototypeOf]] parent 가 null 이 아니면, ? parent .[[Set]] propertyKey , value , receiver )ownDesc 를 PropertyDescriptor { [[Value]] : undefined , [[Writable]] : true , [[Enumerable]] : true , [[Configurable]] : true }로 설정합니다.IsDataDescriptor ownDesc )가 true 이면, 다음을 수행합니다.ownDesc .[[Writable]] 이 false 이면, false 를 반환합니다.receiver 가 Object가 아니면, false 를 반환합니다.existingDesc 를 ? receiver .[[GetOwnProperty]] propertyKey )existingDesc 가 undefined 이면, 다음을 수행합니다.단언 receiver 에는 현재 프로퍼티 propertyKey 가 없습니다.? CreateDataProperty receiver , propertyKey , value )를 반환합니다. IsAccessorDescriptor existingDesc )가 true 이면, false 를 반환합니다.existingDesc .[[Writable]] 이 false 이면, false 를 반환합니다.valueDesc 를 PropertyDescriptor { [[Value]] : value }로 둡니다.? receiver .[[DefineOwnProperty]] propertyKey , valueDesc ) 단언 IsAccessorDescriptor ownDesc )는 true 입니다.setter 를 ownDesc .[[Setter]] 로 둡니다.setter 가 undefined 이면, false 를 반환합니다.? Call setter , receiver , « value »)를 수행합니다. true 를 반환합니다.
10.1.10 [[Delete]] ( propertyKey )an ordinary object obj 의 내부 메서드 [[Delete]] . 인수 propertyKey (프로퍼티 키 정상 완료 throw 완료
? OrdinaryDelete obj , propertyKey )를 반환합니다.
10.1.10.1 OrdinaryDelete ( obj , propertyKey )추상 연산 obj (Object) 및 propertyKey (프로퍼티 키 정상 완료 throw 완료
propertyDesc 를 ? obj .[[GetOwnProperty]] propertyKey )propertyDesc 가 undefined 이면, true 를 반환합니다.propertyDesc .[[Configurable]] 이 true 이면, 다음을 수행합니다.obj 에서 이름이 propertyKey 인 자체 프로퍼티를 제거합니다.true 를 반환합니다.false 를 반환합니다.
10.1.11 [[OwnPropertyKeys]] ( )an ordinary object obj 의 내부 메서드 [[OwnPropertyKeys]] . 인수 없음. 반환값: 정상 완료 리스트 프로퍼티 키
OrdinaryOwnPropertyKeys obj )를 반환합니다.
10.1.11.1 OrdinaryOwnPropertyKeys ( obj )추상 연산 obj (Object). 반환값: 리스트 프로퍼티 키
keys 를 새로운 빈 List 배열 인덱스 obj 의 각 자체 프로퍼티 키 propertyKey 에 대해 숫자 인덱스 오름차순으로 다음을 수행합니다.propertyKey 를 keys 에 추가합니다.String이고 배열 인덱스 obj 의 각 자체 프로퍼티 키 propertyKey 에 대해 프로퍼티 생성 시간 오름차순으로 다음을 수행합니다.propertyKey 를 keys 에 추가합니다. Symbol인 obj 의 각 자체 프로퍼티 키 propertyKey 에 대해 프로퍼티 생성 시간 오름차순으로 다음을 수행합니다.propertyKey 를 keys 에 추가합니다. keys 를 반환합니다.
10.1.12 OrdinaryObjectCreate ( proto [ , additionalInternalSlotsList ] )추상 연산 proto ((Object 또는 null )) 및 선택적 인수 additionalInternalSlotsList (리스트 일반 객체 additionalInternalSlotsList 에는 [[Prototype]] 및 [[Extensible]] 외에 객체의 일부로 정의해야 하는 추가 내부 슬롯의 이름이 포함됩니다. additionalInternalSlotsList 가 제공되지 않으면 새로운 빈 List
internalSlotsList 를 « [[Prototype]] , [[Extensible]] »로 둡니다.additionalInternalSlotsList 가 존재하면 internalSlotsList 를 internalSlotsList 와 additionalInternalSlotsList 의 목록 연결 obj 를 MakeBasicObject internalSlotsList )로 둡니다.obj .[[Prototype]] 을 proto 로 설정합니다.obj 를 반환합니다.참고
OrdinaryObjectCreate는 MakeBasicObject 특수 객체 일반 객체 일반 객체 특수 객체 MakeBasicObject
10.1.13 OrdinaryCreateFromConstructor ( ctor , intrinsicDefaultProto [ , internalSlotsList ] )추상 연산 ctor (함수 객체 intrinsicDefaultProto (String) 및 선택적 인수 internalSlotsList (리스트 정상 완료 throw 완료 생성자 "prototype" 속성이 존재하면 해당 속성에서 [[Prototype]] 값을 가져오고, 그렇지 않으면 생성자 intrinsicDefaultProto 로 지정된 내장 객체를 [[Prototype]] 값으로 사용하는 일반 객체 internalSlotsList 에는 해당 객체의 일부로 정의해야 하는 추가 내부 슬롯의 이름이 포함됩니다. 호출되면 다음 단계를 수행한다.
단언 intrinsicDefaultProto 는 이 명세에서 내재 객체에 사용하는 이름입니다. 대응하는 객체는 객체의 [[Prototype]] 값으로 사용하도록 의도된 내재 객체여야 합니다.proto 를 ? GetPrototypeFromConstructor ctor , intrinsicDefaultProto )로 둡니다.internalSlotsList 가 존재하면 slots 를 internalSlotsList 로 둡니다.그렇지 않으면 slots 를 새로운 빈 List OrdinaryObjectCreate proto , slots )를 반환합니다.
10.1.14 GetPrototypeFromConstructor ( ctor , intrinsicDefaultProto )추상 연산 ctor (함수 객체 intrinsicDefaultProto (String). 반환값: (정상 완료 throw 완료 생성자 [[Prototype]] 값을 결정합니다. 생성자 "prototype" 속성이 존재하면 해당 속성에서 값을 가져옵니다. 그렇지 않으면 생성자 intrinsicDefaultProto 로 지정된 내장 객체를 사용합니다. 호출되면 다음 단계를 수행한다.
단언 intrinsicDefaultProto 는 이 명세에서 정의한 내장 객체의 이름입니다. 해당 객체는 객체의 [[Prototype]] 값으로 사용하도록 의도된 내장 객체여야 합니다.proto 를 ? Get ctor , "prototype" )으로 설정합니다.proto 가 Object이면 proto 를 반환합니다.참고 ctor 의 영역에서 가져온 대체 값은 현재 실행 중인 실행 컨텍스트 realm 을 ? GetFunctionRealm ctor )으로 설정합니다.realm .[[Intrinsics]] 에서 intrinsicDefaultProto 로 식별되는 필드의 값을 반환합니다.
10.1.15 RequireInternalSlot ( obj , internalSlot )추상 연산 obj (ECMAScript 언어 값 internalSlot (내부 슬롯 이름). 반환값: (정상 완료 unused ) 또는 throw 완료 obj 가 Object이고 주어진 내부 슬롯을 갖는 경우가 아니면 예외를 던집니다. 호출되면 다음 단계를 수행한다.
obj 가 Object가 아니면, TypeError 예외를 던집니다.obj 에 internalSlot 내부 슬롯이 없으면, TypeError 예외를 던집니다.unused 를 반환합니다.
10.2 ECMAScript 함수 객체ECMAScript 함수 객체 함수 객체 일반 객체 일반 객체 함수 객체 엄격 모드 코드 11.2.2 비엄격 코드 엄격 모드 코드 함수 객체 엄격 함수 라고 합니다. 코드가 엄격 모드 코드 함수 객체 비엄격 함수 라고 합니다.
[[Extensible]] 및 [[Prototype]] 외에도 ECMAScript 함수 객체 표 26
표 26: ECMAScript 함수 객체
내부 슬롯
타입
설명
[[Environment]]
Environment Record
함수가 클로저로 캡처한 Environment Record 함수 코드
[[PrivateEnvironment]]
PrivateEnvironment Record null
함수가 클로저로 캡처한 Private Name PrivateEnvironment Record null 입니다. 함수 코드
[[FormalParameters]]
Parse Node
함수의 형식 매개변수 목록을 정의하는 소스 텍스트의 루트 Parse Node입니다.
[[ECMAScriptCode]]
Parse Node
함수 본문을 정의하는 소스 텍스트의 루트 Parse Node입니다.
[[ConstructorKind]]
base 또는 derived
함수가 파생 클래스 생성자
[[Realm]]
Realm Record
함수가 생성된 realm
[[ScriptOrModule]]
Script Record Module Record
함수가 생성된 스크립트 또는 모듈입니다.
[[ThisMode]]
lexical , strict 또는 global
함수의 형식 매개변수와 코드 본문 내에서 this 참조를 해석하는 방법을 정의합니다. lexical 은 this가 렉시컬하게 둘러싸는 함수의 this 값을 참조함을 의미합니다. strict 는 함수 호출에서 제공된 this 값을 정확히 그대로 사용함을 의미합니다. global 은 undefined 또는 null 인 this 값을 전역 객체 this 값은 먼저 ToObject
[[Strict]]
Boolean
엄격 함수 true , 비엄격 함수 false 입니다.
[[HomeObject]]
Object 또는 undefined
함수가 super를 사용하면 이는 [[GetPrototypeOf]] 가 super 프로퍼티 조회를 시작할 객체를 제공하는 객체입니다.
[[SourceText]]
유니코드 코드 포인트 시퀀스
함수를 정의하는 소스 텍스트
[[Fields]]
ClassFieldDefinition Record List
함수가 클래스이면 클래스의 비정적 필드와 대응하는 이니셜라이저를 나타내는 Record
[[PrivateMethods]]
PrivateElement List
함수가 클래스이면 클래스의 비정적 비공개 메서드와 접근자를 나타내는 목록입니다.
[[ClassFieldInitializerName]]
String, Symbol, Private Name empty
함수가 클래스 필드의 이니셜라이저로 생성되었으면 해당 필드의 NamedEvaluation empty 입니다.
[[IsClassConstructor]]
Boolean
함수가 클래스 생성자 true 이면 함수의 [[Call]] 을 호출하면 즉시 TypeError 예외를 던집니다.)
모든 ECMAScript 함수 객체 [[Call]] 내부 메서드가 있습니다. 생성자 [[Construct]] 내부 메서드가 있습니다.
10.2.1 [[Call]] ( thisArg , argList )an ECMAScript function object func 의 내부 메서드 [[Call]] . 인수 thisArg (ECMAScript 언어 값 argList (리스트 ECMAScript 언어 값 정상 완료 ECMAScript 언어 값 throw 완료
callerContext 를 실행 중인 실행 컨텍스트 calleeContext 를 PrepareForOrdinaryCall func , undefined )로 둡니다.단언 calleeContext 가 실행 중인 실행 컨텍스트 func .[[IsClassConstructor]] 가 true 이면, 다음을 수행합니다.error 를 새로 생성된 TypeError 객체로 둡니다.참고 error 는 func 와 연결된 Realm Record calleeContext 에서 생성됩니다.실행 컨텍스트 스택 calleeContext 를 제거하고 callerContext 를 실행 중인 실행 컨텍스트 error 를 던집니다.OrdinaryCallBindThis func , calleeContext , thisArg )를 수행합니다.result 를 Completion OrdinaryCallEvaluateBody func , argList ))로 둡니다.실행 컨텍스트 스택 calleeContext 를 제거하고 callerContext 를 실행 중인 실행 컨텍스트 result 가 throw 완료 result 를 반환합니다.단언 result 는 return 완료 result .[[Value]] 를 반환합니다.참고
7 calleeContext 가 실행 컨텍스트 스택
10.2.1.1 PrepareForOrdinaryCall ( func , newTarget )추상 연산 func (ECMAScript 함수 객체) 및 newTarget ((Object 또는 undefined )). 반환값: 실행 컨텍스트
callerContext 를 실행 중인 실행 컨텍스트 calleeContext 를 새로운 ECMAScript 코드 실행 컨텍스트 calleeContext 의 Function을 func 로 설정합니다.calleeRealm 을 func .[[Realm]] 로 둡니다.calleeContext 의 Realm calleeRealm 로 설정합니다.calleeContext 의 ScriptOrModule을 func .[[ScriptOrModule]] 로 설정합니다.localEnv 를 NewFunctionEnvironment func , newTarget )으로 둡니다.calleeContext 의 LexicalEnvironment를 localEnv 로 설정합니다.calleeContext 의 VariableEnvironment를 localEnv 로 설정합니다.calleeContext 의 PrivateEnvironment를 func .[[PrivateEnvironment]] 로 설정합니다.callerContext 가 아직 일시 중단되지 않았으면 callerContext 를 일시 중단합니다.calleeContext 를 실행 컨텍스트 스택 calleeContext 가 실행 중인 실행 컨텍스트 참고 calleeRealm 과 연결됩니다.calleeContext 를 반환합니다.
10.2.1.2 OrdinaryCallBindThis ( func , calleeContext , thisArg )추상 연산 func (ECMAScript 함수 객체), calleeContext (실행 컨텍스트 thisArg (ECMAScript 언어 값 unused . 호출되면 다음 단계를 수행한다.
thisMode 를 func .[[ThisMode]] 로 둡니다.thisMode 가 lexical 이면, unused 를 반환합니다.calleeRealm 을 func .[[Realm]] 로 둡니다.localEnv 를 calleeContext 의 LexicalEnvironment로 둡니다.thisMode 가 strict 이면, 다음을 수행합니다.thisValue 를 thisArg 로 둡니다.그렇지 않으면,thisArg 가 undefined 또는 null 이면, 다음을 수행합니다.globalEnv 를 calleeRealm .[[GlobalEnv]] 로 둡니다.단언 globalEnv 는 Global Environment Record thisValue 를 globalEnv .[[GlobalThisValue]] 로 둡니다.그렇지 않으면,thisValue 를 ! ToObject thisArg )로 둡니다.참고 ToObject calleeRealm 을 사용하여 래퍼 객체를 생성합니다. 단언 localEnv 는 Function Environment Record 단언 localEnv .[[ThisBindingStatus]] 가 initialized 가 아니므로 다음 단계는 절대로 비정상 완료 ! BindThisValue localEnv , thisValue )를 수행합니다. unused 를 반환합니다.
10.2.1.3 Runtime Semantics: EvaluateBody구문 지향 연산 func (ECMAScript 함수 객체) 및 argList (리스트 ECMAScript 언어 값 return 완료 throw 완료
FunctionBody : FunctionStatementList
인수 func 및 argList 를 사용한 FunctionBody EvaluateFunctionBody
ConciseBody : ExpressionBody
인수 func 및 argList 를 사용한 ConciseBody EvaluateConciseBody
GeneratorBody : FunctionBody
인수 func 및 argList 를 사용한 GeneratorBody EvaluateGeneratorBody
AsyncGeneratorBody : FunctionBody
인수 func 및 argList 를 사용한 AsyncGeneratorBody EvaluateAsyncGeneratorBody
AsyncFunctionBody : FunctionBody
인수 func 및 argList 를 사용한 AsyncFunctionBody EvaluateAsyncFunctionBody
AsyncConciseBody : ExpressionBody
인수 func 및 argList 를 사용한 AsyncConciseBody EvaluateAsyncConciseBody
Initializer :
=
AssignmentExpression
단언 argList 는 비어 있습니다.단언 func .[[ClassFieldInitializerName]] 은 empty 가 아닙니다.IsAnonymousFunctionDefinition AssignmentExpression true 이면, 다음을 수행합니다.value 를 인수 func .[[ClassFieldInitializerName]] 을 사용한 Initializer NamedEvaluation 그렇지 않으면,rhs 를 AssignmentExpression Evaluation value 를 ? GetValue rhs )로 둡니다. ReturnCompletion value )을 반환합니다.참고
필드 이니셜라이저가 함수 경계를 구성하더라도 FunctionDeclarationInstantiation
ClassStaticBlockBody : ClassStaticBlockStatementList
단언 argList 는 비어 있습니다.인수 func 를 사용한 ClassStaticBlockBody EvaluateClassStaticBlockBody
10.2.1.4 OrdinaryCallEvaluateBody ( func , argList )추상 연산 func (ECMAScript 함수 객체) 및 argList (리스트 ECMAScript 언어 값 return 완료 throw 완료
인수 func 및 argList 를 사용한 func .[[ECMAScriptCode]] 의 ? EvaluateBody
10.2.2 [[Construct]] ( argList , newTarget )an ECMAScript function object func 의 내부 메서드 [[Construct]] . 인수 argList (리스트 ECMAScript 언어 값 newTarget (생성자 정상 완료 throw 완료
callerContext 를 실행 중인 실행 컨텍스트 kind 를 func .[[ConstructorKind]] 로 둡니다.kind 가 base 이면, 다음을 수행합니다.thisArg 를 ? OrdinaryCreateFromConstructor newTarget , "%Object.prototype%" )로 둡니다.calleeContext 를 PrepareForOrdinaryCall func , newTarget )로 둡니다.단언 calleeContext 가 실행 중인 실행 컨텍스트 kind 가 base 이면, 다음을 수행합니다.OrdinaryCallBindThis func , calleeContext , thisArg )를 수행합니다.initializeResult 를 Completion InitializeInstanceElements thisArg , func ))로 둡니다.initializeResult 가 비정상 완료 실행 컨텍스트 스택 calleeContext 를 제거하고 callerContext 를 실행 중인 실행 컨텍스트 ? initializeResult 를 반환합니다. ctorEnv 를 calleeContext 의 LexicalEnvironment로 둡니다.result 를 Completion OrdinaryCallEvaluateBody func , argList ))로 둡니다.실행 컨텍스트 스택 calleeContext 를 제거하고 callerContext 를 실행 중인 실행 컨텍스트 result 가 throw 완료 result 를 반환합니다.단언 result 는 return 완료 result .[[Value]] 가 Object이면, result .[[Value]] 를 반환합니다.kind 가 base 이면, thisArg 를 반환합니다.result .[[Value]] 가 undefined 가 아니면, TypeError 예외를 던집니다.thisBinding 을 ? ctorEnv .GetThisBinding 단언 thisBinding 은 Object입니다.thisBinding 을 반환합니다.
10.2.3 OrdinaryFunctionCreate ( proto , sourceText , paramList , body , thisMode , envRecord , privateEnv )추상 연산 proto (Object), sourceText (a sequence of Unicode code points), paramList (구문 분석 노드), body (구문 분석 노드), thisMode ((lexical-this 또는 non-lexical-this )), envRecord (Environment 레코드 privateEnv ((PrivateEnvironment 레코드 null )). 반환값: ECMAScript 함수 객체. 기본 [[Call]] 내부 메서드를 갖고 [[Construct]] 내부 메서드는 없는 새로운 함수의 런타임 생성을 명시하는 데 사용됩니다(다만 MakeConstructor [[Construct]] 가 추가될 수 있습니다). sourceText 는 생성할 함수의 구문 정의에 해당하는 소스 텍스트입니다. 호출되면 다음 단계를 수행한다.
internalSlotsList 를 표 26 func 를 OrdinaryObjectCreate proto , internalSlotsList )로 둡니다.func .[[Call]] 10.2.1 func .[[SourceText]] 를 sourceText 로 설정합니다.func .[[FormalParameters]] 를 paramList 로 설정합니다.func .[[ECMAScriptCode]] 를 body 로 설정합니다.strict 를 IsStrict body )로 둡니다.func .[[Strict]] 을 strict 로 설정합니다.thisMode 가 lexical-this 이면 func .[[ThisMode]] 를 lexical 로 설정합니다.그렇지 않고 strict 가 true 이면 func .[[ThisMode]] 를 strict 로 설정합니다. 그렇지 않으면 func .[[ThisMode]] 를 global 로 설정합니다. func .[[IsClassConstructor]] 를 false 로 설정합니다.func .[[Environment]] 을 envRecord 로 설정합니다.func .[[PrivateEnvironment]] 을 privateEnv 로 설정합니다.func .[[ScriptOrModule]] 을 GetActiveScriptOrModule func .[[Realm]] 을 현재 Realm Record func .[[HomeObject]] 을 undefined 로 설정합니다.func .[[Fields]] 를 새로운 빈 List func .[[PrivateMethods]] 를 새로운 빈 List func .[[ClassFieldInitializerName]] 을 empty 로 설정합니다.length 를 paramList 의 ExpectedArgumentCount SetFunctionLength func , length )를 수행합니다.func 를 반환합니다.
10.2.4 AddRestrictedFunctionProperties ( func , realm )추상 연산 func (함수 객체 realm (Realm 레코드 unused . 호출되면 다음 단계를 수행한다.
단언 realm .[[Intrinsics]] .[[%ThrowTypeError% thrower 를 realm .[[Intrinsics]] .[[%ThrowTypeError% ! DefinePropertyOrThrow func , "caller" , PropertyDescriptor { [[Getter]] : thrower , [[Setter]] : thrower , [[Enumerable]] : false , [[Configurable]] : true })를 수행합니다. ! DefinePropertyOrThrow func , "arguments" , PropertyDescriptor { [[Getter]] : thrower , [[Setter]] : thrower , [[Enumerable]] : false , [[Configurable]] : true })를 수행합니다. unused 를 반환합니다.
10.2.4.1 %ThrowTypeError% ( )이 함수는 %ThrowTypeError% 내재 객체입니다.
각 realm 함수 객체
호출되면 다음 단계를 수행합니다:
TypeError 예외를 던집니다.이 함수의 [[Extensible]] 내부 슬롯 값은 false 입니다.
이 함수의 "length" 프로퍼티는 속성 { [[Writable]] : false , [[Enumerable]] : false , [[Configurable]] : false }를 갖습니다.
이 함수의 "name" 프로퍼티는 속성 { [[Writable]] : false , [[Enumerable]] : false , [[Configurable]] : false }를 갖습니다.
10.2.5 MakeConstructor ( func [ , writableProto [ , proto ] ] )추상 연산 func ((ECMAScript 함수 객체 또는 내장 함수 객체)) 및 선택적 인수 writableProto (Boolean) 및 proto (Object). 반환값: unused . func 를 생성자
func 가 ECMAScript 함수 객체 단언 IsConstructor func )는 false 입니다.단언 func 는 "prototype" 자체 프로퍼티를 갖지 않는 확장 가능한 객체입니다.func .[[Construct]] 10.2.2 그렇지 않으면,func .[[Construct]] 10.3.2 func .[[ConstructorKind]] 를 base 로 설정합니다.writableProto 가 존재하지 않으면 writableProto 를 true 로 설정합니다.proto 가 존재하지 않으면, 다음을 수행합니다.proto 를 OrdinaryObjectCreate %Object.prototype% ! DefinePropertyOrThrow proto , "constructor" , PropertyDescriptor { [[Value]] : func , [[Writable]] : writableProto , [[Enumerable]] : false , [[Configurable]] : true })를 수행합니다. ! DefinePropertyOrThrow func , "prototype" , PropertyDescriptor { [[Value]] : proto , [[Writable]] : writableProto , [[Enumerable]] : false , [[Configurable]] : false })를 수행합니다. unused 를 반환합니다.
10.2.6 MakeClassConstructor ( func )추상 연산 func (ECMAScript 함수 객체). 반환값: unused . 호출되면 다음 단계를 수행한다.
단언 func .[[IsClassConstructor]] 는 false 입니다.func .[[IsClassConstructor]] 를 true 로 설정합니다.unused 를 반환합니다.
10.2.7 MakeMethod ( func , homeObj )추상 연산 func (ECMAScript 함수 객체) 및 homeObj (Object). 반환값: unused . func 를 메서드로 구성합니다. 호출되면 다음 단계를 수행한다.
단언 homeObj 는 일반 객체 func .[[HomeObject]] 을 homeObj 로 설정합니다.unused 를 반환합니다.
10.2.8 DefineMethodProperty ( homeObj , name , closure , enumerable )추상 연산 homeObj (Object), name ((프로퍼티 키 비공개 이름 closure (함수 객체 enumerable (Boolean). 반환값: (정상 완료 PrivateElement empty )) 또는 중도 완료). 호출되면 다음 단계를 수행한다.
단언 homeObj 는 일반 확장 가능 객체입니다.name 이 Private Name PrivateElement [[Key]] : name , [[Kind]] : method , [[Value]] : closure }를 반환합니다.propertyDesc 를 PropertyDescriptor { [[Value]] : closure , [[Writable]] : true , [[Enumerable]] : enumerable , [[Configurable]] : true }로 둡니다.? DefinePropertyOrThrow homeObj , name , propertyDesc )를 수행합니다. 참고 DefinePropertyOrThrow name 이 "prototype" 인 클래스 정적 메서드를 정의하려고 할 때만 비정상 완료 empty 를 반환합니다.
10.2.9 SetFunctionName ( func , name [ , prefix ] )추상 연산 func (함수 객체 name ((프로퍼티 키 비공개 이름 prefix (String). 반환값: unused . func 에 "name" 프로퍼티를 추가합니다. 호출되면 다음 단계를 수행한다.
단언 func 는 "name" 자체 프로퍼티를 갖지 않는 확장 가능한 객체입니다.name 이 Symbol이면, 다음을 수행합니다.description 을 name .[[Description]] 으로 둡니다.description 이 undefined 이면 name 을 빈 String으로 설정합니다.그렇지 않으면 name 을 "[" , description 및 "]" 의 문자열 연결 그렇지 않고 name 이 Private Name name 을 name .[[Description]] 으로 설정합니다. initialName 을 name 으로 둡니다.prefix 가 존재하면, 다음을 수행합니다.prefixedName 을 prefix , 코드 단위 0x0020 (SPACE) 및 name 의 문자열 연결 initialName 을 prefixedName 으로 설정합니다.Normative Optional, Legacy
initialName 을 name 또는 prefixedName 중 구현체 정의 name 을 prefixedName 으로 설정합니다.func 에 [[InitialName]] 내부 슬롯이 있으면 func .[[InitialName]] 을 initialName 으로 설정합니다.! DefinePropertyOrThrow func , "name" , PropertyDescriptor { [[Value]] : name , [[Writable]] : false , [[Enumerable]] : false , [[Configurable]] : true })를 수행합니다. unused 를 반환합니다.참고
func .[[InitialName]] 에 prefixedName 을 사용할지 여부에 대한 선택은 Function.prototype.toString ( ) 5.c 레거시
10.2.10 SetFunctionLength ( func , length )추상 연산 func (함수 객체 length ((음이 아닌 정수 또는 +∞)). 반환값: unused . func 에 "length" 프로퍼티를 추가합니다. 호출되면 다음 단계를 수행한다.
단언 func 는 "length" 자체 프로퍼티를 갖지 않는 확장 가능한 객체입니다.! DefinePropertyOrThrow func , "length" , PropertyDescriptor { [[Value]] : 𝔽 length ), [[Writable]] : false , [[Enumerable]] : false , [[Configurable]] : true })를 수행합니다. unused 를 반환합니다.
10.2.11 FunctionDeclarationInstantiation ( func , argList )추상 연산 func (ECMAScript 함수 객체) 및 argList (리스트 ECMAScript 언어 값 정상 완료 unused ) 또는 throw 완료 func 는 실행 컨텍스트 함수 객체
참고
ECMAScript 함수를 평가하기 위한 실행 컨텍스트 Function Environment Record Environment Record Environment Record Environment Record
호출되면 다음 단계를 수행합니다:
calleeContext 를 실행 중인 실행 컨텍스트 code 를 func .[[ECMAScriptCode]] 로 둡니다.strict 를 func .[[Strict]] 로 둡니다.formals 를 func .[[FormalParameters]] 로 둡니다.paramNames 를 formals 의 BoundNames paramNames 에 중복 항목이 있으면 hasDuplicates 를 true 로 둡니다. 그렇지 않으면 hasDuplicates 를 false 로 둡니다.simpleParamList 를 formals 의 IsSimpleParameterList hasParamExprs 를 formals 의 ContainsExpression variableNames 를 code 의 VarDeclaredNames variableDecls 를 code 의 VarScopedDeclarations lexicalNames 를 code 의 LexicallyDeclaredNames funcNames 를 새로운 빈 List funcsToInitialize 를 새로운 빈 List variableDecls 의 각 요소 variableDecl 에 대해 List variableDecl 이 VariableDeclaration ForBinding BindingIdentifier 단언 variableDecl 은 FunctionDeclaration GeneratorDeclaration AsyncFunctionDeclaration AsyncGeneratorDeclaration funcName 을 variableDecl 의 BoundNames funcNames 에 funcName 이 포함되어 있지 않으면, 다음을 수행합니다.funcName 을 funcNames 의 첫 번째 요소로 삽입합니다.참고 variableDecl 을 funcsToInitialize 의 첫 번째 요소로 삽입합니다.argumentsObjNeeded 를 true 로 둡니다.func .[[ThisMode]] 가 lexical 이면, 다음을 수행합니다.참고 argumentsObjNeeded 를 false 로 설정합니다.그렇지 않고 paramNames 에 "arguments" 가 포함되어 있으면, 다음을 수행합니다.argumentsObjNeeded 를 false 로 설정합니다. 그렇지 않고 hasParamExprs 가 false 이면, 다음을 수행합니다.funcNames 에 "arguments" 가 포함되어 있거나 lexicalNames 에 "arguments" 가 포함되어 있으면, 다음을 수행합니다.argumentsObjNeeded 를 false 로 설정합니다. strict 가 true 이거나 hasParamExprs 가 false 이면, 다음을 수행합니다.참고 엄격 모드 코드 eval 호출은 eval 외부에서 볼 수 있는 새로운 바인딩을 생성할 수 없으므로 매개변수에는 하나의 Environment Record envRecord 를 calleeContext 의 LexicalEnvironment로 둡니다.그렇지 않으면,참고 직접 eval Environment Record calleeEnv 를 calleeContext 의 LexicalEnvironment로 둡니다.envRecord 를 NewDeclarativeEnvironment calleeEnv )로 둡니다.단언 calleeContext 의 VariableEnvironment와 calleeEnv 는 같은 Environment Record calleeContext 의 LexicalEnvironment를 envRecord 로 설정합니다. paramNames 의 각 String paramName 에 대해 다음을 수행합니다.alreadyDeclared 를 ! envRecord .HasBinding paramName )으로 둡니다.참고 조기 오류 비엄격 함수 alreadyDeclared 가 false 이면, 다음을 수행합니다.! envRecord .CreateMutableBinding paramName , false )를 수행합니다. hasDuplicates 가 true 이면, 다음을 수행합니다.! envRecord .InitializeBinding paramName , undefined )를 수행합니다. argumentsObjNeeded 가 true 이면, 다음을 수행합니다.strict 가 true 이거나 simpleParamList 가 false 이면, 다음을 수행합니다.argumentsObj 를 CreateUnmappedArgumentsObject argList )로 둡니다.그렇지 않으면,참고 비엄격 함수 argumentsObj 를 CreateMappedArgumentsObject func , formals , argList , envRecord )로 둡니다. strict 가 true 이면, 다음을 수행합니다.! envRecord .CreateImmutableBinding "arguments" , false )를 수행합니다. 참고 엄격 모드 코드 조기 오류 그렇지 않으면,! envRecord .CreateMutableBinding "arguments" , false )를 수행합니다. ! envRecord .InitializeBinding "arguments" , argumentsObj )를 수행합니다. paramBindings 를 paramNames 와 « "arguments" »의 목록 연결 그렇지 않으면,paramBindings 를 paramNames 로 둡니다. iteratorRecord 를 CreateListIteratorRecord argList )로 둡니다.hasDuplicates 가 true 이면, 다음을 수행합니다.usedEnv 를 undefined 로 둡니다.그렇지 않으면,usedEnv 를 envRecord 로 둡니다. 참고 ReturnCompletion YieldExpression 15.5.1 15.6.1 조기 오류 규칙 인수 iteratorRecord 및 usedEnv 를 사용한 formals 의 ? IteratorBindingInitialization hasParamExprs 가 false 이면, 다음을 수행합니다.참고 Environment Record instantiatedVariableNames 를 List paramBindings 의 복사본으로 둡니다.variableNames 의 각 요소 name 에 대해 다음을 수행합니다.instantiatedVariableNames 에 name 이 포함되어 있지 않으면, 다음을 수행합니다.name 을 instantiatedVariableNames 에 추가합니다.! envRecord .CreateMutableBinding name , false )를 수행합니다. ! envRecord .InitializeBinding name , undefined )를 수행합니다. variableEnv 를 envRecord 로 둡니다.그렇지 않으면,참고 Environment Record variableEnv 를 NewDeclarativeEnvironment envRecord )로 둡니다.calleeContext 의 VariableEnvironment를 variableEnv 로 설정합니다.instantiatedVariableNames 를 새로운 빈 List variableNames 의 각 요소 name 에 대해 다음을 수행합니다.instantiatedVariableNames 에 name 이 포함되어 있지 않으면, 다음을 수행합니다.name 을 instantiatedVariableNames 에 추가합니다.! variableEnv .CreateMutableBinding name , false )를 수행합니다. paramBindings 에 name 이 포함되어 있지 않거나 funcNames 에 name 이 포함되어 있으면, 다음을 수행합니다.initialValue 를 undefined 로 둡니다.그렇지 않으면,initialValue 를 ! envRecord .GetBindingValue name , false )로 둡니다. ! variableEnv .InitializeBinding name , initialValue )을 수행합니다. 참고 strict 가 true 이면, 다음을 수행합니다.lexicalEnv 를 variableEnv 로 둡니다.그렇지 않으면,Normative Optional
호스트 블록 수준 함수 선언의 웹 레거시 호환성 의미론 code Contains x 가 true 인 Block CaseClause DefaultClause x 의 StatementList FunctionDeclaration funcDecl 에 대해 다음을 수행합니다.funcName 을 funcDecl 의 BindingIdentifier StringValue FunctionDeclaration funcDecl 을 funcName 을 BindingIdentifier VariableStatement func 에 대한 조기 오류 paramNames 에 funcName 이 포함되어 있지 않으면, 다음을 수행합니다.참고 funcName 에 대한 var 바인딩은 여기에서 funcName 이 VarDeclaredName도, 형식 매개변수 이름도, 다른 FunctionDeclaration instantiatedVariableNames 에 funcName 이 포함되어 있지 않고 funcName 이 "arguments" 가 아니면, 다음을 수행합니다.! variableEnv .CreateMutableBinding funcName , false )를 수행합니다. ! variableEnv .InitializeBinding funcName , undefined )를 수행합니다. funcName 을 instantiatedVariableNames 에 추가합니다.FunctionDeclaration funcDecl 이 평가될 때 15.2.6 FunctionDeclaration Evaluation funcEnv 를 실행 중인 실행 컨텍스트 blockEnv 를 실행 중인 실행 컨텍스트 funcObj 를 ! blockEnv .GetBindingValue funcName , false )로 둡니다.! funcEnv .SetMutableBinding funcName , funcObj , false )를 수행합니다. unused 를 반환합니다.lexicalEnv 를 NewDeclarativeEnvironment variableEnv )로 둡니다.참고 비엄격 함수 Environment Record 직접 eval 직접 eval Environment Record 엄격 함수 calleeContext 의 LexicalEnvironment를 lexicalEnv 로 설정합니다.lexicalDecls 를 code 의 LexicallyScopedDeclarations lexicalDecls 의 각 요소 lexicalDecl 에 대해 다음을 수행합니다.참고 lexicalDecl 의 BoundNames name 에 대해 다음을 수행합니다.lexicalDecl 의 IsConstantDeclaration true 이면, 다음을 수행합니다.! lexicalEnv .CreateImmutableBinding name , true )를 수행합니다. 그렇지 않으면,! lexicalEnv .CreateMutableBinding name , false )를 수행합니다. privateEnv 를 calleeContext 의 PrivateEnvironment로 둡니다.funcsToInitialize 의 각 Parse Node funcDecl 에 대해 다음을 수행합니다.funcName 을 funcDecl 의 BoundNames funcObj 를 인수 lexicalEnv 및 privateEnv 를 사용한 funcDecl 의 InstantiateFunctionObject ! variableEnv .SetMutableBinding funcName , funcObj , false )를 수행합니다. unused 를 반환합니다.
10.3 내장 함수 객체내장 함수 객체 일반 객체 10.1 일반 객체
모든 일반 객체 10.1 함수 객체
달리 명시되지 않는 한 내장 함수 객체 [[Prototype]] 내부 슬롯 초기값은 %Function.prototype%
내장 함수 객체 10.3.1 [[Call]] 내부 메서드가 있어야 합니다.
내장 함수 객체 [[Construct]] 내부 메서드를 명시적으로 설정하는 경우에만 [[Construct]] 내부 메서드를 갖습니다. 이러한 [[Construct]] 내부 메서드는 10.3.2
구현체는 이 명세에 정의되지 않은 추가 내장 함수 객체
10.3.1 [[Call]] ( thisArg , argList )a built-in function object func 의 내부 메서드 [[Call]] . 인수 thisArg (ECMAScript 언어 값 argList (리스트 ECMAScript 언어 값 정상 완료 ECMAScript 언어 값 throw 완료
? BuiltinCallOrConstruct func , thisArg , argList , undefined )를 반환합니다.
10.3.2 [[Construct]] ( argList , newTarget )a built-in function object func (when the method is present)의 내부 메서드 [[Construct]] . 인수 argList (리스트 ECMAScript 언어 값 newTarget (생성자 정상 완료 throw 완료
result 를 ? BuiltinCallOrConstruct func , uninitialized , argList , newTarget )로 둡니다.단언 result 는 Object입니다.result 를 반환합니다.
10.3.3 BuiltinCallOrConstruct ( func , thisArg , argList , newTarget )추상 연산 func (내장 함수 객체), thisArg ((ECMAScript 언어 값 uninitialized )), argList (리스트 ECMAScript 언어 값 newTarget ((생성자 undefined )). 반환값: (정상 완료 ECMAScript 언어 값 throw 완료
callerContext 를 실행 중인 실행 컨텍스트 callerContext 가 아직 일시 중단되지 않았으면 callerContext 를 일시 중단합니다.calleeContext 를 새로운 실행 컨텍스트 calleeContext 의 Function을 func 로 설정합니다.calleeRealm 을 func .[[Realm]] 로 둡니다.calleeContext 의 Realm calleeRealm 으로 설정합니다.calleeContext 의 ScriptOrModule을 null 로 설정합니다.calleeContext 에 필요한 구현체 정의 calleeContext 를 실행 컨텍스트 스택 calleeContext 가 실행 중인 실행 컨텍스트 func .[[Async]] 가 true 이면, 다음을 수행합니다.promiseCapability 를 ! NewPromiseCapability %Promise% resultsClosure 를 매개변수가 없고 func , thisArg , argList 및 newTarget 을 캡처하며 호출될 때 다음 단계를 수행하는 새로운 Abstract Closure result 를 func 의 명세에 부합하는 방식으로 func 를 평가한 결과 인 Completion Record thisArg 가 uninitialized 이면 this 값은 초기화되지 않습니다. 그렇지 않으면 thisArg 가 this 값을 제공합니다. argList 는 이름 있는 매개변수를 제공합니다. newTarget 은 NewTarget 값을 제공합니다.참고 func 가 이 문서에 정의되어 있으면 “func 의 명세”는 알고리즘 단계 또는 다른 수단으로 해당 함수에 대해 명시된 동작입니다.Completion result )를 반환합니다.AsyncFunctionStart promiseCapability , resultsClosure )를 수행합니다.실행 컨텍스트 스택 calleeContext 를 제거하고 callerContext 를 실행 중인 실행 컨텍스트 promiseCapability .[[Promise]] 를 반환합니다.result 를 func 의 명세에 부합하는 방식으로 func 를 평가한 결과 인 Completion Record thisArg 가 uninitialized 이면 this 값은 초기화되지 않습니다. 그렇지 않으면 thisArg 가 this 값을 제공합니다. argList 는 이름 있는 매개변수를 제공합니다. newTarget 은 NewTarget 값을 제공합니다.참고 func 가 이 문서에 정의되어 있으면 “func 의 명세”는 알고리즘 단계 또는 다른 수단으로 해당 함수에 대해 명시된 동작입니다.실행 컨텍스트 스택 calleeContext 를 제거하고 callerContext 를 실행 중인 실행 컨텍스트 ? result 를 반환합니다. 참고
calleeContext 가 일시 중단되어 접근 가능한 Generator에 의해 이후 재개를 위해 유지되고 있다면 실행 컨텍스트 스택
10.3.4 CreateBuiltinFunction ( behaviour , length , name , additionalInternalSlotsList [ , realm [ , proto [ , prefix [ , async ] ] ] ] )추상 연산 behaviour ((추상 클로저 length ((음이 아닌 정수 또는 +∞)), name ((프로퍼티 키 비공개 이름 additionalInternalSlotsList (리스트 realm (Realm 레코드 proto ((Object 또는 null )), prefix (String) 및 async (Boolean). 반환값: 내장 함수 객체. additionalInternalSlotsList 에는 객체의 일부로 정의해야 하는 추가 내부 슬롯의 이름이 포함됩니다. 이 연산은 내장 함수 객체
realm 이 존재하지 않으면 realm 을 현재 Realm Record proto 가 존재하지 않으면 proto 를 realm .[[Intrinsics]] .[[%Function.prototype% async 가 존재하지 않으면 async 를 false 로 설정합니다.internalSlotsList 를 10.3 함수 객체 List additionalInternalSlotsList 의 요소를 internalSlotsList 에 추가합니다.func 를 호출될 때 behaviour 가 지정한 대응 매개변수의 값으로 제공된 인수를 사용하여 behaviour 가 설명하는 동작을 수행하는 새로운 내장 함수 객체 함수 객체 internalSlotsList 의 요소인 내부 슬롯과 [[InitialName]] 내부 슬롯이 있습니다.func .[[Async]] 를 async 로 설정합니다.func .[[Prototype]] 을 proto 로 설정합니다.func .[[Extensible]] 을 true 로 설정합니다.func .[[Realm]] 을 realm 으로 설정합니다.func .[[InitialName]] 을 null 로 설정합니다.SetFunctionLength func , length )를 수행합니다.prefix 가 존재하지 않으면, 다음을 수행합니다.SetFunctionName func , name )을 수행합니다.그렇지 않으면,SetFunctionName func , name , prefix )을 수행합니다. func 를 반환합니다.이 명세에 정의된 각 내장 함수는 CreateBuiltinFunction 추상 연산
10.4 내장 특수 객체의 내부 메서드와 슬롯이 명세에서는 여러 종류의 내장 특수 객체 일반 객체 특수 객체 일반 객체
10.4.1 바인딩된 함수 특수 객체바인딩된 함수 특수 객체 함수 객체 특수 객체 바인딩된 함수 특수 객체 [[Call]] 내부 메서드를 가지며 [[Construct]] 내부 메서드를 가질 수도 있습니다). 바인딩된 함수 특수 객체
객체의 [[Call]] 및 (해당하는 경우) [[Construct]] 내부 메서드가 다음 구현을 사용하고, 그 밖의 필수 내부 메서드가 10.1 바인딩된 함수 특수 객체 입니다. 이러한 메서드는 BoundFunctionCreate
바인딩된 함수 특수 객체 표 26 함수 객체 [[Prototype]] 및 [[Extensible]] 외에도 표 27
표 27: 바인딩된 함수 특수 객체
내부 슬롯
타입
설명
[[BoundTargetFunction]]
호출 가능한 Object
래핑된 함수 객체
[[BoundThis]]
ECMAScript 언어 값
래핑된 함수를 호출할 때 항상 this 값으로 전달되는 값입니다.
[[BoundArguments]]
ECMAScript 언어 값 List
래핑된 함수를 호출할 때마다 첫 번째 인수로 사용되는 요소를 갖는 값의 목록입니다.
10.4.1.1 [[Call]] ( thisArg , argList )a bound function exotic object func 의 내부 메서드 [[Call]] . 인수 thisArg (ECMAScript 언어 값 argList (리스트 ECMAScript 언어 값 정상 완료 ECMAScript 언어 값 throw 완료
target 을 func .[[BoundTargetFunction]] 으로 둡니다.boundThis 를 func .[[BoundThis]] 로 둡니다.boundArgs 를 func .[[BoundArguments]] 로 둡니다.args 를 boundArgs 와 argList 의 목록 연결 ? Call target , boundThis , args )를 반환합니다.
10.4.1.2 [[Construct]] ( argList , newTarget )a bound function exotic object func 의 내부 메서드 [[Construct]] . 인수 argList (리스트 ECMAScript 언어 값 newTarget (생성자 정상 완료 throw 완료
target 을 func .[[BoundTargetFunction]] 으로 둡니다.단언 IsConstructor target )은 true 입니다.boundArgs 를 func .[[BoundArguments]] 로 둡니다.args 를 boundArgs 와 argList 의 목록 연결 SameValue func , newTarget )가 true 이면 newTarget 을 target 으로 설정합니다.? Construct target , args , newTarget )를 반환합니다.
10.4.1.3 BoundFunctionCreate ( targetFunc , boundThis , boundArgs )추상 연산 targetFunc (함수 객체 boundThis (ECMAScript 언어 값 boundArgs (리스트 ECMAScript 언어 값 정상 완료 함수 객체 throw 완료 바인딩된 함수 특수 객체
proto 를 ? targetFunc .[[GetPrototypeOf]] internalSlotsList 를 « [[Prototype]] , [[Extensible]] »과 표 27 목록 연결 obj 를 MakeBasicObject internalSlotsList )로 둡니다.obj .[[Prototype]] 을 proto 로 설정합니다.obj .[[Call]] 10.4.1.1 IsConstructor targetFunc )가 true 이면, 다음을 수행합니다.obj .[[Construct]] 10.4.1.2 obj .[[BoundTargetFunction]] 을 targetFunc 로 설정합니다.obj .[[BoundThis]] 를 boundThis 로 설정합니다.obj .[[BoundArguments]] 를 boundArgs 로 설정합니다.obj 를 반환합니다.
10.4.2 Array 특수 객체Array는 배열 인덱스 프로퍼티 키 특수 객체 6.1.7 프로퍼티 이름 배열 인덱스 요소 라고도 합니다. 모든 Array에는 구성 불가능한 "length" 프로퍼티가 있으며, 그 값은 수학적 값 32 보다 엄격히 작은 음이 아닌 정수 "length" 프로퍼티의 값은 이름이 배열 인덱스 프로퍼티 이름 배열 인덱스 "length" 프로퍼티 값을 해당 배열 인덱스 경합 "length" 프로퍼티 값이 변경될 때마다 배열 인덱스 "length" 또는 배열 인덱스
객체의 [[DefineOwnProperty]] 내부 메서드가 다음 구현을 사용하고 그 밖의 필수 내부 메서드가 10.1 Array 특수 객체 (또는 간단히 Array)입니다. 이러한 메서드는 ArrayCreate
10.4.2.1 [[DefineOwnProperty]] ( propertyKey , propertyDesc )an Array exotic object array 의 내부 메서드 [[DefineOwnProperty]] . 인수 propertyKey (프로퍼티 키 propertyDesc (프로퍼티 서술자 정상 완료 throw 완료
propertyKey 가 "length" 이면, ? ArraySetLength array , propertyDesc )를 반환합니다.propertyKey 가 배열 인덱스 lengthDesc 를 OrdinaryGetOwnProperty array , "length" )로 둡니다.단언 lengthDesc 는 undefined 가 아닙니다.단언 IsDataDescriptor lengthDesc )는 true 입니다.단언 lengthDesc .[[Configurable]] 은 false 입니다.length 를 lengthDesc .[[Value]] 로 둡니다.단언 length 는 음이 아닌 정수 index 를 ! ToUint32 propertyKey )로 둡니다.index ≥ length 이고 lengthDesc .[[Writable]] 이 false 이면, false 를 반환합니다.succeeded 를 ! OrdinaryDefineOwnProperty array , propertyKey , propertyDesc )로 둡니다.succeeded 가 false 이면, false 를 반환합니다.index ≥ length 이면, 다음을 수행합니다.lengthDesc .[[Value]] 를 index + 1 𝔽 로 설정합니다.succeeded 를 ! OrdinaryDefineOwnProperty array , "length" , lengthDesc )로 설정합니다.단언 succeeded 는 true 입니다.true 를 반환합니다.? OrdinaryDefineOwnProperty array , propertyKey , propertyDesc )를 반환합니다.
10.4.2.2 ArrayCreate ( length [ , proto ] )추상 연산 length (음이 아닌 정수) 및 선택적 인수 proto (Object). 반환값: (정상 완료 Array 특수 객체 throw 완료
length > 232 - 1이면, RangeError 예외를 던집니다.proto 가 존재하지 않으면 proto 를 %Array.prototype% array 를 MakeBasicObject [[Prototype]] , [[Extensible]] »)로 둡니다.array .[[Prototype]] 을 proto 로 설정합니다.array .[[DefineOwnProperty]] 10.4.2.1 ! OrdinaryDefineOwnProperty array , "length" , PropertyDescriptor { [[Value]] : 𝔽 length ), [[Writable]] : true , [[Enumerable]] : false , [[Configurable]] : false })를 수행합니다. array 를 반환합니다.
10.4.2.3 ArraySpeciesCreate ( originalArray , length )추상 연산 originalArray (Object) 및 length (음이 아닌 정수). 반환값: (정상 완료 throw 완료 originalArray 에서 파생된 생성자 생성자
isArray 를 ? IsArray originalArray )로 둡니다.isArray 가 false 이면, ? ArrayCreate length )를 반환합니다.ctor 를 ? Get originalArray , "constructor" )로 둡니다.IsConstructor ctor )가 true 이면, 다음을 수행합니다.thisRealm 을 현재 Realm Record ctorRealm 을 ? GetFunctionRealm ctor )로 둡니다.thisRealm 과 ctorRealm 이 같은 Realm Record SameValue ctor , ctorRealm .[[Intrinsics]] .[[%Array% true 이면 ctor 를 undefined 로 설정합니다.ctor 가 Object이면, 다음을 수행합니다.ctor 를 ? Get ctor , %Symbol.species% ctor 가 null 이면 ctor 를 undefined 로 설정합니다.ctor 가 undefined 이면, ? ArrayCreate length )를 반환합니다.IsConstructor ctor )가 false 이면, TypeError 예외를 던집니다.? Construct ctor , « 𝔽 length ) »)를 반환합니다. 참고
originalArray 가 실행 중인 실행 컨텍스트 realm realm 생성자 실행 중인 실행 컨텍스트 realm Array.prototype 메서드에 대해 역사적으로 이러한 동작을 해 온 웹 브라우저와의 호환성을 유지합니다.
10.4.2.4 ArraySetLength ( array , propertyDesc )추상 연산 array (Array) 및 propertyDesc (프로퍼티 서술자 정상 완료 throw 완료
propertyDesc 에 [[Value]] 필드가 없으면, 다음을 수행합니다.! OrdinaryDefineOwnProperty array , "length" , propertyDesc )를 반환합니다. newLengthDesc 를 propertyDesc 의 복사본으로 둡니다.newLength 를 ? ToUint32 propertyDesc .[[Value]] )로 둡니다.numberLength 를 ? ToNumber propertyDesc .[[Value]] )로 둡니다.SameValueZero newLength , numberLength )가 false 이면, RangeError 예외를 던집니다.newLengthDesc .[[Value]] 를 newLength 로 설정합니다.oldLengthDesc 를 OrdinaryGetOwnProperty array , "length" )로 둡니다.단언 oldLengthDesc 는 undefined 가 아닙니다.단언 IsDataDescriptor oldLengthDesc )는 true 입니다.단언 oldLengthDesc .[[Configurable]] 은 false 입니다.oldLength 를 oldLengthDesc .[[Value]] 로 둡니다.newLength ≥ oldLength 이면, 다음을 수행합니다.! OrdinaryDefineOwnProperty array , "length" , newLengthDesc )를 반환합니다. oldLengthDesc .[[Writable]] 이 false 이면, false 를 반환합니다.newLengthDesc 에 [[Writable]] 필드가 없거나 newLengthDesc .[[Writable]] 이 true 이면, 다음을 수행합니다.newWritable 을 true 로 둡니다.그렇지 않으면,참고 [[Writable]] 속성을 false 로 설정하는 작업을 연기합니다.newWritable 을 false 로 둡니다.newLengthDesc .[[Writable]] 을 true 로 설정합니다. succeeded 를 ! OrdinaryDefineOwnProperty array , "length" , newLengthDesc )로 둡니다.succeeded 가 false 이면, false 를 반환합니다.배열 인덱스 ToUint32 propertyKey ) ≥ newLength 인 array 의 각 자체 프로퍼티 키 propertyKey 에 대해 숫자 인덱스 내림차순으로 다음을 수행합니다.deleteSucceeded 를 ! array .[[Delete]] propertyKey )로 둡니다.deleteSucceeded 가 false 이면, 다음을 수행합니다.newLengthDesc .[[Value]] 를 ! ToUint32 propertyKey ) + 1 𝔽 로 설정합니다.newWritable 이 false 이면 newLengthDesc .[[Writable]] 을 false 로 설정합니다.! OrdinaryDefineOwnProperty array , "length" , newLengthDesc )를 수행합니다. false 를 반환합니다.newWritable 이 false 이면, 다음을 수행합니다.succeeded 를 ! OrdinaryDefineOwnProperty array , "length" , PropertyDescriptor { [[Writable]] : false })로 설정합니다.단언 succeeded 는 true 입니다.true 를 반환합니다.참고
3 4 propertyDesc .[[Value]] 가 객체이면 해당 valueOf 메서드를 두 번 호출합니다. 이는 이 명세 제2판부터 이러한 효과로 명시된 레거시
10.4.3 String 특수 객체String 객체는 String 값을 캡슐화하고 해당 String 값의 개별 코드 단위 요소에 대응하는 가상 정수 인덱스 데이터 프로퍼티 특수 객체 String 특수 객체 "length" 라는 데이터 프로퍼티 데이터 프로퍼티 "length" 프로퍼티는 모두 쓰기 불가능하고 구성 불가능합니다.
객체의 [[GetOwnProperty]] , [[DefineOwnProperty]] 및 [[OwnPropertyKeys]] 내부 메서드가 다음 구현을 사용하고, 그 밖의 필수 내부 메서드가 10.1 String 특수 객체 (또는 간단히 String 객체)입니다. 이러한 메서드는 StringCreate
String 특수 객체 일반 객체 [[StringData]] 내부 슬롯도 있습니다.
10.4.3.1 [[GetOwnProperty]] ( propertyKey )a String exotic object string 의 내부 메서드 [[GetOwnProperty]] . 인수 propertyKey (프로퍼티 키 정상 완료 프로퍼티 서술자 undefined )). 호출되면 다음 단계를 수행한다.
propertyDesc 를 OrdinaryGetOwnProperty string , propertyKey )로 둡니다.propertyDesc 가 undefined 가 아니면, propertyDesc 를 반환합니다.StringGetOwnProperty string , propertyKey )를 반환합니다.
10.4.3.2 [[DefineOwnProperty]] ( propertyKey , propertyDesc )a String exotic object string 의 내부 메서드 [[DefineOwnProperty]] . 인수 propertyKey (프로퍼티 키 propertyDesc (프로퍼티 서술자 정상 완료
stringDesc 를 StringGetOwnProperty string , propertyKey )로 둡니다.stringDesc 가 undefined 가 아니면, 다음을 수행합니다.extensible 을 string .[[Extensible]] 로 둡니다.IsCompatiblePropertyDescriptor extensible , propertyDesc , stringDesc )를 반환합니다.! OrdinaryDefineOwnProperty string , propertyKey , propertyDesc )를 반환합니다.
10.4.3.3 [[OwnPropertyKeys]] ( )a String exotic object obj 의 내부 메서드 [[OwnPropertyKeys]] . 인수 없음. 반환값: 정상 완료 리스트 프로퍼티 키
keys 를 새로운 빈 List string 을 obj .[[StringData]] 로 둡니다.단언 string 은 String입니다.length 를 string 의 길이로 둡니다.0 ≤ i < length 를 만족하는 각 정수 i 에 대해 오름차순으로 다음을 수행합니다.! ToString 𝔽 i ))을 keys 에 추가합니다. 배열 인덱스 ToIntegerOrInfinity propertyKey ) ≥ length 인 obj 의 각 자체 프로퍼티 키 propertyKey 에 대해 숫자 인덱스 오름차순으로 다음을 수행합니다.propertyKey 를 keys 에 추가합니다.String이고 배열 인덱스 obj 의 각 자체 프로퍼티 키 propertyKey 에 대해 프로퍼티 생성 시간 오름차순으로 다음을 수행합니다.propertyKey 를 keys 에 추가합니다. Symbol인 obj 의 각 자체 프로퍼티 키 propertyKey 에 대해 프로퍼티 생성 시간 오름차순으로 다음을 수행합니다.propertyKey 를 keys 에 추가합니다. keys 를 반환합니다.
10.4.3.4 StringCreate ( value , proto )추상 연산 value (String) 및 proto (Object). 반환값: String 특수 객체 String 특수 객체
string 을 MakeBasicObject [[Prototype]] , [[Extensible]] , [[StringData]] »)로 둡니다.string .[[Prototype]] 을 proto 로 설정합니다.string .[[StringData]] 를 value 로 설정합니다.string .[[GetOwnProperty]] 10.4.3.1 string .[[DefineOwnProperty]] 10.4.3.2 string .[[OwnPropertyKeys]] 10.4.3.3 length 를 value 의 길이로 둡니다.! DefinePropertyOrThrow string , "length" , PropertyDescriptor { [[Value]] : 𝔽 length ), [[Writable]] : false , [[Enumerable]] : false , [[Configurable]] : false })를 수행합니다. string 을 반환합니다.
10.4.3.5 StringGetOwnProperty ( string , propertyKey )추상 연산 string (String 특수 객체 propertyKey (프로퍼티 키 프로퍼티 서술자 undefined ). 호출되면 다음 단계를 수행한다.
propertyKey 가 String이 아니면, undefined 를 반환합니다.numericIndex 를 CanonicalNumericIndexString propertyKey )으로 둡니다.numericIndex 가 정수 undefined 를 반환합니다.numericIndex 가 -0 𝔽 이거나 numericIndex < -0 𝔽 이면, undefined 를 반환합니다.stringData 를 string .[[StringData]] 로 둡니다.단언 stringData 는 String입니다.length 를 stringData 의 길이로 둡니다.ℝ numericIndex ) ≥ length 이면, undefined 를 반환합니다.resultString 을 stringData 의 ℝ numericIndex )부터 ℝ numericIndex ) + 1까지의 부분 문자열 PropertyDescriptor { [[Value]] : resultString , [[Writable]] : false , [[Enumerable]] : true , [[Configurable]] : false }를 반환합니다.
10.4.4 arguments 특수 객체대부분의 ECMAScript 함수는 자신의 코드에서 arguments 객체를 사용할 수 있도록 합니다. 함수 정의의 특성에 따라 해당 arguments 객체는 일반 객체 arguments 특수 객체 arguments 특수 객체 배열 인덱스 특수 객체
객체의 내부 메서드가 다음 구현을 사용하고 여기에서 명시되지 않은 메서드는 10.1 arguments 특수 객체 입니다. 이러한 메서드는 CreateMappedArgumentsObject
참고 1 arguments 특수 객체 일반 객체 [[ParameterMap]] 내부 슬롯도 있습니다. 일반 arguments 객체에도 [[ParameterMap]] 내부 슬롯이 있으며 그 값은 항상 undefined 입니다. 일반 arguments 객체에서 [[ParameterMap]] 내부 슬롯은 Object.prototype.toString(20.1.3.6
참고 2
arguments 특수 객체 함수 객체 정수 인덱스 데이터 프로퍼티 실행 컨텍스트 접근자 프로퍼티 일반 객체
참고 3
ParameterMap 객체와 그 프로퍼티 값은 arguments 객체와 인수 바인딩 사이의 대응 관계를 명시하기 위한 장치로 사용됩니다. ParameterMap 객체와 그 프로퍼티 값인 객체는 ECMAScript 코드에서 직접 관찰할 수 없습니다. ECMAScript 구현체는 명시된 의미론을 구현하기 위해 이러한 객체를 실제로 생성하거나 사용할 필요가 없습니다.
참고 4
일반 arguments 객체는 접근 시 TypeError 예외를 던지는 "callee" 라는 이름의 구성 불가능한 접근자 프로퍼티 "callee" 프로퍼티는 일부 종류의 비엄격 함수 arguments 특수 객체
참고 5
arguments 특수 객체 "caller" 라는 이름의 접근자 프로퍼티 "caller" 프로퍼티의 정의를 포함했습니다. 구현체가 더 이상 이 확장을 포함하지 않으므로 ECMAScript 2017에서는 예외를 던지는 "caller" 접근자에 대한 요구 사항을 삭제했습니다.
10.4.4.1 [[GetOwnProperty]] ( propertyKey )an arguments exotic object args 의 내부 메서드 [[GetOwnProperty]] . 인수 propertyKey (프로퍼티 키 정상 완료 프로퍼티 서술자 undefined )). 호출되면 다음 단계를 수행한다.
propertyDesc 를 OrdinaryGetOwnProperty args , propertyKey )로 둡니다.propertyDesc 가 undefined 이면, undefined 를 반환합니다.map 을 args .[[ParameterMap]] 으로 둡니다.isMapped 를 ! HasOwnProperty map , propertyKey )로 둡니다.isMapped 가 true 이면, 다음을 수행합니다.propertyDesc .[[Value]] 를 ! Get map , propertyKey )으로 설정합니다.propertyDesc 를 반환합니다.
10.4.4.2 [[DefineOwnProperty]] ( propertyKey , propertyDesc )an arguments exotic object args 의 내부 메서드 [[DefineOwnProperty]] . 인수 propertyKey (프로퍼티 키 propertyDesc (프로퍼티 서술자 정상 완료
map 을 args .[[ParameterMap]] 으로 둡니다.isMapped 를 ! HasOwnProperty map , propertyKey )로 둡니다.newArgDesc 를 propertyDesc 로 둡니다.isMapped 가 true 이고 IsDataDescriptor propertyDesc )가 true 이면, 다음을 수행합니다.propertyDesc 에 [[Value]] 필드가 없고, propertyDesc 에 [[Writable]] 필드가 있으며, propertyDesc .[[Writable]] 이 false 이면, 다음을 수행합니다.newArgDesc 를 propertyDesc 의 복사본으로 설정합니다.newArgDesc .[[Value]] 를 ! Get map , propertyKey )으로 설정합니다.allowed 를 ! OrdinaryDefineOwnProperty args , propertyKey , newArgDesc )로 둡니다.allowed 가 false 이면, false 를 반환합니다.isMapped 가 true 이면, 다음을 수행합니다.IsAccessorDescriptor propertyDesc )가 true 이면, 다음을 수행합니다.! map .[[Delete]] propertyKey )를 수행합니다. 그렇지 않으면,propertyDesc 에 [[Value]] 필드가 있으면, 다음을 수행합니다.단언 ! Set map , propertyKey , propertyDesc .[[Value]] , false )를 수행합니다. propertyDesc 에 [[Writable]] 필드가 있고 propertyDesc .[[Writable]] 이 false 이면, 다음을 수행합니다.! map .[[Delete]] propertyKey )를 수행합니다. true 를 반환합니다.
10.4.4.3 [[Get]] ( propertyKey , receiver )an arguments exotic object args 의 내부 메서드 [[Get]] . 인수 propertyKey (프로퍼티 키 receiver (ECMAScript 언어 값 정상 완료 ECMAScript 언어 값 throw 완료
map 을 args .[[ParameterMap]] 으로 둡니다.isMapped 를 ! HasOwnProperty map , propertyKey )로 둡니다.isMapped 가 false 이면, ? OrdinaryGet args , propertyKey , receiver )를 반환합니다.단언 map 에는 propertyKey 에 대한 형식 매개변수 매핑이 포함되어 있습니다.! Get map , propertyKey )을 반환합니다.
10.4.4.4 [[Set]] ( propertyKey , value , receiver )an arguments exotic object args 의 내부 메서드 [[Set]] . 인수 propertyKey (프로퍼티 키 value (ECMAScript 언어 값 receiver (ECMAScript 언어 값 정상 완료 throw 완료
SameValue args , receiver )가 false 이면, 다음을 수행합니다.isMapped 를 false 로 둡니다.그렇지 않으면,map 을 args .[[ParameterMap]] 으로 둡니다.isMapped 를 ! HasOwnProperty map , propertyKey )로 둡니다. isMapped 가 true 이면, 다음을 수행합니다.단언 ! Set map , propertyKey , value , false )를 수행합니다. ? OrdinarySet args , propertyKey , value , receiver )를 반환합니다.
10.4.4.5 [[Delete]] ( propertyKey )an arguments exotic object args 의 내부 메서드 [[Delete]] . 인수 propertyKey (프로퍼티 키 정상 완료 throw 완료
map 을 args .[[ParameterMap]] 으로 둡니다.isMapped 를 ! HasOwnProperty map , propertyKey )로 둡니다.result 를 ? OrdinaryDelete args , propertyKey )로 둡니다.result 가 true 이고 isMapped 가 true 이면, 다음을 수행합니다.! map .[[Delete]] propertyKey )를 수행합니다. result 를 반환합니다.
10.4.4.6 CreateUnmappedArgumentsObject ( argList )추상 연산 argList (리스트 ECMAScript 언어 값 일반 객체
length 를 argList 의 요소 수로 둡니다.obj 를 OrdinaryObjectCreate %Object.prototype% [[ParameterMap]] »)로 둡니다.obj .[[ParameterMap]] 을 undefined 로 설정합니다.! DefinePropertyOrThrow obj , "length" , PropertyDescriptor { [[Value]] : 𝔽 length ), [[Writable]] : true , [[Enumerable]] : false , [[Configurable]] : true })를 수행합니다. index 를 0으로 둡니다.index < length 인 동안 다음을 반복합니다.value 를 argList [index ]로 둡니다.! CreateDataPropertyOrThrow obj , ! ToString 𝔽 index )), value )를 수행합니다. index 를 index + 1로 설정합니다.! DefinePropertyOrThrow obj , %Symbol.iterator% [[Value]] : %Array.prototype.values%, [[Writable]] : true , [[Enumerable]] : false , [[Configurable]] : true })를 수행합니다. ! DefinePropertyOrThrow obj , "callee" , PropertyDescriptor { [[Getter]] : %ThrowTypeError% [[Setter]] : %ThrowTypeError% [[Enumerable]] : false , [[Configurable]] : false })를 수행합니다. obj 를 반환합니다.
10.4.4.7 CreateMappedArgumentsObject ( func , formals , argList , envRecord )추상 연산 func (ECMAScript 함수 객체), formals (구문 분석 노드), argList (리스트 ECMAScript 언어 값 envRecord (Environment 레코드 arguments 특수 객체
단언 formals 에는 나머지 매개변수, 바인딩 패턴 또는 이니셜라이저가 포함되어 있지 않습니다. 중복 식별자는 포함할 수 있습니다.length 를 argList 의 요소 수로 둡니다.obj 를 MakeBasicObject [[Prototype]] , [[Extensible]] , [[ParameterMap]] »)로 둡니다.obj .[[GetOwnProperty]] 10.4.4.1 obj .[[DefineOwnProperty]] 10.4.4.2 obj .[[Get]] 10.4.4.3 obj .[[Set]] 10.4.4.4 obj .[[Delete]] 10.4.4.5 obj .[[Prototype]] 을 %Object.prototype% map 을 OrdinaryObjectCreate null )로 둡니다.obj .[[ParameterMap]] 을 map 으로 설정합니다.paramNames 를 formals 의 BoundNames paramCount 를 paramNames 의 요소 수로 둡니다.index 를 0으로 둡니다.index < length 인 동안 다음을 반복합니다.value 를 argList [index ]로 둡니다.! CreateDataPropertyOrThrow obj , ! ToString 𝔽 index )), value )를 수행합니다. index 를 index + 1로 설정합니다.! DefinePropertyOrThrow obj , "length" , PropertyDescriptor { [[Value]] : 𝔽 length ), [[Writable]] : true , [[Enumerable]] : false , [[Configurable]] : true })를 수행합니다. mappedNames 를 새로운 빈 List index 를 paramCount - 1로 설정합니다.index ≥ 0인 동안 다음을 반복합니다.name 을 paramNames [index ]로 둡니다.mappedNames 에 name 이 포함되어 있지 않으면, 다음을 수행합니다.name 을 mappedNames 에 추가합니다.index < length 이면, 다음을 수행합니다.getter 를 MakeArgGetter name , envRecord )로 둡니다.setter 를 MakeArgSetter name , envRecord )로 둡니다.! map .[[DefineOwnProperty]] ToString 𝔽 index )), PropertyDescriptor { [[Setter]] : setter , [[Getter]] : getter , [[Enumerable]] : false , [[Configurable]] : true })를 수행합니다. index 를 index - 1로 설정합니다.! DefinePropertyOrThrow obj , %Symbol.iterator% [[Value]] : %Array.prototype.values%, [[Writable]] : true , [[Enumerable]] : false , [[Configurable]] : true })를 수행합니다. ! DefinePropertyOrThrow obj , "callee" , PropertyDescriptor { [[Value]] : func , [[Writable]] : true , [[Enumerable]] : false , [[Configurable]] : true })를 수행합니다. obj 를 반환합니다.
10.4.4.7.1 MakeArgGetter ( name , envRecord )추상 연산 name (String) 및 envRecord (Environment 레코드 함수 객체 envRecord 에서 name 에 바인딩된 값을 반환하는 내장 함수 객체
getterClosure 를 매개변수가 없고 name 및 envRecord 를 캡처하며 호출될 때 다음 단계를 수행하는 새로운 Abstract Closure NormalCompletion envRecord .GetBindingValue name , false ))을 반환합니다.getter 를 CreateBuiltinFunction getterClosure , 0, "" , « »)로 둡니다.참고 getter 에 직접 접근할 수는 없습니다.getter 를 반환합니다.
10.4.4.7.2 MakeArgSetter ( name , envRecord )추상 연산 name (String) 및 envRecord (Environment 레코드 함수 객체 envRecord 에서 name 에 바인딩된 값을 설정하는 내장 함수 객체
setterClosure 를 매개변수 (value )를 갖고 name 및 envRecord 를 캡처하며 호출될 때 다음 단계를 수행하는 새로운 Abstract Closure NormalCompletion envRecord .SetMutableBinding name , value , false ))을 반환합니다.setter 를 CreateBuiltinFunction setterClosure , 1, "" , « »)로 둡니다.참고 setter 에 직접 접근할 수는 없습니다.setter 를 반환합니다.
10.4.5 TypedArray 특수 객체TypedArray 정규 숫자 문자열 프로퍼티 키 특수 객체 정수 인덱스
참고
임의의 Number n 에 대한 ToString n )이 정규 숫자 문자열 TypedArray 프로퍼티 키
TypedArray 일반 객체 [[ViewedArrayBuffer]] , [[TypedArrayName]] , [[ContentType]] , [[ByteLength]] , [[ByteOffset]] 및 [[ArrayLength]] 내부 슬롯이 있습니다.
객체의 [[PreventExtensions]] , [[GetOwnProperty]] , [[HasProperty]] , [[DefineOwnProperty]] , [[Get]] , [[Set]] , [[Delete]] 및 [[OwnPropertyKeys]] 내부 메서드가 이 절의 정의를 사용하고, 그 밖의 필수 내부 메서드가 10.1 TypedArrayCreate
10.4.5.1 [[PreventExtensions]] ( )a TypedArray obj 의 내부 메서드 [[PreventExtensions]] . 인수 없음. 반환값: 정상 완료
참고 6.1.7.3 obj 가 프로퍼티를 얻을 수 있거나(또는 잃었다가 다시 얻을 수 있으면) 이 메서드가 true 를 반환하는 것을 허용하지 않습니다. 이러한 상황은 기반 버퍼의 크기가 조정될 때 정수 인덱스 IsTypedArrayFixedLength obj )가 false 이면, false 를 반환합니다.OrdinaryPreventExtensions obj )를 반환합니다.
10.4.5.2 [[GetOwnProperty]] ( propertyKey )a TypedArray obj 의 내부 메서드 [[GetOwnProperty]] . 인수 propertyKey (프로퍼티 키 정상 완료 프로퍼티 서술자 undefined )). 호출되면 다음 단계를 수행한다.
propertyKey 가 String이면, 다음을 수행합니다.numericIndex 를 CanonicalNumericIndexString propertyKey )으로 둡니다.numericIndex 가 undefined 가 아니면, 다음을 수행합니다.value 를 TypedArrayGetElement obj , numericIndex )로 둡니다.value 가 undefined 이면, undefined 를 반환합니다.PropertyDescriptor { [[Value]] : value , [[Writable]] : true , [[Enumerable]] : true , [[Configurable]] : true }를 반환합니다. OrdinaryGetOwnProperty obj , propertyKey )를 반환합니다.10.4.5.3 [[HasProperty]] ( propertyKey )a TypedArray obj 의 내부 메서드 [[HasProperty]] . 인수 propertyKey (프로퍼티 키 정상 완료 throw 완료
propertyKey 가 String이면, 다음을 수행합니다.numericIndex 를 CanonicalNumericIndexString propertyKey )으로 둡니다.numericIndex 가 undefined 가 아니면, IsValidIntegerIndex obj , numericIndex )를 반환합니다.? OrdinaryHasProperty obj , propertyKey )를 반환합니다. 10.4.5.4 [[DefineOwnProperty]] ( propertyKey , propertyDesc )a TypedArray obj 의 내부 메서드 [[DefineOwnProperty]] . 인수 propertyKey (프로퍼티 키 propertyDesc (프로퍼티 서술자 정상 완료 throw 완료
propertyKey 가 String이면, 다음을 수행합니다.numericIndex 를 CanonicalNumericIndexString propertyKey )으로 둡니다.numericIndex 가 undefined 가 아니면, 다음을 수행합니다.IsValidIntegerIndex obj , numericIndex )가 false 이면, false 를 반환합니다.propertyDesc 에 [[Configurable]] 필드가 있고 propertyDesc .[[Configurable]] 이 false 이면, false 를 반환합니다.propertyDesc 에 [[Enumerable]] 필드가 있고 propertyDesc .[[Enumerable]] 이 false 이면, false 를 반환합니다.IsAccessorDescriptor propertyDesc )가 true 이면, false 를 반환합니다.propertyDesc 에 [[Writable]] 필드가 있고 propertyDesc .[[Writable]] 이 false 이면, false 를 반환합니다.propertyDesc 에 [[Value]] 필드가 있으면 ? TypedArraySetElement obj , numericIndex , propertyDesc .[[Value]] )를 수행합니다.true 를 반환합니다.! OrdinaryDefineOwnProperty obj , propertyKey , propertyDesc )를 반환합니다. 10.4.5.5 [[Get]] ( propertyKey , receiver )a TypedArray obj 의 내부 메서드 [[Get]] . 인수 propertyKey (프로퍼티 키 receiver (ECMAScript 언어 값 정상 완료 ECMAScript 언어 값 throw 완료
propertyKey 가 String이면, 다음을 수행합니다.numericIndex 를 CanonicalNumericIndexString propertyKey )으로 둡니다.numericIndex 가 undefined 가 아니면, 다음을 수행합니다.TypedArrayGetElement obj , numericIndex )를 반환합니다.? OrdinaryGet obj , propertyKey , receiver )를 반환합니다. 10.4.5.6 [[Set]] ( propertyKey , value , receiver )a TypedArray obj 의 내부 메서드 [[Set]] . 인수 propertyKey (프로퍼티 키 value (ECMAScript 언어 값 receiver (ECMAScript 언어 값 정상 완료 throw 완료
propertyKey 가 String이면, 다음을 수행합니다.numericIndex 를 CanonicalNumericIndexString propertyKey )으로 둡니다.numericIndex 가 undefined 가 아니면, 다음을 수행합니다.SameValue obj , receiver )가 true 이면, 다음을 수행합니다.? TypedArraySetElement obj , numericIndex , value )를 수행합니다. true 를 반환합니다.IsValidIntegerIndex obj , numericIndex )가 false 이면, true 를 반환합니다.? OrdinarySet obj , propertyKey , value , receiver )를 반환합니다. 10.4.5.7 [[Delete]] ( propertyKey )a TypedArray obj 의 내부 메서드 [[Delete]] . 인수 propertyKey (프로퍼티 키 정상 완료
propertyKey 가 String이면, 다음을 수행합니다.numericIndex 를 CanonicalNumericIndexString propertyKey )으로 둡니다.numericIndex 가 undefined 가 아니면, 다음을 수행합니다.IsValidIntegerIndex obj , numericIndex )가 false 이면, true 를 반환합니다.false 를 반환합니다.! OrdinaryDelete obj , propertyKey )를 반환합니다. 10.4.5.8 [[OwnPropertyKeys]] ( )a TypedArray obj 의 내부 메서드 [[OwnPropertyKeys]] . 인수 없음. 반환값: 정상 완료 리스트 프로퍼티 키
taRecord 를 MakeTypedArrayWithBufferWitnessRecord obj , seq-cst )로 둡니다.keys 를 새로운 빈 List IsTypedArrayOutOfBounds taRecord )가 false 이면, 다음을 수행합니다.length 를 TypedArrayLength taRecord )로 둡니다.0 ≤ i < length 를 만족하는 각 정수 i 에 대해 오름차순으로 다음을 수행합니다.! ToString 𝔽 i ))을 keys 에 추가합니다. String이고 정수 인덱스 obj 의 각 자체 프로퍼티 키 propertyKey 에 대해 프로퍼티 생성 시간 오름차순으로 다음을 수행합니다.propertyKey 를 keys 에 추가합니다. Symbol인 obj 의 각 자체 프로퍼티 키 propertyKey 에 대해 프로퍼티 생성 시간 오름차순으로 다음을 수행합니다.propertyKey 를 keys 에 추가합니다. keys 를 반환합니다.10.4.5.9 버퍼 감시 Record가 있는 TypedArrayTypedArray With Buffer Witness Record 는 TypedArray Record 확장 가능한 SharedArrayBuffer ReadSharedMemory
TypedArray With Buffer Witness Record에는 표 28
표 28: TypedArray With Buffer Witness Record
필드 이름
값
의미
[[Object]]
TypedArray
버퍼의 바이트 길이가 로드되는 TypedArray
[[CachedBufferByteLength]]
음이 아닌 정수 detached
Record [[ViewedArrayBuffer]] 바이트 길이입니다.
10.4.5.10 MakeTypedArrayWithBufferWitnessRecord ( obj , order )추상 연산 obj (TypedArray order ((seq-cst 또는 unordered )). 반환값: TypedArray With Buffer Witness 레코드
buffer 를 obj .[[ViewedArrayBuffer]] 로 둡니다.IsDetachedBuffer buffer )가 true 이면, 다음을 수행합니다.byteLength 를 detached 로 둡니다.그렇지 않으면,byteLength 를 ArrayBufferByteLength buffer , order )로 둡니다. TypedArray With Buffer Witness Record [[Object]] : obj , [[CachedBufferByteLength]] : byteLength }를 반환합니다.10.4.5.11 TypedArrayCreate ( proto )추상 연산 proto (Object). 반환값: TypedArray TypedArray
internalSlotsList 를 « [[Prototype]] , [[Extensible]] , [[ViewedArrayBuffer]] , [[TypedArrayName]] , [[ContentType]] , [[ByteLength]] , [[ByteOffset]] , [[ArrayLength]] »로 둡니다.ta 를 MakeBasicObject internalSlotsList )로 둡니다.ta .[[PreventExtensions]] 10.4.5.1 ta .[[GetOwnProperty]] 10.4.5.2 ta .[[HasProperty]] 10.4.5.3 ta .[[DefineOwnProperty]] 10.4.5.4 ta .[[Get]] 10.4.5.5 ta .[[Set]] 10.4.5.6 ta .[[Delete]] 10.4.5.7 ta .[[OwnPropertyKeys]] 10.4.5.8 ta .[[Prototype]] 을 proto 로 설정합니다.ta 를 반환합니다.10.4.5.12 TypedArrayByteLength ( taRecord )추상 연산 taRecord (TypedArray With Buffer Witness 레코드
단언 IsTypedArrayOutOfBounds taRecord )는 false 입니다.obj 를 taRecord .[[Object]] 로 둡니다.obj .[[ByteLength]] 가 auto 가 아니면, obj .[[ByteLength]] 를 반환합니다.length 를 TypedArrayLength taRecord )로 둡니다.elementSize 를 TypedArrayElementSize obj )로 둡니다.참고 정수 elementSize 의 정수 length × elementSize 를 반환합니다.10.4.5.13 TypedArrayLength ( taRecord )추상 연산 taRecord (TypedArray With Buffer Witness 레코드
단언 IsTypedArrayOutOfBounds taRecord )는 false 입니다.obj 를 taRecord .[[Object]] 로 둡니다.obj .[[ArrayLength]] 가 auto 가 아니면, obj .[[ArrayLength]] 를 반환합니다.단언 IsFixedLengthArrayBuffer obj .[[ViewedArrayBuffer]] )는 false 입니다.byteOffset 을 obj .[[ByteOffset]] 으로 둡니다.elementSize 를 TypedArrayElementSize obj )로 둡니다.byteLength 를 taRecord .[[CachedBufferByteLength]] 로 둡니다.단언 byteLength 는 detached 가 아닙니다.floor byteLength - byteOffset ) / elementSize )를 반환합니다.10.4.5.14 IsTypedArrayOutOfBounds ( taRecord )추상 연산 taRecord (TypedArray With Buffer Witness 레코드
obj 를 taRecord .[[Object]] 로 둡니다.bufferByteLength 를 taRecord .[[CachedBufferByteLength]] 로 둡니다.IsDetachedBuffer obj .[[ViewedArrayBuffer]] )가 true 이면, 다음을 수행합니다.단언 bufferByteLength 는 detached 입니다.true 를 반환합니다.단언 bufferByteLength 는 음이 아닌 정수 byteOffsetStart 를 obj .[[ByteOffset]] 으로 둡니다.obj .[[ArrayLength]] 가 auto 이면, 다음을 수행합니다.byteOffsetEnd 를 bufferByteLength 로 둡니다.그렇지 않으면,elementSize 를 TypedArrayElementSize obj )로 둡니다.arrayByteLength 를 obj .[[ArrayLength]] × elementSize 로 둡니다.byteOffsetEnd 를 byteOffsetStart + arrayByteLength 로 둡니다. 참고 [[ByteOffset]] 이 bufferByteLength 인 길이 0의 TypedArray byteOffsetStart > bufferByteLength 이거나 byteOffsetEnd > bufferByteLength 이면, true 를 반환합니다.false 를 반환합니다.
10.4.5.15 IsTypedArrayFixedLength ( obj )추상 연산 obj (TypedArray
obj .[[ArrayLength]] 가 auto 이면, false 를 반환합니다.buffer 를 obj .[[ViewedArrayBuffer]] 로 둡니다.IsFixedLengthArrayBuffer buffer )가 false 이고 IsSharedArrayBuffer buffer )가 false 이면, false 를 반환합니다.true 를 반환합니다.
10.4.5.16 IsValidIntegerIndex ( obj , index )추상 연산 obj (TypedArray index (Number). 반환값: Boolean. 호출되면 다음 단계를 수행한다.
IsDetachedBuffer obj .[[ViewedArrayBuffer]] )가 true 이면, false 를 반환합니다.index 가 정수 false 를 반환합니다.index 가 -0 𝔽 이거나 index < -0 𝔽 이면, false 를 반환합니다.taRecord 를 MakeTypedArrayWithBufferWitnessRecord obj , unordered )로 둡니다.참고 obj 의 기반 버퍼가 확장 가능한 SharedArrayBuffer IsTypedArrayOutOfBounds taRecord )가 true 이면, false 를 반환합니다.length 를 TypedArrayLength taRecord )로 둡니다.ℝ index ) ≥ length 이면, false 를 반환합니다.true 를 반환합니다.
10.4.5.17 TypedArrayGetElement ( obj , index )추상 연산 obj (TypedArray index (Number). 반환값: (Number, BigInt 또는 undefined ). 호출되면 다음 단계를 수행한다.
IsValidIntegerIndex obj , index )가 false 이면, undefined 를 반환합니다.offset 을 obj .[[ByteOffset]] 으로 둡니다.elementSize 를 TypedArrayElementSize obj )로 둡니다.byteIndexInBuffer 를 (ℝ index ) × elementSize ) + offset 으로 둡니다.elementType 을 TypedArrayElementType obj )으로 둡니다.GetValueFromBuffer obj .[[ViewedArrayBuffer]] , byteIndexInBuffer , elementType , true , unordered )를 반환합니다.10.4.5.18 TypedArraySetElement ( obj , index , value )추상 연산 obj (TypedArray index (Number) 및 value (ECMAScript 언어 값 정상 완료 unused ) 또는 throw 완료
obj .[[ContentType]] 이 bigint 이면 number 를 ? ToBigInt value )로 둡니다.그렇지 않으면 number 를 ? ToNumber value )로 둡니다. IsValidIntegerIndex obj , index )가 true 이면, 다음을 수행합니다.offset 을 obj .[[ByteOffset]] 으로 둡니다.elementSize 를 TypedArrayElementSize obj )로 둡니다.byteIndexInBuffer 를 (ℝ index ) × elementSize ) + offset 으로 둡니다.elementType 을 TypedArrayElementType obj )으로 둡니다.SetValueInBuffer obj .[[ViewedArrayBuffer]] , byteIndexInBuffer , elementType , number , true , unordered )를 수행합니다.unused 를 반환합니다.참고
이 연산은 항상 성공하는 것처럼 보이지만 TypedArray TypedArray
10.4.5.19 IsArrayBufferViewOutOfBounds ( obj )추상 연산 obj ((TypedArray TypedArray 추상 연산
obj 에 [[DataView]] 내부 슬롯이 있으면, 다음을 수행합니다.viewRecord 를 MakeDataViewWithBufferWitnessRecord obj , seq-cst )로 둡니다.IsViewOutOfBounds viewRecord )를 반환합니다.taRecord 를 MakeTypedArrayWithBufferWitnessRecord obj , seq-cst )로 둡니다.IsTypedArrayOutOfBounds taRecord )를 반환합니다.
10.4.6 모듈 네임스페이스 특수 객체모듈 네임스페이스 특수 객체 Module 특수 객체 16.2.3 모듈 네임스페이스 특수 객체 Module export * 내보내기 항목을 사용하여 간접적으로 내보낸 모든 바인딩이 포함됩니다. String 값을 갖는 각 자체 프로퍼티 키 StringValue 모듈 네임스페이스 특수 객체 [[Writable]] : true , [[Enumerable]] : true , [[Configurable]] : false }를 갖습니다. 모듈 네임스페이스 특수 객체
객체의 [[GetPrototypeOf]] , [[SetPrototypeOf]] , [[IsExtensible]] , [[PreventExtensions]] , [[GetOwnProperty]] , [[DefineOwnProperty]] , [[HasProperty]] , [[Get]] , [[Set]] , [[Delete]] 및 [[OwnPropertyKeys]] 내부 메서드가 이 절의 정의를 사용하고, 그 밖의 필수 내부 메서드가 10.1 모듈 네임스페이스 특수 객체 입니다. 이러한 메서드는 ModuleNamespaceCreate
모듈 네임스페이스 특수 객체 표 29
표 29: 모듈 네임스페이스 특수 객체
10.4.6.1 [[GetPrototypeOf]] ( )a module namespace exotic object의 내부 메서드 [[GetPrototypeOf]] . 인수 없음. 반환값: 정상 완료 null ). 호출되면 다음 단계를 수행한다.
null 을 반환합니다.
10.4.6.2 [[SetPrototypeOf]] ( proto )a module namespace exotic object obj 의 내부 메서드 [[SetPrototypeOf]] . 인수 proto ((Object 또는 null )). 반환값: 정상 완료
! SetImmutablePrototype obj , proto )를 반환합니다.
10.4.6.3 [[IsExtensible]] ( )a module namespace exotic object의 내부 메서드 [[IsExtensible]] . 인수 없음. 반환값: 정상 완료 false ). 호출되면 다음 단계를 수행한다.
false 를 반환합니다.
10.4.6.4 [[PreventExtensions]] ( )a module namespace exotic object의 내부 메서드 [[PreventExtensions]] . 인수 없음. 반환값: 정상 완료 true ). 호출되면 다음 단계를 수행한다.
true 를 반환합니다.
10.4.6.5 [[GetOwnProperty]] ( propertyKey )a module namespace exotic object obj 의 내부 메서드 [[GetOwnProperty]] . 인수 propertyKey (프로퍼티 키 정상 완료 프로퍼티 서술자 undefined )) 또는 throw 완료
propertyKey 가 Symbol이면, OrdinaryGetOwnProperty obj , propertyKey )를 반환합니다.exports 를 obj .[[Exports]] 로 둡니다.exports 에 propertyKey 가 포함되어 있지 않으면, undefined 를 반환합니다.value 를 ? obj .[[Get]] propertyKey , obj )로 둡니다.PropertyDescriptor { [[Value]] : value , [[Writable]] : true , [[Enumerable]] : true , [[Configurable]] : false }를 반환합니다.
10.4.6.6 [[DefineOwnProperty]] ( propertyKey , propertyDesc )a module namespace exotic object obj 의 내부 메서드 [[DefineOwnProperty]] . 인수 propertyKey (프로퍼티 키 propertyDesc (프로퍼티 서술자 정상 완료 throw 완료
propertyKey 가 Symbol이면, ! OrdinaryDefineOwnProperty obj , propertyKey , propertyDesc )를 반환합니다.current 를 ? obj .[[GetOwnProperty]] propertyKey )로 둡니다.current 가 undefined 이면, false 를 반환합니다.propertyDesc 에 [[Configurable]] 필드가 있고 propertyDesc .[[Configurable]] 이 true 이면, false 를 반환합니다.propertyDesc 에 [[Enumerable]] 필드가 있고 propertyDesc .[[Enumerable]] 이 false 이면, false 를 반환합니다.IsAccessorDescriptor propertyDesc )가 true 이면, false 를 반환합니다.propertyDesc 에 [[Writable]] 필드가 있고 propertyDesc .[[Writable]] 이 false 이면, false 를 반환합니다.propertyDesc 에 [[Value]] 필드가 있으면, SameValue propertyDesc .[[Value]] , current .[[Value]] )를 반환합니다.true 를 반환합니다.
10.4.6.7 [[HasProperty]] ( propertyKey )a module namespace exotic object obj 의 내부 메서드 [[HasProperty]] . 인수 propertyKey (프로퍼티 키 정상 완료
propertyKey 가 Symbol이면, ! OrdinaryHasProperty obj , propertyKey )를 반환합니다.exports 를 obj .[[Exports]] 로 둡니다.exports 에 propertyKey 가 포함되어 있으면, true 를 반환합니다.false 를 반환합니다.
10.4.6.8 [[Get]] ( propertyKey , receiver )a module namespace exotic object obj 의 내부 메서드 [[Get]] . 인수 propertyKey (프로퍼티 키 receiver (ECMAScript 언어 값 정상 완료 ECMAScript 언어 값 throw 완료
propertyKey 가 Symbol이면, 다음을 수행합니다.! OrdinaryGet obj , propertyKey , receiver )를 반환합니다. exports 를 obj .[[Exports]] 로 둡니다.exports 에 propertyKey 가 포함되어 있지 않으면, undefined 를 반환합니다.module 을 obj .[[Module]] 로 둡니다.binding 을 module .ResolveExport propertyKey )로 둡니다.단언 binding 은 ResolvedBinding Record targetModule 을 binding .[[Module]] 로 둡니다.단언 targetModule 은 undefined 가 아닙니다.binding .[[BindingName]] 이 namespace 이면, 다음을 수행합니다.GetModuleNamespace targetModule )를 반환합니다.targetEnv 를 targetModule .[[Environment]] 로 둡니다.targetEnv 가 empty 이면, ReferenceError 예외를 던집니다.? targetEnv .GetBindingValue binding .[[BindingName]] , true )를 반환합니다. 참고
ResolveExport exportName , resolveSet 인수 쌍으로 호출할 때마다 동일한 결과를 반환해야 합니다. 구현체는 각 모듈 네임스페이스 특수 객체 [[Exports]] 에 대한 ResolveExport
10.4.6.9 [[Set]] ( propertyKey , value , receiver )a module namespace exotic object의 내부 메서드 [[Set]] . 인수 propertyKey (프로퍼티 키 value (ECMAScript 언어 값 receiver (ECMAScript 언어 값 정상 완료 false ). 호출되면 다음 단계를 수행한다.
false 를 반환합니다.
10.4.6.10 [[Delete]] ( propertyKey )a module namespace exotic object obj 의 내부 메서드 [[Delete]] . 인수 propertyKey (프로퍼티 키 정상 완료
propertyKey 가 Symbol이면, 다음을 수행합니다.! OrdinaryDelete obj , propertyKey )를 반환합니다. exports 를 obj .[[Exports]] 로 둡니다.exports 에 propertyKey 가 포함되어 있으면, false 를 반환합니다.true 를 반환합니다.
10.4.6.11 [[OwnPropertyKeys]] ( )a module namespace exotic object obj 의 내부 메서드 [[OwnPropertyKeys]] . 인수 없음. 반환값: 정상 완료 리스트 프로퍼티 키
exports 를 obj .[[Exports]] 로 둡니다.symbolKeys 를 OrdinaryOwnPropertyKeys obj )로 둡니다.exports 와 symbolKeys 의 목록 연결
10.4.6.12 ModuleNamespaceCreate ( module , exports )추상 연산 module (Module 레코드 exports (리스트 모듈 네임스페이스 특수 객체
단언 module .[[Namespace]] 는 empty 입니다.internalSlotsList 를 표 29 namespace 를 MakeBasicObject internalSlotsList )로 둡니다.namespace 의 필수 내부 메서드를 10.4.6 namespace .[[Module]] 을 module 로 설정합니다.sortedExports 를 exports 의 요소를 사전식 코드 단위 순서 List namespace .[[Exports]] 를 sortedExports 로 설정합니다.28.3 namespace 의 자체 프로퍼티를 생성합니다.module .[[Namespace]] 를 namespace 로 설정합니다.namespace 를 반환합니다.
10.4.7 변경 불가능한 프로토타입 특수 객체변경 불가능한 프로토타입 특수 객체 [[Prototype]] 내부 슬롯을 갖는 특수 객체
객체의 [[SetPrototypeOf]] 내부 메서드가 다음 구현을 사용하면 해당 객체는 변경 불가능한 프로토타입 특수 객체 입니다. (그 밖의 필수 내부 메서드는 해당 변경 불가능한 프로토타입 특수 객체
참고
다른 특수 객체 변경 불가능한 프로토타입 특수 객체 추상 연산 %Object.prototype% 호스트 환경 호스트 환경 특수 객체
10.4.7.1 [[SetPrototypeOf]] ( proto )an immutable prototype exotic object obj 의 내부 메서드 [[SetPrototypeOf]] . 인수 proto ((Object 또는 null )). 반환값: (정상 완료 throw 완료
? SetImmutablePrototype obj , proto )를 반환합니다.
10.4.7.2 SetImmutablePrototype ( obj , proto )추상 연산 obj (Object) 및 proto ((Object 또는 null )). 반환값: (정상 완료 throw 완료
current 를 ? obj .[[GetPrototypeOf]] SameValue proto , current )가 true 이면, true 를 반환합니다.false 를 반환합니다.
10.5 Proxy 객체 내부 메서드와 내부 슬롯Proxy 객체는 필수 내부 메서드의 일부가 ECMAScript 코드를 사용하여 구현되는 특수 객체 [[ProxyHandler]] 라는 내부 슬롯이 있습니다. [[ProxyHandler]] 의 값은 프록시의 핸들러 객체 라고 하는 객체 또는 null 입니다. 핸들러 객체의 메서드(표 30 [[ProxyTarget]] 이라는 내부 슬롯도 있으며, 그 값은 객체 또는 null 입니다. 이 객체를 프록시의 대상 객체 라고 합니다.
객체의 필수 내부 메서드(해당하는 경우 [[Call]] 및 [[Construct]] 포함)가 이 절의 정의를 사용하면 해당 객체는 Proxy 특수 객체 입니다. 이러한 내부 메서드는 ProxyCreate
표 30: Proxy 핸들러 메서드
내부 메서드
핸들러 메서드
[[GetPrototypeOf]]
getPrototypeOf
[[SetPrototypeOf]]
setPrototypeOf
[[IsExtensible]]
isExtensible
[[PreventExtensions]]
preventExtensions
[[GetOwnProperty]]
getOwnPropertyDescriptor
[[DefineOwnProperty]]
defineProperty
[[HasProperty]]
has
[[Get]]
get
[[Set]]
set
[[Delete]]
deleteProperty
[[OwnPropertyKeys]]
ownKeys
[[Call]]
apply
[[Construct]]
construct
Proxy 객체 내부 메서드의 구현을 제공하기 위해 핸들러 메서드를 호출하면 프록시의 대상 객체가 매개변수로 핸들러 메서드에 전달됩니다. 프록시의 핸들러 객체가 모든 필수 내부 메서드에 대응하는 메서드를 반드시 갖는 것은 아닙니다. 핸들러 객체에 내부 트랩에 대응하는 메서드가 없으면 프록시에서 내부 메서드를 호출할 때 프록시의 대상 객체에서 대응하는 내부 메서드를 호출합니다.
Proxy 객체의 [[ProxyHandler]] 및 [[ProxyTarget]] 내부 슬롯은 객체가 생성될 때 항상 초기화되며 일반적으로 수정할 수 없습니다. 일부 Proxy 객체는 나중에 해제 할 수 있는 방식으로 생성됩니다. 프록시가 해제되면 [[ProxyHandler]] 및 [[ProxyTarget]] 내부 슬롯이 null 로 설정되며, 이후 해당 Proxy 객체에서 내부 메서드를 호출하면 TypeError 예외가 던져집니다.
Proxy 객체는 임의의 ECMAScript 코드가 내부 메서드 구현을 제공할 수 있게 하므로, 핸들러 메서드가 6.1.7.3 6.1.7.3
다음 알고리즘 설명에서는 obj 가 ECMAScript Proxy 객체이고, propertyKey 가 프로퍼티 키 value 가 임의의 ECMAScript 언어 값 propertyDesc 가 Property Descriptor Record
10.5.1 [[GetPrototypeOf]] ( )a Proxy exotic object obj 의 내부 메서드 [[GetPrototypeOf]] . 인수 없음. 반환값: (정상 완료 null )) 또는 throw 완료
? ValidateNonRevokedProxy obj )를 수행합니다. target 을 obj .[[ProxyTarget]] 으로 둡니다.handler 를 obj .[[ProxyHandler]] 로 둡니다.단언 handler 는 Object입니다.trap 을 ? GetMethod handler , "getPrototypeOf" )로 둡니다.trap 이 undefined 이면, 다음을 수행합니다.? target .[[GetPrototypeOf]] handlerProto 를 ? Call trap , handler , « target »)로 둡니다.handlerProto 가 Object도 아니고 null 도 아니면, TypeError 예외를 던집니다.extensibleTarget 을 ? IsExtensible target )로 둡니다.extensibleTarget 이 true 이면, handlerProto 를 반환합니다.targetProto 를 ? target .[[GetPrototypeOf]] SameValue handlerProto , targetProto )가 false 이면, TypeError 예외를 던집니다.handlerProto 를 반환합니다.참고
Proxy 객체의 [[GetPrototypeOf]] 는 다음 불변 조건을 강제합니다:
[[GetPrototypeOf]] 의 결과는 Object 또는 null 이어야 합니다.
대상 객체가 확장 가능하지 않으면 Proxy 객체에 적용한 [[GetPrototypeOf]] 는 Proxy 객체의 대상 객체에 적용한 [[GetPrototypeOf]] 와 같은 값을 반환해야 합니다.
10.5.2 [[SetPrototypeOf]] ( proto )a Proxy exotic object obj 의 내부 메서드 [[SetPrototypeOf]] . 인수 proto ((Object 또는 null )). 반환값: (정상 완료 throw 완료
? ValidateNonRevokedProxy obj )를 수행합니다. target 을 obj .[[ProxyTarget]] 으로 둡니다.handler 를 obj .[[ProxyHandler]] 로 둡니다.단언 handler 는 Object입니다.trap 을 ? GetMethod handler , "setPrototypeOf" )로 둡니다.trap 이 undefined 이면, 다음을 수행합니다.? target .[[SetPrototypeOf]] proto ) boolTrapResult 를 ToBoolean Call trap , handler , « target , proto »))로 둡니다.boolTrapResult 가 false 이면, false 를 반환합니다.extensibleTarget 을 ? IsExtensible target )로 둡니다.extensibleTarget 이 true 이면, true 를 반환합니다.targetProto 를 ? target .[[GetPrototypeOf]] SameValue proto , targetProto )가 false 이면, TypeError 예외를 던집니다.true 를 반환합니다.참고
Proxy 객체의 [[SetPrototypeOf]] 는 다음 불변 조건을 강제합니다:
[[SetPrototypeOf]] 의 결과는 Boolean 값입니다.
대상 객체가 확장 가능하지 않으면 인수 값은 대상 객체에 적용한 [[GetPrototypeOf]] 의 결과와 같아야 합니다.
10.5.3 [[IsExtensible]] ( )a Proxy exotic object obj 의 내부 메서드 [[IsExtensible]] . 인수 없음. 반환값: (정상 완료 throw 완료
? ValidateNonRevokedProxy obj )를 수행합니다. target 을 obj .[[ProxyTarget]] 으로 둡니다.handler 를 obj .[[ProxyHandler]] 로 둡니다.단언 handler 는 Object입니다.trap 을 ? GetMethod handler , "isExtensible" )로 둡니다.trap 이 undefined 이면, 다음을 수행합니다.? IsExtensible target )을 반환합니다. boolTrapResult 를 ToBoolean Call trap , handler , « target »))로 둡니다.targetResult 를 ? IsExtensible target )로 둡니다.boolTrapResult 가 targetResult 와 다르면, TypeError 예외를 던집니다.boolTrapResult 를 반환합니다.참고
Proxy 객체의 [[IsExtensible]] 은 다음 불변 조건을 강제합니다:
[[IsExtensible]] 의 결과는 Boolean 값입니다.
Proxy 객체에 적용한 [[IsExtensible]] 은 동일한 인수로 Proxy 객체의 대상 객체에 적용한 [[IsExtensible]] 과 같은 값을 반환해야 합니다.
10.5.4 [[PreventExtensions]] ( )a Proxy exotic object obj 의 내부 메서드 [[PreventExtensions]] . 인수 없음. 반환값: (정상 완료 throw 완료
? ValidateNonRevokedProxy obj )를 수행합니다. target 을 obj .[[ProxyTarget]] 으로 둡니다.handler 를 obj .[[ProxyHandler]] 로 둡니다.단언 handler 는 Object입니다.trap 을 ? GetMethod handler , "preventExtensions" )로 둡니다.trap 이 undefined 이면, 다음을 수행합니다.? target .[[PreventExtensions]] boolTrapResult 를 ToBoolean Call trap , handler , « target »))로 둡니다.boolTrapResult 가 true 이면, 다음을 수행합니다.extensibleTarget 을 ? IsExtensible target )로 둡니다.extensibleTarget 이 true 이면, TypeError 예외를 던집니다.boolTrapResult 를 반환합니다.참고
Proxy 객체의 [[PreventExtensions]] 는 다음 불변 조건을 강제합니다:
[[PreventExtensions]] 의 결과는 Boolean 값입니다.
Proxy 객체에 적용한 [[PreventExtensions]] 는 Proxy 객체의 대상 객체에 적용한 [[IsExtensible]] 이 false 일 때만 true 를 반환합니다.
10.5.5 [[GetOwnProperty]] ( propertyKey )a Proxy exotic object obj 의 내부 메서드 [[GetOwnProperty]] . 인수 propertyKey (프로퍼티 키 정상 완료 프로퍼티 서술자 undefined )) 또는 throw 완료
? ValidateNonRevokedProxy obj )를 수행합니다. target 을 obj .[[ProxyTarget]] 으로 둡니다.handler 를 obj .[[ProxyHandler]] 로 둡니다.단언 handler 는 Object입니다.trap 을 ? GetMethod handler , "getOwnPropertyDescriptor" )로 둡니다.trap 이 undefined 이면, 다음을 수행합니다.? target .[[GetOwnProperty]] propertyKey ) trapResultObj 를 ? Call trap , handler , « target , propertyKey »)로 둡니다.trapResultObj 가 Object도 아니고 undefined 도 아니면, TypeError 예외를 던집니다.targetDesc 를 ? target .[[GetOwnProperty]] propertyKey )trapResultObj 가 undefined 이면, 다음을 수행합니다.targetDesc 가 undefined 이면, undefined 를 반환합니다.targetDesc .[[Configurable]] 이 false 이면, TypeError 예외를 던집니다.extensibleTarget 을 ? IsExtensible target )로 둡니다.extensibleTarget 이 false 이면, TypeError 예외를 던집니다.undefined 를 반환합니다.extensibleTarget 을 ? IsExtensible target )로 둡니다.resultDesc 를 ? ToPropertyDescriptor trapResultObj )로 둡니다.CompletePropertyDescriptor resultDesc )를 수행합니다.valid 를 IsCompatiblePropertyDescriptor extensibleTarget , resultDesc , targetDesc )로 둡니다.valid 가 false 이면, TypeError 예외를 던집니다.resultDesc .[[Configurable]] 이 false 이면, 다음을 수행합니다.targetDesc 가 undefined 이거나 targetDesc .[[Configurable]] 이 true 이면, 다음을 수행합니다.TypeError 예외를 던집니다.resultDesc 에 [[Writable]] 필드가 있고 resultDesc .[[Writable]] 이 false 이면, 다음을 수행합니다.단언 targetDesc 에는 [[Writable]] 필드가 있습니다.targetDesc .[[Writable]] 이 true 이면, TypeError 예외를 던집니다.resultDesc 를 반환합니다.참고
Proxy 객체의 [[GetOwnProperty]] 는 다음 불변 조건을 강제합니다:
[[GetOwnProperty]] 의 결과는 Property Descriptor undefined 여야 합니다.
대상 객체의 구성 불가능한 자체 프로퍼티로 존재하는 프로퍼티를 존재하지 않는 것으로 보고할 수 없습니다.
확장 불가능한 대상 객체의 자체 프로퍼티로 존재하는 프로퍼티를 존재하지 않는 것으로 보고할 수 없습니다.
대상 객체의 자체 프로퍼티로 존재하지 않고 대상 객체가 확장 가능하지 않으면 프로퍼티를 존재하는 것으로 보고할 수 없습니다.
대상 객체의 구성 불가능한 자체 프로퍼티로 존재하지 않는 한 프로퍼티를 구성 불가능한 것으로 보고할 수 없습니다.
대상 객체의 구성 불가능하고 쓰기 불가능한 자체 프로퍼티로 존재하지 않는 한 프로퍼티를 구성 불가능하면서 동시에 쓰기 불가능한 것으로 보고할 수 없습니다.
10.5.6 [[DefineOwnProperty]] ( propertyKey , propertyDesc )a Proxy exotic object obj 의 내부 메서드 [[DefineOwnProperty]] . 인수 propertyKey (프로퍼티 키 propertyDesc (프로퍼티 서술자 정상 완료 throw 완료
? ValidateNonRevokedProxy obj )를 수행합니다. target 을 obj .[[ProxyTarget]] 으로 둡니다.handler 를 obj .[[ProxyHandler]] 로 둡니다.단언 handler 는 Object입니다.trap 을 ? GetMethod handler , "defineProperty" )로 둡니다.trap 이 undefined 이면, 다음을 수행합니다.? target .[[DefineOwnProperty]] propertyKey , propertyDesc ) propertyDescObj 를 FromPropertyDescriptor propertyDesc )로 둡니다.boolTrapResult 를 ToBoolean Call trap , handler , « target , propertyKey , propertyDescObj »))로 둡니다.boolTrapResult 가 false 이면, false 를 반환합니다.targetDesc 를 ? target .[[GetOwnProperty]] propertyKey )extensibleTarget 을 ? IsExtensible target )로 둡니다.propertyDesc 에 [[Configurable]] 필드가 있고 propertyDesc .[[Configurable]] 이 false 이면, 다음을 수행합니다.settingConfigurableFalse 를 true 로 둡니다.그렇지 않으면,settingConfigurableFalse 를 false 로 둡니다. targetDesc 가 undefined 이면, 다음을 수행합니다.extensibleTarget 이 false 이면, TypeError 예외를 던집니다.settingConfigurableFalse 가 true 이면, TypeError 예외를 던집니다.그렇지 않으면,IsCompatiblePropertyDescriptor extensibleTarget , propertyDesc , targetDesc )가 false 이면, TypeError 예외를 던집니다.settingConfigurableFalse 가 true 이고 targetDesc .[[Configurable]] 이 true 이면, TypeError 예외를 던집니다.IsDataDescriptor targetDesc )가 true 이고, targetDesc .[[Configurable]] 이 false 이며, targetDesc .[[Writable]] 이 true 이면, 다음을 수행합니다.propertyDesc 에 [[Writable]] 필드가 있고 propertyDesc .[[Writable]] 이 false 이면, TypeError 예외를 던집니다. true 를 반환합니다.참고
Proxy 객체의 [[DefineOwnProperty]] 는 다음 불변 조건을 강제합니다:
[[DefineOwnProperty]] 의 결과는 Boolean 값입니다.
대상 객체가 확장 가능하지 않으면 프로퍼티를 추가할 수 없습니다.
대상 객체에 대응하는 구성 불가능한 자체 프로퍼티가 존재하지 않는 한 프로퍼티를 구성 불가능하게 만들 수 없습니다.
대상 객체에 대응하는 구성 불가능하고 쓰기 불가능한 자체 프로퍼티가 존재하지 않는 한 구성 불가능한 프로퍼티를 쓰기 불가능하게 만들 수 없습니다.
프로퍼티에 대응하는 대상 객체 프로퍼티가 있으면 해당 프로퍼티의 Property Descriptor [[DefineOwnProperty]] 을 사용하여 대상 객체에 적용할 때 예외를 던지지 않습니다.
10.5.7 [[HasProperty]] ( propertyKey )a Proxy exotic object obj 의 내부 메서드 [[HasProperty]] . 인수 propertyKey (프로퍼티 키 정상 완료 throw 완료
? ValidateNonRevokedProxy obj )를 수행합니다. target 을 obj .[[ProxyTarget]] 으로 둡니다.handler 를 obj .[[ProxyHandler]] 로 둡니다.단언 handler 는 Object입니다.trap 을 ? GetMethod handler , "has" )로 둡니다.trap 이 undefined 이면, 다음을 수행합니다.? target .[[HasProperty]] propertyKey ) boolTrapResult 를 ToBoolean Call trap , handler , « target , propertyKey »))로 둡니다.boolTrapResult 가 false 이면, 다음을 수행합니다.targetDesc 를 ? target .[[GetOwnProperty]] propertyKey )targetDesc 가 undefined 가 아니면, 다음을 수행합니다.targetDesc .[[Configurable]] 이 false 이면, TypeError 예외를 던집니다.extensibleTarget 을 ? IsExtensible target )로 둡니다.extensibleTarget 이 false 이면, TypeError 예외를 던집니다.boolTrapResult 를 반환합니다.참고
Proxy 객체의 [[HasProperty]] 는 다음 불변 조건을 강제합니다:
[[HasProperty]] 의 결과는 Boolean 값입니다.
대상 객체의 구성 불가능한 자체 프로퍼티로 존재하는 프로퍼티를 존재하지 않는 것으로 보고할 수 없습니다.
대상 객체의 자체 프로퍼티로 존재하고 대상 객체가 확장 가능하지 않으면 프로퍼티를 존재하지 않는 것으로 보고할 수 없습니다.
10.5.8 [[Get]] ( propertyKey , receiver )a Proxy exotic object obj 의 내부 메서드 [[Get]] . 인수 propertyKey (프로퍼티 키 receiver (ECMAScript 언어 값 정상 완료 ECMAScript 언어 값 throw 완료
? ValidateNonRevokedProxy obj )를 수행합니다. target 을 obj .[[ProxyTarget]] 으로 둡니다.handler 를 obj .[[ProxyHandler]] 로 둡니다.단언 handler 는 Object입니다.trap 을 ? GetMethod handler , "get" )로 둡니다.trap 이 undefined 이면, 다음을 수행합니다.? target .[[Get]] propertyKey , receiver ) trapResult 를 ? Call trap , handler , « target , propertyKey , receiver »)로 둡니다.targetDesc 를 ? target .[[GetOwnProperty]] propertyKey )targetDesc 가 undefined 가 아니고 targetDesc .[[Configurable]] 이 false 이면, 다음을 수행합니다.IsDataDescriptor targetDesc )가 true 이고 targetDesc .[[Writable]] 이 false 이면, 다음을 수행합니다.SameValue trapResult , targetDesc .[[Value]] )가 false 이면, TypeError 예외를 던집니다.IsAccessorDescriptor targetDesc )가 true 이고 targetDesc .[[Getter]] 가 undefined 이면, 다음을 수행합니다.trapResult 가 undefined 가 아니면, TypeError 예외를 던집니다.trapResult 를 반환합니다.참고
Proxy 객체의 [[Get]] 은 다음 불변 조건을 강제합니다:
대상 객체의 대응하는 프로퍼티가 쓰기 불가능하고 구성 불가능한 자체 데이터 프로퍼티
대상 객체의 대응하는 프로퍼티가 [[Getter]] 속성으로 undefined 를 갖는 구성 불가능한 자체 접근자 프로퍼티 undefined 여야 합니다.
10.5.9 [[Set]] ( propertyKey , value , receiver )a Proxy exotic object obj 의 내부 메서드 [[Set]] . 인수 propertyKey (프로퍼티 키 value (ECMAScript 언어 값 receiver (ECMAScript 언어 값 정상 완료 throw 완료
? ValidateNonRevokedProxy obj )를 수행합니다. target 을 obj .[[ProxyTarget]] 으로 둡니다.handler 를 obj .[[ProxyHandler]] 로 둡니다.단언 handler 는 Object입니다.trap 을 ? GetMethod handler , "set" )로 둡니다.trap 이 undefined 이면, 다음을 수행합니다.? target .[[Set]] propertyKey , value , receiver ) boolTrapResult 를 ToBoolean Call trap , handler , « target , propertyKey , value , receiver »))로 둡니다.boolTrapResult 가 false 이면, false 를 반환합니다.targetDesc 를 ? target .[[GetOwnProperty]] propertyKey )targetDesc 가 undefined 가 아니고 targetDesc .[[Configurable]] 이 false 이면, 다음을 수행합니다.IsDataDescriptor targetDesc )가 true 이고 targetDesc .[[Writable]] 이 false 이면, 다음을 수행합니다.SameValue value , targetDesc .[[Value]] )가 false 이면, TypeError 예외를 던집니다.IsAccessorDescriptor targetDesc )가 true 이면, 다음을 수행합니다.targetDesc .[[Setter]] 가 undefined 이면, TypeError 예외를 던집니다.true 를 반환합니다.참고
Proxy 객체의 [[Set]] 은 다음 불변 조건을 강제합니다:
[[Set]] 의 결과는 Boolean 값입니다.
대응하는 대상 객체 프로퍼티가 쓰기 불가능하고 구성 불가능한 자체 데이터 프로퍼티
대응하는 대상 객체 프로퍼티가 [[Setter]] 속성으로 undefined 를 갖는 구성 불가능한 자체 접근자 프로퍼티
10.5.10 [[Delete]] ( propertyKey )a Proxy exotic object obj 의 내부 메서드 [[Delete]] . 인수 propertyKey (프로퍼티 키 정상 완료 throw 완료
? ValidateNonRevokedProxy obj )를 수행합니다. target 을 obj .[[ProxyTarget]] 으로 둡니다.handler 를 obj .[[ProxyHandler]] 로 둡니다.단언 handler 는 Object입니다.trap 을 ? GetMethod handler , "deleteProperty" )로 둡니다.trap 이 undefined 이면, 다음을 수행합니다.? target .[[Delete]] propertyKey ) boolTrapResult 를 ToBoolean Call trap , handler , « target , propertyKey »))로 둡니다.boolTrapResult 가 false 이면, false 를 반환합니다.targetDesc 를 ? target .[[GetOwnProperty]] propertyKey )targetDesc 가 undefined 이면, true 를 반환합니다.targetDesc .[[Configurable]] 이 false 이면, TypeError 예외를 던집니다.extensibleTarget 을 ? IsExtensible target )로 둡니다.extensibleTarget 이 false 이면, TypeError 예외를 던집니다.true 를 반환합니다.참고
Proxy 객체의 [[Delete]] 는 다음 불변 조건을 강제합니다:
[[Delete]] 의 결과는 Boolean 값입니다.
대상 객체의 구성 불가능한 자체 프로퍼티로 존재하는 프로퍼티를 삭제된 것으로 보고할 수 없습니다.
대상 객체의 자체 프로퍼티로 존재하고 대상 객체가 확장 불가능하면 프로퍼티를 삭제된 것으로 보고할 수 없습니다.
10.5.11 [[OwnPropertyKeys]] ( )a Proxy exotic object obj 의 내부 메서드 [[OwnPropertyKeys]] . 인수 없음. 반환값: (정상 완료 리스트 프로퍼티 키 throw 완료
? ValidateNonRevokedProxy obj )를 수행합니다. target 을 obj .[[ProxyTarget]] 으로 둡니다.handler 를 obj .[[ProxyHandler]] 로 둡니다.단언 handler 는 Object입니다.trap 을 ? GetMethod handler , "ownKeys" )로 둡니다.trap 이 undefined 이면, 다음을 수행합니다.? target .[[OwnPropertyKeys]] trapResultArray 를 ? Call trap , handler , « target »)로 둡니다.trapResult 를 ? CreateListFromArrayLike trapResultArray , property-key )로 둡니다.trapResult 에 중복 항목이 하나라도 있으면, TypeError 예외를 던집니다.extensibleTarget 을 ? IsExtensible target )로 둡니다.targetKeys 를 ? target .[[OwnPropertyKeys]] 단언 targetKeys 는 프로퍼티 키 List 단언 targetKeys 에는 중복 항목이 없습니다.targetConfigurableKeys 를 새로운 빈 List targetNonconfigurableKeys 를 새로운 빈 List targetKeys 의 각 요소 key 에 대해 다음을 수행합니다.propertyDesc 를 ? target .[[GetOwnProperty]] key )propertyDesc 가 undefined 가 아니고 propertyDesc .[[Configurable]] 이 false 이면, 다음을 수행합니다.key 를 targetNonconfigurableKeys 에 추가합니다.그렇지 않으면,key 를 targetConfigurableKeys 에 추가합니다. extensibleTarget 이 true 이고 targetNonconfigurableKeys 가 비어 있으면, 다음을 수행합니다.trapResult 를 반환합니다.uncheckedResultKeys 를 trapResult 의 요소를 요소로 갖는 List targetNonconfigurableKeys 의 각 요소 key 에 대해 다음을 수행합니다.uncheckedResultKeys 에 key 가 포함되어 있지 않으면, TypeError 예외를 던집니다.uncheckedResultKeys 에서 key 를 제거합니다.extensibleTarget 이 true 이면, trapResult 를 반환합니다.targetConfigurableKeys 의 각 요소 key 에 대해 다음을 수행합니다.uncheckedResultKeys 에 key 가 포함되어 있지 않으면, TypeError 예외를 던집니다.uncheckedResultKeys 에서 key 를 제거합니다.uncheckedResultKeys 가 비어 있지 않으면, TypeError 예외를 던집니다.trapResult 를 반환합니다.참고
Proxy 객체의 [[OwnPropertyKeys]] 는 다음 불변 조건을 강제합니다:
[[OwnPropertyKeys]] 의 결과는 List
반환된 List
반환된 List 프로퍼티 키
결과 List 프로퍼티 키
대상 객체가 확장 가능하지 않으면 결과 List 프로퍼티 키
10.5.12 [[Call]] ( thisArg , argList )a Proxy exotic object obj 의 내부 메서드 [[Call]] . 인수 thisArg (ECMAScript 언어 값 argList (리스트 ECMAScript 언어 값 정상 완료 ECMAScript 언어 값 throw 완료
? ValidateNonRevokedProxy obj )를 수행합니다. target 을 obj .[[ProxyTarget]] 으로 둡니다.handler 를 obj .[[ProxyHandler]] 로 둡니다.단언 handler 는 Object입니다.trap 을 ? GetMethod handler , "apply" )로 둡니다.trap 이 undefined 이면, 다음을 수행합니다.? Call target , thisArg , argList )를 반환합니다. argArray 를 CreateArrayFromList argList )로 둡니다.? Call trap , handler , « target , thisArg , argArray »)를 반환합니다. 참고
Proxy 특수 객체 [[ProxyTarget]] 내부 슬롯의 초기값이 [[Call]] 내부 메서드를 갖는 객체인 경우에만 [[Call]] 내부 메서드를 갖습니다.
10.5.13 [[Construct]] ( argList , newTarget )a Proxy exotic object obj 의 내부 메서드 [[Construct]] . 인수 argList (리스트 ECMAScript 언어 값 newTarget (생성자 정상 완료 throw 완료
? ValidateNonRevokedProxy obj )를 수행합니다. target 을 obj .[[ProxyTarget]] 으로 둡니다.단언 IsConstructor target )은 true 입니다.handler 를 obj .[[ProxyHandler]] 로 둡니다.단언 handler 는 Object입니다.trap 을 ? GetMethod handler , "construct" )로 둡니다.trap 이 undefined 이면, 다음을 수행합니다.? Construct target , argList , newTarget )를 반환합니다. argArray 를 CreateArrayFromList argList )로 둡니다.newObj 를 ? Call trap , handler , « target , argArray , newTarget »)로 둡니다.newObj 가 Object가 아니면, TypeError 예외를 던집니다.newObj 를 반환합니다.참고 1
Proxy 특수 객체 [[ProxyTarget]] 내부 슬롯의 초기값이 [[Construct]] 내부 메서드를 갖는 객체인 경우에만 [[Construct]] 내부 메서드를 갖습니다.
참고 2
Proxy 객체의 [[Construct]] 는 다음 불변 조건을 강제합니다:
[[Construct]] 의 결과는 Object여야 합니다.
10.5.14 ValidateNonRevokedProxy ( proxy )추상 연산 proxy (Proxy 특수 객체 정상 완료 unused ) 또는 throw 완료 proxy 가 해제된 경우 TypeError 예외를 던집니다. 호출되면 다음 단계를 수행한다.
proxy .[[ProxyTarget]] 이 null 이면, TypeError 예외를 던집니다.단언 proxy .[[ProxyHandler]] 는 null 이 아닙니다.unused 를 반환합니다.
10.5.15 ProxyCreate ( target , handler )추상 연산 target (ECMAScript 언어 값 handler (ECMAScript 언어 값 정상 완료 Proxy 특수 객체 throw 완료
target 이 Object가 아니면 TypeError 예외를 던집니다.handler 가 Object가 아니면 TypeError 예외를 던집니다.proxy 를 MakeBasicObject [[ProxyHandler]] , [[ProxyTarget]] »)로 둡니다.proxy 의 필수 내부 메서드 중 [[Call]] 및 [[Construct]] 를 제외한 메서드를 10.5 IsCallable target )이 true 이면, 다음을 수행합니다.proxy .[[Call]] 10.5.12 IsConstructor target )가 true 이면, 다음을 수행합니다.proxy .[[Construct]] 10.5.13 proxy .[[ProxyTarget]] 을 target 으로 설정합니다.proxy .[[ProxyHandler]] 를 handler 로 설정합니다.proxy 를 반환합니다.