[javascript] 0 [0]이 구문 적으로 유효한 이유는 무엇입니까?

당신이 할 때 0[0] 하면 JS 인터프리터는 첫 번째 0를 Number객체 로 변환 한 다음 [0]해당 객체 의 속성에 액세스하려고합니다 undefined.

0[0]이 컨텍스트의 언어 문법에서 속성 액세스 구문 을 허용 하므로 구문 오류가 없습니다 . 이 구조 (Javascript 문법의 용어 사용)는 NumericLiteral[NumericLiteral].

언어 문법의 관련 부분 ES5 ECMAScript 사양의 섹션 A.3 은 다음과 같습니다.

Literal ::
    NullLiteral
    BooleanLiteral
    NumericLiteral
    StringLiteral
    RegularExpressionLiteral

PrimaryExpression :
    this
    Identifier
    Literal
    ArrayLiteral
    ObjectLiteral
    ( Expression )

MemberExpression :
    PrimaryExpression
    FunctionExpression
    MemberExpression [ Expression ]
    MemberExpression . IdentifierName
    new MemberExpression Arguments    

따라서이 진행 과정을 통해 문법을 따를 수 있습니다.

MemberExpression [ Expression ]
PrimaryExpression [ Expression ]
Literal [ Expression ]
NumericLiteral [ Expression ]

그리고 비슷하게 ExpressionNumericLiteral 문법을 따른 후에도 결국 그렇게 될 수 있습니다 .

NumericLiteral [ NumericLiteral ]

이는 0[0]문법의 허용 된 부분이므로 SyntaxError가 없음을 의미합니다 .

그런 다음 런타임에 읽고있는 undefined소스가 객체이거나 객체에 대한 암시 적 변환이있는 한 존재하지 않는 속성을 읽을 수 있습니다 (단지로 읽음 ). 그리고 숫자 리터럴은 실제로 객체 (Number 객체)로 암시 적으로 변환됩니다.

이것은 자바 스크립트의 알려지지 않은 기능 중 하나입니다. 유형 Number, Boolean및String 자바 스크립트는 일반적으로 프리미티브 (안 완전한 객체)로 내부적으로 저장됩니다. 이것은 컴팩트하고 변경 불가능한 스토리지 표현입니다 (아마도 구현 효율성을 위해이 방식으로 수행됨). 그러나 Javascript는 이러한 기본 요소를 속성 및 메서드가있는 객체처럼 처리 할 수 ​​있기를 바랍니다. 따라서 프리미티브에서 직접 지원되지 않는 속성이나 메서드에 액세스하려고하면 Javascript는 값이 프리미티브의 값으로 설정된 적절한 유형의 객체로 프리미티브를 일시적으로 강제합니다.

와 같은 기본 요소에서 객체와 유사한 구문을 사용하면 0[0]인터프리터는이를 기본 요소에 대한 속성 액세스로 인식합니다. 이에 대한 응답은 첫 번째 0숫자 프리미티브 를 가져 와서 속성에 Number액세스 할 수 있는 완전한 객체 로 강제 변환하는 것 [0]입니다. 이 특정 경우 [0]에는 Number 객체 의 속성 undefined이에서 얻은 값입니다 0[0].

다음은 속성을 처리하기 위해 기본 요소를 객체로 자동 변환하는 방법에 대한 기사입니다.

자바 스크립트 프리미티브의 비밀스런 삶

다음은 ECMAScript 5.1 사양의 관련 부분입니다.

9.10 CheckObjectCoercible

값이 undefined또는 이면 TypeError를 던지고 null, 그렇지 않으면를 반환합니다 true.

11.2.1 속성 접근 자

1. baseReference를 MemberExpression을 평가 한 결과로 둡니다.
2. baseValue를 GetValue (baseReference)로 둡니다.
3. propertyNameReference를 Expression 평가의 결과로 둡니다.
4. propertyNameValue를 GetValue (propertyNameReference)로 둡니다.
5. CheckObjectCoercible (baseValue)를 호출합니다.
6. propertyNameString을 ToString (propertyNameValue)로 둡니다.
7. 평가되는 구문 생성이 Strict 모드 코드에 포함되어 있으면 strict를 true로, 그렇지 않으면 strict를 false로 둡니다.
8. 기본 값이 baseValue이고 참조 된 이름이 propertyNameString이고 엄격 모드 플래그가 엄격한 Reference 유형의 값을 반환합니다.

이 질문에 대한 작동 부분은 위의 5 단계입니다.

8.7.1 GetValue (V)

액세스되는 값이 속성 참조 일 때 ToObject(base)모든 기본 요소의 객체 버전을 가져 오기 위해 호출하는 방법을 설명합니다 .

9.9 ToObject

이는 Boolean, Number및 String프리미티브가 [[PrimitiveValue]] 내부 속성이 적절히 설정된 객체 형태로 변환되는 방법을 설명합니다 .

흥미로운 테스트로, 코드가 다음과 같으면 :

var x = null;
var a = x[0];

이 기술적으로 법적 구문으로 아직 구문 분석시에 구문 에러가 발생하지 것입니다,하지만 당신은 코드를 실행하면 속성 접근 자 로직 위의이 값에 적용될 때 때문에 런타임에서 형식 오류를 던질 것 x, 그것은 호출 CheckObjectCoercible(x)또는 호출 ToObject(x)하는 경우 모두 형식 오류가 발생합니다 x입니다 null나 undefined.

답변

Literal ::
   NumericLiteral
   ...

PrimaryExpression :
   Literal
   ...

MemberExpression :
   PrimaryExpression
   MemberExpression [ Expression ]
   ...

index = 0
temp = Number(0)
result = getproperty(temp, index) // it's undefined, but JS doesn't care
delete temp
return result

null[0]

-> 0['toString']
function toString() { [native code] }

0[0] = 1;

Number[0] = 1;
//print 1 to the console
console.log(0[0]);
//will also print 1 to the console because all integers have the same type
console.log(1[0]);