函数式编程是什么？纯函数与副作用详解

函数式编程以纯函数为基石，强调“相同输入必得相同输出”和“零副作用”的确定性原则，通过隔离I/O、避免状态修改与外部依赖，让代码更可预测、易测试、可缓存且天然支持组合与并行；它并非拒绝现实世界的交互，而是将副作用显式剥离至边界层，确保核心逻辑始终纯净可靠——这正是构建稳健、可维护系统的底层智慧。

JavaScript函数式编程是一种以函数为基本单元、强调不可变性与声明式表达的编程范式。它不追求“怎么做”，而是聚焦于“做什么”——用纯函数组合逻辑，避免隐式状态变更，让代码更可预测、易测试、易并行。

纯函数是函数式编程的基石

一个函数要被称为纯函数，必须同时满足两个条件：

• 确定性：相同输入，永远返回相同输出。比如 const add = (a, b) => a + b，无论调用多少次 add(2, 3)，结果一定是 5；
• 无副作用：执行过程不修改外部变量、不操作 DOM、不发请求、不打印日志、不改变传入的对象或数组。

像 Array.prototype.slice() 是纯函数，它返回新数组，原数组不动；而 Array.prototype.splice() 就不是，它直接修改原数组——这就是副作用的典型表现。

副作用是纯函数的对立面

副作用指函数在计算返回值之外，对外部环境产生的任何可观察影响。常见形式包括：

• 修改全局变量或闭包外的变量（如 let count = 0; const inc = () => ++count）；
• 更改传入的对象或数组（如在函数里直接 obj.name = 'new' 或 arr.push(x)）；
• 触发 I/O 行为：console.log、fetch、localStorage.setItem、document.getElementById().innerHTML = ...；
• 依赖外部可变状态（如读取未声明为参数的全局 name 或 Date.now()）。

有副作用的函数就不是纯函数；反过来，纯函数天然排除所有副作用。二者是“一票否决”关系：只要存在任一副作用，该函数即为不纯。

为什么这个关联如此关键

函数式编程靠纯函数构建可靠的数据流。一旦混入副作用，就会破坏三个核心优势：

• 可缓存性：纯函数结果可安全记忆化（memoize），副作用函数则不行；
• 可测试性：纯函数只需断言输入输出，无需 mock 全局状态或网络；
• 可组合性：compose(f, g)(x) 要求 f 和 g 都不干扰彼此状态，否则链式调用会出错。

React 的函数组件也遵循这一思想：把 props 当作只读输入，不直接改 state（而是用 setState 声明意图），本质上就是在局部践行纯函数原则。

函数式编程不要求彻底消灭副作用——比如页面渲染、数据保存终究得发生——而是主张把它们显式隔离、集中管控，例如放在组件顶层、effect hook 中或程序边界处。核心逻辑层保持纯净，才是稳健架构的关键。

文中关于的知识介绍，希望对你的学习有所帮助！若是受益匪浅，那就动动鼠标收藏这篇《函数式编程是什么？纯函数与副作用详解》文章吧，也可关注golang学习网公众号了解相关技术文章。