聊聊JavaScript和Scala的表達式 Expression

我們先看下面這段簡單的JavaScript代碼。

我在第10行調用了函數f，其中傳入的第二個和第三個參數都是一個逗號表達式。

函數f的實現，會檢查這兩個參數的類型，如果是函數，則執行函數調用，再打印其返回值，否則直接打印傳入的表達式的值。

執行上面這段代碼，打印輸出如下：

我們可以看出，雖然傳入的第一個參數為true，導致函數f內部只會打印第二個參數y代表的表達式的值，5，但是第三個參數代表的表達式在函數f調用時，也進行了表達式求值，所以最后console也輸出了Big calculation2。

如果我們想實現所謂的“惰性求值”,有時候也稱”惰性計算“，那么只需要將原本寫在表達式位置的邏輯用一個JavaScript函數包裹起來，如下：

再次調用f，此時傳入的參數y和z的類型為函數，因此在f進行調用時，同之前傳入的表達式不同，這里并不會即時調用y和z代表的函數。打印輸出：

我們再來看看Scala關于表達式的處理是否和JavaScript一致。

Scala 是一門多范式（multi-paradigm）的編程語言，設計初衷是要集成面向對象編程和函數式編程的各種特性。

Scala 運行在Java虛擬機上，并兼容現有的Java程序。

Scala 源代碼被編譯成Java字節碼，所以它可以運行于JVM之上，并可以調用現有的Java類庫。

下圖第5行和第12行我分別定義了兩個Scala函數exp_test1和exp_test2, 邏輯和之前的JavaScript函數f類似。

exp_test1接受的第二個和第三個參數類型為exp1 :=> Unit，意思是需要傳入一個表達式，這個表達式的返回類型是Unit。

exp_test2接收的第二個和第三個參數類型為exp1() :=> Unit，意思是需要傳入一個函數，這個函數沒有任何輸入參數，函數的返回類型是Unit。

第19行到第25行是對這兩個函數的各種測試，打印輸出：

可以看到，即使傳入兩個函數exp_test1和exp_test2的第二個和第三個參數都是表達式，Scala也能做到對表達式的惰性求值：

第19行和第20行的函數調用，第三個參數位置的表達式和函數都沒有即時求值，而是惰性求值。

第22行和第23行的函數調用，第二個參數位置的表達式和函數都沒有即時求值，而是惰性求值。

這個小例子說明了不同的編程語言，對于函數調用的表達式求值方式可能采取了不同的實現：惰性求值或者即時求值。

要獲取更多Jerry的原創技術文章，請關注公眾號"汪子熙"或者掃描下面二維碼: