我們先看下面這段簡(jiǎn)單的JavaScript代碼。
我在第10行調用了函數f，其中傳入的第二個(gè)和第三個(gè)參數都是一個(gè)逗號表達式。
函數f的實(shí)現，會(huì )檢查這兩個(gè)參數的類(lèi)型，如果是函數，則執行函數調用，再打印其返回值，否則直接打印傳入的表達式的值。
執行上面這段代碼，打印輸出如下：
我們可以看出，雖然傳入的第一個(gè)參數為true，導致函數f內部只會(huì )打印第二個(gè)參數y代表的表達式的值，5，但是第三個(gè)參數代表的表達式在函數f調用時(shí)，也進(jìn)行了表達式求值，所以最后console也輸出了Big calculation2。
如果我們想實(shí)現所謂的“惰性求值”,有時(shí)候也稱(chēng)”惰性計算“，那么只需要將原本寫(xiě)在表達式位置的邏輯用一個(gè)JavaScript函數包裹起來(lái)，如下：
再次調用f，此時(shí)傳入的參數y和z的類(lèi)型為函數，因此在f進(jìn)行調用時(shí)，同之前傳入的表達式不同，這里并不會(huì )即時(shí)調用y和z代表的函數。打印輸出：
我們再來(lái)看看Scala關(guān)于表達式的處理是否和JavaScript一致。
Scala 是一門(mén)多范式（multi-paradigm）的編程語(yǔ)言，設計初衷是要集成面向對象編程和函數式編程的各種特性。
Scala 運行在Java虛擬機上，并兼容現有的Java程序。
Scala 源代碼被編譯成Java字節碼，所以它可以運行于JVM之上，并可以調用現有的Java類(lèi)庫。
下圖第5行和第12行我分別定義了兩個(gè)Scala函數exp_test1和exp_test2, 邏輯和之前的JavaScript函數f類(lèi)似。
exp_test1接受的第二個(gè)和第三個(gè)參數類(lèi)型為exp1 :=> Unit，意思是需要傳入一個(gè)表達式，這個(gè)表達式的返回類(lèi)型是Unit。
exp_test2接收的第二個(gè)和第三個(gè)參數類(lèi)型為exp1() :=> Unit，意思是需要傳入一個(gè)函數，這個(gè)函數沒(méi)有任何輸入參數，函數的返回類(lèi)型是Unit。
第19行到第25行是對這兩個(gè)函數的各種測試，打印輸出：
可以看到，即使傳入兩個(gè)函數exp_test1和exp_test2的第二個(gè)和第三個(gè)參數都是表達式，Scala也能做到對表達式的惰性求值：
第19行和第20行的函數調用，第三個(gè)參數位置的表達式和函數都沒(méi)有即時(shí)求值，而是惰性求值。
第22行和第23行的函數調用，第二個(gè)參數位置的表達式和函數都沒(méi)有即時(shí)求值，而是惰性求值。
這個(gè)小例子說(shuō)明了不同的編程語(yǔ)言，對于函數調用的表達式求值方式可能采取了不同的實(shí)現：惰性求值或者即時(shí)求值。
要獲取更多Jerry的原創(chuàng )技術(shù)文章，請關(guān)注公眾號"汪子熙"
聯(lián)系客服
