這篇文章闡述的是一種函數(shù)式編程(functional-programming)設(shè)計模式,我稱之為惰性函數(shù)定義(Lazy Function Definition)。我不止一次發(fā)現(xiàn)這種模式在JavaScript中大有用處,尤其是編寫跨瀏覽器的、高效運(yùn)行的庫之時。
熱身問題
編寫一個函數(shù)foo,它返回的是Date對象,這個對象保存的是foo首次調(diào)用的時間。
方法一:上古時代的技術(shù)
這個最簡陋的解決方案使用了全局變量t來保存Date對象。foo首次調(diào)用時會把時間保存到t中。接下來的再次調(diào)用,foo只會返回保存在t中的值。
var t;
function foo() {
if (t) {
return t;
}
t = new Date();
return t;
}
但是這樣的代碼有兩個問題。第一,變量t是一個多余的全局變量,并且在 foo調(diào)用的間隔期間有可能被更改。第二,在調(diào)用時這些代碼的效率并沒有得到優(yōu)化因?yàn)槊看握{(diào)用 foo都必須去求值條件。雖然在這個例子中,求值條件并不顯得低效,但在現(xiàn)實(shí)世界的實(shí)踐例子中常常會有極為昂貴的條件求值,比如在if-else-else-…的結(jié)構(gòu)中。
方法二:模塊模式
我們可以通過被認(rèn)為歸功于Cornford 和 Crockford 的模塊模式來彌補(bǔ)第一種方法的缺陷。使用閉包可以隱藏全局變量t,只有在 foo內(nèi)的代碼才可以訪問它。
var foo = (function() {
var t;
return function() {
if (t) {
return t;
}
t = new Date();
return t;
}
})();
但這仍然沒有優(yōu)化調(diào)用時的效率,因?yàn)槊看握{(diào)用foo依然需要求值條件。
雖然模塊模式是一個強(qiáng)大的工具,但我堅信在這種情形下它用錯了地方。
方法三:函數(shù)作為對象
由于JavaScript的函數(shù)也是對象,所以它可以帶有屬性,我們可以據(jù)此實(shí)現(xiàn)一種跟模塊模式質(zhì)量差不多的解決方案。
function foo() {
if (foo.t) {
return foo.t;
}
foo.t = new Date();
return foo.t;
}
在一些情形中,帶有屬性的函數(shù)對象可以產(chǎn)生比較清晰的解決方案。我認(rèn)為,這個方法在理念上要比模式模塊方法更為簡單。
這個解決方案避免了第一種方法中的全局變量t,但仍然解決不了foo每次調(diào)用所帶來的條件求值。