什么是javascript变量_如何正确声明和提升?

JavaScript变量是词法环境中的绑定名称;var具函数作用域、提升且初始化为undefined,let/const具块级作用域、提升但受TDZ限制,访问未初始化会抛ReferenceError,应默认用const、次选let、弃用var。

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

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

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

console.log(a); // undefined
var a = 1;
console.log(a); // 1
  • var 允许重复声明(同作用域内),后一次声明会覆盖前一次(但不报错)
  • 在块(如 iffor)中用 var 声明,变量仍属于外层函数作用域
  • 全局 var 会成为 window(浏览器)或 global(Node.js)的可枚举属性

let/const 声明:块级作用域 + 声明提升但不可访问(TDZ)

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

console.log(b); // ReferenceError: Cannot access 'b' before initialization
let b = 2;
  • letconst 不允许重复声明(同作用域内),会立即报 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-varprefer-const 能自动拦截大部分误用
  • 模块脚本()中顶层作用域已是块级,var 的全局污染风险仍在,但语义更混乱

TDZ 不是语法糖,它是 JavaScript 引擎强制执行的运行时约束;哪怕你没写 console.log,只要代码路径经过未初始化的 let/const,就可能崩。这点比提升本身更值得警惕。