為什么是lambda？

講了這么多天的lambda表達(dá)式，有一個(gè)很基本的問(wèn)題沒(méi)有回答：為什么叫l(wèi)ambda表達(dá)式呢？

首先這個(gè)lambda就是羅馬字母λ，lambda表達(dá)式即λ表達(dá)式。數(shù)學(xué)上有一個(gè)概念叫λ演算，其中的一個(gè)內(nèi)容就是λ表達(dá)式。

考慮普通的數(shù)學(xué)函數(shù)表示方法：

f(x) = 2x + 1

按照λ表達(dá)式的規(guī)則，可以寫成：

λx.(2x+1)

這個(gè)表達(dá)式可以讀成“對(duì)于參數(shù)x，2x+1。這里的Lambda，λ，僅僅表達(dá)的是數(shù)學(xué)中"函數(shù)"的概念。

各種編程語(yǔ)言，也引入了λ（lambda）表達(dá)式。例如：

C#語(yǔ)言：(x) =>{ return 2x+1; }
Java語(yǔ)言：(x) ->{ return 2x+1; }

C++11中也同樣引入了lambada表達(dá)式，

[](int x)->int{ return 2 * x + 1;}

對(duì)于程序員來(lái)講，lambda表達(dá)式提供了一種實(shí)現(xiàn)無(wú)名函數(shù)的方法。

無(wú)名的煩惱

lambda表達(dá)式不需要定義函數(shù)（名）,在大多數(shù)場(chǎng)景下，這是一種便利，但也會(huì)帶來(lái)一些煩惱，例如遞歸調(diào)用。因?yàn)闆](méi)有函數(shù)名，如何調(diào)用自己就成了一個(gè)問(wèn)題。

當(dāng)然了，這個(gè)問(wèn)題是可以解決的。這里以階乘為例進(jìn)行說(shuō)明，直接上代碼：

function factorial =
 ? ? ? ?[&](int n){
 ? ? ? ? ? if(n < 2) return 1;
 ? ? ? ? ? return n * factorial(n - 1);
 ? ? ? ?};
cout << factorial(3) << endl;

lambda表達(dá)式的遞歸調(diào)用有幾個(gè)要點(diǎn)：

使用標(biāo)準(zhǔn)庫(kù)中的function模版類型定義表達(dá)式類型，其中模范參數(shù)與lambda表達(dá)式的返回值，參數(shù)一致。

使用引用捕獲來(lái)獲得factorial的使用權(quán)。

調(diào)用factorial實(shí)現(xiàn)遞歸調(diào)用。

作者觀點(diǎn)

各種語(yǔ)言都是用lambda表達(dá)式這個(gè)名稱，果然是有原因的。