C#中函数的创建和闭包的理解

动态创建函数

大多数同学,都或多或少的使用过。回顾下c#中动态创建函数的进化:

C# 1.0中:

代码如下:

public delegate string DynamicFunction(string name);
  public static DynamicFunction GetDynamicFunction()
  {
      return GetName;
  }
  static string GetName(string name)
  {
      return name;
  }
  var result = GetDynamicFunction()("mushroom");

3.0写惯了是不是看起来很繁琐、落后。 刚学委托时,都把委托理解成函数指针,也来看下用函数指针实现的:

代码如下:

char GetName(char p);
typedef char (*DynamicFunction)(char p);
DynamicFunction GetDynamicFunction()
{
    return GetName;
}
char GetName(char p)
{
    return p;
};
char result = GetDynamicFunction()('m');

对比起来和c# 1.0几乎一模一样了(引用/指针差别),毕竟是同一家族的。

C# 2.0中,增加匿名函数:

代码如下:

public delegate string DynamicFunction(string name);
      DynamicFunction result2 = delegate(string name)
      {
          return name;
      };

C# 3.0中,增加Lambda表达式,华丽的转身:

代码如下:

public static Func<string, string> GetDynamicFunction()
 {
        return name => name;
 }
 var result = GetDynamicFunction()("mushroom");

匿名函数不足之处
虽然增加Lambda表达式,已经极大简化了我们的工作量。但确实有些不足之处:

代码如下:

var result = name => name;

这些写编译时是报错的。因为c#本身强类型语言的,提供var语法糖只是为了省去声明确定类型的工作量。 编译器在编译时必须能够完全推断出各参数的类型才行。代码中的name参数类型,显然在编译时无法推断出来的。

代码如下:

var result = (string name) => name;
Func<string, string> result2 = (string name) => name;
Expression<Func<string, string>> result3 = (string name) => name;

上面直接声明name类型呢,很遗憾这样也是报错的。代码中已经给出答案了,编译器推断不出右边表达式是属于Func<string, string>类型还是Expression<Func<string, string>>类型。

代码如下:

dynamic result = name => name;
 dynamic result1 = (Func<string,string>)(name => name);

用dynamic呢,同样编译器也分不出右边是个委托,我们显示转换下就可以了。

代码如下:

Func<string, string> function = name => name;
DynamicFunction df = function;

这里定义个func委托,虽然参数和返回值类型都和DynamicFunction委托一样,但编译时还是会报错:不能隐式转换Func<string, string>到DynamicFunction,2个类型是不兼容的。

理解c#中的闭包

谈论到动态创建函数,都要牵扯到闭包。闭包这个概念资料很多了,理论部分这里就不重复了。 来看看c#代码中闭包:

代码如下:

Func<Func<int>> A = () =>
        {
            var age = 18;
            return () =>  //B函数
            {
                return age;
            };
        };
        var result = A()();

上面就是闭包,可理解为就是: 跨作用域访问函数内变量,也有说带着数据的行为。
C#变量作用域一共有三种,即:类变量,实例变量,函数内变量。子作用域访问父作用域的变量(即函数内访问实例/类变量)在我们看来理所当然的,也符合我们一直的编程习惯。
例子中匿名函数B是可以访问上层函数A的变量age。对于编译器而言,A函数是B函数的父作用域,所以B函数访问父作用域的age变量是符合规范的。

代码如下:

int age = 16;
        void Display()
        {
            Console.WriteLine(age); 
            int age = 18;
            Console.WriteLine(age);
        }

上面编译会报错未声明使用,编译器检查到函数内声明age后,作用域就会覆盖父作用域的age,(像JS就undefined了)。

代码如下:

Func<int> C = () =>
         {
             var age = 19;
             return age;
         };

上面声明个同级函数C,那么A函数是无法访C函数中的age变量的。 简单来说就是不可跨作用域访问其他函数内的变量。 那编译器是怎么实现闭包机制的呢?

如上图,答案是升级作用域,把A函数升级为一个实例类作用域。 在编译代码期间,编译器检查到B函数使用A函数内变量时,会自动生成一个匿名类x,把原A函数内变量age提升为x类的字段(即实例变量),A函数提升为匿名类x的实例函数。下面是编译器生成的代码(精简过):

代码如下:

