高阶函数是接受函数为参数或返回函数为结果的函数;柯里化是其典型应用,将多参函数转为单参函数链,通过闭包递归实现参数分步传入与延迟求值。

高阶函数是指接受函数作为参数,或者返回函数作为结果的函数。它不是某种特殊语法,而是函数式编程中一个基础而强大的思想。柯里化(Currying)是高阶函数的一种典型应用——把一个接收多个参数的函数,转换成一系列只接收一个参数的函数链。
高阶函数的核心特征
只要满足以下任一条件,就是高阶函数:
例如:const add = a => b => a + b 是高阶函数,因为它返回了一个函数;[1,2,3].map(x => x * 2) 中的 map 也是高阶函数,因为它接收了回调函数作为参数。
手动实现一个通用柯里化函数
柯里化的本质是“参数分步传入,延迟求值”。我们可以用闭包和递归(或 arguments/剩余参数)来实现:
立即学习“Java免费学习笔记(深入)”;
function curry(fn) { return function curried(...args) { if (args.Length >= fn.length) { return fn.apply(this, args); } else { return function(...nextArgs) { return curried.apply(this, args.concat(nextArgs)); }; } }; }
用法示例:
function multiply(a, b, c) { return a * b * c; } const curriedMultiply = curry(multiply); console.log(curriedMultiply(2)(3)(4)); // 24 console.log(curriedMultiply(2, 3)(4)); // 24 console.log(curriedMultiply(2)(3, 4)); // 24
关键点:
- 通过 fn.length 获取原函数期望的形参个数
- 每次调用积累参数,不足时返回新函数,足够时立即执行
- 使用 …args 和 concat 支持多参数一次传入
更简洁的现代写法(es6+)
利用箭头函数和展开运算符,可以写出更紧凑的版本:
const curry = (fn) => { const go = (...args) => args.length >= fn.length ? fn(...args) : (...rest) => go(...args, ...rest); return go; };
这个版本逻辑更清晰:每次调用都判断是否“够数”,不够就继续收集,够了就执行。没有 this 绑定问题,适合纯函数场景。
柯里化的实际价值
它不只是炫技,能自然支持:
- 参数预设:如 const add10 = curry((a, b) => a + b)(10),得到固定第一个参数的函数
- 提升可复用性:一个通用工具函数(如 match、prop)柯里化后,可在不同上下文灵活组合
- 与函数组合(compose / pipe)配合:形成声明式数据处理流水线
注意:柯里化不等于部分应用(Partial Application)。柯里化严格按顺序、每次只收一个参数;部分应用可任意预填多个参数,且不强制单参数形式。
基本上就这些。理解高阶函数是进阶 javaScript 的关键一步,而柯里化是其中最直观、也最容易上手的实践方式。