Коли ви робите 0[0], інтерпретатор JS стане першим 0в Numberоб'єкт , а потім спробувати отримати доступ до [0]властивості цього об'єкта , який undefined.
Немає синтаксичної помилки, оскільки синтаксис доступу до властивостей 0[0]дозволений граматикою мови в цьому контексті. Ця структура (використовуючи терміни в граматиці Javascript) є NumericLiteral[NumericLiteral].
Відповідна частина мовної граматики з розділу A.3 специфікації ES5 ECMAScript така:
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 ]
І, Expressionзрештою, це може бути NumericLiteralі після граматики, ми бачимо, що це дозволено:
NumericLiteral [ NumericLiteral ]
Що означає, що 0[0]це дозволена частина граматики і, отже, не SyntaxError.
Тоді під час виконання дозволено читати властивість, яка не існує (вона буде просто прочитана як undefined), доки джерело, з якого ви читаєте, є об'єктом або має неявне перетворення на об'єкт. І числовий буквал дійсно має неявне перетворення в об'єкт (об'єкт Число).
Це одна з тих часто невідомих особливостей Javascript. Типи Number, Booleanі Stringв JavaScript , як правило , зберігається у вигляді примітивів (не розпустить об'єкти). Це компактне, незмінне представлення пам’яті (можливо, це зроблено таким чином для ефективності впровадження). Але Javascript хоче, щоб ви могли ставитись до цих примітивів, як до об'єктів із властивостями та методами. Отже, якщо ви спробуєте отримати доступ до властивості чи методу, який не підтримується безпосередньо на примітиві, Javascript тимчасово примусить примітив у відповідний тип об'єкта зі значенням, встановленим значенням примітиву.
Коли ви використовуєте об'єктоподібний синтаксис на примітиві, такому як 0[0], інтерпретатор розпізнає це як доступ до властивості примітиву. Його відповідь на це полягає в тому, щоб прийняти перший 0числовий примітив і примусити його до повномасштабного Numberоб'єкта, до якого він може отримати доступ до [0]властивості. У цьому конкретному випадку [0]властивість об’єкта «Число» - undefinedсаме тому це значення, яке ви отримуєте 0[0].
Ось стаття про автоматичне перетворення примітиву в об'єкт для роботи з властивостями:
Таємне життя примітивів Javascript
Ось відповідні частини специфікації ECMAScript 5.1:
9.10 CheckObjectCoercible
Викидає TypeError, якщо значення є undefinedабо в nullіншому випадку повертається true.
11.2.1 Власники
- Нехай baseReference є результатом оцінки MemberExpression.
- Нехай baseValue буде GetValue (baseReference).
- Нехай властивістьNameReference є результатом оцінки виразів.
- Нехай propertyNameValue буде GetValue (propertyNameReference).
- Виклик CheckObjectCoercible (baseValue).
- Нехай propertyNameString буде ToString (propertyNameValue).
- Якщо синтаксичне виробництво, яке оцінюється, міститься в строгому режимі коду, нехай строгий буде істинним, інакше нехай строгий буде хибним.
- Поверніть значення типу Reference, базовим значенням якого є baseValue і чиє посилається ім'я властивостіNameString, а прапор суворого режиму суворий.
Оперативна частина цього питання - крок №5 вище.
8.7.1 GetValue (V)
Це описує, як, коли отримане доступ до значення є посиланням на властивість, воно вимагає ToObject(base)отримати об'єктну версію будь-якого примітиву.
9.9 ToObject
Тут описується Boolean, Numberі Stringпримітиви перетворюються в формі об'єкта з [[PrimitiveValue]] внутрішнє властивість безлічі відповідно.
Як цікавий тест, якщо код був таким:
var x = null;
var a = x[0];
Він би все одно не кидав SyntaxError за час розбору, оскільки це технічно легальний синтаксис, але він би кидав TypeError під час виконання під час запуску коду, оскільки коли вищевказана логіка властивостей властивостей застосовується до значення x, воно буде викликати CheckObjectCoercible(x)або викликати ToObject(x)який обидва кинуть TypeError, якщо xє nullабо undefined.
true[0]або""[0]