C#由变量捕获引起对闭包的思考

简介: 前言 偶尔翻翻书籍看看原理性的东西确实有点枯燥,之前有看到园中有位园友说到3-6年工作经验的人应该了解的.NET知识,其中就有一点是关于C#中的闭包,其实早之前在看书时(之前根本不知道C#中还有闭包这一说)看到对于闭包的内容篇幅很少而且介绍的例子一看就懂(最终也就是有个印象而已),反正工作又用不到来让你去实现闭包,于是乎自己心存侥幸心理,这两天心血来潮再次翻了翻书想仔细研究一番(或许是出于内心的惶恐吧,工作几年竟然不知道闭包,就算知道而且仅止于了解,你是在自欺欺人么),紧接着就查了下资料来研究研究这个东西,若有错误之处,请指出。

前言

偶尔翻翻书籍看看原理性的东西确实有点枯燥,之前有看到园中有位园友说到3-6年工作经验的人应该了解的.NET知识,其中就有一点是关于C#中的闭包,其实早之前在看书时(之前根本不知道C#中还有闭包这一说)看到对于闭包的内容篇幅很少而且介绍的例子一看就懂(最终也就是有个印象而已),反正工作又用不到来让你去实现闭包,于是乎自己心存侥幸心理,这两天心血来潮再次翻了翻书想仔细研究一番(或许是出于内心的惶恐吧,工作几年竟然不知道闭包,就算知道而且仅止于了解,你是在自欺欺人么),紧接着就查了下资料来研究研究这个东西,若有错误之处,请指出。

话题

首先来我们来看看委托的演变进化史,有人问了,本节的主题不是【C#由变量捕获引起对闭包的思考】?哦,看的还仔细,是的,咱能别着急么,又有人问了,你之前不是写过有关委托的详细介绍么,哦,看来还是我的粉丝知道的还挺多,但是这个介绍侧重点不同啦,废话少来,进入主题才是真理。

C#1.0之delegate

我们今天知道过来一个列表可以通过lamda如where或者predicate来实现,而在C#1.0中我们必须来写一个方法来实现predicate的逻辑,紧接着创建委托实例是通过指定的方法名来创建。我们来创建一个帮助类(ListUtil),如下:

/// <summary>
    /// 操作list帮助类
    /// </summary>
    static class ListUtil
    {
        /// <summary>
        /// 创建一个predicate
        /// </summary>
        public static IList<T> Filter<T>(IList<T> source, Predicate<T> predicate)
        {
            List<T> ret = new List<T>();
            foreach (T item in source)
            {
                if (predicate(item))
                {
                    ret.Add(item);
                }
            }
            return ret;
        }

        /// <summary>
        ///遍历列表并在控制台上进行打印
        /// </summary>
        public static void Dump<T>(IList<T> list)
        {
            foreach (T item in list)
            {
                Console.WriteLine(item);
            }
            Console.ReadKey();
        }
    }

同时给出一个测试数据:

    static class SampleData
    {
        public static readonly IList<string> Words =
            new List<string> { "the", "quick", "brown", "fox", "jumped",
             "over", "the", "lazy", "dog" }.AsReadOnly();    
    }

现在我们要做的是返回其长度小等于4的字符串并打印,给出长度小于4的方法:

        static bool MatchFourLettersOrFewer(string item)
        {
            return item.Length <= 4;
        }

下面我们在控制台调用上述方法来进行过滤:

  Predicate<string> predicate = new Predicate<string>(MatchFourLettersOrFewer);
            IList<string> shortWords = ListUtil.Filter(SampleData.Words, predicate);
            ListUtil.Dump(shortWords);

结果打印如下:

上述一切都是so easy!当我们利用委托来实现时只是简单的进行一次调用不会多次用到,为了精简代码,此时匿名方法出现在C# 2.0.

C#2.0之delegate 

上述在控制台进行调用方法我们稍作修改即可达到同样效果,如下:

            Predicate<string> predicate = 
                delegate(string item) 
                {
                    return item.Length <= 4;
                };
            IList<string> shortWords = ListUtil.Filter(SampleData.Words, predicate);
            ListUtil.Dump(shortWords);

好了,到了这里貌似有点浪费篇幅,到这里我们反观上述代码,对于predicate中过滤数据长度都是硬编码,缺少点什么,我们首先要讲的是闭包,那对于闭包需要的可以基本概括为:闭包是函数与其引用环境组合而成的实体(来源于:你必须知道的.NET)。我们可以将其理解为函数与上下文的综合。我们需要来通过手动输入过滤数据的长度来给出一个上下文。我们给出一个过滤长度的类(VariableLengthMather):

    public class VariableLengthMatcher
    {
        int maxLength;

        /// <summary>
        /// 将手动输入的数据进行传递
        /// </summary>
        /// <param name="maxLength"></param>
        public VariableLengthMatcher(int maxLength)
        {
            this.maxLength = maxLength;
        }

        /// <summary>
        /// 类似于匿名方法
        /// </summary>
        public bool Match(string item)
        {
            return item.Length <= maxLength;
        }
    }

