JavaScript的函数式风格指以纯函数、不可变数据、声明式组合为核心的编程范式,要求函数无副作用、不修改状态、用const替代let/var,并通过pipe/compose组合单参数纯函数。

JavaScript 本身不是纯函数式语言,但支持函数作为一等公民、高阶函数、闭包等关键特性,因此可以写出高度函数式的代码——前提是主动规避副作用、避免可变数据、用组合代替嵌套、用声明式代替命令式。
什么是“函数式风格”的 JavaScript?
它不是指用了 map 或 filter 就算函数式,而是指一种编程范式选择:把计算看作数学函数的求值,拒绝改变状态和可变数据。在 JS 中,这意味着:
- 函数必须是
纯函数:相同输入永远返回相同输出,且不修改外部变量、不调用console.log、不发请求、不读写 DOM - 数据结构默认不可变:不直接改
arr.push(x),而用[...arr, x]或arr.concat(x) - 用
reduce替代for循环,用compose或pipe组合函数,而不是层层嵌套调用 - 避免使用
let/var声明可重赋值变量;优先用const,哪怕只是临时绑定
如何写出真正纯的函数?避开常见陷阱
JS 的纯函数极易被意外污染。比如看似无害的 JSON.parse 在遇到非法 JSON 时会抛错——这属于“非确定性行为”,破坏了纯性。再比如依赖全局对象 Date.now() 或 Math.random() 的函数,每次调用结果都不同。
- 不要在纯函数里访问
document、window、localStorage等外部状态 - 避免隐式类型转换:用
Number(x)而非+x,后者在x为对象时会触发toString,产生副作用 - 数组方法中,
map、filter、slice是纯的;sort、reverse、splice会原地修改,必须配合structuredClone或展开语法先拷贝
const safeSort = (arr, compareFn) => [...arr].sort(compareFn); const addTax = (price) => price * 1.08; // 纯:无外部依赖,无状态变化
用 pipe 和 compose 实现函数组合
函数组合不是语法糖,它是把多个单职责小函数粘合成新函数的核心机制。JS 没有内置 pipe,但实现极简:
本文档主要讲述的是使用JSON进行网络数据交换传输;JSON(JavaScript ObjectNotation)是一种轻量级的数据交换格式,易于阅读和编写,同时也易于机器解析和生成,非常适合于服务器与客户端的交互。JSON采用与编程语言无关的文本格式,但是也使用了类C语言的习惯,这些特性使JSON成为理想的数据交换格式。 和 XML 一样,JSON 也是基于纯文本的数据格式。由于 JSON 天生是为 JavaScript 准备的,因此,JSON的数据格式非常简单,您可以用 JSON 传输一个简单的 St
立即学习“Java免费学习笔记(深入)”;
const pipe = (...fns) => (x) => fns.reduce((v, f) => f(v), x);
const toUpper = (s) => s.toUpperCase();
const trim = (s) => s.trim();
const sanitize = pipe(trim, toUpper);
sanitize(" hello "); // "HELLO"-
pipe从左到右执行(更符合阅读顺序),compose从右到左(如 Redux 的compose) - 组合前确保每个函数都是单参数、纯函数;多参数函数需先
curry,例如(a, b) => a + b要转成a => b => a + b - 别为了组合而组合:如果中间结果需要被复用或调试,拆成独立
const更清晰
为什么你写的“函数式代码”还是很难维护?
因为函数式不是加几个 map 就完事。常见问题包括:
- 过度抽象:为一个只用两次的操作写
createFilterByStatus工厂函数,反而增加认知负担 - 错误处理混入纯逻辑:用
try/catch包裹纯函数,破坏了纯性;应改用Either类型(如fp-ts的Either)或显式返回{ ok: true, data }结构 - 忽略性能成本:频繁创建新数组/对象(如
[...arr])在大数据量下可能成为瓶颈,纯函数和性能有时需权衡 - 团队协作时,没约定好“哪些边界函数负责副作用”:比如所有 API 调用统一走
fetchUser :: string -> Promise,其余逻辑保持纯,否则纯性无法落地
函数式在 JS 中是约束下的实践,不是教条。最易被忽略的一点:纯函数必须可测试——如果你没法用固定输入断言固定输出,那它大概率已经掺了杂质。










