javascript高阶函数是什么_如何实现函数柯里化?

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

高阶函数是指接受函数作为参数,或者返回函数作为结果的函数。它不是某种特殊语法,而是函数式编程中一个基础而强大的思想。柯里化(Currying)是高阶函数的一种典型应用——把一个接收多个参数的函数,转换成一系列只接收一个参数的函数链。

高阶函数的核心特征

只要满足以下任一条件,就是高阶函数:

  • 函数的参数中包含另一个函数(比如 Array.prototype.mapfilterreduce
  • 函数的返回值是一个新函数(比如防抖、节流、柯里化函数)

例如:const add = a => b => a + b 是高阶函数,因为它返回了一个函数;[1,2,3].map(x => x * 2) 中的 map 也是高阶函数,因为它接收了回调函数作为参数。

手动实现一个通用柯里化函数

柯里化的本质是“参数分步传入,延迟求值”。我们可以用闭包和递归(或 arguments/剩余参数)来实现:

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 获取原函数期望的形参个数
  • 每次调用积累参数,不足时返回新函数,足够时立即执行
  • 使用 ...argsconcat 支持多参数一次传入

更简洁的现代写法(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),得到固定第一个参数的函数
  • 提升可复用性:一个通用工具函数(如 matchprop)柯里化后,可在不同上下文灵活组合
  • 与函数组合(compose / pipe)配合:形成声明式数据处理流水线

注意:柯里化不等于部分应用(Partial Application)。柯里化严格按顺序、每次只收一个参数;部分应用可任意预填多个参数,且不强制单参数形式。

基本上就这些。理解高阶函数是进阶 JavaScript 的关键一步,而柯里化是其中最直观、也最容易上手的实践方式。