前言

在计算机科学中，柯里化（英语：Currying），又译为卡瑞化或加里化，是把接受多个参数的函数变换成接受一个单一参数（最初函数的第一个参数）的函数，并且返回接受余下的参数而且返回结果的新函数的技术。

一、为什么会有函数柯里化？

Currying 的重要意义在于可以把函数完全变成「接受一个参数；返回一个值」的固定形式，这样对于讨论和优化会更加方便。

将关注的重点聚焦到函数本身，而不因冗余的数据参数分散注意力。

有这样的说法，并非柯里化有什么意义，而是，当函数可以作为函数的参数和返回值，成为函数式编程语言后，就会不可避免地产生函数柯里化。

二、具体实现

先来一个简单的 add 函数

1
2
3
4
5
function add(x, y) {
  return x + y;
}

add(2, 3); // 5

重要的概念多说一遍：函数柯里化就是接收多个参数的函数变换为接收一个函数，并返回接收余下参数，最终能返回结果的技术
。

那么，继续：

1
2
3
4
5
6
7
function add(x) {
  return function(y) {
    return x + y;
  };
}

add(2)(3); // 5

所以，曾经的一个函数，因为闭包操作（返回函数并访问了自由变量的行为），变成了多个接收一个参数的函数。

所以简单来讲：函数柯里化就是意图将函数的参数变成一个。让函数可以输入一个值，就返回一个相对应的值，从而实现纯函数化。

为什么函数式编程要求函数必须是纯的，不能有副作用？因为它是一种数学运算，原始目的就是求值，不做其他事情，否则就无法满足函数运算法则了。在函数式编程中，函数就是一个管道（pipe）。这头进去一个值，那头就会出来一个新的值，没有其他作用。

所以良好的编程规范是尽可能让函数块做一个事情，实现可复用性，可维护性。

上面的例子中，如果有很多个参数怎么办，难道一层层嵌套？

我们继续：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
function plus(value) {
  "use strict";
  var add = function() {
    var args = [];
    var adder = function adder() {
      Array.prototype.push.apply(args, Array.prototype.slice.apply(arguments));
      return adder;
    };
    adder.toString = function() {
      return args.reduce(function(a, b) {
        return a + b;
      });
    };
    return adder;
  };
  return add()(value);
}

plus(2)(3)(5).toString(); // 10；

上面的代码看起来不那么优雅，如果是减法，我们就得又重新为减法写这么多的代码。像 lodash, underscore 这些工具库，都提供了柯里化的工具函数。

我们一起来试着实现：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
function curry(fn, args) {
  var length = fn.length; // 函数参数的长度

  // 闭包保存参数列表
  args = args || [];

  return function() {
    // 获取参数列表。
    var _args = args.slice(0);

    Array.prototype.push.apply(_args, Array.prototype.slice.call(arguments));

    if (_args.length < length) {
      // 如果传入的参数列表长度还没有超过函数定义时的参数长度，就 push 新的参数到参数列表中保存起来。

      // 自己调用自己，将保存的参数传递到下一个柯里化函数。
      return curry.call(this, fn, _args);
    } else {
      // 如果传入的参数列表长度已经超过函数定义时的参数长度，就执行。
      return fn.apply(this, _args);
    }
  };
}

三、应用场景

函数柯里化的好处有几个：

  1. 参数复用；
  2. 提前返回；
  3. 延迟计算/运行。

函数柯里化允许和鼓励你分隔复杂功能变成更小更容易分析的部分。这些小的逻辑单元显然是更容易理解和测试的，然后你的应用就会变成干净而整洁的组合，由一些小单元组成的组合。

文章开篇的 add 函数，假如，每次调用加法有一个初始值会怎样？

1
2
3
4
5
6
7
8
9
10
11
var add = curry(function(a, b, c) {
  return a + b + c;
});

var addTen = add(10);

var addSix = add(6);

addTen(2)(3); // 15;

addSix(7)(8); // 21;

以上代码就实现了参数复用，保存固定参数的函数。

看一个经典的例子：
元素绑定事件监听器：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
var addEvent = function(el, type, fn, capture) {
  if (window.addEventListener) {
    el.addEventListener(
      type,
      function(e) {
        fn.call(el, e);
      },
      capture
    );
  } else if (window.attachEvent) {
    el.attachEvent("on" + type, function(e) {
      fn.call(el, e);
    });
  }
};

以上代码是为了兼容 IE 浏览器对 DOM 事件绑定做的函数封装。

问题在于，每次对 DOM 元素进行事件绑定时，函数内部都会走一遍 if else。那么用函数柯里化就能实现提前返回。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
var addEvent = (function() {
  if (window.addEventListener) {
    return function(el, sType, fn, capture) {
      el.addEventListener(
        sType,
        function(e) {
          fn.call(el, e);
        },
        capture
      );
    };
  } else if (window.attachEvent) {
    return function(el, sType, fn, capture) {
      el.attachEvent("on" + sType, function(e) {
        fn.call(el, e);
      });
    };
  }
})();

总结

函数柯里化是“函数是一等公民”的编程语言环境形成的编程风格，利用了函数能作为参数一级返回值以及利用了闭包保存变量的特点，是将多个参数的函数转换为接收一个参数，最后返回结果的技术。