ECMAScript 2015: const w pętlach for

Który z poniższych dwóch (lub żaden / oba) fragmentów kodu powinien działać w pełnej implementacji ECMAScript 2015:

for (const e of a)

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

W moim rozumieniu pierwszy przykład powinien działać, ponieważ ejest inicjowany dla każdej iteracji. Czy nie powinno tak być również iw drugiej wersji?

Jestem zdezorientowany, ponieważ istniejące implementacje (Babel, IE, Firefox, Chrome, ESLint) nie wydają się być spójne i mają pełną implementację const, z różnymi zachowaniami dwóch wariantów pętli; Nie jestem też w stanie znaleźć konkretnego punktu w standardzie, więc byłoby to bardzo cenne.

Działa następująca pętla for-of:

for (const e of a)

Specyfikacja ES6 opisuje to następująco:

ForDeclaration: LetOrConst ForBinding

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

Imperatyw pętli nie zadziała:

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

Dzieje się tak, ponieważ deklaracja jest oceniana tylko raz przed wykonaniem treści pętli.

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

Nie będę tym razem cytować specyfikacji, ponieważ myślę, że łatwiej jest zrozumieć, co dzieje się na przykładzie.

for (const e of a) …

Jest w zasadzie równoważne z

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

Dla uproszczenia mam ignorowane, że istnieje TDZ z eza awypowiedzi i różne __it.return()/ __it.throw(e)połączenia w przypadku wyjścia pętli przedwcześnie ( breaklub throww organizmie).

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

jest w zasadzie równoważne z

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

W przeciwieństwie dolet , A constdeklaracja w forpętli nie zostanie redeclared w każdej iteracji pętli (a initialiser nie jest ponownie wykonywane w każdym razie). Chyba że breakw pierwszej iteracji, i +=wrzucisz tutaj.

Twój drugi przykład zdecydowanie nie powinien działać, ponieważ ijest zadeklarowany raz, a nie w każdej iteracji, jest to tylko funkcja tego, jak działa ta kategoria pętli.

Możesz to wypróbować w zwykłej przeglądarce:

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.";
}

Nie jest tak, że constjest to całkowicie zabronione w forpętlach. Tylko forto zmodyfikuje const.

Są one ważne:

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

Te są nieprawidłowe:

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

Nie jestem pewien, dlaczego Firefox podaje SyntaxError po przeczytaniu specyfikacji ES2015 (chociaż jestem pewien, że sprytni ludzie z Mozilli mają rację), wygląda na to, że ma zgłosić wyjątek:

Utwórz nowe, ale niezainicjowane niezmienne powiązanie w rekordzie środowiska. Wartość ciągu N to tekst powiązanej nazwy. Jeśli S ma wartość true, wówczas próby uzyskania dostępu do wartości powiązania przed jego zainicjowaniem lub ustawieniem go po zainicjowaniu zawsze będą zgłaszać wyjątek, niezależnie od ustawienia trybu ścisłego operacji, które odwołują się do tego powiązania. S to opcjonalny parametr, który domyślnie ma wartość false.