聊聊JavaScript和Scala的表達(dá)式 Expression

我們先看下面這段簡(jiǎn)單的JavaScript代碼。

我在第10行調(diào)用了函數(shù)f，其中傳入的第二個(gè)和第三個(gè)參數(shù)都是一個(gè)逗號(hào)表達(dá)式。

函數(shù)f的實(shí)現(xiàn)，會(huì)檢查這兩個(gè)參數(shù)的類(lèi)型，如果是函數(shù)，則執(zhí)行函數(shù)調(diào)用，再打印其返回值，否則直接打印傳入的表達(dá)式的值。

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

我們可以看出，雖然傳入的第一個(gè)參數(shù)為true，導(dǎo)致函數(shù)f內(nèi)部只會(huì)打印第二個(gè)參數(shù)y代表的表達(dá)式的值，5，但是第三個(gè)參數(shù)代表的表達(dá)式在函數(shù)f調(diào)用時(shí)，也進(jìn)行了表達(dá)式求值，所以最后console也輸出了Big calculation2。

如果我們想實(shí)現(xiàn)所謂的“惰性求值”,有時(shí)候也稱(chēng)”惰性計(jì)算“，那么只需要將原本寫(xiě)在表達(dá)式位置的邏輯用一個(gè)JavaScript函數(shù)包裹起來(lái)，如下：

再次調(diào)用f，此時(shí)傳入的參數(shù)y和z的類(lèi)型為函數(shù)，因此在f進(jìn)行調(diào)用時(shí)，同之前傳入的表達(dá)式不同，這里并不會(huì)即時(shí)調(diào)用y和z代表的函數(shù)。打印輸出：

我們?cè)賮?lái)看看Scala關(guān)于表達(dá)式的處理是否和JavaScript一致。

Scala 是一門(mén)多范式（multi-paradigm）的編程語(yǔ)言，設(shè)計(jì)初衷是要集成面向?qū)ο缶幊毯秃瘮?shù)式編程的各種特性。

Scala 運(yùn)行在Java虛擬機(jī)上，并兼容現(xiàn)有的Java程序。

Scala 源代碼被編譯成Java字節(jié)碼，所以它可以運(yùn)行于JVM之上，并可以調(diào)用現(xiàn)有的Java類(lèi)庫(kù)。

下圖第5行和第12行我分別定義了兩個(gè)Scala函數(shù)exp_test1和exp_test2, 邏輯和之前的JavaScript函數(shù)f類(lèi)似。

exp_test1接受的第二個(gè)和第三個(gè)參數(shù)類(lèi)型為exp1 :=> Unit，意思是需要傳入一個(gè)表達(dá)式，這個(gè)表達(dá)式的返回類(lèi)型是Unit。

exp_test2接收的第二個(gè)和第三個(gè)參數(shù)類(lèi)型為exp1() :=> Unit，意思是需要傳入一個(gè)函數(shù)，這個(gè)函數(shù)沒(méi)有任何輸入?yún)?shù)，函數(shù)的返回類(lèi)型是Unit。

第19行到第25行是對(duì)這兩個(gè)函數(shù)的各種測(cè)試，打印輸出：

可以看到，即使傳入兩個(gè)函數(shù)exp_test1和exp_test2的第二個(gè)和第三個(gè)參數(shù)都是表達(dá)式，Scala也能做到對(duì)表達(dá)式的惰性求值：

第19行和第20行的函數(shù)調(diào)用，第三個(gè)參數(shù)位置的表達(dá)式和函數(shù)都沒(méi)有即時(shí)求值，而是惰性求值。

第22行和第23行的函數(shù)調(diào)用，第二個(gè)參數(shù)位置的表達(dá)式和函數(shù)都沒(méi)有即時(shí)求值，而是惰性求值。

這個(gè)小例子說(shuō)明了不同的編程語(yǔ)言，對(duì)于函數(shù)調(diào)用的表達(dá)式求值方式可能采取了不同的實(shí)現(xiàn)：惰性求值或者即時(shí)求值。

要獲取更多Jerry的原創(chuàng)技術(shù)文章，請(qǐng)關(guān)注公眾號(hào)"汪子熙"或者掃描下面二維碼: