理解JavaScript的柯里化
函數(shù)式編程是一種編程風(fēng)格,它可以將函數(shù)作為參數(shù)傳遞,并返回沒有副作用(改變程序狀態(tài))的函數(shù)。
許多計(jì)算機(jī)語言都采用了這種編程風(fēng)格。
由于這種風(fēng)格具有傳遞和返回函數(shù)的能力,它帶來了許多概念:
- 純函數(shù)
- 柯里化
- 高階函數(shù)
什么是柯里化?
柯里化其實(shí)是函數(shù)式編程的一個(gè)過程,在這個(gè)過程中我們能把一個(gè)帶有多個(gè)參數(shù)的函數(shù)轉(zhuǎn)換成一系列的嵌套函數(shù)。它返回一個(gè)新函數(shù),這個(gè)新函數(shù)期望傳入下一個(gè)參數(shù)。
它不斷地返回新函數(shù)(像我們之前講的,這個(gè)新函數(shù)期望當(dāng)前的參數(shù)),直到所有的參數(shù)都被使用。參數(shù)會(huì)一直保持 alive (通過閉包),當(dāng)柯里化函數(shù)鏈中最后一個(gè)函數(shù)被返回和調(diào)用的時(shí)候,它們會(huì)用于執(zhí)行。
柯里化是一個(gè)把具有較多 arity 的函數(shù)轉(zhuǎn)換成具有較少 arity 函數(shù)的過程 -- Kristina Brainwave
arity ,指的是函數(shù)的參數(shù)數(shù)量
函數(shù)fn接受兩個(gè)參數(shù)(2-arity函數(shù)),_fn接受3個(gè)參數(shù)(3-arity函數(shù))
所以,柯里化把一個(gè)多參數(shù)函數(shù)轉(zhuǎn)換為一系列只帶單個(gè)參數(shù)的函數(shù)。
function fn(a,b,c){
return a*b*c
}
console.log(1,2,3)//6
這個(gè)函數(shù)接受3個(gè)數(shù)字,將數(shù)字相乘并返回結(jié)果。
我們已經(jīng)將 fn(1,2,3) 函數(shù)調(diào)用轉(zhuǎn)換為多個(gè) fn(1)(2)(3) 的多個(gè)函數(shù)調(diào)用。
現(xiàn)在創(chuàng)建一個(gè)柯里化后的版本,然后看看在一系列的調(diào)用中我們?nèi)绾握{(diào)用相同的函數(shù)(并且得到相同的結(jié)果):
function fn(a) {
return (b) => {
return (c) => {
return a * b * c
}
}
}
console.log(fn(1)(2)(3)) // 6
我們已經(jīng)將 fn(1,2,3) 函數(shù)調(diào)用轉(zhuǎn)換為多個(gè) multiply(1)(2)(3) 的多個(gè)函數(shù)調(diào)用。
一個(gè)獨(dú)立的函數(shù)已經(jīng)被轉(zhuǎn)換為一系列函數(shù)。為了得到1, 2 和 3三個(gè)數(shù)字想成的結(jié)果,這些參數(shù)一個(gè)接一個(gè)傳遞,每個(gè)數(shù)字都預(yù)先傳遞給下一個(gè)函數(shù)以便在內(nèi)部調(diào)用。
我們可以拆分 fn(1)(2)(3) 以便更好的理解它:
const f1 = fn(1);
const f2 = f1(2);
const result = f2(3);
