ES6 for 循环中的 const 内部结构

Question

我对 ES6 中 for 循环如何在幕后操作感兴趣。

这是基本示例

var funcs = [];
for (let i = 0; i < 5; i++) {
    funcs.push(function () {
        console.log(i);
    });
};

每个函数都会获得正确的 i 值（从 0 到 4）的原因是因为 let 正在创建 5 个新作用域，并且函数被绑定到它们相应的作用域。这就是我的想法，这对我来说最有意义。如果是这种情况，那么为什么 const 声明 (i) 失败是没有意义的，因为它应该创建 5 个新范围，并且 const 变量可以在不同的范围内愉快地生活。 在 let 之前我们确实使用 IIFE 来达到相同的效果，但是该代码所做的是它基本上为函数创建了新的范围，我认为 let 在幕后做同样的事情。

如果上面的语句不正确，那么一定是 let inside for 循环只创建了一个范围，但我不明白这与 var 声明有何不同以及函数如何获得正确的 i 值。更清楚地说，假设 let 绑定到一个由 for 循环创建的新作用域，并且在这种情况下 var 声明被提升到全局作用域，但这仍然是一个要使用的作用域。

谁能分享一下这个话题？

Answer 1

每个函数都会获得正确的 i 值（从 0 到 4）的原因是因为 let 正在创建 5 个新作用域并且函数被绑定到它们对应的作用域。

是的，就是这样。详情见Explanation of `let` and block scoping with for loops（实际上有6个作用域）。

如果是这样，那么为什么 const 声明 (i) 失败就没有意义了，因为它应该创建 5 个新的作用域，而 const 变量可以在不同的作用域中愉快地生活。

您在这里的错误假设是const 与let 的工作方式相同。是的，完全有可能在循环体评估中创建 5 个consts。但这对于像

这样的循环来说是没有意义的

for (const i=0; i<5; i++) {
    console.log(i);
}

这将导致TypeError: Assignment to constant variable - 你不能增加const。所以你不应该在for 循环中使用它（注意for…in 和for…of 循环又是不同的）。

好的，可以写类似的东西

let i=0; for (const j=i; i<5; i++) …

并期望它能够工作并在正文中获得 5 个不同的 const j 变量。但这也不是发生的事情，因为这是一种完全奇怪的写法。如果你想在每次循环迭代中声明const，最好明确地写出来：

for (let i=0; i<5; i++) {
    const j=i;
    …
}

它简洁明了，实际上可以满足您在上面的预期。

for 循环中的 const 声明实际上是如何使用的，可以在此示例中显示：

for (const iterator = {…}; iterator.hasNext(); iterator.step()) {
    … iterator.getValue() …
}

如果我们检查the spec，这实际上与

{
    const iterator = {…};
    for (; iterator.hasNext(); iterator.step()) {
        … iterator.getValue() …
    }
}

这意味着constant 在循环头部被声明一次。在每次迭代中重新声明它是没有意义的，毕竟它的值是恒定的。