新版C#编译器关于函数闭包
新版C#编译器关于函数闭包的一处更改
在Visual Basic.NET中,如果你写下类似下面的代码:
Public Sub Test()
For i = 0 To 100
Dim func = Function(x) x * i
Next
End Sub
Visual Studio会给出一个警告,说在lambda表达式(即匿名函数)中直接使用循环变量可能导致意料之外的结果,建议程序员先将循环变量复制一份,然后再使用。
直接使用循环变量究竟会产生什么意外结果呢?本人并没有用VB.NET尝试过,但是在多年的C#开发中屡次碰到类似问题,以至于向下属定下规矩:循环变量用于匿名函数必须复制一份。在C#中,在匿名函数中直接使用循环变量并不会像VB.NET那样给出警告,所以你往往根本不会意识到程序的运行可能与预想不一致。
看下面的例子。创建一个WPF应用程序,在窗口中摆放10个Button,并且写上1-10的数字。我们程序的逻辑很简单,就是当用户单击按钮时,弹出一个消息框,显示所单击按钮上的数字。熟悉WPF和C#函数式语法的童鞋很快就能写出下面的代码。
//MainWindow.xaml
<Window x:Class="CSharpClosureTest.MainWindow"
xmlns="http://schemas.microsoft.com/winfx/2006/xaml/presentation"
xmlns:x="http://schemas.microsoft.com/winfx/2006/xaml"
Title="MainWindow" Height="300" Width="300" Loaded="Window_Loaded">
<StackPanel Name="LayoutRoot">
</StackPanel>
</Window>
//MainWindow.xaml.cs
public partial class MainWindow : Window
{
public MainWindow()
{
InitializeComponent();
}
private void Window_Loaded(object sender, RoutedEventArgs e)
{
AddButtons();
}
private void AddButtons()
{
var list = Enumerable.Range(1, 10).ToList();
foreach (var i in list)
{
Button button = new Button { Content = i };
button.Click += (sender, e) => MessageBox.Show(i.ToString());
LayoutRoot.Children.Add(button);
}
}
}
在这个代码中,很明显,我们在匿名函数中直接使用了循环变量。然而若离开本文的环境,您恐怕很难留意到这个细节。运行程序,将会得到什么结果呢?
我们在VS2012中生成、运行程序。单击一些按钮,似乎程序运行完全正确,没有什么异常情况。
然而,如果你用VS2010打开代码,重新生成并运行,就会发现出问题了。无论你单击哪个按钮,消息框弹出的数字永远是10。
这样的结果令人惊异。相同的代码、相同的.NET Framework版本,仅仅因为在不同的VS版本中编译,程序的运行结果截然不同。
我们知道,.NET框架本身是不理解函数式编程结构的,C#编译器把匿名函数编译成一些名字很怪的嵌套类型,并且把匿名函数上下文中的变量捕获下来,作为嵌套类型的私有成员变量,这就是闭包。闭包变量的捕获发生在编译时。显然,两个C#编译器对闭包变量捕获的处理不同。
为了一探究竟,验证我们的猜测,我们使用Reflector对两个VS生成的exe进行反编译。以下是得到的C#代码,注意我们已经把Reflector优化模式改为.NET1.1版,以便查看匿名函数的真实情况。
VS2012版:
private void AddButtons()
{
List<int> list = Enumerable.Range(1, 10).ToList<int>();
using (List<int>.Enumerator CS$5$0000 = list.GetEnumerator())
{
while (CS$5$0000.MoveNext())
{
RoutedEventHandler CS$<>9__CachedAnonymousMethodDelegate2 = null;
<>c__DisplayClass3 CS$<>8__locals4 = new <>c__DisplayClass3();
CS$<>8__locals4.i = CS$5$0000.Current;
Button <>g__initLocal0 = new Button();
<>g__initLocal0.Content = CS$<>8__locals4.i;
Button button = <>g__initLocal0;
if (CS$<>9__CachedAnonymousMethodDelegate2 == null)
{
CS$<>9__CachedAnonymousMethodDelegate2 = new RoutedEventHandler(CS$<>8__locals4.<AddButtons>b__1);
}
button.Click += CS$<>9__CachedAnonymousMethodDelegate2;
this.LayoutRoot.Children.Add(button);
}
}
}
VS2010版:
private void AddButtons()
{
List<int> list = Enumerable.Range(1, 10).ToList<int>();
using (List<int>.Enumerator enumerator = list.GetEnumerator())
{
RoutedEventHandler handler = null;
<>c__DisplayClass3 class2 = new <>c__DisplayClass3();
while (enumerator.MoveNext())
{
class2.i = enumerator.Current;
Button button2 = new Button();
button2.Content = class2.i;
Button element = button2;
if (handler == null)
{
handler = new RoutedEventHandler(class2.<AddButtons>b__1);
}
element.Click += handler;
this.LayoutRoot.Children.Add(element);
}
}
}
果不其然,二者存在重大差异。在VS2010的结果中,闭包对应的嵌套类型只被实例化了一次,于是在匿名函数执行时,循环变量也就是嵌套类型的私有成员保持了循环最后一次执行时被赋予的值。而在VS2012的结果中,嵌套类型被循环实例化,多个匿名函数各自对应独立的私有成员。
在大多数情况下,你我期望的都会是VS2012给出的直观的结果。我实在想象不出VS2010及之前版本给出的结果有什么应用场景。从这个意义上讲,VS2012的这个改动可以算作一个bug修复。
这个差异是我无意中发现的。当时有一段代码出现了循环变量用于匿名函数的情况,然而我自己忽略了自己定下的规矩,没有复制一份循环变量。由于是VS2012,程序一切正常。当我改用VS2010时,发现程序死活不对。排查了半天,才发现是由于这个坑爹的问题,进而发现VS2012与VS2010表现不同。我认为这个修复具有重大意义,毕竟,留心复制变量是比较别扭的,也容易遗忘。
不过,本人仍有一些疑惑,特在此向广大园友请教。
C#编译器csc.exe是随.NET Framework一同安装的,也就是说,当项目的.NET版本一致时,所使用的编译器应当是同一个。既然如此,又为何会出现不同VS版本编译出的程序不同的情况呢?
新版C#编译器关于函数闭包的更多相关文章
- 新版C#编译器关于函数闭包的一处更改
感谢@DiryBoy的补充,他提到这个问题在MSDN上是有说明的: http://msdn.microsoft.com/en-us/library/vstudio/hh678682.aspx 在Vis ...
- 速战速决 (3) - PHP: 函数基础, 函数参数, 函数返回值, 可变函数, 匿名函数, 闭包函数, 回调函数
[源码下载] 速战速决 (3) - PHP: 函数基础, 函数参数, 函数返回值, 可变函数, 匿名函数, 闭包函数, 回调函数 作者:webabcd 介绍速战速决 之 PHP 函数基础 函数参数 函 ...
- C++编译器的函数名修饰规则
我们知道在C++中有函数重载这样一个东西,当我们定义了几个功能类似且函数名是一样的函数的时候,只要它的参数列表不同,编译是可以通过的,但是在C中是不可以的. double add(double a, ...
- Swift语法基础入门三(函数, 闭包)
Swift语法基础入门三(函数, 闭包) 函数: 函数是用来完成特定任务的独立的代码块.你给一个函数起一个合适的名字,用来标识函数做什么,并且当函数需要执行的时候,这个名字会被用于“调用”函数 格式: ...
- 《JS权威指南学习总结--8.6 函数闭包》
内容要点: 和其他大多数现代编程一样,JS也采用词法作用域,也就是说,函数的执行依赖于变量作用域,这个作用域是在函数定义时决定的,而不是函数调用时决定的. 为了实现这种词法作用域,JS函数对象的内部状 ...
- 三个JS函数闭包(closure)例子
闭包是JS较难分辨的一个概念,我只是按自己的理解写下来,如有不对还请指出. 函数闭包是指当一个函数被定义在另一个函数内部时,这个内部函数使用到的变量会被封闭起来形成一个闭包,这些变量会保持形成闭包时设 ...
- Python基础_函数闭包、调用、递归
这节的主要内容是函数的几个用法闭包,调用.递归. 一.函数闭包 对闭包更好的理解请看:https://www.cnblogs.com/Lin-Yi/p/7305364.html 我们来看一个简单的例子 ...
- JavaScript的函数闭包详细解释
闭包是指有权访问另一个函数作用域中的变量的函数 一.创建闭包的常见的方式: 就是在一个函数内部创建另一个函数,通过另一个函数访问这个函数的局部变量. //通过闭包可以返回局部变量 function b ...
- JavaScript碎片—函数闭包(模拟面向对象)
经过这几天的博客浏览,让我见识大涨,其中有一篇让我感触犹深,JavaScript语言本身是没有面向对象的,但是那些大神们却深深的模拟出来了面向对象,让我震撼不已.本篇博客就是在此基础上加上自己的认知, ...
随机推荐
- 开发现代ASP.NET应用程序
新思想.新技术.新架构——更好更快的开发现代ASP.NET应用程序(续1) 今天在@张善友和@田园里的蟋蟀的博客看到微软“.Net社区虚拟大会”dotnetConf2015的信息,感谢他们的真诚付 ...
- OpenVPN多实例优化的思考过程
1.sss 当构建组件之间的关系已经错综复杂到接近于一张全然图的时候,就要换一个思路了,或者你须要重构整个系统,或者你将又一次实现一个. 2.TAP网卡和TUN网卡 2.1.TAP的优势 1.方便组网 ...
- Theano学习笔记(一)——代数
标量相加 import theano.tensor as T from theano import function x = T.dscalar('x') y = T.dscalar('y') z = ...
- 在线预览Excel
遇到的问题各种多 <system.web> <identity impersonate="true" userName="Administ ...
- jQuery基础---Ajax进阶
原文:jQuery基础---Ajax进阶 内容提纲: 1.加载请求 2.错误处理 3.请求全局事件 4.JSON 和 JSONP 5.jqXHR 对象 发文不易,转载请注明出处! 在 Ajax 基础一 ...
- MVC验证10-到底用哪种方式实现客户端服务端双重异步验证
原文:MVC验证10-到底用哪种方式实现客户端服务端双重异步验证 本篇将通过一个案例来体验使用MVC的Ajax.BeginForm或jQuery来实现异步提交,并在客户端和服务端双双获得验证.希望能梳 ...
- 关于Android开发中导出jar包后的资源使用问题解决
我们经常遇到一个需求,就是给别人使用我们工程的时候,为了能够屏蔽代码,把代码封装成jar包提供给第三方使用,但是这样我们的资源文件怎么给对方用呢? 其实并不用这么的复杂,下面就介绍一下具体的方法 一, ...
- UiAutomator源码分析之注入事件
上一篇文章<UiAutomator源码分析之UiAutomatorBridge框架>中我们把UiAutomatorBridge以及它相关的类进行的描述,往下我们会尝试根据两个实例将这些类给 ...
- HTML 5 在Web SQL 使用演示样本
Web sql 这是一个模拟数据库浏览器.可以使用JS操作SQL完成数据读取和写入,但是这件事情并不多,现在支持的浏览器,而其W3C规格已经停止支持.外形似它的前景不是很亮. W3C 规范:http: ...
- 功能和形式的反思sql声明 一个
日前必须使用sql语句来查询数据库 但每次你不想写一个数据库中读取所以查了下反射 我想用反映一个实体的所有属性,然后,基于属性的查询和分配值 首先,须要一个实体类才干反射出数据库相应的字段, 可是開始 ...