纯函数必须满足无副作用和相同输入恒得相同输出：不可修改原对象/数组、不读写全局变量或外部状态、不调用随机或时间函数、不发起请求或操作DOM；处理对象数组需返回新副本，如用展开运算符或structuredClone；函数定义形式（声明/表达式/箭头）与纯性无关，只取决于是否依赖或改变外部可变状态。
JavaScript 函数可以声明、表达式或箭头函数形式定义，但“优雅的纯函数”不取决于语法糖，而在于是否真正满足纯函数的两个核心约束：无副作用、相同输入恒得相同输出。
纯函数必须避开哪些副作用
副作用指函数执行时对外部状态产生的任何可观察改变。常见陷阱包括：
- 修改传入的
object或array（如用push、sort、splice） - 读取或修改全局变量、
document、localStorage、Date.now()、Math.random() - 发起网络请求（
fetch）、触发 DOM 更新、调用console.log - 依赖外部闭包中可变的变量（比如在函数外定义一个
count = 0，函数内递增它）
一旦出现上述任一行为，就不是纯函数——哪怕它长得像 (a, b) => a + b。
如何安全地处理对象和数组参数
纯函数不能直接修改原数据，必须返回新副本。关键不是“用不用展开运算符”，而是是否真正隔离了引用：
- 浅层对象复制可用
{...obj}或Object.assign({}, obj)，但嵌套对象仍共享引用 - 深层克隆推荐用结构化克隆（
structuredClone(obj)，现代环境支持）或明确的不可变更新逻辑 - 数组操作优先选
map、filter、concat、[...arr, newItem]，避免push、reve等原地方法
rse
例如：const addId = (item) => ({ ...item, id: Date.now() }) 是危险的——Date.now() 引入了时间依赖，违反纯性；应改为由调用方传入 id。
箭头函数 ≠ 纯函数，普通函数也不天然更“纯”
函数定义方式和纯性无关。以下两个函数都非纯：
function impure1(x) { return x + Math.random(); }
const impure2 = (x) => x * window.innerWidth;而以下两者都是纯的：
function pure1(a, b) { return a * b; }
const pure2 = (list, fn) => list.map(fn);判断依据只有两点：是否依赖外部可变状态？是否改变外部状态？跟 function 关键字还是 => 无关。
真正难的不是写出单个纯函数，而是让整个数据流不被意外污染——比如某个中间函数悄悄 mutate 了对象，下游再“纯”也白搭。纯性需要从调用链最上游开始约束，且团队对“不可变更新”要有共识和工具支持（如 immer 只是简化写法，底层仍需理解何时创建新引用）。
