為什么是lambda？

講了這么多天的lambda表達(dá)式，有一個(gè)很基本的問題沒有回答：為什么叫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ù)"的概念。

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

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

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

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

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

無名的煩惱

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

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

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)庫中的function模版類型定義表達(dá)式類型，其中模范參數(shù)與lambda表達(dá)式的返回值，參數(shù)一致。

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

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

作者觀點(diǎn)

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