函数式编程：纯函数与高阶函数解析

本文深入解析了JavaScript中函数式编程的两大核心支柱——纯函数与高阶函数，阐明纯函数如何通过“相同输入必得相同输出”和“零副作用”保障代码的可预测性与可测试性，揭示高阶函数（如map、filter、reduce及柯里化函数）如何作为逻辑组合与抽象控制流的基础能力；同时对比指出，相较于易引入副作用的for循环，内置数组方法天然支持不可变数据流与职责分离，虽有性能权衡但显著提升代码清晰度与健壮性，并警示实践中常被忽视的隐式依赖陷阱——从Math.random()、全局变量到对象浅拷贝，提醒开发者唯有全程坚守纯性，才能真正释放函数式编程在复杂系统中的工程价值。

JavaScript 本身不是纯函数式语言，但完全支持函数式编程的核心实践：只要避免副作用、把函数当值用，就能写出可预测、易测试、易组合的代码。

什么是纯函数？关键看这两点

纯函数必须同时满足：相同输入永远返回相同输出，且不修改外部状态（无副作用）。

• Math.max(2, 3) 是纯函数——没读写外部变量，不调用 Date.now() 或 console.log()
• arr.push(1) 不是纯函数——它直接修改原数组，返回值是新长度，还产生副作用
• JSON.parse('{ "x": 1 }') 是纯函数；但 JSON.parse(input) 如果 input 来自全局变量或 DOM，就可能因外部变化而行为不稳定，需确保输入“封闭”

高阶函数 = 接收函数或返回函数的函数

这不是语法糖，而是组合逻辑、抽象控制流的基础能力。JS 中几乎所有数组方法都是高阶函数。

• map、filter、reduce 都接收一个函数作为参数，它们本身也是函数——这就是高阶
• const add = (a) => (b) => a + b 返回函数，add(5) 得到 (b) => 5 + b，这也是高阶（柯里化）
• 注意：setTimeout(() => {}, 100) 是高阶，但回调执行时机不可控，破坏了纯性——别把它和纯函数混为一谈

为什么 map/filter/reduce 比 for 循环更“函数式”？

不是因为写法短，而是它们天然隔离了迭代细节和业务逻辑，让数据流显式、单向、不可变。

• for 循环中容易意外修改原数组（比如 arr[i] = ...），而 map 总是返回新数组，原数组不动
• reduce 的初始值必须明确提供，否则空数组会报错——这是强制你思考边界条件，而不是靠运气
• 链式调用如 arr.filter(x => x > 0).map(x => x * 2) 可读性强，但要注意：每一步都新建数组，大数据量时有性能代价，不是所有场景都适合

实际写纯函数时最容易漏掉的三件事

纯函数看着简单，落地时往往栽在隐蔽的“隐式依赖”上。

• 用了 Math.random() 或 new Date() —— 它们每次调用结果不同，违反“相同输入→相同输出”
• 函数内部读取了全局变量（比如 config.API_URL），而这个变量可能被其他模块修改过
• 传入对象或数组却直接修改了它（比如用 Object.assign(target, source) 而不是 {...target, ...source}）——浅拷贝不够，嵌套对象仍会被改

真正难的不是写出一个纯函数，而是让整个数据流从入口到出口都不脱离纯性。一旦中间某处调用 localStorage.getItem() 或触发 fetch()，后面所有处理就只能算“半纯”。

今天带大家了解了的相关知识，希望对你有所帮助；关于文章的技术知识我们会一点点深入介绍，欢迎大家关注golang学习网公众号，一起学习编程~