Чому 019 не є синтаксичною помилкою JavaScript? Або чому 019> 020

Question 1

Якщо я вводжу 019 > 020в консоль JavaScript (протестовано як у Chrome, так і у Firefox), я отримую відповідь true.

Це пояснюється 020інтерпретацією як OctalIntegerLiteral(рівних 16), тоді як 019, очевидно, інтерпретується як DecimalLiteral(і рівних 19). Як 19більше 16, 019 > 020є true.

Мене спантеличує те, чому 019інтерпретується як “ DecimalLiteralв першу чергу”. Яке це виробництво? DecimalIntegerLiteralне дозволяє 019:

DecimalIntegerLiteral ::
    0
    NonZeroDigit DecimalDigits_opt

OctalIntegerLiteralтакож не дозволяє 019(як 9не восьмерична цифра):

OctalIntegerLiteral ::
    0 OctalDigit
    OctalIntegerLiteral OctalDigit

OctalDigit :: one of
    0 1 2 3 4 5 6 7

Отже, з того, що я бачу в специфікації, 019насправді слід відхилити, я не розумію, чому це трактується як десяткове ціле число.

Я думаю, тут існує якесь правило сумісності, але мені не вдалося знайти офіційне визначення. Чи може хтось допомогти мені в цьому?

(Навіщо мені це потрібно: я розробляю синтаксичний аналізатор JavaScript / ECMAScript для Java з JavaCC і повинен звертати особливу увагу на специфікацію та її відхилення.)

Question 2

З того, що я міг знайти, здається, що деякі реалізації JavaScript просто не відповідають специфікаціям на цей момент.

З сайту MDN:

Зверніть увагу, що десяткові літерали можуть починатися з нуля (0), за яким слід інша десяткова цифра, але якщо наступна цифра після провідного 0 менша за 8, число аналізується як вісімкове число. Це не призведе до JavaScript, див. Помилку 957513 . Дивіться також сторінку про parseInt ().

Це все ще не пояснює, чому 019 == 19, враховуючи, що наступна цифра після провідного 0 дорівнює 1, і тому ціле число має бути проаналізовано як вісімкове. Але посилання на помилку, схоже, пов’язане з вашим випадком. В його описі сказано:

Наступна програма JavaScript повинна видавати помилку:
08
Відповідно до специфікації, DecimalIntegerLiteralніколи не може 0безпосередньо слідувати інша десяткова цифра, хоча Chrome / Opera, PrestOpera та Firefox це підтримують.

Помилка закрита як WONTFIX

Однак, 019це буде дійсним десятковим літералом, значення якого дорівнює 19, згідно з проектом наступного видання:

https://people.mozilla.org/~jorendorff/es6-draft.html#sec-additional-syntax-numeric-literals

(Я позначив відповідні правила)

The syntax and semantics of 11.8.3 is extended as follows except that 
this extension is not allowed for strict mode code:

[...]

DecimalIntegerLiteral ::
    0
    NonZeroDigit DecimalDigits_opt
    NonOctalDecimalIntegerLiteral                         // (1)

NonOctalDecimalIntegerLiteral ::
    0 NonOctalDigit
    LegacyOctalLikeDecimalIntegerLiteral NonOctalDigit    // (2)
    NonOctalDecimalIntegerLiteral DecimalDigit

LegacyOctalLikeDecimalIntegerLiteral ::
    0 OctalDigit                                          // (3)
    LegacyOctalLikeDecimalIntegerLiteral OctalDigit

Так 01само як і LegacyOctalLikeDecimalIntegerLiteral(3). Тоді 019є NonOctalDecimalIntegerLiteral(2), яке в свою чергу є DecimalIntegerLiteral(1).