ECMAScript 2015：forループの定数

以下の2つの（またはどちらでもない/両方の）コードフラグメントのどちらが、完全なECMAScript2015実装で機能する必要がありますか。

for (const e of a)

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

私の理解では、最初の例はe反復ごとに初期化されるため、機能するはずです。これiは、2番目のバージョンにも当てはまるはずではありませんか？

既存の実装（Babel、IE、Firefox、Chrome、ESLint）は一貫性がなくconst、2つのループバリアントのさまざまな動作を伴う、の完全な実装を持っているように見えるため、私は混乱しています。また、基準の具体的なポイントがわからないので、よろしくお願いします。

次の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)

これは、ループ本体が実行される前に宣言が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式にTDZがあり、ループが途中で（または本体で）終了する場合のさまざまな__it.return()/__it.throw(e)呼び出しがあることを無視しました。breakthrow

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

基本的には同等です

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

対照的にlet、constで宣言forループは、すべてのループ反復で再宣言されません（および初期化子は、とにかく再実行されません）。break最初の反復でない限り、i +=ここにスローします。

2番目の例iは、宣言が1回であり、各反復で宣言されていないため、確実に機能しないはずです。これは、そのカテゴリのループがどのように機能するかの関数にすぎません。

これは通常のブラウザで試すことができます。

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。forconstを変更するのはそれだけです。

これらは有効です：

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がES2015仕様を読んだ後にSyntaxErrorを出す理由はわかりませんが（Mozillaの賢い人は正しいと確信していますが）、例外が発生することになっているようです。

環境レコードに、新しいが初期化されていない不変のバインディングを作成します。文字列値Nは、バインドされた名前のテキストです。Sがtrueの場合、初期化される前にバインディングの値にアクセスしようとしたり、初期化後に設定しようとすると、そのバインディングを参照する操作の厳密なモード設定に関係なく、常に例外がスローされます。Sはオプションのパラメーターで、デフォルトはfalseです。