JavaScript柯里化

一、简介

维基百科中的定义：柯里化（Currying），又称部分求值，是把接受多个参数的函数变换成接受一个单一参数（最初函数的第一个参数）的函数，并且返回接受余下的参数而且返回结果的新函数的技术。这个技术以逻辑学家哈斯凯尔·加里命名的。

柯里化是函数式语言都有的一个特性，如Perl，Python，JavaScript。这里介绍JavaScript中柯里化的思想及应用。

二、柯里化代码分析

// 简单的柯里化例子
// 原函数
function add(a, b, c) {
    return a + b + c;
}
// 将原函数柯里化
function _add(a) {
    return function(b) {
        return function(c) {
            return a + b + c;
        }
    }
}

// 将add函数柯里化后，以下2种调用方式是等价的
add(1, 2, 3);
_add(1)(2)(3);

我们靠眼力自己封装的柯里化函数自由度偏低，
下面来看一个比较通用的柯里化例子（函数为固定参数个数的柯里化）

// 通用的柯里化例子
// 原函数
function add(a, b, c) {// 函数可处理的参数个数为3
    return a + b + c;
}
// 通用的柯里化函数
function createCurry(func, args) {
    // 获取被柯里化的函数的参数个数，即func实际可以处理的参数个数，这里是3
    var arity = func.length;
    // 用来存储柯里化时需要被复用的参数
    var args = args || [];

    return function() {
        // [].slice.call(arguments)等价于arguments.slice
        // [].slice.call(arguments)的作用是将argments这个类数组对象转为数组
        var _args = [].slice.call(arguments);

        // [].push.apply(_args, args)等价于_args.push(args)
        [].push.apply(_args, args);

        // 如果参数个数小于最初的func.length，则递归调用，继续收集参数
        if (_args.length < arity) {
            return createCurry.call(this, func, _args);
        }

        // 参数收集完毕，则执行func
        return func.apply(this, _args);
    }
}
// 将原函数柯里化
var _add = createCurry(add)

// 将add函数柯里化后，以下4种调用方式是等价的
1、add(1,2,3)
2、_add(1,2,3)
3、_add(1)(2)(3)
4、_add(1,2)(3)

在lodash.js中的也有_.curry()函数。

三、柯里化使用场景

1. 参数复用。固定不变的参数，实现参数复用是 Currying 的主要用途之一。上例中调用方式改为 _add=createCurry(add,10),则实现复用参数10，实现每次调用_add函数都加10的功能。
2. 提高适用性。可点击查看本链接中的例子
3. 延迟执行/计算。延迟计算：一个currying的函数首先会接受一些参数，接受了这些参数后，该函数并不会立即求值，而是继续返回另外一个函数，刚才传入的参数在函数形成的闭包里被保存起来。待到函数真正需要求值的时候，之前传入的参数都会被一次性用于求值。 上面的例子可以比较好的说明了，收集所有参数，收集完才进行最后的加法运行。

四、注意

在柯里化的实现中，我们知道柯里化虽然具有了更多的自由度，但同时柯里化通用式里调用了arguments对象，使用了递归与闭包，因此柯里化的自由度是以牺牲了一定的性能为代价换来的。只有在情况变得复杂时，才是柯里化大显身手的时候。
如果我们只是想提前绑定参数，那么我们有很多好几个现成的选择，bind，箭头函数等，而且性能比Curring更好。
Currying 生于函数式编程，也服务于函数式编程。假如没有准备好写纯正的函数式代码，那么 Currying 有更好的替代品。

相关参考

柯里化
JS中的柯里化
前端开发者进阶之函数柯里化Currying
大佬，JavaScript 柯里化，了解一下？