javascript函数式编程是什么_纯函数和副作用有何关联

JavaScript函数式编程以纯函数为核心,强调确定性(相同输入必得相同输出)和无副作用(不修改外部状态、不触发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.logfetchlocalStorage.setItemdocument.getElementById().innerHTML = ...
  • 依赖外部可变状态(如读取未声明为参数的全局 nameDate.now())。

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

为什么这个关联如此关键

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

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

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

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