C#中的高阶函数介绍

 更新时间:2015年04月10日 09:25:35   投稿:junjie  
这篇文章主要介绍了C#中的高阶函数介绍,本文讲解了接受函数、输出函数、Currying(科里化)等内容,需要的朋友可以参考下

介绍

我们都知道函数是程序中的基本模块,代码段。那高阶函数呢?听起来很好理解吧,就是函数的高阶(级)版本。它怎么高阶了呢?我们来看下它的基本定义:
1:函数自身接受一个或多个函数作为输入
2:函数自身能输出一个函数。  //函数生产函数
 
满足其中一个就可以称为高阶函数。高阶函数在函数式编程中大量应用。c#在3.0推出Lambda表达式后,也开始慢慢使用了。
 
目录
1:接受函数
2:输出函数
3:Currying(科里化)

一、接受函数

为了方便理解,都用了自定义。

代码中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
             */
        }
    }

二、输出函数

代码中OutPutMehtod函数输出一个函数,供调用。

复制代码 代码如下:

var t = OutPutMehtod();  //输出函数
            bool result = t(1);

            /*
             * output:
             * true
             */

  static Function<int, bool> OutPutMehtod()
        {
            Function<int, bool> predicate = (num) => num < 4;  //定义一个函数

            return predicate;
        }

三、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;
 }

相关文章

  • C#基于ScottPlot实现可视化的示例代码

    C#基于ScottPlot实现可视化的示例代码

    这篇文章主要为大家详细介绍了C#如何基于ScottPlot实现可视化效果,文中的示例代码讲解详细,具有一定的借鉴价值,感兴趣的小伙伴可以跟随小编一起学习一下
    2024-01-01
  • C#实现写系统日志的方法

    C#实现写系统日志的方法

    这篇文章主要介绍了C#实现写系统日志的方法,涉及C#针对系统日志的创建、写入及删除等技巧,非常具有实用价值,需要的朋友可以参考下
    2015-08-08
  • C# winform实现自动更新

    C# winform实现自动更新

    这篇文章主要为大家详细介绍了C# winform实现自动更新的相关知识,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下
    2024-10-10
  • C# 设计模式系列教程-策略模式

    C# 设计模式系列教程-策略模式

    策略模式是一种定义一系列算法的方法,从概念上来看,所有算法完成的都是相同的工作,只是实现不同,它可以以相同的方式调用所有的算法,减少了各种算法类与使用算法类之间的耦合。
    2016-06-06
  • C#/.Net 中快速批量给SQLite数据库插入测试数据

    C#/.Net 中快速批量给SQLite数据库插入测试数据

    这篇文章主要介绍了C#/.Net 中快速批量给SQLite数据库插入测试数据,本文直接给出实例代码,需要的朋友可以参考下
    2015-06-06
  • 详解C#如何实现窗体换肤

    详解C#如何实现窗体换肤

    这篇文章主要为大家详细介绍了如何利用C#实现窗体换肤,文中的示例代码讲解详细,对我们学习C#有一定的帮助,感兴趣的小伙伴可以跟随小编一起了解一下
    2022-12-12
  • WPF自定义选择年月控件详解

    WPF自定义选择年月控件详解

    这篇文章主要为大家详细介绍了WPF自定义选择年月控件的相关资料,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2017-10-10
  • C#异步编程Task的创建方式

    C#异步编程Task的创建方式

    这篇文章介绍了C#异步编程Task的创建方式,文中通过示例代码介绍的非常详细。对大家的学习或工作具有一定的参考借鉴价值,需要的朋友可以参考下
    2022-04-04
  • C#实现将Doc文档转换成rtf格式的方法示例

    C#实现将Doc文档转换成rtf格式的方法示例

    这篇文章主要介绍了C#实现将Doc文档转换成rtf格式的方法,结合实例形式分析了C#针对word文件的读取及文档格式转换相关操作技巧,需要的朋友可以参考下
    2017-07-07
  • C# byte转为有符号整数实例

    C# byte转为有符号整数实例

    这篇文章主要介绍了C# byte转为有符号整数实例,具有很好的参考价值,希望对大家有所帮助。一起跟随小编过来看看吧
    2020-11-11

最新评论