今天张老师给大家介绍一下什么是函数的柯里化。这是个比较高级的知识,基本上面试的时候如果问起来,你答出来了,技术面的男神们已经想嫁给你了,HR更是湿了一半。
预备知识
了解柯里化之前,首先要了解一下什么是函数的绑定。
好在JavaScript已经源生给我们提供了bind()函数,用于函数的绑定。具体用法如下:
假设有一个函数fn,有一个作用域context,你需要把fn绑定到context中执行,那么你只需要
fn.bind(context)
bind的内部实现是如下
function bind(fn,context){
return function(){
return fn.apply(context,arguments);
}
}
注意 arguments是内部函数的参数集,并不是bind的2个参数的集合。
柯里化
柯里化用来创建已经设置好了一个或在多个参数的函数,其基本的方法和函数绑定类似:使用一个闭包返回一个函数。
柯里化和函数绑定的区别在于,当函数被调用之时,返回的函数还需要设置一些传入的参数。下面有2个例子
function add(num1,num2){
return num1 + num2
}
function curriedAdd(num2){
return add(5,num2);
}
add(2,3) //5
curriedAdd(3) //8
这段代码有2个函数 add 和 curriedAdd。后者本质上是前者在num1参数始终等于5的版本,尽管curriedAdd并非柯里化函数,但其很好地展示了柯里化的概念。
柯里化概念:调用另一个函数并为它传入要柯里化的函数和必要的参数,下面是创建柯里化的通用方式:
function curry(fn){
let args = Array.prototype.slice.call(arguments,1);
//第一句作用是将参数数组的第一个分离出去,返回值赋值给args这个变量
return function(){ //curry方法返回一个匿名函数
let innerArgs = Array.prototype.slice.call(arguments);
//将参数数组arguments赋值给变量innerArgs
let finalArgs = args.concat(innerArgs);
//合并args和innerArgs 并将返回值赋值给finalArgs
return fn.apply(null,finalArgs);
//传入finalArgs并在fn上执行
};
}
记住这个curry函数,有必要将它纳入你个人的开发库。curry的第一个参数是要进行柯里化的函数,其他参数是要传入的值。为了获取第一个参数之后的所有参数,在arguments对象上调用数组的slice方法,并传入参数1表示被返回的数组包含从第二个参数开始的所有参数。在内部函数(就是return返回的那个匿名函数)中,创建了innerArgs数组用来存放所有传入的参数(又一次用到了slice)。有了存放来自外部函数和内部函数的参数数组后,就可以使用concat方法将两个数组连接起来组合成finalArgs,然后用apply将finalArgs传递给fn。这个函数并未考虑执行环境,所以apply的第一个参数是null。
于是curry的用法就如下:
function add(num1,num2,num3,num4){
return num1+num2+num3+num4
}
let curriedAdd = curry(add,4);
curriedAdd(1,2,3); //10
这样你就让函数从开始的add函数的4个参数,改变到curridAdd的三个参数,你还能更精简:
let curriedAdd = curry(add,1,2,3);
curriedAdd(4) //10
这样你就把参数省略到了一个,但是呢,1,2,3在这里都是固定的。如果不想固定的话,可以用变量代替即可。
这就是柯里化的一个重要的作用,简化函数,让函数只需要传入一个重要的参数。相比以前动不动就很难懂的参数很多的函数,柯里化的意义还是比较大的。
柯里化与函数绑定
柯里化还常常作为函数绑定的一部分包含在其中,构造出更为复杂的bind()函数。例如:
function bind(fn,context){
let args = Array.prototype.slice.call(argments,2);
return function(){
let innerArgs = Array.prototype.slice.call(arguments);
let finalArgs = args.concat(innerArgs);
return fn.apply(context,finalArgs);
};
}
这跟文章开头我们写的bind()函数有很大不同,结合了柯里化。
这堆curry()函数的主要更改在于传入的参数个数,以及它如何影响代码的结果。curry()仅仅接受一个要包裹的函数作为参数,而bind()同时接受函数和一个object对象。这表示给绑定的函数的参数是从第三个开始而不是第二个。这就要更改slice()的第一处调用。另一处更改是在倒数第三行的将object对象传入apply,这里是context。
当你想使用bind()的时候,它就会返回绑定到给定环境的函数,并且可能它其中某些参数已经被设置好了。当你想除了event对象再额外给时间处理程序传递参数时,这非常有用。例如:
let handler = {
message:"Event handled",
handleClick:function(name,event){
alert(this.message + ":" + name + ":" + event.type);
}
};
let btn = document.getElementById("my-btn");
EventUntil.addHandler(btn,"click",bind(handler.handleClick,handler,"my-btn"));
上面的代码中,handler.handleClick()方法接受了两个参数:要处理的元素的名字和event对象。作为第三个参数传递给bind()函数的名字,又被传递给了handler.handleClick(),而handler.handleClick()也会同样接受到event对象。
es5中bind()方法的柯里化
EcmaScript5中的bind()方法也实现了函数的柯里化,只要在this的值之后在传入另一个参数即可。
let handler= {
message:"Event handled",
handleClick:function(name,event){
alert(this.message + ":" + name + ":" + event.type);
}
};
let btn = document.getElementById("my-btn");
EventUntil.addHandler(btn,"click",handler.handlerClick.bind(handler,"my-btn"));
JS中的柯里化函数和绑定函数提供了强大的动态函数创建功能。使用bind()还是curry()要根据是否需要object对象来确定。他们都能用于创建复杂的算法和功能,当然两者都不能滥用。因为每个函数都会带来额外的开销,占用额外的内存。牺牲性能。
我一般喜欢直接用bind();
网友评论