寫在前面的話：國(guó)內(nèi)對(duì)前端的研究在某些方面也不遜色于國(guó)外，這篇文章雖然看不太懂，但我很欣賞這種深入研究的精神！

反科里化的話題來(lái)自javascript之父Brendan Eich去年的一段twitter. 近幾天研究了一下，覺(jué)得這個(gè)東東非常有意思，分享一下。先忘記它的名字，看下它能做什么.

不要小看這個(gè)功能，試想下，我們?cè)趯懸粋€(gè)庫(kù)的時(shí)候，時(shí)常會(huì)寫這樣的代碼，拿webQQ的Jx庫(kù)舉例。

我們想要的，其實(shí)只是借用Array原型鏈上的一些函數(shù)。并沒(méi)有必要去顯式的構(gòu)造一個(gè)新的函數(shù)來(lái)改變它們的參數(shù)并且重新運(yùn)算。

如果用uncurrying的方式顯然更加優(yōu)雅和美妙，就像這樣：

還能做很多有趣和方便的事情.

甚至還能把call和apply方法都uncurrying，把函數(shù)也當(dāng)作普通數(shù)據(jù)來(lái)使用. 使得javascript中的函數(shù)調(diào)用方式更像它的前生scheme, 當(dāng)函數(shù)名本身是個(gè)變量的時(shí)候, 這種調(diào)用方法特別方便.

scheme里面調(diào)用函數(shù)是這樣:

javascript里可以寫的很接近.

再看看jquery庫(kù)，由于jquery對(duì)象( 即通過(guò)$()創(chuàng)建的對(duì)象 )是一個(gè)對(duì)象冒充的偽數(shù)組，它有l(wèi)ength屬性，并且能夠通過(guò)下標(biāo)查找對(duì)應(yīng)的元素，當(dāng)需要給jquery對(duì)象添加一個(gè)成員時(shí), 偽代碼大概是：

如果用uncurrying的話, 就可以

借用了array對(duì)象的push函數(shù), 讓引擎去自動(dòng)管理數(shù)組成員和length屬性.

而且可以一次把需要的函數(shù)全部借過(guò)來(lái), 一勞永逸. 一段測(cè)試代碼:

總的來(lái)說(shuō), 使用uncurrying技術(shù), 可以讓任何對(duì)象擁有原生對(duì)象的方法. 好了，如果到這里依然沒(méi)有引起你的興趣，那么你可以去干點(diǎn)別的了。

接下來(lái)一步一步來(lái)看看原理以及實(shí)現(xiàn)。
在了解反currying化這個(gè)奇怪的名字之前，我們得先搞清楚currying。

通俗點(diǎn)講，currying有點(diǎn)類似買房子時(shí)分期付款的方式，先給一部分首付( 一部分參數(shù) )， 返回一個(gè)存折（ 返回一個(gè)函數(shù) ），合適的時(shí)候再給余下的參數(shù)并且求值計(jì)算。

來(lái)看看我們都用過(guò)的currying, 我們經(jīng)常在綁定context 的時(shí)候?qū)崿F(xiàn)一個(gè)Function.prototype.bind函數(shù).

高階函數(shù)是實(shí)現(xiàn)currying的基礎(chǔ), 所謂高階函數(shù)至少滿足這2個(gè)特性：
1，函數(shù)可以當(dāng)作參數(shù)傳遞，
2，函數(shù)可以作為返回值。

Javascript在設(shè)計(jì)之初，參考了很多scheme語(yǔ)言的特性。而scheme是函數(shù)式語(yǔ)言鼻祖lisp的2大方言之一，所以javascript也擁有一些函數(shù)式語(yǔ)言的特性，包括高階函數(shù)，閉包，lambda表達(dá)式等。

當(dāng)javascript中的函數(shù)返回另一個(gè)函數(shù)，此時(shí)會(huì)形成一個(gè)閉包，而在閉包中就可以保存第一次運(yùn)算的參數(shù)，我們用這個(gè)思想，來(lái)寫一個(gè)通用的currying函數(shù)。

我們約定, 當(dāng)傳入?yún)?shù)時(shí)候, 繼續(xù)currying化, 參數(shù)為空時(shí)才開始求值.

假設(shè)在實(shí)現(xiàn)一個(gè)計(jì)算每月花費(fèi)的函數(shù), 每天結(jié)束前我們都要記錄今天花了多少錢, 但我們只關(guān)心月底的花費(fèi)總值, 無(wú)需每天都計(jì)算一次.

使用currying函數(shù), 便可以延遲到最后一刻才一起計(jì)算, 好處不言而喻, 在很多場(chǎng)合可以避免無(wú)謂的計(jì)算, 節(jié)省性能, 也是實(shí)現(xiàn)惰性求值的一種方案.

好了，現(xiàn)在才走進(jìn)正題，

curring是預(yù)先填入一些參數(shù).

反curring就是把原來(lái)已經(jīng)固定的參數(shù)或者this上下文等當(dāng)作參數(shù)延遲到未來(lái)傳遞.

其實(shí)就是搞這樣一個(gè)事情，將：

obj.foo( arg1 ) //foo本來(lái)是只在obj上的函數(shù). 就像push原本只在Array.prototype上

轉(zhuǎn)化成這樣的形式

foo( obj, arg1 ) // 跟我們舉的第一個(gè)例子一樣.將[].push轉(zhuǎn)換成push( [] )

就像原本是接在電視插頭上的插座，把它拆下來(lái)之后，其實(shí)也能用來(lái)接冰箱。

Ecma上Array和String的每個(gè)原型方法后面都有這么一段話，比如push：

NOTE The push function is intentionally generic; it does not require that its this value be an Array object.
Therefore it can be transferred to other kinds of objects for use as a method. Whether the concat function can be applied.

看下v8引擎里面Array.prototype.push的代碼:

我們需要解決的只剩下一個(gè)問(wèn)題， 如何通過(guò)一種通用的方式來(lái)使得一個(gè)對(duì)象可以冒充array對(duì)象。

真正的實(shí)現(xiàn)代碼其實(shí)很簡(jiǎn)單:

這段代碼雖然很短, 初次理解的時(shí)候還是有點(diǎn)費(fèi)力. 我們拿push的例子看看它發(fā)生了什么.

最新評(píng)論