javascript中的函数如何定义与调用_怎样理解作用域和闭包【教程】

2026-01-25 00:00:00 作者：狼影

函数定义有三种写法：函数声明（完全提升）、函数表达式（仅变量名提升）、箭头函数（不绑定this/arguments，不能new）；this由调用方式决定；作用域为词法作用域；闭包是函数与其词法环境的组合。

函数定义的三种写法及其关键区别

JavaScript 中定义函数不止一种方式，不同写法直接影响提升（hoisting）行为和 this 绑定。最常用的是函数声明、函数表达式和箭头函数。

函数声明：function foo() {} 会被完全提升，可在定义前调用
函数表达式：const foo = function() {} 只有变量名 foo 被提升，赋值不会，提前调用报 TypeError: foo is not a function
箭头函数：const foo = () => {} 不绑定自己的 this、arguments，也不能用 new 调用

注意：箭头函数在对象方法中容易踩坑——obj = { name: 'a', getName: () => this.name } 中的 this 指向外层作用域，不是 obj。

调用时传参与 this 指向的实际控制方式

函数调用本身不决定 this，而是取决于「怎么调」。常见调用形式对应不同 this 绑定规则：

普通调用：foo() → 严格模式下 this 是 undefined，非严格下是全局对象（浏览器中为 window）
方法调用：obj.foo() → this 指向 obj（但仅限直接点调用，若提取后调用会丢失）
显式绑定：foo.call(obj, 1, 2) 或 foo.bind(obj) 可强制指定 this
构造函数调用：new Foo() → this 指向新创建的实例

容易忽略的一点：事件回调、定时器回调中的函数默认以普通方式执行，this 很可能不是你期望的对象，需用 bind、箭头函数或包装函数处理。

作用域链如何实际影响变量查找

JavaScript 使用词法作用域（lexical scope），即作用域在函数定义时就确定，而非调用时。这意味着嵌套函数能访问外层函数的变量，即使外层函数已执行完毕。

查找变量时，引擎从当前作用域开始，逐级向上搜索，直到全局作用域。一旦找到就停止，不会继续找同名变量。

函数内部声明的 var 变量会被提升到函数顶部，但 let/const 有暂时性死区（TDZ），在声明前访问会报 ReferenceError
for (let i = 0; i 中的 i 每次循环都生成新绑定，所以 setTimeout(() => console.log(i), 0) 会输出 0、1、2；而用 var 就只会输出 3（三次都共享同一个 i）

闭包的本质是“函数记住了它诞生时的词法环境”

闭包不是某种特殊语法，而是函数对象与其词法作用域的组合。只要一个函数在定义它的作用域之外被调用，并且还引用了该作用域中的变量，就形成了闭包。

典型例子：

function createCounter() {
  let count = 0;
  return function() {
    count++;
    return count;
  };
}
const inc = createCounter();
console.log(inc()); // 1
console.log(inc()); // 2

这里 inc 是闭包：它持有对 count 的引用，而 count 存在于已执行完的 createCounter 的作用域中。这个变量不会被垃圾回收，直到 inc 不再存在。

容易被忽略的复杂点：闭包捕获的是变量的“引用”，不是值。多个闭包共享同一