函数式编程是一种被部分JavaScript程序员推崇的编程风格,更别说 Haskell 和 Scala 这种以函数式为教义的语言。原因是因为其能用较短的代码实现功能,如果掌握得当,能达到代码文档化(代码本身具有很高可读性甚至可以代替文档)的效果,当然,泛滥使用也会使代码可读性变差。
而柯里化(Currying)是一个属于函数式编程的一个常见的技巧。简单来说,函数柯里化就是对高阶函数的降阶处理。
我们看下面这个函数:
function loc (a,b,c){
console.log(a+'-'+b+'-'+c);
}
loc('浙江','杭州','西湖区');//>>>浙江-杭州-西湖区
这是一个接收三个地名字符串的函数,功能是将三个地名字符串拼接到一起成为一个详细的地址。
我们试试只传入两个参数:
loc('浙江','杭州');//>>>浙江-杭州-undefined
毫无疑义地,这个函数还是会正常执行,只是原本属于“区”的位置由于没有接收到参数而成了undefined
。
其实这种情况很多,比如我们还要生成浙江-杭州-余杭区
,浙江-杭州-拱墅区
这样的地名,但是我们没必要每次都重新把浙江-杭州
重新拼接一遍,所以你是不是会想,能不能只通过一个函数,把已经拼接过的字符串缓存起来,只去拼接新的字符串呢?我们或许可以把之前的函数改一下:
function loc (a) {
return function(b){
return function(c){
console.log(a+'-'+b+'-'+c);
}
}
}
好奇怪!这个loc函数只接收一个参数,而返回一个新的函数,这个函数也只接受一个参数,里面同样返回一个函数,最后一个函数才返回三个参数拼接的字符串。
看起来是一个嵌套关系,好吧,让我们看看它是否能实现刚刚的想法:
var Zhejiang = loc('浙江');
var Hangzhou = Zhejiang('杭州');
var Xihu = Hangzhou('西湖区'); //浙江-杭州-西湖区
var Yuhang = Hangzhou('余杭区'); //浙江-杭州-余杭区
var Lucheng = Zhejiang('温州')('鹿城区'); //浙江-温州-鹿城区
看,通过这样的形式,我们轻松实现定制化函数啦!loc('杭州')
不会急着把地名都拼接好,而是把杭州
先存到闭包中,在需要拼接的时候才用到它。
让你意外的是,这就是柯里化的基本思想,简单地让人猝不及防。
不,这不是你想要的结果,至少你已经考虑到一种恐怖的情况:如果参数有许多——比如100个,是不是要写一个嵌套一百次的函数?
好在,我们可以写一个通用函数来优雅地创建柯里化函数:
function curry(fn) {
var outerArgs = Array.prototype.slice.call(arguments, 1);
return function() {
var innerArgs = Array.prototype.slice.call(arguments),
finalArgs = outerArgs.concat(innerArgs);
return fn.apply(null, finalArgs);
};
}
有了这个基本函数之后,我们可以柯里化其他普通函数:
//一个普通函数
function loc(a,b,c){
console.log(a+'-'+b+'-'+c);
}
var workIn = curry(loc,'浙江','杭州','余杭区');
workIn();// >>> 浙江-杭州-余杭区
当然也可以这样定制:
var zj = curry(loc,'浙江');
var city = curry(zj,'杭州');
city('余杭区'); //>>> 浙江-杭州-余杭区
city('上城区'); //>>> 浙江-杭州-上城区
zj('温州','鹿城区');//>>> 浙江-温州-鹿城区
简直优雅。
以下我们来简单分析以下这个通用函数:
function curry(fn) {
var outerArgs = Array.prototype.slice.call(arguments, 1);
return function() {
var innerArgs = Array.prototype.slice.call(arguments),
finalArgs = outerArgs.concat(innerArgs);
return fn.apply(null, finalArgs);
};
}
我们看这个curry
函数,显示接受一个参数,那就是需要被柯里化的函数。同时,因为JS神奇的函数传参,我们可以在curry
继续放更多的参数,这些参数在函数体内部将以参数列表的形式存在,你可以通过arguments
引用这个参数列表。注意,arguments
引用的是一个参数列表而不是数组(虽然很像),所以数组的很多方法它都没有。当然,这个难不倒我们,还记得我上一篇文章里提到的apply()
黑科技吗?传送门:《快速理解JavaScript中apply()和call()的用法和用途》
outerArgs
就是获取除了第一个参数之外的参数列表。
而在返回的函数里,innerArgs
获取的是调用这个返回函数时传入的所有参数,比如之前city('上城区')
里面的'上城区'。
而finalArgs
则是拼接这两个数组(注意此时两个参数列表都已经是正宗的数组,所以才可以使用concat
方法)。
最后,使用apply
,把所有参数组成的列表传入到原来的函数,其实质就是在调用原始的函数,因为此时的参数都已齐全。
结尾福利: