一、简介
维基百科中的定义:柯里化(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()函数。
三、柯里化使用场景
- 参数复用。固定不变的参数,实现参数复用是 Currying 的主要用途之一。上例中调用方式改为 _add=createCurry(add,10),则实现复用参数10,实现每次调用_add函数都加10的功能。
- 提高适用性。可点击查看本链接中的例子
- 延迟执行/计算。延迟计算:一个currying的函数首先会接受一些参数,接受了这些参数后,该函数并不会立即求值,而是继续返回另外一个函数,刚才传入的参数在函数形成的闭包里被保存起来。待到函数真正需要求值的时候,之前传入的参数都会被一次性用于求值。 上面的例子可以比较好的说明了,收集所有参数,收集完才进行最后的加法运行。
四、注意
在柯里化的实现中,我们知道柯里化虽然具有了更多的自由度,但同时柯里化通用式里调用了arguments对象,使用了递归与闭包,因此柯里化的自由度是以牺牲了一定的性能为代价换来的。只有在情况变得复杂时,才是柯里化大显身手的时候。
如果我们只是想提前绑定参数,那么我们有很多好几个现成的选择,bind,箭头函数等,而且性能比Curring更好。
Currying 生于函数式编程,也服务于函数式编程。假如没有准备好写纯正的函数式代码,那么 Currying 有更好的替代品。