新版C#编译器关于函数闭包的一处更改
感谢@DiryBoy的补充,他提到这个问题在MSDN上是有说明的:
http://msdn.microsoft.com/en-us/library/vstudio/hh678682.aspx
在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(, ).ToList<int>();
using (List<int>.Enumerator CS$$ = list.GetEnumerator())
{
while (CS$$.MoveNext())
{
RoutedEventHandler CS$<>9__CachedAnonymousMethodDelegate2 = null;
<>c__DisplayClass3 CS$<>8__locals4 = new <>c__DisplayClass3();
CS$<>8__locals4.i = CS$$.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(, ).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#编译器关于函数闭包
新版C#编译器关于函数闭包的一处更改 在Visual Basic.NET中,如果你写下类似下面的代码: Public Sub Test() For i = 0 To 100 Dim func = ...
- 速战速决 (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语言本身是没有面向对象的,但是那些大神们却深深的模拟出来了面向对象,让我震撼不已.本篇博客就是在此基础上加上自己的认知, ...
随机推荐
- maven权威指南学习笔记(二)——安装、运行、获取帮助
这部分在网上很容易找到详细教程,这里就略写了. 基础:系统有配置好的jdk,通过 命令行 java -version,有类似下面的提示,表示java环境以配好 下载maven:官网 http://ma ...
- WCF 学习篇
写在前面 自从运用了.NET Remoting 之后,就想系统的学习下WCF,因为WCF是对现有分布式通信技术的整合.主要以 <WCF全面解析> 这本书为主,园子的资料和网上资料为辅,来学 ...
- c语言快速入门3
如果你想快速入门计算机,可以参考我的上一篇帖子,先了解一些必备的软知识,然后再来进行语言的快速入门 计算机入门基础知识 c语言快速入门1 c语言快速入门2 3.4.1 字符和字符串 字符:'' 单个 ...
- UVALive 2453 Wall (凸包)
题意:给你一个多边形的城堡(多个点),使用最短周长的城墙将这个城堡围起来并保证城墙的每个点到城堡上的每个点的距离都不小于l 题解:因为两点间的直线一定比折线短,所以这样做 先使用所有点求得一个凸包,接 ...
- JavaScript高级程序设计-(3) 变量、作用域和内存问题
传递参数 ECMAScript所有函数参数都是按值传递的,即使对象在函数内部修改了参数的值,原始的引用任然不变,局部对象在函数执行完毕后被销毁
- 【Asp.Net MVC】日常---路由
想要这样的路由 不带id:http://test.mymong.com/Home/List.html 带id:http://test.mymong.com/Home/Del/561755ba3af24 ...
- dedecms为文档页增加动态点击
加上 <script src="{dede:field name='phpurl'/}/count.php?view=yes&aid={dede:field name='id' ...
- Maven打包生成可运行bat/sh脚本文件
利用Maven的appassembler-maven-plugin插件,就可以实现自动打包可运行的脚本,还可以跨平台. <plugin> <groupId>org ...
- iOS Real Stuff
Ray Wenderlich AppCoda(English) AppCoda(TW) Awesome iOS Code4App代码库 CocoaChina代码库 o ...
- lamp
Linux+Apache+Mysql/MariaDB+Perl/PHP/Python一组常用来搭建动态网站或者服务器的开源软件,本身都是各自独立 的程序,但是因为常被放在一起使用,拥有了越来越高的 ...