JavaScript函数作用域是什么：变量可见范围与基础规则

在 JavaScript 中，函数作用域（Function Scope）是指在函数体内声明的变量仅在该函数内部有效，外部代码无法直接访问。每当一个函数被创建或执行时，JavaScript 引擎就会为其建立专属的变量命名空间，从而将函数内部的变量与外界隔离。理解函数作用域的可见边界、查找机制以及生命周期，是写出稳定无污染代码的基础。

一、函数作用域的核心定义与可见性边界

作用域的本质是一套关于变量储存与访问的查找规则。当我们在函数内部使用关键字（如 var、let 或 const）声明一个变量时，该变量的作用范围就被限定在此函数的起始大括号 { 到结束大括号 } 之间。

最基本的表现形式为“外不可探内，内可以窥外”：

• 外不可探内：在函数外部直接读取函数内部声明的变量，会抛出 ReferenceError 错误。
• 内可以窥外：在函数内部可以直接访问外部作用域（例如全局作用域或父级函数）中声明的变量。

// 示例 1：基础的可见范围验证
var globalMessage = "我是全局信息";

function showProfile() {
  var localUser = "张三";
  console.log(globalMessage); // 输出: "我是全局信息"（内部可以访问外部）
  console.log(localUser);      // 输出: "张三"（函数内部正常访问内部变量）
}

showProfile();

console.log(globalMessage);    // 输出: "我是全局信息"
// 尝试在函数外访问函数内部声明的变量：
// console.log(localUser);     // Uncaught ReferenceError: localUser is not defined

二、变量查找机制：自内向外的推导步骤

当 JavaScript 引擎在执行一段代码需要读取变量值时，它会遵循严格的就近原则与自底向上查找流程。这个按层级查找的过程由作用域链（Scope Chain）支撑：

1. 第一步（当前函数内）：引擎首先检查当前正在执行的函数作用域内是否存在该变量的声明。如果存在，立即取值并停止查找。
2. 第二步（上层父级函数）：如果当前函数内没有找到，且当前函数嵌套在另一个函数中，引擎将向上一层移步至父级函数作用域进行查找。
3. 第三步（继续沿链冒泡）：该向上检索过程依次递进，直到抵达最顶层的全局作用域（在浏览器中为 window，Node.js 中为 global）。
4. 第四步（结果判定）：若在全局作用域仍未找到声明，严格模式（Strict Mode）下抛出 ReferenceError: variable is not defined。

需要特别注意：查找过程永远是单向向外的，绝不会向任何同级或子级作用域内部分支查找。

三、函数作用域与块级作用域的区别

在 ECMAScript 5 (ES5) 及之前，JavaScript 只有函数作用域和全局作用域，没有块级作用域。这意味着在 if、for、while 等大括号内使用 var 声明的变量，实际上会被渗透到包含它们的整个外层函数中。

ECMAScript 6 (ES6) 引入了 let 和 const，正式提供了块级作用域的能力。明确两者差异对于现代 JavaScript 开发至关重要：

// 示例 2：var 的函数作用域渗透 与 let 的块级限制
function compareScoping() {
  // if 代码块
  if (true) {
    var functionScopedVar = "var 可以穿透 if 块";
    let blockScopedLet = "let 仅存在于 if 块内";
  }

  console.log(functionScopedVar); // 正常输出: "var 可以穿透 if 块"
  // console.log(blockScopedLet); // 报错: Uncaught ReferenceError: blockScopedLet is not defined
}

compareScoping();

对比维度	var（函数作用域）	let / const（块级作用域）
生效边界	以 function 为最小隔离单元，大括号（if/for）不形成阻隔	以任意配对的 { ... } 代码块为隔离边界
声明提升 (Hoisting)	声明提升到函数顶部，初始化为 undefined	存在暂时性死区（TDZ），未执行声明语句前禁止访问
重复声明	允许在同一函数作用域内重复使用 var 声明同名变量	同一作用域内重复声明直接抛出语法错误
全局挂载	在全局使用 var 会成为全局对象（如 window）的属性	全局 let/const 不会挂载到全局对象属性上

四、基础规则与编码注意事项

1. 变量声明提升（Hoisting）的实际行为

在同一个函数作用域内，使用 var 声明的变量，其变量声明语句会被提升到函数的顶部，但初始化赋值依然保留在原地。如果提前使用该变量，得到的值是 undefined 而不是报错。

function testHoisting() {
  console.log(score); // 输出: undefined（并非报错，因为声明被提升了）
  var score = 95;
  console.log(score); // 输出: 95
}
testHoisting();

2. 函数参数的作用域归属

函数的形参（Parameter）本质上等同于在该函数作用域内第一行声明的局部变量。它们在函数调用传入实参时被赋值，并且其可见范围严格局限于该函数内部，外部无法直接获取形参变量。

3. 基础闭包（Closure）的产生契机

根据垃圾回收机制，普通函数执行结束后，其函数作用域中声明的局部变量会被自动销毁并回收内存。但如果在该函数内部又返回了一个子函数，且子函数引用了父级函数的局部变量，这就形成了闭包。由于子函数保留着对该作用域的引用，该函数作用域及其内部变量就会被常驻在内存中，直到引用断开。

五、知识结构与理解路径总结

掌握 JavaScript 函数作用域，关键在于将其串联为一条由浅入深的逻辑链条：

• 第一层（物理边界）：函数大括号构成基础隔离墙，外部代码无法窥探内部。
• 第二层（静态查找）：代码根据书写时的物理位置确立作用域链，遇到变量就自内向外逐层解析。
• 第三层（生命周期）：随函数调用开始而创建执行上下文，调用完毕即销毁（闭包持有除外）。