理解C#中的闭包

一、 闭包的含义

首先闭包并非针对某一特定语言的概念，而是一个通用的概念。除了在各个支持函数式编程的语言中，咱们会接触到它。一些不支持函数式编程的语言中也能支持闭包（如java8以前的匿名内部类）。

在看过的对于闭包的定义中，我的以为比较清晰的是在《JavaScript高级程序设计》这本书中看到的。具体定义以下：

闭包是指有权访问另外一个函数做用域中的变量的函数。

注意，闭包这个词自己指的是一种函数。而建立这种特殊函数的一种常见方式是在一个函数中建立另外一个函数。

二、 在C# 中使用闭包（例子选取自《C#函数式程序设计》）

下面咱们经过一个简单的例子来理解C#闭包

class Program
{
    static void Main(string[] args)
    {
        Console.WriteLine(GetClosureFunction()(30));
    }

    static Func<int, int> GetClosureFunction()
    {
        int val = 10;
        Func<int, int> internalAdd = x => x + val;

        Console.WriteLine(internalAdd(10));

        val = 30;
        Console.WriteLine(internalAdd(10));

        return internalAdd;
    }
}

上述代码的执行流程是Main函数调用GetClosureFunction函数，GetClosureFunction返回了委托internalAdd并被当即执行了。

输出结果依次为20、40、60

对应到一开始提出的闭包的概念。这个委托internalAdd就是一个闭包，引用了外部函数GetClosureFunction做用域中的变量val。

注意：internalAdd有没有被当作返回值和闭包的定义无关。就算它没有被返回到外部，它依旧是个闭包。

三、 理解闭包的实现原理

咱们来分析一下这段代码的执行过程。在一开始，函数GetClosureFunction内定义了一个局部变量val和一个利用lamdba语法糖建立的委托internalAdd。

第一次执行委托internalAdd 10 + 10 输出20

接着改变了被internalAdd引用的局部变量值val，再次以相同的参数执行委托，输出40。显然局部变量的改变影响到了委托的执行结果。

GetClosureFunction将internalAdd返回至外部，以30做为参数，去执行获得的结果是60，和val局部变量最后的值30是一致的。

val 做为一个局部变量。它的生命周期本应该在GetClosureFunction执行完毕后就结束了。为何还会对以后的结果产生影响呢?

咱们能够经过反编译来看下编译器为咱们作的事情。

为了增长可读性，下面的代码对编译器生成的名字进行修改，并对代码进行了适当的整理。

class Program
{
    sealed class DisplayClass
    {
        public int val;

        public int AnonymousFunction(int x)
        {
            return x + this.val;
        }
    }

    static void Main(string[] args)
    {
        Console.WriteLine(GetClosureFunction()(30));
    }

    static Func<int, int> GetClosureFunction()
    {
        DisplayClass displayClass = new DisplayClass();
        displayClass.val = 10;
        Func<int, int> internalAdd = displayClass.AnonymousFunction;

        Console.WriteLine(internalAdd(10));

        displayClass.val = 30;
        Console.WriteLine(internalAdd(10));

        return internalAdd;
    }
}

编译器建立了一个匿名类（若是不须要建立闭包，匿名函数只会是与GetClosureFunction生存在同一个类中，而且委托实例会被缓存，参见clr via C# 第四版362页），并在GetClosureFunction中建立了它实例。局部变量其实是做为匿名类中的字段存在的。

四、 C#7对于不做为返回值的闭包的优化

若是在vs2017中编写第二节的代码。会获得一个提示，询问是否把lambda表达式（匿名函数）托转为本地函数。本地函数是c#7提供的一个新语法。那么使用本地函数实现闭包又会有什么区别呢?

若是仍是第二节那样的代码，改为本地函数，查看IL代码。实际上不会发生任何变化。

class Program
{
    static void Main(string[] args)
    {
        Console.WriteLine(GetClosureFunction()(30));
    }

    static Func<int, int> GetClosureFunction()
    {
        int val = 10;
        int InternalAdd(int x) => x + val;

        Console.WriteLine(InternalAdd(10));

        val = 30;
        Console.WriteLine(InternalAdd(10));

        return InternalAdd;
    }
}

可是当internalAdd不须要被返回时，结果就不同了。

下面分别来看下匿名函数和本地函数建立不做为返回值的闭包的时候演示代码及经整理的反编译代码。

匿名函数

static void GetClosureFunction()
{
    int val = 10;
    Func<int, int> internalAdd = x => x + val;

    Console.WriteLine(internalAdd(10));

    val = 30;
    Console.WriteLine(internalAdd(10));
}

经整理的反编译代码

sealed class DisplayClass
{
    public int val;

    public int AnonymousFunction(int x)
    {
        return x + this.val;
    }
}

static void GetClosureFunction()
{
    DisplayClass displayClass = new DisplayClass();
    displayClass.val = 10;
    Func<int, int> internalAdd = displayClass.AnonymousFunction;

    Console.WriteLine(internalAdd(10));

    displayClass.val = 30;
    Console.WriteLine(internalAdd(10));
}

本地函数

class Program
{
    static void Main(string[] args)
    {
    }

    static void GetClosureFunction()
    {
        int val = 10;
        int InternalAdd(int x) => x + val;

        Console.WriteLine(InternalAdd(10));

        val = 30;
        Console.WriteLine(InternalAdd(10));
    }
}

经整理的反编译代码

// 变化点1：由原来的class改成了struct
struct DisplayClass
{
    public int val;

    public int AnonymousFunction(int x)
    {
        return x + this.val;
    }
}

static void GetClosureFunction()
{
    DisplayClass displayClass = new DisplayClass();
    displayClass.val = 10;

    // 变化点2：再也不构建委托实例，直接调用值类型的实例方法
    Console.WriteLine(displayClass.AnonymousFunction(10));

    displayClass.val = 30;
    Console.WriteLine(displayClass.AnonymousFunction(10));
}

上述这两点变化在必定程度上可以带来性能的提高，目前的理解是，用结构体代替类，结构体实例可以在方法跑完后就当即释放，不须要等待垃圾回收，因此在官方的推荐中，若是委托的使用不是必要的，更推荐使用本地函数而非匿名函数。

若是本博客描述的内容存在问题，但愿你们可以提出宝贵的意见。坚持写博客，从这一篇开始。