ECMAScript 2015: константа в циклах 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 ForBinding

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

Императив цикла for работать не будет:

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;
        …
    }
}

Для простоты я проигнорировал наличие TDZ с 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 имеет значение true, то попытки получить доступ к значению привязки до ее инициализации или установить ее после инициализации всегда будут вызывать исключение, независимо от настройки строгого режима операций, которые ссылаются на эту привязку. S - необязательный параметр, значение по умолчанию - false.