這篇文章主要介紹“如何使用Lambda表達(dá)式編寫(xiě)遞歸”，在日常操作中，相信很多人在如何使用Lambda表達(dá)式編寫(xiě)遞歸問(wèn)題上存在疑惑，小編查閱了各式資料，整理出簡(jiǎn)單好用的操作方法，希望對(duì)大家解答”如何使用Lambda表達(dá)式編寫(xiě)遞歸”的疑惑有所幫助！接下來(lái)，請(qǐng)跟著小編一起來(lái)學(xué)習(xí)吧！

成都創(chuàng)新互聯(lián)公司是專(zhuān)業(yè)的陽(yáng)春網(wǎng)站建設(shè)公司，陽(yáng)春接單;提供網(wǎng)站設(shè)計(jì)、成都做網(wǎng)站,網(wǎng)頁(yè)設(shè)計(jì),網(wǎng)站設(shè)計(jì),建網(wǎng)站,PHP網(wǎng)站建設(shè)等專(zhuān)業(yè)做網(wǎng)站服務(wù);采用PHP框架,可快速的進(jìn)行陽(yáng)春網(wǎng)站開(kāi)發(fā)網(wǎng)頁(yè)制作和功能擴(kuò)展;專(zhuān)業(yè)做搜索引擎喜愛(ài)的網(wǎng)站,專(zhuān)業(yè)的做網(wǎng)站團(tuán)隊(duì),希望更多企業(yè)前來(lái)合作!

遞歸參數(shù)及返回值類(lèi)型假定

對(duì)于常見(jiàn)的遞歸函數(shù)，如：階乘、斐波那契數(shù)列求值，我們先作如下假定：

1.參數(shù)為 int 類(lèi)型（Int32）；

2.返回值為 long 類(lèi)型（Int64）。

基于假推斷各類(lèi)型

FIX g 類(lèi)型

根據(jù)上篇文章中的描述：

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

FIX g 返回的是我們需要的遞歸函數(shù)，這個(gè)遞歸函數(shù)

·接收一個(gè) int 參數(shù)（上面假定第 1 條）值為 5

·返回一個(gè) long 型數(shù)值（上面假定第 2 條）120。

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

同時(shí)也能看出 n 是遞歸函數(shù)的參數(shù)，n 類(lèi)型為 int。

g 類(lèi)型

階乘單步函數(shù)如下：

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

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

先來(lái)推斷 f 的類(lèi)型：

&middot;f 的參數(shù)：f 接收 n &ndash; 1 作為參數(shù)，因此，f 參數(shù)的類(lèi)型和 n &ndash; 1 類(lèi)型相同，即 n 的類(lèi)型：int；

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

可確定 f 類(lèi)型為 Func<int, long>。

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

先來(lái)變換下 g 的表示形式：

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

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

g 的類(lèi)型為 Func<Func<int, long>, Func<int, long>>

FIX 類(lèi)型

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

FIX 接受 g 作為參數(shù)，F(xiàn)IX 的參數(shù)類(lèi)型也就是 g 的類(lèi)型，可知 FIX 參數(shù)類(lèi)型為 Func<Func<int, long>, Func<int, long>>。

由此得出 FIX 的類(lèi)型為：Func<Func<Func<int, long>, Func<int, long>>, Func<int, long>>。

（估計(jì)這是多數(shù)開(kāi)發(fā)人員見(jiàn)過(guò)的最復(fù)雜的泛型了。后面還在更復(fù)雜的吆?。?/p>

小結(jié)

名稱(chēng)	λ 演算表達(dá)式	數(shù)據(jù)類(lèi)型
輸入?yún)?shù)	n	int
迭歸返回值	FIX g n	long
迭歸函數(shù)	FIX g	Func<int, long>
單步函數(shù)	g	Func<Func<int, long>, Func<int, long>>
不動(dòng)點(diǎn)組合子	FIX	Func<Func<Func<int, long>, Func<int, long>>, Func<int, long>>

通用類(lèi)型

基于以上部分的推演和小結(jié)，我們可以歸納出通用類(lèi)型：

名稱(chēng)	λ 演算表達(dá)式	數(shù)據(jù)類(lèi)型
輸入?yún)?shù)	n	TInput
迭歸返回值	FIX g n	TResult
迭歸函數(shù)	FIX g	Func<TInput, TResult>
單步函數(shù)	g	Func<Func<TInput, TResult>, Func<TInput, TResult>>
不動(dòng)點(diǎn)組合子	FIX	Func<Func<Func<TInput, TResult>, Func<TInput, TResult>>, Func<TInput, TResult>>

基于本文推斷出的類(lèi)型，不動(dòng)點(diǎn)組合子轉(zhuǎn)換為 c# 代碼了不容易多了。

到此，關(guān)于“如何使用Lambda表達(dá)式編寫(xiě)遞歸”的學(xué)習(xí)就結(jié)束了，希望能夠解決大家的疑惑。理論與實(shí)踐的搭配能更好的幫助大家學(xué)習(xí)，快去試試吧！若想繼續(xù)學(xué)習(xí)更多相關(guān)知識(shí)，請(qǐng)繼續(xù)關(guān)注創(chuàng)新互聯(lián)網(wǎng)站，小編會(huì)繼續(xù)努力為大家?guī)?lái)更多實(shí)用的文章！

本文題目：如何使用Lambda表達(dá)式編寫(xiě)遞歸
網(wǎng)站地址：http://chinadenli.net/article22/jeiicc.html

成都網(wǎng)站建設(shè)公司_創(chuàng)新互聯(lián)，為您提供App開(kāi)發(fā)、用戶(hù)體驗(yàn)、做網(wǎng)站、ChatGPT、網(wǎng)站改版、定制網(wǎng)站

廣告

聲明：本網(wǎng)站發(fā)布的內(nèi)容（圖片、視頻和文字）以用戶(hù)投稿、用戶(hù)轉(zhuǎn)載內(nèi)容為主，如果涉及侵權(quán)請(qǐng)盡快告知，我們將會(huì)在第一時(shí)間刪除。文章觀點(diǎn)不代表本網(wǎng)站立場(chǎng)，如需處理請(qǐng)聯(lián)系客服。電話(huà)：028-86922220；郵箱：631063699@qq.com。內(nèi)容未經(jīng)允許不得轉(zhuǎn)載，或轉(zhuǎn)載時(shí)需注明來(lái)源： 創(chuàng)新互聯(lián)