tree shaking 在函数式编程中效果更显著,因纯函数无副作用且可静态判定,构建工具能安全剔除未调用函数;需确保导出为具名纯函数、顶层无执行逻辑,并配合 sideeffects 声明验证裁剪结果。

Tree Shaking 在函数式编程中效果更显著,关键在于纯函数天然契合“无副作用”和“可静态判定”的要求——只要模块顶层不执行动作、导出全部是确定性函数,构建工具就能安全剔除未调用的函数。
纯函数是 Tree Shaking 的理想载体
纯函数指:相同输入始终返回相同输出,且不依赖或修改外部状态。这类函数本身不触发副作用,也无需运行时环境支持,因此打包工具能放心标记其“未使用”并移除。
- ✅ 符合纯函数特征的导出(如 export const clamp = (min, val, max) => Math.min(Math.max(val, min), max))会被准确识别为可摇动单元
- ❌ 若函数内部读取 localStorage、调用 fetch 或修改 globalThis.config,即使签名看起来“干净”,也会被判定为有副作用,整块保留
- ⚠️ 注意:纯函数的“纯”必须贯穿到底。例如 export const createLogger = () => console.log 看似简单,但顶层返回的是带副作用的 console.log,仍可能干扰分析
模块结构要匹配静态分析逻辑
Tree Shaking 不分析函数体,只分析 import/export 的引用关系。函数式模块需让这种关系清晰、扁平、无歧义。
在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。
- 所有导出必须是具名的独立函数,避免 export default { map, filter, reduce } 这类对象聚合形式——工具无法判断你是否只用了其中某个方法
- 禁止在模块顶层做任何计算或赋值,比如 const DEFAULT_OPTS = getConfig(); 或 if (DEBUG) console.warn('dev mode');
- 若需默认配置或初始化逻辑,封装进函数里:export const withDefaults = (fn) => (...args) => fn(...args, DEFAULT_OPTS);
配合 sideEffects 声明强化可信度
即使代码写得再纯,工具仍需你“签字确认”它真的没副作用。package.json 中的 sideEffects 字段就是这份声明。
- 整个工具库完全函数式、无 DOM/全局/IO 操作,直接设为 "sideEffects": false
- 若仅个别文件含副作用(如一个用于注册全局序列化器的 setup-serializers.js),就明确列出:"sideEffects": ["./src/setup-serializers.js"]
- 切忌留空或设为 true——这会让工具放弃对所有 JS 文件的摇树判断
验证裁剪是否真正发生
别只看 bundle 大小变化。函数式模块裁剪成功最直接的证据,是未使用函数彻底消失在产物中。
- 在入口文件加一行 import { neverCalled } from './fp-helpers';,构建后搜索 neverCalled —— 若结果为零,说明已摇掉
- 用 rollup-plugin-visualizer 或 webpack-bundle-analyzer 查看模块图,确认函数级导出节点未被任何路径连接
- 对高阶函数(如 compose, pipe)要特别小心:如果它们被动态组合(compose(...fns)),静态分析可能失效,导致整条链被保留
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南










