JavaScript中什么是柯里化函数_如何实现

柯里化是将多参数函数转换为一系列单参数函数的过程,通过闭包保存已传参数,实现延迟执行与参数记忆,核心特征为分步传递、未满则返函数、满足即求值。

柯里化(Currying)是将一个接收多个参数的函数,转换为一系列只接收一个参数的函数的过程。每次调用返回一个新的函数,直到所有参数都传齐,才执行原函数并返回结果。

柯里化的本质是“参数分步传递”

它不是简单地把多参数函数拆开,而是通过闭包保存已传入的参数,逐步累积,最终触发计算。核心在于:延迟执行 + 参数记忆。

  • 原始函数:f(a, b, c)
  • 柯里化后:f(a)(b)(c)f(a)(b, c)(取决于实现方式)
  • 关键特征:每次调用只处理一个(或部分)参数,未满足条件就返回函数;满足后立即求值

手写一个通用柯里化函数

最常用的方式是基于参数长度自动判断是否执行:

function curry(fn) {
  return function curried(...args) {
    if (args.length >= fn.length) {
      return fn.apply(this, args);
    } else {
      return function(...moreArgs) {
        return curried.apply(this, args.concat(moreArgs));
      };
    }
  };
}

使用示例:

function add(a, b, c) {
  return a + b + c;
}
const curriedAdd = curry(add);
console.log(curriedAdd(1)(2)(3));     // 6
console.log(curriedAdd(1, 2)(3));     // 6
console.log(curriedAdd(1)(2, 3));     // 6

注意边界情况和实用技巧

实项目中需考虑 this 绑定、参数预设、提前终止等细节:

  • 保持 this 上下文:用 fn.call(this, ...args) 替代 apply 更稳妥
  • 支持占位符(如 _):可扩展为支持跳过某些参数,类似 Lodash 的 curry
  • 手动指定参数个数:有些场景函数 length 不准确(比如有默认参数或 rest 参数),可加第二个参数 arity 显式声明
  • 反柯里化(uncurry):把柯里化函数恢复成普通多参函数,较少用但存在

柯里化 vs 普通偏函数(Partial Application)

容易混淆,但有区别:

  • 柯里化一定是一次只传一个参数,且返回新函数,严格按顺序“分步”
  • 偏函数是预先填入部分参数,返回的新函数仍可一次接收剩余全部参数,不要求单参数调用
  • 举例:partial(add, 1)(b, c) => add(1, b, c);而 curry(add)(1)(b) => (c) => add(1,b,c)

基本上就这些。柯里化本身不复杂,但容易忽略闭包生命周期和参数收集逻辑。用在配置化函数、API 封装、函数组合(如与 compose 配合)时特别有用。