深入解析JavaScript中函数的Currying柯里化

什么是Currying柯里化

Currying柯里化是一种将接收多个参数的函数转变为接收一个单一参数（最初函数的第一个参数）并且返回接收余下参数并返回结果的新函数的技术。

这种技术被称为“柯里化”，要归功于Haskell Curry，这位对逻辑学及其应用的研究尤为显著的人物。可以借助柯里化，编写出具有良好封装性、引用透明性、模块化等好处的代码。

怎么实现Currying柯里化

在 JavaScript 中，可以通过以下两种方式实现柯里化：

第一种方式

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

这种方法使用闭包来实现柯里化。首先在 curry 函数外部定义了一个可变参数的 curried 函数，接着判断参数数量是否大于等于原函数的参数数量，如果是则调用原函数并返回结果。否则返回一个新的返回函数，并将外部环境中的参数与内部新传入的参数合并，继续递归调用 curried 函数。

示例：使用柯里化实现一个加法函数。

function add(a, b) {
  return a + b;
}

const curriedAdd = curry(add); // 将 add 函数进行柯里化
console.log(curriedAdd(1)(2)); // 输出 3
console.log(curriedAdd(1, 2)); // 输出 3

第二种方式

function curry(fn, arity = fn.length, ...args) {
  return arity <= args.length ? fn(...args) : curry.bind(null, fn, arity, ...args);
}

这种方法使用函数递归来实现柯里化。首先设置默认参数 arity 为要处理的函数的参数个数。如果传入的参数个数大于或等于 arity，则直接执行原函数并返回结果；否则返回一个绑定 fn、arity 和已有参数组成的新函数，并递归调用 curry 函数。

示例：使用柯里化实现一个字符串拼接函数。

function join(separator, str1, str2, str3) {
  return `${str1}${separator}${str2}${separator}${str3}`;
}

const curriedJoin = curry(join); // 将 join 函数进行柯里化
console.log(curriedJoin('|')('a', 'b', 'c')); // 输出 'a|b|c'
console.log(curriedJoin('|', 'a')('b', 'c')); // 输出 'a|b|c'
console.log(curriedJoin('|', 'a', 'b')('c')); // 输出 'a|b|c'
console.log(curriedJoin('|', 'a', 'b', 'c')); // 输出 'a|b|c'

Currying柯里化的优势

使用 Currying 柯里化的优势：

• 组合函数。Currying柯里化可以方便地组合函数，这是函数式编程中非常常见的一种技术。
• 延迟执行。在 Currying 中，可以将某些参数暂时跳过，推迟到代码的后面部分再输入参数，故而可以实现函数的延迟执行。
• 提供可复用性。在开发中，我们有时会碰到重复调用参数相同的函数的情况，使用柯里化可以将参数固定住以使后续的调用再次调用时不必传递相同的参数。

总结

本文介绍了JavaScript中函数的Currying柯里化，讲解了什么是Currying柯里化及使用方法，并给出了两个示例展示了柯里化的用法及优点。Currying柯里化的作用在于将接收多个参数的函数转变为接收一个单一参数并且返回接收余下参数并返回结果的新函数，从而使得代码更加灵活，利于代码的组合、延迟执行以及提供可复用性。