esmodule依赖可静态分析，因其import/export语句必须位于顶层、路径为字面量、结构固定；工具通过ast遍历提取节点、解析路径、递归构建依赖图，并支持条件导出与环境匹配。
ESModule 能在静态代码分析工具中精确追踪依赖关系，核心在于其语法的可静态解析性——所有 import/export 语句必须出现在顶层、路径必须是字面量、结构固定且无运行时分支。这使得工具无需执行代码，仅靠解析源码文本就能构建出完整、确定的依赖图。
依赖路径必须是静态字面量
ESM 强制要求模块路径是字符串字面量（如 import { fn } from './utils.js'），不能是变量或表达式（import x from path 是非法的）。这一限制直接排除了运行时动态拼接路径的可能，让分析器能 100% 确定每个 import 指向哪个文件。
- 工具提取
node.source.value即可获得绝对/相对路径，无需模拟运行环境 - 路径解析遵循 Node.js 或浏览器 ESM 规则（含 extensions、条件导出、imports 字段等），可复用标准解析逻辑
- 裸导入（如
import React from 'react'）通过import-map或package.json#exports映射，也属于静态配置范畴
AST 遍历提取 import/export 节点
分析工具使用解析器（如 @babel/parser、es-module-lexer 或 TypeScript 的 createSourceFile）将源码转为抽象语法树，再遍历其中的 ImportDeclaration、ExportAllDeclaration、ExportNamedDeclaration 等节点。
- 每个
ImportDeclaration节点携带source.value（模块路径）和specifiers（导入的符号名） - 再导出语句（
export { a } from './a.js'）会同时建立当前模块对目标模块的依赖，以及符号转发关系 - 动态
import()若参数为字面量（await import('./lazy.js')），也可被识别为异步依赖边
递归构建有向依赖图
从一个或多个入口文件出发，工具按“解析 → 提取依赖 → 加载依赖文件 → 继续解析”循环推进，直到所有可达的本地模块都被纳入图谱。
- 图中节点是文件路径（或标准化后的模块标识符），边表示
import方向 - 自动跳过
node_modules中的第三方包（除非显式配置需包含），聚焦本地模块拓扑 - 可检测循环依赖：当某模块在递归路径中重复出现时，即判定存在环
支持条件导出与多环境入口
现代 ESM 项目常通过 package.json#exports 定义不同环境下的入口（"import"、"require"、"browser"、"development" 等）。静态分析工具可读取该字段，结合当前目标环境（如 type: "module" + env: "production"）选择对应入口路径，保证依赖图与实际打包/运行行为一致。
- 例如
import 'pkg'在浏览器中可能映射到./dist/pkg.esm.js，而非./index.js - 工具需支持解析
exports字段的嵌套结构与条件匹配逻辑，这是精确建模的前提
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
