ECMAScript 2015: const in for цикли

Який із двох (або жодного / обох) фрагментів коду нижче повинен працювати в повній реалізації ECMAScript 2015:

for (const e of a)

for (const i = 0; i < a.length; i += 1)

З мого розуміння, перший приклад повинен працювати, оскільки eініціалізується для кожної ітерації. Хіба це не повинно бути і iу другій версії?

Я збентежений, оскільки існуючі реалізації (Babel, IE, Firefox, Chrome, ESLint), здається, не узгоджуються і мають повну реалізацію const, з різними способами поведінки двох варіантів циклу; Я також не можу знайти конкретний момент у стандарті, тому це було б дуже вдячне.

Працює наступний цикл for-of:

for (const e of a)

Специфікація ES6 описує це як:

ForDeclaration: LetOrConst For Binding

http://www.ecma-international.org/ecma-262/6.0/index.html#sec-for-in-and-for-of-statements-static-semantics-boundnames

Вказівка ​​для циклу не буде працювати:

for (const i = 0; i < a.length; i += 1)

Це тому, що оголошення обчислюється лише один раз перед тим, як виконати тіло циклу.

http://www.ecma-international.org/ecma-262/6.0/index.html#sec-for-statement-runtime-semantics-labelledevaluation

Цього разу я не буду наводити специфікацію, тому що, думаю, легше зрозуміти, що відбувається на прикладі.

for (const e of a) …

Це в основному еквівалент

{
    const __it = a[Symbol.iterator]();
    let __res;
    while ((__res = __it.next()) && !__res.done) {
        const e = __res.value;
        …
    }
}

Для простоти я проігнорував , що є протяжність з eдля aвираження, а також різні__it.return() / __it.throw(e)виклики у випадку, коли цикл виходить передчасно ( breakабо throwв тілі).

for (const i = 0; i < a.length; i += 1) …

в основному еквівалентно

{
    const i = 0;
    while (i < a.length) {
        …
        i += 1;
    }
}

На відміну відlet , constоголошення в forциклі не повторно оголошується в кожній ітерації циклу (і ініціалізатор все одно не виконується повторно). Якщо ви не breakв першій ітерації, ваш i +=закид сюди.

Ваш другий приклад точно не повинен працювати, оскільки iоголошується один раз, а не на кожній ітерації це лише функція того, як працює ця категорія циклів.

Ви можете спробувати це в звичайному браузері:

for (var i = 0, otherVar = ""; i < [1,2,3,4].length; i += 1){
  console.log(otherVar)
  otherVar = "If otherVar was initialized on each iteration, then you would never read me.";
}

Це не той випадок, який constповністю заборонений у forциклах. Лише forте, що змінить const, це.

Вони дійсні:

for(const i = 0;;){ break } 
for(const i = 0; i < 10;){ break; } 

Вони недійсні:

for(const i = 0;;){ ++i; break; } 
for(const i = 0;;++i){ if(i > 0) break; }

Я не впевнений, чому Firefox видає SyntaxError після прочитання специфікації ES2015 (хоча я впевнений, що розумні люди в Mozilla мають рацію), схоже, це повинно викликати виняток:

Створіть нову, але неініціалізовану незмінювану прив'язку в Записі навколишнього середовища. Значення рядка N - це текст пов'язаного імені. Якщо S істинне, тоді спроби отримати доступ до значення прив'язки до її ініціалізації або встановити її після її ініціалізації завжди видаватимуть виняток, незалежно від встановленого жорсткого режиму операцій, які посилаються на це прив'язку. S - необов’язковий параметр, який за замовчуванням має значення false.