C#语法糖系列 —— 第三篇:聊聊闭包的底层玩法

有朋友好奇为什么将 闭包 归于语法糖,这里简单声明下,C# 中的所有闭包最终都会归结于 方法,为什么这么说,因为 C# 的基因就已经决定了,如果大家了解 CLR 的话应该知道, C#中的最终都会用 MethodTable 来承载,方法都会用 MethodDesc 来承载, 所以不管你怎么玩都逃不出这三界之内。

这篇我们就来聊聊C#中的闭包底层原理及玩法,表面上的概念就不说了哈。

一:普通闭包玩法

1. 案例演示

放了方便说明,先上一段测试代码:

static void Main(string[] args){int y = 10;Func<int, int> sum = x =>{return x + y;};Console.WriteLine(sum(11));}

刚才也说了,C#的基因决定了最终会用 classmethod闭包 进行面向对象改造,那如何改造呢?这里有两个问题:

  • 匿名方法如何面向对象改造

方法 不能脱离 而独立存在,所以 编译器 必须要为其生成一个类,然后再给匿名方法配一个名字即可。

  • 捕获到的 y 怎么办

捕获是一个很抽象的词,一点都不接底气,这里我用 面向对象 的角度来解读一下,这个问题本质上就是 栈变量堆变量 混在一起的一次行为冲突,什么意思呢?

  1. 栈变量

大家应该知道 栈变量 所在的帧空间是由 espebp 进行控制,一旦方法结束,esp 会往回收缩造成局部变量从栈中移除。

  1. 堆变量

委托是一个引用类型,它是由 GC 进行管理回收,只要它还被人牵着,自然就不会被回收。

到这里我相信你肯定发现了一个严重的问题, 一旦 sum 委托逃出了方法,这时局部变量 y 肯定会被销毁,如果真的被销毁了, 后续再执行 sum 委托自然就是一个巨大的bug,那怎么办呢?

编译器自然早就考虑到了这种情况,它在进行面向对象改造的时候,特意为 定义了一个 public 类型的字段,用这个字段来承载这个局部变量。

2. 手工改造

有了这些多前置知识,我相信你肯定会知道如何改造了,参考代码如下:

