寫在前面的話:國內對前端的研究在某些方面也不遜色於國外,這篇文章雖然看不太懂,但我很欣賞這種深入研究的精神!
反科裡化的話題來自javascript之父Brendan Eich去年的一段twitter. 近幾天研究了一下,覺得這個東東非常有意思,分享一下。先忘記它的名字,看下它能做什麼.
不要小看這個功能,試想下,我們在寫一個庫的時候,時常會寫這樣的代碼,拿webQQ的Jx庫舉例。
我們想要的,其實只是借用Array原型鏈上的一些函數。並沒有必要去顯式的構造一個新的函數來改變它們的參數並且重新運算。
如果用uncurrying的方式顯然更加優雅和美妙,就像這樣:
還能做很多有趣和方便的事情.
甚至還能把call和apply方法都uncurrying,把函數也當作普通數據來使用. 使得javascript中的函數調用方式更像它的前生scheme, 當函數名本身是個變量的時候, 這種調用方法特別方便.
scheme裡面調用函數是這樣:
javascript裡可以寫的很接近.
再看看jquery庫,由於jquery對象( 即通過$()創建的對象 )是一個對象冒充的偽數組,它有length屬性,並且能夠通過下標查找對應的元素,當需要給jquery對象添加一個成員時, 偽代碼大概是:
如果用uncurrying的話, 就可以
借用了array對象的push函數, 讓引擎去自動管理數組成員和length屬性.
而且可以一次把需要的函數全部借過來, 一勞永逸. 一段測試代碼:
總的來說, 使用uncurrying技術, 可以讓任何對象擁有原生對象的方法. 好了,如果到這裡依然沒有引起你的興趣,那麼你可以去干點別的了。
接下來一步一步來看看原理以及實現。
在了解反currying化這個奇怪的名字之前,我們得先搞清楚currying。
維基百科上的定義:科裡化( currying ); 又稱部分求值,是把接受多個參數的函數變換成接受一個單一參數的函數,並且返回接受余下的參數並且返回結果的新函數的技術。
通俗點講,currying有點類似買房子時分期付款的方式,先給一部分首付( 一部分參數 ), 返回一個存折( 返回一個函數 ),合適的時候再給余下的參數並且求值計算。
來看看我們都用過的currying, 我們經常在綁定context 的時候實現一個Function.prototype.bind函數.
高階函數是實現currying的基礎, 所謂高階函數至少滿足這2個特性:
1,函數可以當作參數傳遞,
2,函數可以作為返回值。
Javascript在設計之初,參考了很多scheme語言的特性。而scheme是函數式語言鼻祖lisp的2大方言之一,所以javascript也擁有一些函數式語言的特性,包括高階函數,閉包,lambda表達式等。
當javascript中的函數返回另一個函數,此時會形成一個閉包,而在閉包中就可以保存第一次運算的參數,我們用這個思想,來寫一個通用的currying函數。
我們約定, 當傳入參數時候, 繼續currying化, 參數為空時才開始求值.
假設在實現一個計算每月花費的函數, 每天結束前我們都要記錄今天花了多少錢, 但我們只關心月底的花費總值, 無需每天都計算一次.
使用currying函數, 便可以延遲到最後一刻才一起計算, 好處不言而喻, 在很多場合可以避免無謂的計算, 節省性能, 也是實現惰性求值的一種方案.
好了,現在才走進正題,
curring是預先填入一些參數.
反curring就是把原來已經固定的參數或者this上下文等當作參數延遲到未來傳遞.
其實就是搞這樣一個事情,將:
obj.foo( arg1 ) //foo本來是只在obj上的函數. 就像push原本只在Array.prototype上
轉化成這樣的形式
foo( obj, arg1 ) // 跟我們舉的第一個例子一樣.將[].push轉換成push( [] )
就像原本是接在電視插頭上的插座,把它拆下來之後,其實也能用來接冰箱。
Ecma上Array和String的每個原型方法後面都有這麼一段話,比如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.
Javascript為什麼要這樣設計, 我們先來復習下動態語言中重要的鴨子類型思想.
說個故事:
很久以前有個皇帝喜歡聽鴨子呱呱叫,於是他召集大臣組建一個一千只鴨子的合唱團。大臣把全國的鴨子都抓來了,最後始終還差一只。有天終於來了一只自告奮勇的雞,這只雞說它也會呱呱叫,好吧在這個故事的設定裡,它確實會呱呱叫。 後來故事的發展很明顯,這只雞混到了鴨子的合唱團中。— 皇帝只是想聽呱呱叫,他才不在乎你是鴨子還是雞呢。
這個就是鴨子類型的概念,在javascript裡面,很多函數都不做對象的類型檢測,而是只關心這些對象能做什麼。
Array構造器和String構造器的prototype上的方法就被特意設計成了鴨子類型。這些方法不對this的數據類型做任何校驗。這也就是為什麼arguments能冒充array調用push方法.
看下v8引擎裡面Array.prototype.push的代碼:
復制代碼 代碼如下:
function ArrayPush() {
var n = TO_UINT32( this.length );
var m = %_ArgumentsLength();
for (var i = 0; i < m; i++) {
this[i+n] = %_Arguments(i); //屬性拷貝
this.length = n + m; //修正length
return this.length;
}
}
可以看到,ArrayPush方法沒有對this的類型做任何顯示的限制,所以理論上任何對象都可以被傳入ArrayPush這個訪問者。
我們需要解決的只剩下一個問題, 如何通過一種通用的方式來使得一個對象可以冒充array對象。
真正的實現代碼其實很簡單:
這段代碼雖然很短, 初次理解的時候還是有點費力. 我們拿push的例子看看它發生了什麼.
復制代碼 代碼如下:
var push = Array.prototype.push.uncurrying();
push( obj, ‘first' );