C#中的高階函數引見。本站提示廣大學習愛好者:(C#中的高階函數引見)文章只能為提供參考,不一定能成為您想要的結果。以下是C#中的高階函數引見正文
引見
我們都曉得函數是法式中的根本模塊,代碼段。那高階函數呢?聽起來很好懂得吧,就是函數的高階(級)版本。它怎樣高階了呢?我們來看下它的根本界說:
1:函數本身接收一個或多個函數作為輸出
2:函數本身能輸入一個函數。 //函數臨盆函數
知足個中一個便可以稱為高階函數。高階函數在函數式編程中年夜量運用。c#在3.0推出Lambda表達式後,也開端漸漸應用了。
目次
1:接收函數
2:輸入函數
3:Currying(科裡化)
1、接收函數
為了便利懂得,都用了自界說。
代碼中TakeWhileSelf 能接收一個函數,可稱為高階函數。
//自界說拜托
public delegate TResult Function<in T, out TResult>(T arg);
//界說擴大辦法
public static class ExtensionByIEnumerable
{
public static IEnumerable<TSource> TakeWhileSelf<TSource>(this IEnumerable<TSource> source, Function<TSource, bool> predicate)
{
foreach (TSource iteratorVariable0 in source)
{
if (!predicate(iteratorVariable0))
{
break;
}
yield return iteratorVariable0;
}
}
}
class Program
{
//界說個拜托
static void Main(string[] args)
{
List<int> myAry = new List<int> { 1, 2, 3, 4, 5, 6, 7, 8, 9, 0 };
Function<int, bool> predicate = (num) => num < 4; //界說一個函數
IEnumerable<int> q2 = myAry.TakeWhileSelf(predicate); //
foreach (var item in q2)
{
Console.WriteLine(item);
}
/*
* output:
* 1
* 2
* 3
*/
}
}
2、輸入函數
代碼中OutPutMehtod函數輸入一個函數,供挪用。
var t = OutPutMehtod(); //輸入函數
bool result = t(1);
/*
* output:
* true
*/
static Function<int, bool> OutPutMehtod()
{
Function<int, bool> predicate = (num) => num < 4; //界說一個函數
return predicate;
}
3、Currying(科裡化)
一名數理邏輯學家(Haskell Curry)推出的,連Haskell說話也是由他定名的。然後依據姓氏定名Currying這個概念了。
下面例子是一元函數f(x)=y 的例子。
那Currying若何停止的呢? 這裡引下園子兄弟的片斷。
假定有以下函數:f(x, y, z) = x / y +z. 請求f(4,2, 1)的值。
起首,用4調換f(x, y, z)中的x,獲得新的函數g(y, z) = f(4, y, z) = 4 / y + z
然後,用2調換g(y, z)中的參數y,獲得h(z) = g(2, z) = 4/2 + z
最初,用1調換失落h(z)中的z,獲得h(1) = g(2, 1) = f(4, 2, 1) = 4/2 + 1 = 3
很明顯,假如是一個n元函數求值,如許的調換會產生n次,留意,這裡的每次調換都是次序產生的,這和我們在做數學時上直接將4,2,1帶入x / y + z求解紛歧樣。
在這個次序履行的調換進程中,每步代入一個參數,每步都有新的一元函數出生,最初構成一個嵌套的一元函數鏈。
因而,經由過程Currying,我們可以對任何一個多元函數停止化簡,使之可以或許停止Lambda演算。
用C#來歸納上述Currying的例子就是:
var fun=Currying();
Console.WriteLine(fun(6)(2)(1));
/*
* output:
* 4
*/
static Function<int, Function<int, Function<int, int>>> Currying()
{
return x => y => z => x / y + z;
}