class Program1
{
    static Func<Func<int>> CachedAnonymousMethodDelegate2;
    static void Main(string[] args)
    {
        Func<Func<int>> func = new Func<Func<int>>(Program1.B);
        int num = func()();
    }
    static Func<int> B()
    {
        DisplayClass cl = new DisplayClass();
        cl.age = 18;
        return new Func<int>(cl.A);
    }
}
sealed class DisplayClass
{
    public int age;
    public int A()
    {
        return this.age;
    }
}

我们再来看个复杂点的例子:

代码如下:

static Func<int, int> GetClosureFunction()
    {
        int val = 10;
        Func<int, int> interAdd = x => x + val;
        Console.WriteLine(interAdd(10));
        val = 30;
        Console.WriteLine(interAdd(10));
        return interAdd;
    }
  Console.WriteLine(GetClosureFunction()(30));

输出结果是20、40、60。 当看到这个函数内变量val通过闭包被传递的时候,我们就知道val不仅仅是个函数内变量了。之前我们分析过编译器怎么生成的代码,知道val此时是一个匿名类的实例变量,interAdd是匿名类的实例函数。所以无论val传递多少层,它的值始终保持着,直到离开这个(链式)作用域。

关于闭包,在js当中谈论的比较多,同理,可以对比理解下:

代码如下:

function A() {
    var age = 18;
    return function () {
        return age;
    }
}
A()();

闭包的优点

1.对变量的保护。想暴露一个变量值,但又怕声明类或实例变量会被其他函数污染,这时就可以设计个闭包,只能通过函数调用来使用它。
2.逻辑连续性和变量保持。 A()是执行一部分逻辑,A()()仅接着A()逻辑继续走下去,在这个逻辑上下文期间,变量始终都被保持着,可以随意使用。

(0)

