纯函数指相同输入必得相同输出且无任何外部影响的函数；它能提升可预测性、简化调试测试、支持组合分层，并将副作用隔离到明确命名的函数中。
函数的副作用，是指它在返回结果之外，还对外部环境造成可观察的改变——比如修改全局变量、篡改传入的对象、发起网络请求、写入本地存储或操作 DOM。这些行为让函数的行为不再只由输入决定，导致代码难以预测、调试困难、测试成本高。而纯函数恰好反其道而行：相同输入必得相同输出，且不产生任何外部影响。用纯函数组织核心逻辑，能从根源上压缩状态不确定性，显著降低大型项目中的代码复杂性。
纯函数让状态变化可推演、可复现
没有副作用，意味着函数不依赖时间、随机数、全局配置或用户输入等隐式上下文。只要输入一致，输出就绝对一致。这带来两个直接好处：
- 调试时无需还原整个运行环境，复制一组输入就能在本地精准复现问题
- 多人协作中，一个模块的修改不会意外干扰另一个模块的状态，避免“改一处，崩一片”
把业务逻辑拆成清晰的数据流水线
纯函数天然适合组合与分层。你可以将一个复杂的表单提交流程，拆解为多个小函数：校验字段 → 格式化数据 → 计算折扣 → 生成订单摘要。每个环节只接收上一环节的输出，只返回自己的结果。
这种结构带来三重简化：
- 出问题时可逐段断点，快速定位是校验漏了空值，还是折扣计算用了错误税率
- 任意环节可被单独替换或增强（如把简单校验换成异步风控调用），不影响上下游
- 配合不可变数据（如用 immer 的 produce），还能保留每一步输入/输出快照，支持回溯分析
测试真正变成“输入→断言”的确定动作
没有副作用，测试就不再需要模拟 API、重置全局计数器或清理 DOM。你只需关注映射关系：
- 给一个空对象，函数是否返回默认配置？
- 传入超长字符串，是否截断并加省略号？
- 边界值（null、undefined、负数）是否都覆盖？
这类测试用例容易编写、稳定可靠，也便于接入 property-based testing 工具，自动生成大量合法/非法输入做压力验证。
副作用不是要消灭，而是要收口和隔离
真实项目离不开 I/O。关键不是禁止副作用，而是明确划清边界：
- 核心领域逻辑（如价格计算、权限判断、数据转换）全部用纯函数实现，100% 可预测
- 副作用集中到少数明确命名的函数中，例如 fetchUserProfileAsync、saveToLocalStorage、renderChart
- 在类型系统或文档中标注副作用函数（如加前缀 impure_ 或后缀 Async），让调用者一眼识别风险
