es模块要求import/export路径与标识符在编译期完全静态，不可动态更改，这是tree shaking成立的根本前提；构建工具借此构建依赖图、追踪使用链并安全剔除未引用代码。
“不可变路径”不是标准术语，但准确指向 ES 模块系统中 import/export 路径和标识符在编译期完全静态、不可动态更改 这一关键事实。它不是关于文件路径是否写死，而是关于模块依赖关系的可预测性与确定性——这正是 Tree Shaking 能成立的根本前提。
为什么路径和导入名必须“不可变”
Tree Shaking 不是运行时扫描，而是在打包前就完成的静态分析。构建工具（如 Webpack、Vite、Rollup）需要在不执行代码的前提下，精确回答一个问题：哪些导出值最终被某个入口引用了？ 这只有在所有 import/export 都满足以下条件时才可行：
- import 语句只能出现在顶层作用域，不能包裹在 if、函数或 try 中
- 导入的名称（如
{ add, multiply }）必须字面量写出，不能是变量或拼接字符串 - export 列表固定，不能通过循环或条件动态生成（如不允许
Object.keys(obj).forEach(k => export { obj[k] })） - 模块路径（如
'./utils.js'）是静态字符串，不依赖运行时变量或环境
对比 CommonJS：动态性直接阻断分析
CommonJS 的 require() 允许任意位置、任意条件、任意表达式调用：
-
if (ENV === 'dev') require('./debug')→ 工具无法判断是否需包含 debug 模块 -
const mod = require('./' + name)→ 路径完全未知，无法建立依赖图 -
module.exports = { [key]: fn }→ 导出名不确定，无法标记使用状态
这些行为让依赖关系只能在运行时揭晓，构建工具无法提前“看到”全貌，自然无法安全删除任何代码。
“不可变路径”如何支撑实际优化
当所有路径与绑定都静态可析，工具就能做三件事：
- 构建完整依赖图：从入口开始，逐层解析 import，明确每个模块导出了什么、被谁导入、谁又用了它的哪些成员
-
反向追踪使用链：从最终 bundle 的活跃引用出发（比如
import { reactive } from 'vue'），向上标记所有被间接依赖的导出项 -
安全剔除未标记部分：所有未进入使用链的
export（函数、常量、类）都被视为死代码，直接移除，不改变逻辑
例如 Vue 3 的 reactive 和 computed 是独立 ESM 文件导出，路径和名称固定；你只 import reactive，工具就能确认 computed 所在模块整块无引用，连带其内部未使用的辅助函数一并删掉。
副作用配置是“不可变路径”的必要补充
即使路径和导入名完全静态，某些模块仍可能有隐式副作用（如执行时修改全局、注入样式、注册插件）。这类代码虽无显式导出引用，也不能删。这就是 "sideEffects": false 或 "sideEffects": ["*.css"] 的作用——它不破坏“不可变路径”前提，而是告诉工具：在已确认静态可析的基础上，哪些文件可以放心摇掉，哪些必须保留。
