JavaScript变量是什么及如何正确声明和提升

JavaScript变量本质上是词法环境中的绑定名称，而非传统意义上的“容器”，其行为由声明方式（var/let/const）深刻决定：var具有函数作用域和宽松的提升机制（初始化为undefined），易引发隐蔽bug；而let和const采用块级作用域并受严格的暂时性死区（TDZ）约束——在声明前访问会直接抛出ReferenceError，连typeof都无法绕过。现代开发应坚定遵循“默认const、必要时let、彻底弃用var”的原则，配合ESLint等工具，才能写出更可靠、可维护且符合语言设计本意的代码。

JavaScript 变量不是“容器”，而是**词法环境中的绑定名称**；var、let、const 的声明行为和提升规则完全不同，混用会直接导致 ReferenceError 或意外的 undefined。

var 声明：全函数作用域 + 变量提升 + 初始化为 undefined

var 会在其所在函数（或全局）作用域顶部被“提升”，但仅提升声明，不提升赋值。访问未初始化的 var 变量得到 undefined，不会报错。

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

• var 允许重复声明（同作用域内），后一次声明会覆盖前一次（但不报错）
• 在块（如 if、for）中用 var 声明，变量仍属于外层函数作用域
• 全局 var 会成为 window（浏览器）或 global（Node.js）的可枚举属性

let/const 声明：块级作用域 + 声明提升但不可访问（TDZ）

let 和 const 也会被提升到块顶部，但处于“暂时性死区”（Temporal Dead Zone, TDZ）——从块开始到声明语句执行前，访问它们会抛出 ReferenceError。

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

• let 和 const 不允许重复声明（同作用域内），会立即报 SyntaxError
• const 必须在声明时初始化，且不能重新赋值（注意：对象/数组内容可变，只是绑定不可变）
• 块级作用域意味着 for (let i = 0; ...) 中每次迭代的 i 是独立绑定，避免闭包经典问题

为什么 typeof 检测 var 和 let/const 表现不同？

typeof 对未声明的变量返回 "undefined"，但对处于 TDZ 的 let/const 仍会抛 ReferenceError —— 因为 TDZ 是运行时限制，typeof 并不豁免。

console.log(typeof undeclaredVar); // "undefined"
console.log(typeof c); // ReferenceError: Cannot access 'c' before initialization
let c = 3;

• 不要依赖 typeof 来“安全”检测 let/const 是否已声明
• 若需动态判断绑定是否存在，应使用 try/catch 或检查所在作用域是否为函数/模块顶层（无通用简洁方案）

实际项目中该选哪个？

默认用 const；只在需要重新赋值时改用 let；彻底弃用 var。

• var 的函数作用域和变量提升极易引发隐蔽 bug（比如循环中异步回调捕获错误的 i）
• ESLint 规则 no-var 和 prefer-const 能自动拦截大部分误用
• 模块脚本（