function foo(x) {
    if (x &gt; 10) return x + 1;
    var y = x / 2;
    if (y &gt; 3) {
        if (x % 2 == 0) return x;
    }
    if (y &gt; 1) return y;
    return x;
}

foo(2) 返回什么？ foo(4) 返回什么？ foo(8)， foo(12) 呢？

將上述代碼變形，請(qǐng)思考:

function foo(x) {
    var retValue;
    if (retValue == undefined &amp;&amp; x &gt; 10) {
        retValue = x + 1;
    }
    var y = x / 2;
    if (y &gt; 3) {
        if (retValue == undefined &amp;&amp; x % 2 == 0) {
            retValue = x;
        }
    }
    if (retValue == undefined &amp;&amp; y &gt; 1) {
        retValue = y;
    }
    if (retValue == undefined) {
        retValue = x;
    }
    return retValue;
}

這樣寫會(huì)更容易理解嗎？

在每個(gè) retValue 可以被設(shè)置的分支，這里都有個(gè)守護(hù)者以確保 retValue 沒有被設(shè)置過才執(zhí)行。（？）

相比在函數(shù)中提早使用 return，我們更應(yīng)該用常用的流控制（ if 邏輯）來控制 retValue 的賦值。到最后，我們 return retValue。

用 return 來實(shí)現(xiàn)流控制，會(huì)創(chuàng)造更多的隱含意義。

再來思考以下代碼：

// 通過一個(gè)函數(shù)修改變量 y 的值
var y;
function foo(x) {
    y = (2 * Math.pow( x, 2 )) + 3;
}
foo( 2 );
y;

但是我們也可以這樣寫：

function foo(x) {
    return (2 * Math.pow( x, 2 )) + 3;
}
var y = foo( 2 );
y;

后一個(gè)版本更有優(yōu)勢(shì)嗎？

答案是肯定的：有！

后一個(gè)版本中的 return 表示一個(gè)顯式輸出，而前者的 y 賦值是一個(gè)隱式輸出。

通常，開發(fā)人員喜歡顯式模式而不是隱式模式。

為什么說后者 return 出來的就是顯式的？而前者的 y 賦值是隱式的？

這個(gè)例子可以給你答案：

function sum(list) {
    var total = 0;
    for (let i = 0; i &lt; list.length; i++) {
        if (!list[i]) list[i] = 0; // list 使用了 nums 的引用，不是對(duì) [1,3,9,..] 的值復(fù)制，而是引用復(fù)制。
        total = total + list[i];
    }
    return total;
}
var nums = [ 1, 3, 9, 27, , 84 ];
sum( nums );            // 124

這段代碼，除了 return 的輸出，還有沒有其它輸出可能改變到函數(shù)外部參數(shù) nums 的值？

是有的！就是在注釋的一行，我們無意中改變了 nums 。

console.log(nums) // [1, 3, 9, 27, 0, 84]

JS 對(duì)數(shù)組、對(duì)象和函數(shù)都使用引用和引用復(fù)制，我們可以很容易地從函數(shù)中創(chuàng)建輸出，即使是無心的。

這個(gè)隱式函數(shù)輸出在函數(shù)式編程中有一個(gè)特殊的名稱：副作用。

沒有副作用的函數(shù)也有一個(gè)特殊的名稱：純函數(shù)，這個(gè)概念十分重要，后面對(duì)有更多討論！

高階函數(shù)

一個(gè)函數(shù)如果可以接受或返回一個(gè)甚至多個(gè)函數(shù)，它被叫做高階函數(shù)。

其中最強(qiáng)大的就是：【閉包】。

我們將在的后續(xù)舉例中大量使用閉包。它可能是所有函數(shù)式編程中最重要的基礎(chǔ)。

此處舉一小例：

假設(shè)你需要將兩個(gè)值相加，一個(gè)你已經(jīng)知道，另一個(gè)還需要后面才能知道，你可以使用閉包來記錄第一個(gè)輸入值：

function makeAdder(x) {
    return function sum(y){
        return x + y;
    };
}
//我們已經(jīng)分別知道作為第一個(gè)輸入的 10 和 37
var addTo10 = makeAdder( 10 );
var addTo37 = makeAdder( 37 );
// 緊接著，我們指定第二個(gè)參數(shù)
addTo10( 3 );            // 13
addTo10( 90 );            // 100
addTo37( 13 );            // 50

這種在連續(xù)函數(shù)調(diào)用中指定輸入，是函數(shù)式編程中非常普遍的形式。

它可分為兩類：偏函數(shù)應(yīng)用和柯里化。后續(xù)會(huì)展開。

具名函數(shù)

我們提倡要用具名函數(shù)，而不是匿名函數(shù)，這更有利于我們語義化代碼，比如getPreferredName(..)，操作意圖很明確，并且可以很好的回溯問題，防止出現(xiàn) (anonymous function) 。

但是 => 箭頭函數(shù)除外，箭頭函數(shù)還是得有效利用。

=> 箭頭函數(shù)令人興奮的地方在于它幾乎完全遵循函數(shù)的數(shù)學(xué)符號(hào)，特別是像 Haskell 這樣的函數(shù)式編程語言。它能簡化、優(yōu)化代碼片段中的空間。

丟掉“this"

JavaScript 中的 this 綁定規(guī)則是真的難記，好消息是我們將把 this 丟棄掉，不去理會(huì)它。

這樣做的內(nèi)核原因是：this 是函數(shù)的一個(gè)隱式的輸入?yún)?shù)。前面我們提到通常，開發(fā)人員喜歡顯式模式而不是隱式模式。，這樣的隱式輸入違背了我們的原則。

階段小結(jié)

函數(shù)是強(qiáng)大的！

我們學(xué)習(xí)函數(shù)式編程的全部理由是為了書寫更具可讀性的代碼。
程序中，函數(shù)不僅僅是一個(gè)語句或者操作的集合，而是需要一個(gè)或多個(gè)輸入（理想情況下只需一個(gè)！）和一個(gè)輸出。開發(fā)人員喜歡顯式輸入輸出而不是隱式輸入輸出。
函數(shù)內(nèi)部的函數(shù)可以取到閉包外部變量，并記住它們以備日后使用。這是所有程序設(shè)計(jì)中最重要的概念之一，也是函數(shù)式編程的基礎(chǔ)。
要警惕匿名函數(shù)，特別是 => 箭頭函數(shù)。雖然在編程時(shí)用起來很方便，但是會(huì)對(duì)增加代碼閱讀的負(fù)擔(dān)。
別用 this 敏感的函數(shù)。這不需要理由。

以上就是JS函數(shù)式編程實(shí)現(xiàn)XDM一的詳細(xì)內(nèi)容，更多關(guān)于JS輕量級(jí)函數(shù)式編程XDM的資料請(qǐng)關(guān)注腳本之家其它相關(guān)文章！

您可能感興趣的文章: