C#表達式
C#的Lambda 表達式都使用 Lambda 運算符 =>,該運算符讀為“goes to”。語法如下:
函式體多於一條語句的可用大括弧括起。
類型
可以將此表達式分配給委託類型,如下所示:
創建表達式目錄樹類型:
=> 運算符具有與賦值運算符 (=) 相同的優先權,並且是右結合運算符。
Lambda 用在基於方法的 LINQ 查詢中,作為諸如 Where 和 Where 等標準查詢運算符方法的參數。
使用基於方法的語法在 Enumerable 類中調用 Where 方法時(像在 LINQ to Objects 和 LINQ to XML 中那樣),參數是委託類型 System..::.Func<(Of <(T, TResult>)>)。使用 Lambda 表達式創建委託最為方便。例如,當您在 System.Linq..::.Queryable 類中調用相同的方法時(像在 LINQ to SQL 中那樣),則參數類型是 System.Linq.Expressions..::.Expression<Func>,其中 Func 是包含至多五個輸入參數的任何 Func 委託。同樣,Lambda 表達式只是一種用於構造表達式目錄樹的非常簡練的方式。儘管事實上通過 Lambda 創建的對象的類型是不同的,但 Lambda 使得 Where 調用看起來類似。
在前面的示例中,請注意委託簽名具有一個 int 類型的隱式類型輸入參數,並返回 int。可以將 Lambda 表達式轉換為該類型的委託,因為該表達式也具有一個輸入參數 (x),以及一個編譯器可隱式轉換為 int 類型的返回值。(以下幾節中將對類型推理進行詳細討論。)使用輸入參數 5 調用委託時,它將返回結果 25。
在 is 或 as 運算符的左側不允許使用 Lambda。
適用於匿名方法的所有限制也適用於 Lambda 表達式。有關更多信息,請參見匿名方法(C# 編程指南)。
特殊
下列規則適用於 Lambda 表達式中的變數範圍:
捕獲的變數將不會被作為垃圾回收,直至引用變數的委託超出範圍為止。
在外部方法中看不到 Lambda 表達式內引入的變數。
Lambda 表達式無法從封閉方法中直接捕獲 ref 或 out 參數。
Lambda 表達式中的返回語句不會導致封閉方法返回。
Lambda 表達式不能包含其目標位於所包含匿名函式主體外部或內部的 goto 語句、break 語句或 continue 語句。
Lambda表達式的本質是“匿名方法”,即當編譯我們的程式代碼時,“編譯器”會自動將“Lambda表達式”轉換為“匿名方法”,如下例:
上面中兩個FindAll方法的反編譯代碼如下:
從而可以知道“Lambda表達式”與“匿名方法”是可以劃上等號的,只不過使用“Lambda表達式”輸寫代碼看上去更直觀漂亮,不是嗎?
Lambda表達式的語法格式:
參數列表 => 語句或語句塊
其中“參數列”中可包含任意個參數(與委託對應),如果參數列中有0個或1個以上參數,則必須使用括弧括住參數列,如下:
如果“語句或語句塊”有返回值時,如果只有一條語句則可以不輸寫“return”語句,編譯器會自動處理,否則必須加上,如下示例:
“Lambda表達式”是委託的實現方法,所以必須遵循以下規則:
1)“Lambda表達式”的參數數量必須和“委託”的參數數量相同;
2)如果“委託”的參數中包括有ref或out修飾符,則“Lambda表達式”的參數列中也必須包括有修飾符;
例子:
註: 如果包括有修飾符,則“Lambda表達式”中的參數列中也必須加上參數的類型
3)如果“委託”有返回類型,則“Lambda表達式”的“語句或語句塊”中也必須返回相同類型的數據;
4)如果“委託”有幾種數據類型格式而在“Lambda表達式”中“編譯器”無法推斷具體數據類型時,則必須手動明確數據類型。
例子:
(錯誤代碼)
當我們編譯以下代碼時,編譯器將會顯示以下錯誤信息:
所以我們必須明確數據類型給編譯器,如下:
這樣我們的代碼就能編譯通過了。
Java表達式
Java 8的一個大亮點是引入Lambda表達式,使用它設計的代碼會更加簡潔。當開發者在編寫Lambda表達式時,也會隨之被編譯成一個函式式接口。下面這個例子就是使用Lambda語法來代替匿名的內部類,代碼不僅簡潔,而且還可讀。
沒有使用Lambda的老方法:
使用Lambda:
讓我們來看一個更明顯的例子。
不採用Lambda的老方法:
使用Lambda:
正如你所看到的,使用Lambda表達式不僅讓代碼變的簡單、而且可讀、最重要的是代碼量也隨之減少很多。然而,在某種程度上,這些功能在Scala等這些JVM語言裡已經被廣泛使用。
並不奇怪,Scala社區是難以置信的,因為許多Java 8里的內容看起來就像是從Scala里搬過來的。在某種程度上,Java 8的語法要比Scala的更詳細但不是很清晰,但這並不能說明什麼,如果可以,它可能會像Scala那樣構建Lambda表達式。
一方面,如果Java繼續圍繞Lambda來發展和實現Scala都已經實現的功能,那么可能就不需要Scala了。另一方面,如果它只提供一些核心的功能,例如幫助匿名內部類,那么Scala和其他語言將會繼續茁壯成長,並且有可能會凌駕於Java之上。其實這才是最好的結果,有競爭才有進步,其它語言繼續發展和成長,並且無需擔心是否會過時。
C++表達式
ISO C++ 11 標準的一大亮點是引入Lambda表達式。基本語法如下:
其中除了“[ ]”(其中捕獲列表可以為空)和“複合語句”(相當於具名函式定義的函式體),其它都是可選的。它的類型是單一的具有成員operator()的非聯合的類類型,稱為閉包類型(closure type)。
C++中,一個lambda表達式表示一個可調用的代碼單元。我們可以將其理解為一個未命名的內聯函式。它與普通函式不同的是,lambda必須使用尾置返回來指定返回類型。
例如調用<algorithm>中的std::sort,ISO C++ 98 的寫法是要先寫一個compare函式:
然後,再這樣調用:
然而,用ISO C++ 11 標準新增的Lambda表達式,可以這么寫:
這樣一來,代碼明顯簡潔多了。
由於Lambda的類型是單一的,不能通過類型名來顯式聲明對應的對象,但可以利用auto關鍵字和類型推導:
和其它語言的一個較明顯的區別是Lambda和C++的類型系統結合使用,如:
Lambda表達式可以嵌套使用。
即將出版的ISO C++14支持基於類型推斷的泛型lambda表達式。上面的排序代碼可以這樣寫:
因為參數類型和函式模板參數一樣可以被推導而無需和具體參數類型耦合,有利於重構代碼;和使用auto聲明變數的作用類似,它也允許避免書寫過於複雜的參數類型。特別地,不需要顯式指出參數類型使使用高階函式變得更加容易。
Python表達式
Lambda表達式是Python中一類特殊的定義函式的形式,使用它可以定義一個匿名函式。與其它語言不同,Python的Lambda表達式的函式體只能有單獨的一條語句,也就是返回值表達式語句。其語法如下:
lambda 形參列表 : 函式返回值表達式語句
下面是個Lambda表達式的例子:
如果不用Lambda表達式,而要寫成常規的函式,那么需要這么寫:
函式語言
Lambda演算和函式式語言的計算模型天生較為接近,Lambda表達式一般是這些語言必備的基本特性。如:
Scheme:
Haskell:
Javascript