下面我们来进行手动输入调用以此来过滤数据:

            Console.Write("Maximum length of string to include? ");
            int maxLength = int.Parse(Console.ReadLine());

            VariableLengthMatcher matcher = new VariableLengthMatcher(maxLength);
            Predicate<string> predicate = matcher.Match;
            IList<string> shortWords = ListUtil.Filter(SampleData.Words, predicate);
            ListUtil.Dump(shortWords);

演示如下:

接着我们将上述控制台代码进行如下改造:

            Console.Write("Maximum length of string to include? ");
            int maxLength = int.Parse(Console.ReadLine());
            VariableLengthMatcher matcher = new VariableLengthMatcher(maxLength);
            Predicate<string> predicate = matcher.Match;
            IList<string> shortWords = ListUtil.Filter(SampleData.Words, predicate);
            ListUtil.Dump(shortWords);
            Console.WriteLine("Now for words with <= 5 letters:");
            maxLength = 5;
            shortWords = ListUtil.Filter(SampleData.Words, predicate);
            ListUtil.Dump(shortWords);

我们只是将maxLength值改变了下,再次进行打印,演示结果如下:

C#3.0之delegate

为了更好的演示代码,我们利用C#3.0中lamda表达式来进行演示,我们继续接着上述来讲,当我们将maxLength修改为5时,此时过滤的数据和4一样,此时我们利用匿名方法或者lamda表达式同样进行如上演示,如下。

            Console.Write("Maximum length of string to include? ");
            int maxLength = int.Parse(Console.ReadLine());

            Predicate<string> predicate = item => item.Length <= maxLength;
            IList<string> shortWords = ListUtil.Filter(SampleData.Words, predicate);
            ListUtil.Dump(shortWords);

            Console.WriteLine("Now for words with <= 5 letters:");
            maxLength = 5;
            shortWords = ListUtil.Filter(SampleData.Words, predicate);
            ListUtil.Dump(shortWords);

看看演示结果:

从上述演示结果可以看出此时的maxLength为5,当然打印过滤的结果则不一样,这个时候就得说到第一个话题【变量捕获】。在C# 2.0和3.0中的匿名方法和lambda表达式都能捕获到本地变量。

那么问题来了,什么是变量捕获呢?我们怎么去理解呢?

我们接下来利用lambda表达式再来看一个例子:

            var name = "cnblogs";
            Func<String> capture = () => name;
            name = "xpy0928";
            Print(capture);
        static void Print(Func<string> capture)
        {
            Console.WriteLine(capture());
            Console.ReadKey();
        }

那么打印的结果将会是什么呢?cnblogs?xpy0928?

name被捕获,当本地变量发生改变时lambda也同样作出对应的改变(因lambda会延迟执行),所以会输出xpy0928。那么编译器到底做了什么才使得输出xpy0928呢?编译器内部将上述代码进行了大致如下转换。

    public class Capture
    {
        public string name;
        public string printName()
        {
            return this.name;
        }
    }
    var capture = new Capture();
    capture.name = "cnblogs";
    capture.name = "xpy0928";
    Print(capture.printName);

到了这里想必我们能够理解了捕获变量的意义lambda始终指向当前对象中的name值即对象中的引用始终存在于lamda中。

接下来就要说到闭包,在此之前一直在讨论变量捕获,因为闭包产生的源头就是变量捕获。(个人理解,若有错误请指正)。

变量捕获的结果就是编译器将产生一个对象并将该局部变量提升为实例变量从而达到延长局部变量的生命周期,存储到的这个对象叫做所谓的闭包。

上述这句话又是什么意思?我们再来看一个例子:

            List<Func<int>> funcs = new List<Func<int>>();

            for (int j = 0; j < 10; j++)

                funcs.Add(() => j);

            foreach (Func<int> func in funcs)

                Console.WriteLine(func());
            Console.ReadKey();

有人说上述例子就是闭包,对,是闭包且结果返回10个10,恩完事!不能就这样吧,我们还得解释清楚。我们一句一句来看。

  funcs.Add(() => j);

()=>j代表什么意思,来我们来看看之前lambda表示式的六部进化曲:

