下面的两个（或两个都不是）代码片段中的哪一个应该在完整的 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
强制循环将不起作用：
for (const i = 0; i < a.length; i += 1)
这是因为在执行循环体之前，声明只被评估一次。
这次我不会引用规范，因为我认为通过示例更容易理解发生了什么。
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 为真，则尝试在初始化之前访问绑定的值或在初始化之后设置它总是会抛出异常，无论引用该绑定的操作的严格模式设置如何。S 是一个可选参数，默认为 false。