本文深入解析javascript中hoisting（变量/函数提升）机制的本质，对比var/let/const及函数声明/表达式的提升差异，重点阐明es6块级函数在严格模式与非严格模式下的语义分歧，并通过代码示例揭示“为何块内重赋值不影响外部同名函数”的根本原因。
本文深入解析javascript中hoisting（变量/函数提升）机制的本质，对比var/let/const及函数声明/表达式的提升差异，重点阐明es6块级函数在严格模式与非严格模式下的语义分歧，并通过代码示例揭示“为何块内重赋值不影响外部同名函数”的根本原因。
JavaScript的执行并非简单的线性逐行解析，而是在进入执行上下文前经历一个关键的编译阶段（Creation Phase）：引擎会扫描整个作用域，收集并注册所有声明——包括var/let/const变量、函数声明（Function Declaration）、以及（在特定模式下）块级函数。这一过程即广义的Hoisting（提升）。但需谨记：只有声明被提升，赋值与初始化永远保留在原始代码位置。
一、三类声明的提升行为对比
| 声明类型 | 是否提升声明 | 是否提升初始化 | 访问未初始化时的行为 | 作用域 |
|---|---|---|---|---|
var a = 1 |
✅ 是 | ❌ 否 |
undefined（不报错） |
函数/全局作用域 |
let b = 2 |
✅ 是（登记） | ❌ 否 |
ReferenceError（TDZ） |
块级作用域 |
const c = 3 |
✅ 是（登记） | ❌ 否 |
ReferenceError（TDZ） |
块级作用域 |
function d(){} |
✅ 是（整体） | ✅ 是（含函数体） | 可安全调用 | 函数/全局作用域 |
var e = function(){} |
✅ 是（仅e声明） |
❌ 否 | TypeError: e is not a function |
函数/全局作用域 |
示例验证：
console.log(a); // undefined
console.log(b); // ReferenceError: Cannot access 'b' before initialization
console.log(d()); // "Hello" —— 函数声明整体提升
console.log(e()); // TypeError: e is not a function
var a = 1;
let b = 2;
function d() { return "Hello"; }
var e = function() { return "World"; };
二、块级函数：严格模式 vs 非严格模式（Sloppy Mode）
ES6规范对块级中声明的函数（如 { function foo(){} }） 定义了明确但分模式的语义。其核心在于：块级函数是否形成独立绑定？该绑定是否影响外层作用域？
✅ 严格模式（推荐且现代默认）
"use strict";
{
function a() {}
a = "test";
console.log(a); // "test"（块内局部绑定被修改）
}
console.log(typeof a); // "undefined" —— 外部无a声明，块内函数不提升
- 块级函数具有真正的块级作用域；
-
a在块内被声明为函数，随后被赋值为字符串，仅影响块内绑定； - 外部作用域完全不受影响，
a未声明 →typeof a === "undefined"。
⚠️ 非严格模式（历史兼容行为）
{
function a() {}
a = "test";
console.log(a); // "test"
}
console.log(a); // ƒ a() {} —— 外部仍为函数！
- 浏览器为向后兼容，将函数声明提升至外层函数或全局作用域顶部（类似
var）； - 但同时在块内创建一个同名的临时绑定，供赋值操作使用；
- 因此：块内
a = "test"修改的是块内绑定；而console.log(a)在块外访问的是被提升的函数声明。
? 底层机制：非严格模式下，引擎在变量对象（VO）中优先注册函数声明（覆盖后续同名
var），再处理块内赋值，导致“看似提升却可被块内赋值遮蔽”的矛盾表象。
三、为什么你的代码输出 ƒ a() {}？
回到原始问题：
{
function a() {}
a = "test";
}
console.log(a); // ƒ a() {}
——这正是非严格模式下的标准行为：函数 a 被提升至全局作用域，块内 a = "test" 仅修改块内临时绑定，对外部 a 无任何影响。因此全局 a 仍是原函数。
四、最佳实践与避坑指南
始终启用严格模式
在文件或函数顶部添加"use strict";，消除歧义，强制遵循ES6标准语义。-
避免块级函数声明
若需条件定义函数，请改用函数表达式 +let：let a; if (condition) { a = function() { /* ... */ }; } 优先使用
let/const替代var
消除变量提升带来的undefined陷阱，利用TDZ捕获逻辑错误。-
静态检查辅助
配置 ESLint 规则：{ "no-var": "error", "prefer-const": "warn", "strict": ["error", "global"] }
Hoisting 不是语法糖，而是JavaScript执行模型的底层契约。理解它，不是为了写出“能运行”的代码，而是为了写出可预测、易调试、符合直觉的高质量工程代码。在2026年，拥抱严格模式与块级作用域，已是专业前端开发者的默认起点。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