class Program{static void Main(string[] args){int y = 10;//Func<int, int> sum = x =>//{//    return x + y;//};//面向对象改造FuncClass funcClass = new FuncClass() { y = y };Func<int, int> sum = funcClass.Run;Console.WriteLine(sum(11));}}public class FuncClass{public int y;public int Run(int x){return x + y;}}

如果你不相信的话,可以看下 MSIL 代码。

.method private hidebysig static void Main (string[] args) cil managed 
{// Method begins at RVA 0x2050// Code size 43 (0x2b).maxstack 2.entrypoint.locals init ([0] class ConsoleApp1.Program/'<>c__DisplayClass0_0' 'CS$<>8__locals0',[1] class [System.Runtime]System.Func`2<int32, int32> sum)IL_0000: newobj instance void ConsoleApp1.Program/'<>c__DisplayClass0_0'::.ctor()IL_0005: stloc.0IL_0006: nopIL_0007: ldloc.0IL_0008: ldc.i4.s 10IL_000a: stfld int32 ConsoleApp1.Program/'<>c__DisplayClass0_0'::yIL_000f: ldloc.0IL_0010: ldftn instance int32 ConsoleApp1.Program/'<>c__DisplayClass0_0'::'<Main>b__0'(int32)IL_0016: newobj instance void class [System.Runtime]System.Func`2<int32, int32>::.ctor(object, native int)IL_001b: stloc.1IL_001c: ldloc.1IL_001d: ldc.i4.s 11IL_001f: callvirt instance !1 class [System.Runtime]System.Func`2<int32, int32>::Invoke(!0)IL_0024: call void [System.Console]System.Console::WriteLine(int32)IL_0029: nopIL_002a: ret
} // end of method Program::Main.class nested private auto ansi sealed beforefieldinit '<>c__DisplayClass0_0'extends [System.Runtime]System.Object
{.custom instance void [System.Runtime]System.Runtime.CompilerServices.CompilerGeneratedAttribute::.ctor() = (01 00 00 00)// Fields.field public int32 y// Methods.method public hidebysig specialname rtspecialname instance void .ctor () cil managed {// Method begins at RVA 0x2090// Code size 8 (0x8).maxstack 8IL_0000: ldarg.0IL_0001: call instance void [System.Runtime]System.Object::.ctor()IL_0006: nopIL_0007: ret} // end of method '<>c__DisplayClass0_0'::.ctor.method assembly hidebysig instance int32 '<Main>b__0' (int32 x) cil managed {// Method begins at RVA 0x209c// Code size 14 (0xe).maxstack 2.locals init ([0] int32)IL_0000: nopIL_0001: ldarg.1IL_0002: ldarg.0IL_0003: ldfld int32 ConsoleApp1.Program/'<>c__DisplayClass0_0'::yIL_0008: addIL_0009: stloc.0IL_000a: br.s IL_000cIL_000c: ldloc.0IL_000d: ret} // end of method '<>c__DisplayClass0_0'::'<Main>b__0'} // end of class <>c__DisplayClass0_0

二:循环下闭包玩法

为了方便说明,还是先上一段代码。

static void Main(string[] args){var actions = new Action[10];for (int i = 0; i < actions.Length; i++){actions[i] = () => Console.WriteLine(i);}foreach (var item in actions) item();}

然后把代码跑起来:

302aaa1ad3dc6101710b7f047854e616.png

我相信有非常多的朋友都踩过这个坑,那为什么会出现这样的结果呢?我试着从原理上解读一下。

1. 原理解读

根据前面所学的 面向对象 改造法,我相信大家肯定会很快改造出来,参考代码如下:

class Program{static void Main(string[] args){var actions = new Action[10];for (int i = 0; i < actions.Length; i++){//actions[i] = () => Console.WriteLine(i);//改造后var funcClass = new FuncClass() { i = i };actions[i] = funcClass.Run;}foreach (var item in actions) item();}}public class FuncClass{public int i;public void Run(){Console.WriteLine(i);}}

然后跑一下结果:

ed32e567bb3a20da4655f77afecdb934.png

真奇葩,我们的改造方案一点问题都没有,咋 编译器 就弄不对呢?要想找到案例,只能看 MSIL 啦,简化后如下:

IL_0001: ldc.i4.s 10IL_0003: newarr [System.Runtime]System.ActionIL_0008: stloc.0IL_0009: newobj instance void ConsoleApp1.Program/'<>c__DisplayClass0_0'::.ctor()IL_000e: stloc.1IL_000f: ldloc.1IL_0010: ldc.i4.0IL_0011: stfld int32 ConsoleApp1.Program/'<>c__DisplayClass0_0'::iIL_0016: br.s IL_003e// loop start (head: IL_003e)IL_0018: nopIL_0019: ldloc.0...// end loop

如果有兴趣大家可以看下完整版,它的实现方式大概是这样的。

static void Main(string[] args){var actions = new Action[10];var funcClass = new FuncClass();for (int i = 0; i < actions.Length; i++){actions[i] = funcClass.Run;funcClass.i = i + 1;}foreach (var item in actions) item();}
6e5c9e0606b23c25d272af40684219cc.png

原来问题就出在了它只 new 了一次,同时 for 循环中只是对  i 进行了赋值,导致了问题的发生。

2. 编译器的想法

为什么编译器会这么改造代码,我觉得可能基于下面两点。

  • 不想 new 太多的类实例

new一个对象,其实并没有大家想象的那么简单,在 clr 内部会分 快速路径慢速路径,同时还为此导致 GC 回收,为了保存一个变量 需要专门 new 一个实例,这代价真的太大了。。。

  • 有更好的解决办法

更好的办法就是用 方法参数 ,方法的字节码是放置在 CLR 的 codeheap 上,独此一份,同时方法参数只是在上多了一个存储空间而已,这代价就非常小了。

三:代码改造

知道编译器的苦衷后,改造起来就很简单了,大概有如下两种。

1. 强制 new 实例

这种改造法就是强制在每次 for 中 new 一个实例来承载 i 变量,参考代码如下:

static void Main(string[] args){var actions = new Action[10];for (int i = 0; i < actions.Length; i++){var j = i;actions[i] = () => Console.WriteLine(j);}foreach (var item in actions) item();}
599a47671daa8ddd9263078adcde8c3f.png

2. 采用方法参数

为了能够让 i 作为方法参数,只能将 Action 改成 Action<int>,虽然你可能要为此掉头发,但对程序性能来说是巨大的,参考代码如下:

static void Main(string[] args){var actions = new Action<int>[10];for (int i = 0; i < actions.Length; i++){actions[i] = (j) => Console.WriteLine(j);}for (int i = 0; i < actions.Length; i++){actions[i](i);}}
5a236cd72174b08b00debee6384a02a3.png

好了,洋洋洒洒写了这么多,希望对大家有帮助。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/288146.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

空间数据库Spatial Tools的使用

工具下载:http://www.sharpgis.net/page/SQL-Server-2008-Spatial-Tools 该工具为绿色版,点击即可使用。 1、导入Shapefile数据 双击“Shape2Sql.exe”,打开界面如下: 2、查询空间数据 双击打开“SqlSpatial.exe”

自定义View 进度条

1.在values下面新建一个attrs.xml&#xff0c;现在里面定义我们的自定义属性&#xff0c; <?xml version"1.0" encoding"utf-8"?> <resources><declare-styleable name"RoundProgressBar"><attr name"roundColor&qu…

python图形绘制库turtle中文开发文档及示例大全【最详细、连结果图都有,gif格式的!】

前言 本文参考&#xff1a;Python库官方文档 本文例子摘抄自Python库官方文档&#xff0c;为了方便讲解&#xff0c;个人进行了修改&#xff0c;并且相关函数说明不完全参照文档&#xff0c;在结果处贴出了执行结果&#xff0c;不方便用jpg等图片作为展示的用了gif格式图片进行…

oracle 事务_从Oracle到PG-PostgreSQL的MVCC机制简介

作者&#xff1a;甘植恳-AkenPostgreSQL和Oracle、MySQL等RDBMS一样&#xff0c;都有自己的并发控制机制。而并发控制的目的是为了在多个事务同时运行时保持事务ACID属性。MVCC即Multi-version concurrence control首字母缩写&#xff0c;MVCC会为每个数据更改操作创建数据块或…

【Microstation】不能从对话框中装载/创建类型为 ‘HTML‘,id =41510001 的对话框条目,该对话框为: “文本编辑器 - 字处理器“,GCSDIALOG 已装载。

在Win7上安装MicroStation V8i简体中文版,在添加文字图层的时候,点击出现提示“不能从对话框中装载/创建类型为 HTML,id =41510001 的对话框条目,该对话框为: "文本编辑器 - 字处理器",GCSDIALOG 已装载。”,问题出在Win7对该软件的兼容性上。 MS软件提供了三种…

fastdfs 一个group内实现按照不同的项目,指定路径存储.

为什么80%的码农都做不了架构师&#xff1f;>>> 环境介绍: 1: 公司目前有5个项目 A B C D E 日后可能会有所增加. 2: 使用fastdfs存储这5各项目的文件,要求各各项目的文件分开存储,也就是每个项目的文件存储到一个固定的位置. 3: 三台机器ip地址分配如下 tracker…

一个WPF开发的打印对话框-PrintDialogX

今天五月一号&#xff0c;大家玩的开心哦。1. 介绍今天介绍一个WPF开发的打印对话框开源项目-PrintDialogX[1]&#xff0c;该开源项目由《WPF开源项目&#xff1a;AIStudio.Wpf.AClient》[2]作者推荐。欢迎使用 PrintDialogX, 这是一个开源项目。免费用于商业用途。用于 C# 的自…

这一新的可视化方法教你优雅地探索相关性

一个古老的诅咒一直萦绕着数据分析&#xff1a;我们用来改进模型的变量越多&#xff0c;那么我们需要的数据就会出现指数级的增长。不过&#xff0c;我们通过关注重要的变量就可以避免欠拟合以及降低收集大量数据的需求。减少输入变量的一种方法是鉴别其对输出变量的影响。变量…

【新手宝典】一篇博文带萌新建站并了解建站体系流程和对萌新友好的便捷方式,这篇博文很有可能是你的启蒙文

前言 本片博文主要面向于还没接触过web开发的萌新&#xff0c;以及想知道整体流程并且完成建站的萌新&#xff1b;如果你是个大佬&#xff0c;就没必要看下去了。 本篇博文没有难啃的骨头&#xff0c;请各位萌新放心食用。 本篇博文采用通俗易懂的方式讲解&#xff0c;轻松并…

MicroStation V8i简体中文版中文字体乱码解决办法

Bentley (奔特力)是一家软件研发公司,其核心业务是满足负责建造和管理全球基础设施,包括公路、桥梁、机场、摩天大楼、工业厂房和电厂以及公用事业网络等领域专业人士的需求。Bentley 在基础设施资产的整个生命周期内针对不同的职业,包括工程师、建筑师、规划师、承包商、…

惠普ProDesk行业专用台式机U盘不识别解决办法

惠普ProDesk行业专用台式机在使用的过程当中&#xff0c;老出现插入U盘不识别的问题&#xff0c;总是需要在重启的过程中插入U盘才能使用U盘&#xff0c;解决办法是&#xff1a;&#xff08;1&#xff09;打开设备管理器&#xff0c;如下图所示&#xff1a;&#xff08;2&#…

【一】Windows API 零门槛编程指南——MessageBox 基本使用及基础讲解

本篇作为Windows API 系列文章的第一篇&#xff0c;将简要的讲解一下什么是Windows API&#xff0c;Windows API能做些什么&#xff0c;并且尽可能讲解一些新出现的专有名词&#xff1b;本系列博文几乎没有难啃的“专业术语”&#xff0c;尽量让读者能够看明白文章所述内容&…

中国人工智能学会通讯——基于视频的行为识别技术 1.1 什么是行为

今天跟大家分享的主题是基于视频的 行为识别领域研究&#xff0c;主要介绍一下早期 的非深度学习传统方法和近期深度学习 方法取得的结果。深度学习方法带来了 非常大的变革&#xff0c;提升了识别系统的性能&#xff0c; 但这并不意味着我们把传统的东西都要 抛弃&#xff0c;…

Windows 11 22H2 22610 重磅发布!删除水印,多彩任务管理器,文件资源管理器深度优化...

面向 Dev 和 Beta 频道的 Windows 预览体验成员&#xff0c;微软现已发布 Windows 11 22H2 预览版 Build 22610。主要变化1.微软现已更新 Windows 11 任务管理器的进程页面&#xff0c;将随着 Windows 主题颜色而变化。2.微软现已更新锁屏上的电池图标&#xff0c;适配 Windows…

一篇文教你使用python Turtle库画出“精美碎花小清新风格树”快来拿代码!

Turtle库手册可以查询查询 python图形绘制库turtle中文开发文档及示例大全&#xff0c;手册中现有示例&#xff0c;不需要自己动手就可以查看演示。 文章修改记录 修改记录 1&#xff1a;2020年5月17日 12:06:51 由于某些童鞋回复说自己会卡死&#xff0c;请把代码&#xff…

阿里云500服务器内部错误,腾讯云服务器网站不能打开 提示内部错误http 500

满意答案2010qqww2015.11.14采纳率&#xff1a;55% 等级&#xff1a;9已帮助&#xff1a;13114人实服务器内部500错误大概可分为两种&#xff0c;一种是服务器本身权限问题&#xff0c;另一种是程序上不规范或者错误造成。所以要解决此问题需要先弄清楚其到底是哪种原因&…

Hadoop(四)C#操作Hbase

HbaseHbase是一种NoSql模式的数据库&#xff0c;采用了列式存储。而采用了列存储天然具备以下优势&#xff1a;可只查涉及的列&#xff0c;且列可作为索引&#xff0c;相对高效针对某一列的聚合及其方便同一列的数据类型一致&#xff0c;方便压缩同时由于列式存储将不同列分开存…

【二】Windows API 零门槛编程指南——CreateWindow 窗口创建 “万字长篇专业术语全解”

本系列博文几乎没有难啃的“专业术语”&#xff0c;尽量让读者能够看明白文章所述内容&#xff0c;是本系列博文的核心宗旨之一。&#xff08;由于本人也是由于项目需要&#xff0c;所以才来查阅相关资料&#xff0c;文中出现的错误欢迎指出&#xff0c;共同进步&#xff01;谢…

一行命令 优化上传速度

本文来自 fir.im 首席吉祥物 TraWor. 最近许多用户反映上传速度慢的一塌糊涂&#xff0c;七牛的上传带宽我想肯定是没问题的&#xff0c;那原因不必多想就剩下 DNS 了。 即便本地网络再快&#xff0c;DNS 服务器给了一个很远的服务器地址也没办法很快的上传。 在终端运行这一行…

go 服务器 源码,LollipopGo开源游戏服务器框架--global服务器源码

大家好&#xff0c;我是彬哥&#xff0c;本节给大家讲下LollipopGov1.0.20190102版本游戏服务器globla服务器&#xff0c;抛砖引玉了&#xff0c;主要是针对Go语言游戏服务器Global服务器处理。package mainimport ("LollipopGo/LollipopGo/conf""LollipopGo/Lo…