先说一个核心观点：函数表达式本身并不直接“定义”闭包作用域，而是通过三个关键动作——嵌套函数、引用外部变量、返回内部函数——让闭包自然而然地形成。闭包不是语法结构，它是在运行时自动冒出来的现象：条件满足，它就出现了。

简单来说，闭包的诞生依赖三件同时发生的事情：用一个函数表达式定义外层函数（比如 const outer = function() { ... }），在它里面再嵌套一个内部函数，这个内部函数又访问了外层函数的局部变量，最后外层函数把这个内部函数丢出去——比如返回它。这三件事一凑齐，闭包就自动生效了。

闭包形成的三个必要条件

那么，用函数表达式实现闭包时，得同时满足哪三个条件？

• 外层函数用函数表达式定义（如 const outer = function() { ... }）
• 内部嵌套一个函数（可以是函数表达式或声明），且该函数访问外层函数的局部变量
• 外层函数返回这个内部函数（或以其他方式将其暴露到外部作用域）

典型写法：立即执行+返回内部函数

要说最直白、最能体现闭包意图的写法，非IIFE（立即执行函数表达式）加返回内部函数莫属：

const createCounter = (function() {
  let count = 0; // 外层函数的局部变量
  return function() {
    count++;       // 访问并修改外层变量
    return count;
  };
})();

console.log(createCounter()); // 1
console.log(createCounter()); // 2

这里的关键是什么？外层是一个立即执行的函数表达式（IIFE），内部函数虽然没名字，但它捕获了 count 变量。每次调用 createCounter()，都是同一个 count 在累加——说明这个变量被“记住”了。说白了，这就是一个经典闭包。

为什么函数表达式比声明更适合封装闭包？

在实际项目中，函数表达式确实比函数声明更常用于闭包场景。原因有几个：

• 它没有函数提升（hoisting），逻辑顺序更可控，不会因为提前调用而出错
• 可以直接赋值给变量、当参数传递、立即执行，这些特性让构建私有作用域变得很顺手
• 匿名函数表达式天然适合做“一次性工厂”——比如批量生成多个独立的计数器

注意：闭包依赖的是词法作用域，不是函数类型

有一点得说清楚：闭包的本质和“函数表达式”或“函数声明”没有绝对绑定关系。只要满足嵌套+引用+暴露这三个条件，就算用函数声明也能形成闭包。只不过因为函数表达式更灵活、更贴合常见模式（比如IIFE、工厂函数），它才成了实践中构建闭包作用域的主流选择。