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