js中闭包结合递归等于柯里化原理解析
作者:掘金安东尼
引言
我们不妨以两数相加为例子,递进说明。
我们通常是这样写一个函数来求得 两数相加 的值:
function sum(a,b){ console.log(a+b) } sum(1,2)
这样写一点毛病没有!
不过呢?问题总会在发展中产生,产品经理又要加一个值,需求:三数相加;
咱通常来说,第一时间,就在原基础上,直接再加一个参数就是了;
于是,修改后像是这样:
function sum(a,b,c){ console.log(a+b+c) } sum(1,2,3)
问:这样写,有毛病吗??
答:太有毛病了!
这样一改,既违反了:“开闭原则”、又违反了:“单一职责原则”。
为不太熟悉设计原则的小伙伴们,简单解释下:
- 什么是“开闭原则”?即:我们编程中要尽可能的避免直接修改函数、类或模块,而是要在原有基础上拓展它;
- 什么是“单一职责原则”?即:每个函数、类或模块,应该只负责一个单一的功能;
首先,咱修改了 sum 函数的传参以及内部的调用 ⇒ 则违反“开闭原则”
其次,sum 函数本来只负责两数相加,修改后,它又负责三数相加,职责已经发生了变化 ⇒ 则违反 “单一职责原则”;
如果正规按照单一责任来写,应该是:
// 负责两数相加 function sum2(a,b){ console.log(a+b) } // 负责三数相加 function sum3(a,b,c){ console.log(a+b+c) }
事实上,是不可能这样去写的,因为如果有一万个数相加,得写一万个函数。
而 加法只有一个!! 不管你最终要加几个值,总是要一个加一个。
于是乎,我们设想,能不能写一个这样的函数:它的功能,就是“加”,参数跟几个,我就加几个。
// 负责“加法”, function addCurry(){ ... ... ... } addCurry(1)(2) // 两数相加 addCurry(1)(2)(3) // 三数相加 ... addCurry(1)(2)(3)...(n) // n 数相加
没错,这个函数就是:柯里化!!(或者说这个过程叫柯里化,这个思想叫柯里化,本瓜认为这里不需要太死扣定义)
接着,我们一步步来试试,它会是怎样构成的?
为了能够实现一个加一个,即存储参数的目的,我们想一想,还有什么法宝?
没错,JS 奥义:闭包!
其实,本瓜时常想,闭包的终极秘密是什么?最后将其理解为 4 个金光闪闪的大字:延迟处理!
什么意思?简单解释下:
function directHandle(a,b){ console.log("直接处理",a,b) } directHandle(111,222) // 直接处理 111 222 function delayHandle(a){ return function(b){ console.log("延迟处理",a,b) } } delayHandle(111) // ƒ (b){ // console.log("延迟处理",a,b) // }
如上 delayHandle(111)
不像 directHandle(111,222)
直接打印值,而是先返回一个函数 f(b)
;111 也被临时保存了,delayHandle(111)(222)
,则得到相同的输出。这就是:延迟处理的思想。
另外补一句:
延迟处理是函数式编程的精华所在,在不能保证每个函数都是纯函数的前提下,在管道处理的最后,再进行处理,能最大程度的保证减少副作用。也就是 Monad 思想,此处不做展开。
言归正传,于是乎,我们借用闭包来实现最初版的柯里化:
// 两数相加 function addCurry(a){ return function(b){ console.log(a+b) } } addCurry(1)(2) // 三数相加 function addCurry(a){ return function(b){ return function(c){ console.log(a+b+c) } } } addCurry(1)(2)(3)
写两个闭包的过程,聪明的你一定就明白了,这样一直写下去,不就是递归吗?!
于是乎,我们知道,当参数是 n 个的时候,需要递归 n-1 次 return function
于是乎,addCurry 写法如下:
let arr = [] function addCurry() { let arg = Array.prototype.slice.call(arguments); // 递归获取后续参数 arr = arr.concat(arg); if (arg.length === 0) { // 如果参数为空,则判断递归结束 return arr.reduce((a,b)=>{return a+b}) // 求和 } else { return addCurry; } } addCurry(1)(2)(3)()
OK,至此,,大功告成!!
以上,用最简单的代码解释了 —— 为什么我说:柯里化 == 闭包+递归 ?
柯里化是一种思想,上面的 addCurry 可以说是最简单的一种实践。在函数式编程中,Curry 更是大放异彩,比如 compose(fn1)(fn2)(fn3)…(fnN)(args) 等等。
如果以后有人再问你柯里化,可以往这个方向上答。。。
以上就是闭包结合递归等于柯里化原理解析的详细内容,更多关于闭包结合递归等于柯里化的资料请关注脚本之家其它相关文章!