百度百科對柯里化的解釋:在計算機科學中曲掰,柯里化(Currying)是把接受多個參數(shù)的函數(shù)變換成接受一個單一參數(shù)(最初函數(shù)的第一個參數(shù))的函數(shù)桑腮,并且返回接受余下的參數(shù)且返回結(jié)果的新函數(shù)的技術(shù)分扎。這個技術(shù)由 Christopher Strachey 以邏輯學家 Haskell Curry 命名的,盡管它是 Moses Schnfinkel 和 Gottlob Frege 發(fā)明的匠襟。
相信沒有幾個人在看了上面這段解釋之后能立馬理解函數(shù)柯里化是什么東西猫态。通俗一點講,函數(shù)柯里化的主要目的就是為了減少函數(shù)傳參兆解,同時將一些固定參數(shù)私有化馆铁。下面展示一段非常簡單計算圓面積的代碼來說明函數(shù)柯里化的原理:
//circle函數(shù),接受半徑r和π
function circle(r,p){
//計算半徑為r的圓的面積
var area=p*r*r;
return area;
}
/*
* 通過函數(shù)柯里化來簡化circle函數(shù)锅睛,只傳入半徑就能計算出面積
* 不管怎么樣埠巨,π是不會變的,因此我們將他寫死现拒,不需要外部調(diào)用傳入
*/
function curryCircle(r){
var p=3.14;
var area=p*r*r;
return area;
}
也許你會覺得這段代碼很二辣垒,但是這就是函數(shù)柯里化的真實面目。當然上面的代碼只是一個非常小的例子印蔬,真實世界中的函數(shù)柯里化會比它兇惡一點勋桶,下面來討論一個更通用的例子。假設π不是唯一的(比如我們有三種π)侥猬,我們計算圓面積公式當中的π會根據(jù)場景不同而變化例驹,這個時候我們就不能直接寫死,而需要根據(jù)不同環(huán)境來配置π:
//circle函數(shù)退唠,接受半徑r和π
function circle(r,p){
//計算半徑為r的圓的面積
var area=p*r*r;
return area;
}
//針對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方法通過封裝最基礎的circle方法,同時保存設置好的p參數(shù)(π)瞧预,并返回一個finalMethod方法屎债,這樣我們最終調(diào)用finalMethod時就只需要傳入?yún)?shù)r(半徑)就可以完成。借助函數(shù)柯里化垢油,我們擁有了三個簡化的計算圓面積方法扔茅。上面展示的函數(shù)柯里化只能適用于圓面積的計算,這次我們編寫一個更通用的柯里化函數(shù):
function curry(fn){
//第一個參數(shù)是基礎執(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ù)進行排序。Curry()的第一個參數(shù)是要進行柯里化的函數(shù)运褪,其他參數(shù)是要傳入的值惊楼。為了獲取第一個參數(shù)之后的所有參數(shù),在arguments對象上調(diào)用了slice()方法秸讹,并傳入?yún)?shù)1表示被返回的數(shù)組包含從第二個參數(shù)開始的所有參數(shù)檀咙。然后args數(shù)組包含了來自外部函數(shù)的參數(shù)。在內(nèi)部函數(shù)中璃诀,創(chuàng)建了innerArgs數(shù)組用來存放所有傳入的參數(shù)(又一次使用了slice())弧可。有了存放來自外部函數(shù)和內(nèi)部函數(shù)的參數(shù)數(shù)組后,就可以使用concat()方法將他們合并成finalArgs劣欢。最后使用apply()將結(jié)果傳遞給該函數(shù)棕诵。這樣就實現(xiàn)了一個通用的函數(shù)柯里化裁良。如果到這此還有余力的讀者可以接著往下看,我們將要介紹jQuery中使用的函數(shù)柯里化校套。
在針對某個方法進行柯里化時价脾,我們甚至不用傳入fn來告訴柯里化來包裝我們的函數(shù),我們可以通過原型直接將函數(shù)和柯里化綁定:
Function.prototype.curry=function(){
//利用原型的便利笛匙,我們可以直接通過this引用到方法
var fn=this;
var args=Array.prototype.slice.call(arguments);
return function(){
var arg=0;
//循環(huá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);
};
};
與之前不同侨把,我們通過this引用獲取了方法引用,這樣當我們需要將某個函數(shù)柯里化時妹孙,只要這樣寫就可以:
var delay=setTimeout.curry(undefined,10);
delay就是一個已經(jīng)被提前設定了10毫秒延遲的setTimeout函數(shù)秋柄。我們?nèi)匀煌ㄟ^args來保存參數(shù)配置,不過這次有點區(qū)別:在for循環(huán)內(nèi)部會校驗args和arguments的區(qū)別蠢正,以此判斷來完成參數(shù)拼接骇笔。所以傳給curry的參數(shù)必須是完整參數(shù)(即意味著不傳的值要傳入undefined)。最終我們實現(xiàn)了一個不需要傳入fn的柯里化方法机隙。