相关推荐

  • c#闭包使用方法示例

    代码简单,直接上代码了 复制代码 代码如下: private static void Before()        {            Action[] actions = new Action[10]; for (var i = 0; i < actions.Length; i++)            {                actions[i] = () =>                {                    Console.WriteLine(

  • C# 中闭包(Closure)详解

    C# 中闭包(Closure)详解 这个问题是在最近一次英格兰 Brighton ALT.NET Beers 活动中提出来的.我发现,如果不用代码来演示,你很难单用话语把它解释清楚,所以,在这里,我打算用 C# 来解释一下什么是闭包(closures).维基百科上说: 在计算机科学中,闭包(Closure)是词法闭包(Lexical Closure)的简称,是引用了自由变量的函数.这个被引用的自由变量将和这个函数一同存在,即使已经离开了创造它的环境也不例外.所以,有另一种说法认为闭包是由函数和与

  • C#函数式程序设计之用闭包封装数据的实现代码

    C#函数式程序设计之作用域 在C#中,变量的作用域是严格确定的.其本质是所有代码生存在类的方法中.所有变量只生存于声明它们的模块中或者之后的代码中.变量的值是可变的,一个变量越是公开,带来的问题就越严重.一般的原则是,变量的值最好保持不变,或者在最小的作用域内保存其值.一个纯函数最好只使用在自己的模块中定义的变量值,不访问其作用域之外的任何变量. 遗憾的是,有时我们无法把变量的值限制于函数的范围内.如果在程序的初始化时定义了几个变量,在后面需要反复用到它们,怎么办?一个可能的办法是使用闭包. C

  • C#中函数的创建和闭包的理解

    动态创建函数 大多数同学,都或多或少的使用过.回顾下c#中动态创建函数的进化: C# 1.0中: 复制代码 代码如下: public delegate string DynamicFunction(string name);   public static DynamicFunction GetDynamicFunction()   {       return GetName;   }   static string GetName(string name)   {       return

  • Python中函数的创建及调用

    目录 一.前言 二.创建一个函数 三.调用函数 四.pass空语句 一.前言 提到函数,大家会想到数学函数吧,函数是数学最重要的一个模块,贯穿整个数学学习,在Python中,函数的应用非常广泛.在前面我们已经多次接触过函数.例如,用于输出的print()函数.用于输入的input()函数,以及用于生成一系列整数的range()函数.这些都是Python内置的标准函数,可以直接使用.除了可以直接使用的标准函数,Python还支持自定义函数.即通过将一段有规律的.重复的代码定义为函数,来达到一次编写

  • Python中函数的创建与调用你了解吗

    目录 创建函数 调用函数 函数的参数 形参和实参 传递参数 位置参数 默认参数 函数的返回值 案例:计算任意两个数字的和 模块基础 定义模块 基本概念 导入模块 (import) 模块加载 (load) 模块特性及案例 模块特性 总结 创建函数 函数用 def 语句创建,语法如下: def 函数名(参数列表): # 具体情况具体对待,参数可有可无 """函数说明文档字符串""" 函数封装的代码 -- 标题行由 def 关键字,函数的名字,以及参数

  • js中匿名函数的创建与调用方法分析

    本文实例分析了js中匿名函数的创建与调用方法.分享给大家供大家参考.具体实现方法如下: 匿名函数就是没有名字的函数了,也叫闭包函数(closures),允许 临时创建一个没有指定名称的函数.最经常用作回调函数(callback)参数的值,很多新手朋友对于匿名函数不了解.这里就来分析一下. function 函数名(参数列表){函数体;} 如果是创建匿名函数,那就应该是: function(){函数体;} 因为是匿名函数,所以一般也不会有参数传给他. 为什么要创建匿名函数呢?在什么情况下会使用到匿

  • 简单了解Go语言中函数作为值以及函数闭包的使用

    函数作为值 Go编程语言提供灵活性,以动态创建函数,并使用它们的值.在下面的例子中,我们已经与初始化函数定义的变量.此函数变量的目仅仅是为使用内置的Math.sqrt()函数.下面是一个例子: 复制代码 代码如下: package main import (    "fmt"    "math" ) func main(){    /* declare a function variable */    getSquareRoot := func(x float64

  • python中函数总结之装饰器闭包详解

    1.前言 函数也是一个对象,从而可以增加属性,使用句点来表示属性. 如果内部函数的定义包含了在外部函数中定义的对象的引用(外部对象可以是在外部函数之外),那么内部函数被称之为闭包. 2.装饰器 装饰器就是包装原来的函数,从而在不需要修改原来代码的基础之上,可以做更多的事情. 装饰器语法如下: @deco2 @deco1 def func(arg1,arg2...): pass 这个表示了有两个装饰器的函数,那么表示的含义为:func = deco2(deco1(func)) 无参装饰器语法如下:

  • Python 中的函数装饰器和闭包详解

    函数装饰器可以被用于增强方法的某些行为,如果想自己实现装饰器,则必须了解闭包的概念. 装饰器的基本概念 装饰器是一个可调用对象,它的参数是另一个函数,称为被装饰函数.装饰器可以修改这个函数再将其返回,也可以将其替换为另一个函数或者可调用对象. 例如:有个名为 decorate 的装饰器: @decorate def target(): print('running target()') 上述代码的写法和以下写法的效果是一样的: def target(): print('running targe

  • C语言中函数栈帧的创建和销毁的深层分析

    目录 一.本文目标 二.基础知识 1.寄存器 2.代码案例 3.总体栈帧概况 4.所需反汇编代码总览 三.函数栈帧创建销毁过程 1._tmainCRTStartup函数(调用main函数)栈帧的创建 2.main函数栈帧的创建 3.main函数内执行有效代码(变量) 4.Add函数栈帧的创建 5.Add函数内执行有效代码 6.Add函数栈帧的销毁 7.main函数栈帧的销毁 四.总结 一.本文目标 1.局部变量是怎么创建的? 2.为什么局部变量的值是随机值? 3.函数是怎么传参的?传参的顺序是怎

  • Python中集合的创建及常用函数的使用详解

    目录 集合的创建 无序性 集合中的操作函数 在集合中添加元素 删除集合中的第一个元素 删除集合中的指定元素 判断元素是否在集合里面 集合的遍历 集合元素个数的计算 集合与字典,列表,元组的嵌套 集合与元组 集合与列表 集合的创建 使用内置函数set()进行转化或者使用{}包括起来的,集合中的元素:无序性,互异性,确定性. 举例: numbers=set(range(0,7))//使用内置函数进行转化 print(numbers) print(type(numbers)) 输出: {0, 1, 2

  • 深入了解Rust中函数与闭包的使用

    目录 闭包 高阶函数 发散函数 闭包 Rust 的闭包由一个匿名函数加上外层的作用域组成,举个例子: fn main() {     let closure = |n: u32| -> u32 {         n * 2     };     println!("n * 2 = {}", closure(12));     // n * 2 = 24 } 闭包可以被保存在一个变量中,然后我们注意一下它的语法,参数定义.返回值定义都和普通函数一样,但闭包使用的是两个竖线.我们对

随机推荐