变量提升是什么？如何影响代码执行？

JavaScript中的变量提升（Hoisting）并非代码物理上被“移动”，而是指var声明和function声明在解析阶段就被提前注册到当前作用域中——var仅声明提升、赋值保留原位，因此访问未初始化的var变量返回undefined而非报错；而let/const虽同样经历绑定注册（即“提升”），却因暂时性死区（TDZ）机制，在初始化前访问会直接抛出ReferenceError；function声明可完全提升（声明+函数体），但function表达式、箭头函数和class仅变量名可能被var提升，函数体或类定义则不提升；这一机制贯穿全局与每个函数作用域，深刻影响代码执行顺序与错误行为，即便在ES6+广泛使用let/const的今天，理解提升仍是规避隐蔽bug、读懂旧代码及掌握模块加载逻辑的关键。

JavaScript 变量提升（Hoisting）不是把代码“挪到上面”，而是指 var 声明的变量和 function 声明会被**解析阶段提前注册进当前作用域**，但只有声明被提升，赋值不会。

为什么用 var 时能访问未声明的变量却不报错？

因为变量在进入执行上下文时已被初始化为 undefined。这不是“运行时跳过错误”，而是语言规范定义的绑定行为。

• var a = 1 实际分两步：声明（提升）→ 赋值（不提升）
• 所以在声明语句前访问 a，得到的是 undefined，不是 ReferenceError
• 而 let 和 const 不会初始化为 undefined，它们有“暂时性死区”（TDZ），访问即报错

console.log(a); // undefined
var a = 1;

console.log(b); // ReferenceError: Cannot access 'b' before initialization
let b = 2;

function 声明和 function 表达式提升区别在哪？

只有 function 声明（即以 function 关键字开头、带函数名的完整声明）会被完全提升（声明 + 函数体）；function 表达式只提升变量名（如果是 var），函数体不提升。

• foo() 在声明前调用成功 → 是 function foo() { ... }
• bar() 在声明前调用报 TypeError → 是 var bar = function() { ... }
• 箭头函数、class 都属于“不可提升”的语法结构，行为同 let

foo(); // OK → "I'm hoisted"
function foo() {
  console.log("I'm hoisted");
}

bar(); // TypeError: bar is not a function
var bar = function() {
  console.log("I'm not fully hoisted");
};

ES6 之后还用得着关心变量提升吗？

必须关心——因为 var 仍广泛存在于旧代码、全局污染场景、某些循环闭包写法中；更重要的是，let/const 的 TDZ 行为容易被误判为“没提升”，其实它也有提升（绑定已注册），只是拒绝访问。

• 混淆点：很多人以为 let “不提升”，实际是提升但不可读取
• typeof 检查 var 变量不会报错（返回 "undefined"），但检查 let 变量在 TDZ 内会直接抛错
• 模块顶层的 import 也受提升影响：所有 import 都在模块执行前完成，且不可动态加载

最易忽略的一点：提升发生在**每个函数作用域内**，不是全局一锅端；嵌套函数中，内部 var 提升只对内部生效，不影响外层同名变量——但若没加 var，就会意外触发隐式全局，那又是另一类问题了。

今天关于《变量提升是什么？如何影响代码执行？》的内容介绍就到此结束，如果有什么疑问或者建议，可以在golang学习网公众号下多多回复交流；文中若有不正之处，也希望回复留言以告知！