百度百科對(duì)柯里化的解釋:在計(jì)算機(jī)科學(xué)中,柯里化(Currying)是把接受多個(gè)參數(shù)的函數(shù)變換成接受一個(gè)單一參數(shù)(最初函數(shù)的第一個(gè)參數(shù))的函數(shù),并且返回接受余下的參數(shù)且返回結(jié)果的新函數(shù)的技術(shù)。這個(gè)技術(shù)由 Christopher Strachey 以邏輯學(xué)家 Haskell Curry 命名的,盡管它是 Moses Schnfinkel 和 Gottlob Frege 發(fā)明的。
相信沒(méi)有幾個(gè)人在看了上面這段解釋之后能立馬理解函數(shù)柯里化是什么東西。通俗一點(diǎn)講,函數(shù)柯里化的主要目的就是為了減少函數(shù)傳參,同時(shí)將一些固定參數(shù)私有化。下面展示一段非常簡(jiǎn)單計(jì)算圓面積的代碼來(lái)說(shuō)明函數(shù)柯里化的原理:
//circle函數(shù),接受半徑r和π
function circle(r,p){
//計(jì)算半徑為r的圓的面積
var area=p*r*r;
return area;
}
/*
* 通過(guò)函數(shù)柯里化來(lái)簡(jiǎn)化circle函數(shù),只傳入半徑就能計(jì)算出面積
* 不管怎么樣,π是不會(huì)變的,因此我們將他寫死,不需要外部調(diào)用傳入
*/
function curryCircle(r){
var p=3.14;
var area=p*r*r;
return area;
}
也許你會(huì)覺(jué)得這段代碼很二,但是這就是函數(shù)柯里化的真實(shí)面目。當(dāng)然上面的代碼只是一個(gè)非常小的例子,真實(shí)世界中的函數(shù)柯里化會(huì)比它兇惡一點(diǎn),下面來(lái)討論一個(gè)更通用的例子。假設(shè)π不是唯一的(比如我們有三種π),我們計(jì)算圓面積公式當(dāng)中的π會(huì)根據(jù)場(chǎng)景不同而變化,這個(gè)時(shí)候我們就不能直接寫死,而需要根據(jù)不同環(huán)境來(lái)配置π:
//circle函數(shù),接受半徑r和π
function circle(r,p){
//計(jì)算半徑為r的圓的面積
var area=p*r*r;
return area;
}
//針對(duì)circle函數(shù)的柯里化函數(shù)
function curry(fn,p){
var finalMethod=function(r){
var result=fn(r,p);
return result;
}
return finalMethod;
}
//我們有3種不同的π
var curryCircle1=curry(circle,1.14);
var curryCircle2=curry(circle,2.14);
var curryCircle3=curry(circle,3.14);
//輸出:4.56 8.56 12.56
console.log(curryCircle1(2),curryCircle2(2),curryCircle3(2));
可以看到,curry方法通過(guò)封裝最基礎(chǔ)的circle方法,同時(shí)保存設(shè)置好的p參數(shù)(π),并返回一個(gè)finalMethod方法,這樣我們最終調(diào)用finalMethod時(shí)就只需要傳入?yún)?shù)r(半徑)就可以完成。借助函數(shù)柯里化,我們擁有了三個(gè)簡(jiǎn)化的計(jì)算圓面積方法。上面展示的函數(shù)柯里化只能適用于圓面積的計(jì)算,這次我們編寫一個(gè)更通用的柯里化函數(shù):
function curry(fn){
//第一個(gè)參數(shù)是基礎(chǔ)執(zhí)行方法,slice切除
var args=Array.prototype.slice.call(arguments,1);
//直接返回匿名函數(shù)
return function(){
//slice新參數(shù)以便能調(diào)用concat
var innerArgs=Array.prototype.slice.call(arguments);
//將配置的參數(shù)和新傳入的參數(shù)合并
var finalArgs=args.concat(innerArgs);
return fn.apply(null,finalArgs);
};
}
curry()函數(shù)的主要工作就是將被返回函數(shù)的參數(shù)進(jìn)行排序。Curry()的第一個(gè)參數(shù)是要進(jìn)行柯里化的函數(shù),其他參數(shù)是要傳入的值。為了獲取第一個(gè)參數(shù)之后的所有參數(shù),在arguments對(duì)象上調(diào)用了slice()方法,并傳入?yún)?shù)1表示被返回的數(shù)組包含從第二個(gè)參數(shù)開(kāi)始的所有參數(shù)。然后args數(shù)組包含了來(lái)自外部函數(shù)的參數(shù)。在內(nèi)部函數(shù)中,創(chuàng)建了innerArgs數(shù)組用來(lái)存放所有傳入的參數(shù)(又一次使用了slice())。有了存放來(lái)自外部函數(shù)和內(nèi)部函數(shù)的參數(shù)數(shù)組后,就可以使用concat()方法將他們合并成finalArgs。最后使用apply()將結(jié)果傳遞給該函數(shù)。這樣就實(shí)現(xiàn)了一個(gè)通用的函數(shù)柯里化。如果到這此還有余力的讀者可以接著往下看,我們將要介紹jQuery中使用的函數(shù)柯里化。
在針對(duì)某個(gè)方法進(jìn)行柯里化時(shí),我們甚至不用傳入fn來(lái)告訴柯里化來(lái)包裝我們的函數(shù),我們可以通過(guò)原型直接將函數(shù)和柯里化綁定:
Function.prototype.curry=function(){
//利用原型的便利,我們可以直接通過(guò)this引用到方法
var fn=this;
var args=Array.prototype.slice.call(arguments);
return function(){
var arg=0;
//循環(huán)校驗(yàn)先前傳入的參數(shù)和新傳入的參數(shù)是否有差別
for(var i=0;i<args.length && arg<arguments.length;i++){
if(args[i]===undefined){
args[i]=arguments[arg++];
}
}
return fn.apply(this,args);
};
};
與之前不同,我們通過(guò)this引用獲取了方法引用,這樣當(dāng)我們需要將某個(gè)函數(shù)柯里化時(shí),只要這樣寫就可以:
var delay=setTimeout.curry(undefined,10);
delay就是一個(gè)已經(jīng)被提前設(shè)定了10毫秒延遲的setTimeout函數(shù)。我們?nèi)匀煌ㄟ^(guò)args來(lái)保存參數(shù)配置,不過(guò)這次有點(diǎn)區(qū)別:在for循環(huán)內(nèi)部會(huì)校驗(yàn)args和arguments的區(qū)別,以此判斷來(lái)完成參數(shù)拼接。所以傳給curry的參數(shù)必須是完整參數(shù)(即意味著不傳的值要傳入undefined)。最終我們實(shí)現(xiàn)了一個(gè)不需要傳入fn的柯里化方法。