实例化一个匿名委托并返回j值,注意这里说()=>j是返回变量j的当前值而非返回值j。返回的匿名委托为一个匿名类并访问此类中的属性j(为什么说返回的匿名委托为一个匿名类,请看此链接:http://www.cnblogs.com/jujusharp/archive/2011/08/04/C-Sharp-And-Closure.html) 。好说完这里,我们再来解释为什么打印10个10?

此时创建的每个匿名委托都捕获了这个变量j,所以每个匿名委托即匿名类保持了对字段j的引用,当for循环完毕时即10时此时字段值全变为10,直到j不被匿名委托所引用,j才会被垃圾回收器回收。

我们再来看看对上述进行修改:

            List<Func<int>> funcs = new List<Func<int>>();

            for (int j = 0; j < 10; j++)
            {

                int tempJ = j;

                funcs.Add(() => tempJ);

            }
            foreach (Func<int> func in funcs)
                Console.WriteLine(func());
            Console.ReadKey();

很明显将输出0-9因为此时创建了一个临时变量tempJ,当每次进行迭代时匿名委托即lambda捕获的是不同的tempJ,所以此时能按照我们预期所输出。

我们再来看一种情况:

             for (int j = 0; j < 10; j++)
            {
                Func<int> fun = () => j;
                Console.WriteLine(fun());

            }

此时还是正常输出0-9,因为此时lambda表达式每次迭代完立即执行,而不像第一个例子直到延迟到循环到10才开始进行所有的lambda执行。

总结 

闭包概念:闭包允许你将一些行为封装,将它像一个对象一样传来递去,而且它依然能够访问到原来第一次声明时的上下文。这样可以使控制结构、逻辑操作等从调用细节中分离出来。

作用:(1)利于代码精简。(2)利于函数编程。(3)代码安全。

参考资料:

C# in Depth:http://csharpindepth.com/Articles/Chapter5/Closures.aspx

Variable Capture in C# with Anonymous Delegates:http://www.digitallycreated.net/Blog/34/variable-capture-in-c%23-with-anonymous-delegates

Understanding Variable Capturing in C#:https://blogs.msdn.microsoft.com/matt/2008/03/01/understanding-variable-capturing-in-c/

C#与闭包:http://www.cnblogs.com/jujusharp/archive/2011/08/04/C-Sharp-And-Closure.html 

【温馨提示】:无法看清演示?上述图片现已添加点击放大查看功能。

目录
相关文章
|
数据可视化 虚拟化 图形学
Autocad软件2018版本下载安装教程——全版本安装包获取教程
Autocad软件2018版本下载安装教程——全版本安装包获取教程
819 0
|
机器学习/深度学习 自动驾驶 人机交互
深度学习之虚拟人类行为模拟
基于深度学习的虚拟人类行为模拟是指使用深度学习技术来模仿和预测虚拟环境中人类的行为,从而创建逼真的、智能化的虚拟角色。
234 4
|
10月前
|
机器学习/深度学习 人工智能 搜索推荐
医疗领域的人工智能:诊断和治疗的革命
医疗领域的人工智能:诊断和治疗的革命
395 84
|
10月前
|
SQL 人工智能 分布式计算
MaxFrame 产品深度评测
本文全面评测了 MaxFrame,这款新兴的 Python 分布式计算框架,涵盖其在分布式 Pandas 处理、大语言模型数据处理等方面的优势。通过实际案例和用户体验,展示了 MaxFrame 在企业业务和个人学习中的重要作用,并与其他工具进行了对比,指出了其优点和改进空间。
|
10月前
|
机器学习/深度学习 人工智能 搜索推荐
AI技术在医疗领域的应用与前景####
本文深入探讨了人工智能(AI)技术在医疗健康领域中的多维度应用,从疾病诊断、个性化治疗到健康管理,展现了AI如何革新传统医疗模式。通过分析当前实践案例与最新研究成果,文章揭示了AI技术提升医疗服务效率、精准度及患者体验的巨大潜力,并展望了其在未来医疗体系中不可或缺的地位。 ####
|
测试技术 持续交付 UED
提升软件测试效率的三大策略
【10月更文挑战第5天】 在软件开发过程中,测试是一个至关重要的环节。本文将探讨三个有效提升软件测试效率的策略:自动化测试、持续集成和探索性测试。通过这些方法,我们可以大幅度提高测试的效率和效果,从而保障软件质量。
232 3
|
前端开发 图形学 异构计算
Unity优化之Drawcall
Unity优化之Drawcall
937 0
|
SQL 机器学习/深度学习 存储
什么是spark?通俗易懂,一文读懂
什么是spark?通俗易懂,一文读懂
704 0
什么是spark?通俗易懂,一文读懂
|
Android开发 iOS开发 MacOS
阿里云盘分享功能来了,免费领128G永久容量
阿里云盘上线测试已经有一段时间了,主打不限速下载,今天,阿里云盘分享功能正式公测了。
5906 0
阿里云盘分享功能来了,免费领128G永久容量
|
人工智能 移动开发 自然语言处理
天猫精灵AliGenie-技能开发体验
以往,对于天猫精灵的理解,更多的是居于方糖音响产品。然而,它的语音交互功能才是王炸,尤其是在可以自定义交互语言的情况下!以下便是基于开发者平台展示的简单操作,此次展示的是作为个人使用,因此完全可以零基础操作。
1534 0
天猫精灵AliGenie-技能开发体验