函數(shù)作為返回值

高階函數(shù)除了可以接受函數(shù)作為參數(shù)外，還可以把函數(shù)作為結(jié)果值返回。

我們來(lái)實(shí)現(xiàn)一個(gè)可變參數(shù)的求和。通常情況下，求和的函數(shù)是這樣定義的：

但是，如果不需要立刻求和，而是在后面的代碼中，根據(jù)需要再計(jì)算怎么辦？可以不返回求和的結(jié)果，而是返回求和的函數(shù)：

當(dāng)我們調(diào)用lazy_sum()時(shí)，返回的并不是求和結(jié)果，而是求和函數(shù)：

調(diào)用函數(shù)f時(shí)，才真正計(jì)算求和的結(jié)果：

在這個(gè)例子中，我們?cè)诤瘮?shù)lazy_sum中又定義了函數(shù)sum，并且，內(nèi)部函數(shù)sum可以引用外部函數(shù)lazy_sum的參數(shù)和局部變量，當(dāng)lazy_sum返回函數(shù)sum時(shí)，相關(guān)參數(shù)和變量都保存在返回的函數(shù)中，這種稱為“閉包”的程序結(jié)構(gòu)擁有極大的威力。

請(qǐng)?jiān)僮⒁庖稽c(diǎn)，當(dāng)我們調(diào)用lazy_sum()時(shí)，每次調(diào)用都會(huì)返回一個(gè)新的函數(shù)，即使傳入相同的參數(shù)：

f1()和f2()的調(diào)用結(jié)果互不影響。

閉包

注意到返回的函數(shù)在其定義內(nèi)部引用了局部變量args，所以，當(dāng)一個(gè)函數(shù)返回了一個(gè)函數(shù)后，其內(nèi)部的局部變量還被新函數(shù)引用，所以，閉包用起來(lái)簡(jiǎn)單，實(shí)現(xiàn)起來(lái)可不容易。

另一個(gè)需要注意的問(wèn)題是，返回的函數(shù)并沒(méi)有立刻執(zhí)行，而是直到調(diào)用了f()才執(zhí)行。我們來(lái)看一個(gè)例子：

在上面的例子中，每次循環(huán)，都創(chuàng)建了一個(gè)新的函數(shù)，然后，把創(chuàng)建的3個(gè)函數(shù)都返回了。

你可能認(rèn)為調(diào)用f1(), f2()和f3()結(jié)果應(yīng)該是1, 4, 9, 但實(shí)際結(jié)果是：

全部都是9！原因就在于返回的函數(shù)引用了變量i，但它并非立刻執(zhí)行。等到3個(gè)函數(shù)都返回時(shí)，它們所引用的變量i已經(jīng)變成了3，因此最終結(jié)果為9。

返回閉包時(shí)牢記一點(diǎn)：返回函數(shù)不要引用任何循環(huán)變量，或者后續(xù)會(huì)發(fā)生變化的變量。

如果一定要引用循環(huán)變量怎么辦？方法是再創(chuàng)建一個(gè)函數(shù)，用該函數(shù)的參數(shù)綁定循環(huán)變量當(dāng)前的值，無(wú)論該循環(huán)變量后續(xù)如何更改，已綁定到函數(shù)參數(shù)的值不變：

再看看結(jié)果：

缺點(diǎn)是代碼較長(zhǎng)，可利用lambda函數(shù)縮短代碼。