ECMAScript 2015：for循环中的const

以下两个（或都不/两个）代码片段中的哪个应在完整的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-labelle贬值

这次我不会引用规范，因为我认为通过示例来理解会更容易。

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 +=将抛出此处。

您的第二个示例绝对不应该工作，因为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在阅读ES2015规范后会给出SyntaxError（尽管我确定Mozilla的聪明人是正确的），但似乎应该引发异常：

在环境记录中创建一个新的但未初始化的不可变绑定。字符串值N是绑定名称的文本。如果S为true，则无论在引用该绑定的操作的严格模式设置如何的情况下，尝试在其初始化之前访问绑定的值或在其初始化之后对其进行设置都将始终引发异常。S是可选参数，默认为false。