這篇文章主要介紹“如何使用Lambda表達式編寫遞歸”，在日常操作中，相信很多人在如何使用Lambda表達式編寫遞歸問題上存在疑惑，小編查閱了各式資料，整理出簡單好用的操作方法，希望對大家解答”如何使用Lambda表達式編寫遞歸”的疑惑有所幫助！接下來，請跟著小編一起來學習吧！

成都創新互聯公司是專業的陽春網站建設公司，陽春接單;提供網站設計、成都做網站,網頁設計,網站設計,建網站,PHP網站建設等專業做網站服務;采用PHP框架,可快速的進行陽春網站開發網頁制作和功能擴展;專業做搜索引擎喜愛的網站,專業的做網站團隊,希望更多企業前來合作!

遞歸參數及返回值類型假定

對于常見的遞歸函數，如：階乘、斐波那契數列求值，我們先作如下假定：

1.參數為 int 類型（Int32）；

2.返回值為 long 類型（Int64）。

基于假推斷各類型

FIX g 類型

根據上篇文章中的描述：

FIX g = λn. (ISZERO n) 1 (MULT n ((FIX g) (PRED n)))FIX g 55 = 5 * (4 * (3 * (2 * (1 * 1))) = 120

FIX g 返回的是我們需要的遞歸函數，這個遞歸函數

·接收一個 int 參數（上面假定第 1 條）值為 5

·返回一個 long 型數值（上面假定第 2 條）120。

因此，確定出 FIX g 的類型可表示為 Func<int, long>。

同時也能看出 n 是遞歸函數的參數，n 類型為 int。

g 類型

階乘單步函數如下：

g = λf. λn. (ISZERO n) 1 (MULT n (f (PRED n)))

c# 中可表達為：g => f => n => n == 0 ? 1 : n * f(n &ndash; 1)

先來推斷 f 的類型：

&middot;f 的參數：f 接收 n &ndash; 1 作為參數，因此，f 參數的類型和 n &ndash; 1 類型相同，即 n 的類型：int；

&middot;f 的返回值：為 0 時返回 1，否則返回 n * f(n-1)，f 的返回值類型也就是整個遞歸函數的返回值類型，即 long。

可確定 f 類型為 Func<int, long>。

n => n == 0 ? 1 : n * f(n &ndash; 1)是傳入一個 int 返回一個 long，其類型 Func<int, long>。

先來變換下 g 的表示形式：

var g = (Func<int, long> f) => {      Func<int, long> t =           n => n == 0 ? 1 : n * f(n - 1);      return t;  };  // 示意代碼

從上面這段代碼可以清楚到看出 g 接收一個 Func<int, long> 類型的參數 f，返回一個類型為 Func<int, long> 的委托，可得出：

g 的類型為 Func<Func<int, long>, Func<int, long>>

FIX 類型

FIX g 可寫作 FIX(g)，可以看出： FIX g 的類型 == FIX(g) 的類型 == FIX 返回值的類型。前面得知 FIX g 類型為 Func<int, long>，也就可推出 FIX 返回值類型為 Func<int, long>。

FIX 接受 g 作為參數，FIX 的參數類型也就是 g 的類型，可知 FIX 參數類型為 Func<Func<int, long>, Func<int, long>>。

由此得出 FIX 的類型為：Func<Func<Func<int, long>, Func<int, long>>, Func<int, long>>。

（估計這是多數開發人員見過的最復雜的泛型了。后面還在更復雜的吆！）

小結

名稱	λ 演算表達式	數據類型
輸入參數	n	int
迭歸返回值	FIX g n	long
迭歸函數	FIX g	Func<int, long>
單步函數	g	Func<Func<int, long>, Func<int, long>>
不動點組合子	FIX	Func<Func<Func<int, long>, Func<int, long>>, Func<int, long>>

通用類型

基于以上部分的推演和小結，我們可以歸納出通用類型：

名稱	λ 演算表達式	數據類型
輸入參數	n	TInput
迭歸返回值	FIX g n	TResult
迭歸函數	FIX g	Func<TInput, TResult>
單步函數	g	Func<Func<TInput, TResult>, Func<TInput, TResult>>
不動點組合子	FIX	Func<Func<Func<TInput, TResult>, Func<TInput, TResult>>, Func<TInput, TResult>>

基于本文推斷出的類型，不動點組合子轉換為 c# 代碼了不容易多了。

到此，關于“如何使用Lambda表達式編寫遞歸”的學習就結束了，希望能夠解決大家的疑惑。理論與實踐的搭配能更好的幫助大家學習，快去試試吧！若想繼續學習更多相關知識，請繼續關注創新互聯網站，小編會繼續努力為大家帶來更多實用的文章！

本文題目：如何使用Lambda表達式編寫遞歸
網站地址：http://m.newbst.com/article22/jeiicc.html

成都網站建設公司_創新互聯，為您提供App開發、用戶體驗、做網站、ChatGPT、網站改版、定制網站

廣告

聲明：本網站發布的內容（圖片、視頻和文字）以用戶投稿、用戶轉載內容為主，如果涉及侵權請盡快告知，我們將會在第一時間刪除。文章觀點不代表本網站立場，如需處理請聯系客服。電話：028-86922220；郵箱：631063699@qq.com。內容未經允許不得轉載，或轉載時需注明來源： 創新互聯