轉(zhuǎn)載:js函數(shù)柯里化

百度百科對(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的柯里化方法。

?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
平臺(tái)聲明:文章內(nèi)容(如有圖片或視頻亦包括在內(nèi))由作者上傳并發(fā)布,文章內(nèi)容僅代表作者本人觀點(diǎn),簡(jiǎn)書系信息發(fā)布平臺(tái),僅提供信息存儲(chǔ)服務(wù)。

推薦閱讀更多精彩內(nèi)容