词法作用域是模块化打包工具的底层基石，Webpack等工具依赖其“定义时确定作用域”特性实现依赖解析、Tree-shaking、代码分割与闭包封装，确保模块隔离、静态分析可靠及优化确定性。
词法作用域在模块化打包工具中不是辅助特性，而是整个模块隔离与依赖解析的底层基石。打包工具（如 Webpack、Vite、Rollup）之所以能正确拆分代码、消除未使用导出、做 Tree-shaking，根本前提是：它们依赖 JavaScript 本身“定义时确定作用域”这一静态可分析特性。
模块文件即独立词法作用域单元
每个 ES 模块（.js 文件）天然构成一个顶层词法作用域。变量、函数、类只要没被 export，就仅在该文件内可见；import 声明则显式引入其他作用域中的绑定，而非动态查找全局对象。
- 打包器通过静态语法分析（AST）就能准确知道哪些标识符来自哪个模块，无需运行代码
- 同名变量（如多个模块都声明 const config = {...}）互不干扰，因为它们属于不同词法环境
- 没有词法作用域约束，模块系统就退化为全局脚本拼接，无法实现真正的封装和依赖追踪
Tree-shaking 依赖词法作用域的静态可达性判断
Tree-shaking 的本质是：从入口模块出发，沿着 import/export 关系静态遍历所有被实际引用的导出项。它能安全剔除未被引用的代码，正是因为：
- 函数调用、变量访问的绑定目标在定义时就已固定（比如 import { foo } from './utils' 中的 foo 必定指向 utils.js 中的导出）
- 没有动态作用域干扰（如 with 或 eval），所以 AST 分析结果稳定可靠
- 若作用域是动态的（运行时才决定变量归属），打包器就无法在构建阶段确认某段代码是否“死代码”
作用域边界支撑代码分割与懒加载
动态 import() 生成的异步 chunk 能保持逻辑完整性，靠的仍是词法作用域的封闭性：
立即学习“Java免费学习笔记（深入）”；
- chunk 内部的 let/const/function 不会意外污染主包或其他 chunk
- chunk 之间仅通过明确的 import 接口通信，变量查找路径清晰、可预测
- 打包器据此划分作用域边界，确保每个 chunk 是自包含的执行单元
闭包与模块私有状态的协同实现
模块顶层作用域 + 函数闭包，共同构成现代 JS 封装模式：
- 模块内定义的 const api = createApi(...) 可被多个导出函数共享，但对外不可见
- 导出的工厂函数（如 createStore()）内部形成的闭包，持续持有模块级私有状态
- 这种组合让模块既具备“对外契约清晰”，又保留“内部状态可控”的能力
不复杂但容易忽略：打包工具做的所有优化——作用域提升、作用域折叠、导出重命名、循环依赖处理——都建立在一个前提上：JavaScript 的作用域是词法的、静态的、可静态推导的。一旦脱离这个前提，模块化就失去了确定性基础。
