柯里化是干什么的丁侄?首先看看下面這個函數(shù)
let store = (a,b,c) => "這是你的七仔面"
//函數(shù)就好像一個小賣部,一碗七仔面要三張軟妹幣:a,b,c (五個參數(shù))
那函數(shù)柯里化是什么朝巫?就是我們買面吃的過程可能是這樣:
let curryStore = curry(store) //剛剛的小賣部被柯里化了
//最佳狀況
curryStore(1,5,1)// 老板鸿摇,剛好!不用找了捍歪,剛好七塊錢户辱。
老板: "這是 你的七仔面"
//偶爾出現(xiàn)的情況
let boss = curryStore(5) //老板,這五塊錢你先拿著糙臼,我找找有
沒有一塊錢庐镐。老板:……
boss = boss(1) //有了老板,這一塊錢你先拿著变逃,我找找還有沒有
一塊 錢必逆。。老板:……
boss(1) //哈哈揽乱,終于找到了名眉,給!老板:"這是你的七仔面"
curryStore(5)(1)(1) //等價于上訴情況
所以這里我們可以看到凰棉,函數(shù)柯里化损拢,是可以用來慢慢湊齊參數(shù),延遲函數(shù)的執(zhí)行撒犀。(先分期交錢福压,后交貨!)
做個題
現(xiàn)在或舞,我們的目標(biāo)是實現(xiàn)一個curry 函數(shù)荆姆,達(dá)到以下使用效果:
在給到足夠的參數(shù)時,執(zhí)行函數(shù)映凳。不夠參數(shù)的時候則返回一個新的curry
函數(shù)
let curryPlus = curry((a,b,c) => a+b+c) //這里給到一個有三個參數(shù)
的函數(shù)
curryPlus(1)(2)(3) //返回 6
curryPlus(1)(2,3) //返回 6
curryPlus(1,2)(3) //返回 6
let x = curryPlus(1)(2) //喂胆筒,怎么才兩個參數(shù)?返回一個curry函數(shù)(已經(jīng)帶了兩個參數(shù))
x(1) //返回 4
x(2) //返回 5
于是诈豌,我們先從土方法說起吧
1:按照curry的用法仆救,原理是返回了一個函數(shù)抒和,這個函數(shù)的參數(shù)個數(shù)不確定(你可能同時掏出兩張一塊錢),于是我們可以運用不定參數(shù)的寫法:
const curry = (fn) => {
return (...args) =>{ //不定參數(shù)彤蔽,想給多少給多少
//給錢交貨環(huán)節(jié)
}
}
2:柯里化函數(shù)需要記住你已經(jīng)給過他的參數(shù)构诚,如果沒給的話,則默認(rèn)為一個空數(shù)組:
const curry = (fn铆惑,arr=[]) => { //arr數(shù)組用于記錄已有參數(shù)
return (...args) =>{
//給錢交貨環(huán)節(jié)
}
}
3:接下來每次調(diào)用的時候,需要檢查參數(shù)是否給夠送膳,如果夠了员魏,則執(zhí)行fn,沒有的話則返回一個新的curry函數(shù)叠聋,將現(xiàn)有的參數(shù)塞給他:
const curry = ( fn, arr = []) => {
return (...args) => {
//判斷參數(shù)總數(shù)是否和fn參數(shù)個數(shù)相等
if([...arr, ...args].length === fn.length){
return fn(...arr, ...args) //拓展參數(shù)撕阎,調(diào)用fn
}else{
return curry(fn,[...arr, ...args]) //迭代,傳入現(xiàn)有的所有參數(shù)
}
}
}
到這里碌补,其實我們已經(jīng)實現(xiàn)了curry函數(shù)虏束。
4:(優(yōu)化方面)接下來就是要看看怎么寫才能更簡潔。
首先厦章,中間的代碼可以寫成一個立即執(zhí)行函數(shù)镇匀,省掉一些...arr, ...args:
const curry = ( fn, arr = []) => {
return (...args) => {
return ( a => { //a是一個數(shù)組
if(a.length === fn.length) {
return fn(...a)
}else{
return curry(fn, a)
}
})([...arr, ...args]) //這里把arr和args攤開成一個數(shù)組賦值給a
}
}
if語句可以縮減成三元表達(dá)式,也可以省掉很多字啦:
const curry = ( fn, arr = []) => {
return (...args) => {
return ( a => {
return a.length === fn.length ? fn(...a) : curry(fn, a)
})([...arr, ...args])
}
}
最后袜啃,既然函數(shù)里啥事都沒干汗侵,就只是return的話,不妨使用箭頭函數(shù)最省的寫法 input => output, 把return和大括號都給省了:
const curry = ( fn, arr = []) => {
return (...args) => {
return ( a => a.length === fn.length? fn(...a) : curry(fn, a))([...arr,
...args]) //先折疊一層
}
}
再折疊:
const curry = ( fn, arr = []) => {
return (...args) => ( a => a.length === fn.length? fn(...a) : curry(fn, a))
([...arr, ...args]) //再折疊
}
最后優(yōu)化為:
const curry = ( fn, arr = []) => (...args) => ( a => a.length ===
fn.length?
fn(...a) : curry(fn, a))([...arr, ...args])
測試:
const curry = ( fn, arr = []) => (...args) => ( a => a.length === fn.length? fn(...a) : curry(fn, a))([...arr, ...args])
let curryPlus = curry((a,b,c,d)=>a+b+c+d)
curryPlus(1,2,3)(4) //返回10
curryPlus(1,2)(4)(3) //返回10
curryPlus(1,2)(3,4) //返回10
當(dāng)然了群发,柯里化函數(shù)的主要作用還是延遲執(zhí)行晰韵,執(zhí)行的觸發(fā)條件不一定是參數(shù)個數(shù)相等,也可以是其他的條件熟妓,例如參數(shù)個為0的情況雪猪,那么我們需要對上面curry函數(shù)稍微做修改:
const curry = ( fn, arr = []) => (...args) => ( (a,b) => b.length === 0? fn(...a) : curry(fn, a))([...arr, ...args],[...args])
let curryPlus = curry((...x)=>x.reduce((a,b)=>a+b))
curryPlus(1) //返回一個函數(shù)
curryPlus(1)(2) //返回一個函數(shù)
//遇到參數(shù)個數(shù)為0的情況才執(zhí)行
curryPlus(1)(2)(4)() //返回7
curryPlus(1,2)(4)() //返回7