柯里化(Currying)
柯里化(Currying)是一种关于函数的高阶技术。它不仅被用于 JavaScript,还被用于其他编程语言。
柯里化是一种函数的转换,它是指将一个函数从可调用的 f(a, b, c)
转换为可调用的 f(a)(b)(c)
。
柯里化不会调用函数。它只是对函数进行转换。
看一个例子:
创建一个辅助函数 curry(f)
,该函数将对两个参数的函数 f
执行柯里化。换句话说,对于两个参数的函数 f(a, b)
执行 curry(f)
会将其转换为以 f(a)(b)
形式运行的函数:
function curry(f) {
// curry(f) 执行柯里化转换
return function (a) {
return function (b) {
return f(a, b);
};
};
}
// 用法
function sum(a, b) {
return a + b;
}
let curriedSum = curry(sum);
alert(curriedSum(1)(2)); // 3
curry(func)
的结果就是一个包装器function(a)
。- 当它被像
curriedSum(1)
这样调用时,它的参数会被保存在词法环境中,然后返回一个新的包装器function(b)
。 - 然后这个包装器被以
2
为参数调用,并且,它将该调用传递给原始的sum
函数。
如你所见,实现非常简单:只有两个包装器(wrapper)。
柯里化更高级的实现,例如 lodash
库的 [_.curry](https://lodash.com/docs#curry)
,会返回一个包装器,该包装器允许函数被正常调用或者以部分应用函数(partial)的方式调用:
function sum(a, b) {
return a + b;
}
let curriedSum = _.curry(sum); // 使用来自 lodash 库的 _.curry
alert(curriedSum(1, 2)); // 3,仍可正常调用
alert(curriedSum(1)(2)); // 3,以部分应用函数的方式调用
柯里化的目的
例如有一个用于格式化和输出信息的日志(logging)函数 log(date, importance, message)
。在实际项目中,此类函数具有很多有用的功能,例如通过网络发送日志(log),在此处使用 alert
来举例:
function log(date, importance, message) {
alert(`[${date.getHours()}:${date.getMinutes()}] [${importance}] ${message}`);
}
将它柯里化:
log = _.curry(log);
现在,可以更便捷的为当前日志创建函数:
// logNow 会是带有固定第一个参数的日志的部分应用函数
let logNow = log(new Date()); // 使用它
logNow("INFO", "message"); // [HH:mm] INFO message
所以:
- 柯里化之后没有丢失任何东西:
log
依然可以被正常调用。 - 可以轻松地生成部分应用函数,例如用于生成今天的日志的部分应用函数。
总结
柯里化 是一种转换,将 f(a,b,c)
转换为可以被以 f(a)(b)(c)
的形式进行调用。JavaScript 实现通常都保持该函数可以被正常调用,并且如果参数数量不足,则返回部分应用函数。
柯里化让我们能够更容易地获取部分应用函数。就像我们在日志记录示例中看到的那样,普通函数 log(date, importance, message)
在被柯里化之后,当我们调用它的时候传入一个参数(如 log(date)
)或两个参数(log(date, importance)
)时,它会返回部分应用函数。
参考资料:现代 JavaScript 教程