这只是 ES6 的语法糖吗？

不，它不仅仅是语法糖。血腥的细节隐藏在§13.6.3.9 中 CreatePerIterationEnvironment。

这是如何工作的？

如果您let在for语句中使用该关键字，它将检查它绑定的名称，然后

• 使用这些名称创建一个新的词法环境 a) 初始化表达式 b) 每次迭代（之前评估增量表达式）
• 将具有这些名称的所有变量的值从一个环境复制到下一个环境

您的循环语句for (var i = 0; i < 10; i++) process.nextTick(_ => console.log(i));脱糖为一个简单的

// omitting braces when they don't introduce a block
var i;
i = 0;
if (i < 10)
    process.nextTick(_ => console.log(i))
    i++;
    if (i < 10)
        process.nextTick(_ => console.log(i))
        i++;
        …

而for (let i = 0; i < 10; i++) process.nextTick(_ => console.log(i));“脱糖”是否更复杂

// using braces to explicitly denote block scopes,
// using indentation for control flow
{ let i;
  i = 0;
  __status = {i};
}
{ let {i} = __status;
  if (i < 10)
      process.nextTick(_ => console.log(i))
      __status = {i};
}   { let {i} = __status;
      i++;
      if (i < 10)
          process.nextTick(_ => console.log(i))
          __status = {i};
    }   { let {i} = __status;
          i++;
          …

我从探索 ES6 书中找到了最好的解释：

在 for 循环的头部声明一个变量为该变量创建一个单一的绑定（存储空间）：

const arr = [];
for (var i=0; i < 3; i++) {
    arr.push(() => i);
}
arr.map(x => x()); // [3,3,3]

三个箭头函数体中的每个 i 都指向相同的绑定，这就是为什么它们都返回相同的值。

如果您让-声明一个变量，则会为每次循环迭代创建一个新绑定：

const arr = [];
for (let i=0; i < 3; i++) {
    arr.push(() => i);
}

arr.map(x => x()); // [0,1,2]

这一次，每个 i 指的是一个特定迭代的绑定，并保留当时的当前值。因此，每个箭头函数返回不同的值。

let引入块作用域和等效绑定，就像函数创建一个带闭包的作用域一样。我相信规范的相关部分是13.2.1，其中注释提到let声明是 LexicalBinding 的一部分并且都存在于词法环境中。第13.2.2节指出var声明附加到 VariableEnvironment，而不是 LexicalBinding。

该MDN说明支持此也，指出：

它的工作原理是在单个代码块的词法范围内绑定零个或多个变量

建议变量绑定到块，它改变每次迭代需要一个新的 LexicalBinding（我相信，在这一点上不是 100%），而不是周围的 Lexical Environment 或 VariableEnvironment 在调用期间保持不变。

总之，在使用的时候let，闭包在循环体，每次的变量都不一样，所以必须再次捕获。使用时var，变量位于周围的函数处，因此不需要重新关闭，每次迭代都会传递相同的引用。

调整您的示例以在浏览器中运行：

// prints '10' 10 times
for (var i = 0; i < 10; i++) {
  setTimeout(_ => console.log('var', i), 0);
}

// prints '0' through '9'
for (let i = 0; i < 10; i++) {
  setTimeout(_ => console.log('let', i), 0);
}

当然显示后者打印每个值。如果你看看 Babel 如何转译它，它会产生：

for (var i = 0; i < 10; i++) {
  setTimeout(function(_) {
    return console.log(i);
  }, 0);
}

var _loop = function(_i) {
  setTimeout(function(_) {
    return console.log(_i);
  }, 0);
};

// prints '0' through '9'
for (var _i = 0; _i < 10; _i++) {
  _loop(_i);
}

假设 Babel 相当一致，这与我对规范的解释相符。