为何JS闭包代码未按预期输出？Lox与JS闭包表现差异咨询

问题的核心在于JavaScript的var变量提升特性，以及闭包的词法绑定逻辑，和Lox语言的行为存在本质区别，具体拆解如下：

JavaScript代码的执行逻辑拆解 #

1. 全局作用域初始化：var a = "global"在全局作用域创建变量a并赋值为"global"。
2. 块内的提升行为：
   • 函数showA会被提升到块作用域的顶部；
   • 块内的var a = "block"会被拆分为声明提升（var a;）和赋值操作（a = "block"），其中声明会被提升到块作用域的顶部。
     此时块作用域内已经存在一个未赋值的a变量，它会覆盖全局a在当前作用域的优先级。
3. 第一次调用showA()：
   函数执行时，自身作用域找不到a，沿作用域链查找。此时块内的a还未被赋值，所以找到全局作用域的a，输出"global"。
4. 执行赋值语句：
   var a = "block"给块作用域内已声明的a赋值为"block"。
5. 第二次调用showA()：
   函数的闭包绑定的是块作用域内的a（函数定义时该作用域已存在a的声明），此时a的值是"block"，因此输出"block"。

对比Lox语言的行为 #

Lox不存在变量提升特性，当定义showA函数时，块内还未声明a变量，所以函数会捕获全局作用域的a。后续块内声明的var a = "block"是全新的块级变量，和函数引用的全局a互不干扰，因此两次调用都会输出"global"。

让JavaScript达成Lox预期效果的修改方案 #

如果要让JavaScript代码两次都输出"global"，可以通过以下方式调整：

• 使用let代替var（let具备块级作用域且无变量提升的声明提前特性），或者修改块内变量名避免冲突：

var a = "global";
{
  function showA() {
    console.log(a);
  };

  showA(); // Prints "global"

  let b = "block";
  showA(); // Prints "global"
}

内容的提问来源于stack exchange，提问作者quake