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) 等等。
如果以后有人再问你柯里化,可以往这个方向上答。。。
以上就是闭包结合递归等于柯里化原理解析的详细内容,更多关于闭包结合递归等于柯里化的资料请关注我们其它相关文章!