变量提升本质是编译阶段将声明绑定到对应环境记录，全局作用域中var和函数声明会挂载全局对象或词法环境，函数作用域中所有声明仅绑定函数环境记录且不映射对象；let/const在两类作用域中均进入TDZ，规则统一，差异仅在于绑定目标与初始化状态。
变量提升（Hoisting）在全局作用域和函数作用域中并非行为不同，而是底层机制完全一致：都发生在编译阶段，都依赖作用域环境记录（Environment Record）的初始化方式。差异不在于“是否提升”，而在于“提升后绑定的位置”和“该位置对应的执行上下文类型”。
全局作用域中的提升：绑定到全局对象与词法环境并存
在全局作用域中，var 声明和函数声明会被提升并绑定到两个地方：
-
var 声明：既注册进全局词法环境（Global Environment Record），也作为属性挂载到全局对象（如浏览器中的
window或 Node.js 中的global）上；访问var x = 1提升后的x，等价于window.x（非严格模式下） -
函数声明：仅绑定到全局词法环境中，不自动成为全局对象的可枚举属性（尽管实际中常能通过
window.fn访问，这是引擎实现细节，非规范要求） -
let/const：只绑定到全局词法环境，不挂载到全局对象，且处于暂时性死区（TDZ），声明前访问直接报
ReferenceError
函数作用域中的提升：纯词法环境绑定，无对象映射
在函数作用域内，所有声明（var、let、const、function）都只绑定到该函数的**函数环境记录（Function Environment Record）**，不会映射到任何对象：
-
var 声明：在函数环境记录中创建绑定，初始化为
undefined；不存在类似this.x的隐式对象属性行为 - 函数声明：完整绑定函数对象到函数环境记录，支持前置调用；若同名存在 var 声明，函数声明优先覆盖（不是“先提升后覆盖”，而是编译阶段按优先级一次性绑定）
-
let/const 声明：同样进入函数环境记录，但标记为“未初始化”，从作用域顶部到声明语句之间为 TDZ；即使写在
if (false) { let x; }中，只要语法上出现在函数体顶层，就已触发 TDZ
关键区别不在“提升动作”，而在“绑定目标与初始化状态”
所谓“差异”，本质是两类作用域使用不同类型的环境记录：
立即学习“Java免费学习笔记（深入）”；
- 全局作用域用 全局环境记录，兼容历史包袱（如
window属性映射） - 函数作用域用 函数环境记录，更纯粹、更封闭，不暴露对象接口
- 两者对
var都初始化为undefined，对let/const都设为“未初始化”，对函数声明都做完整绑定——规则统一，只是承载容器不同
一个容易被忽略的共性：块级语句不构成新作用域（var 场景）
无论全局还是函数作用域，if、for 等块语句本身不创建新词法环境（ES5 及之前）：
-
var在块内声明，仍属于外层函数或全局环境记录；提升后可跨块访问 - 这导致全局与函数作用域中
var的表现逻辑一致，只是外层容器不同——不是“作用域规则不同”，而是“它本就不属于块作用域” - ES6 的
let/const才真正引入块级词法环境，但它们的提升行为（TDZ）在全局/函数作用域中依然遵循同一套规范
