发现.net 4关于编译匿名函数的一个BUG

测试环境：

Windows 7 中文版

Visual Studio 2010 英文版 10.0.31118.1 SPRel

.net 4.0.30319 sp1Rel 英文版

BUG描述：

在一个循环中，如果循环内部创建了一个实例级的匿名委托，并让此委托持有一个实例，最后将此委托放入数组。

那么运行时的效果是：数组中的所有委托均指向同一个实例。

论证：

建立控制台应用程序，.net版本为4.0。

1 using System;
2   using System.ComponentModel;
3
4   namespace LambdaTest
5 {
6 class Program
7 {
8 static void Main( string [] args)
9 {
10 var temp = GetConverter();
11
12 }
13
14 public static Func < object , object > [] GetConverter()
15 {
16 Func < object , object > [] converters = new Func < object , object > [ 5 ];
17 Property p;
18 Func < object , object > func;
19
20 for ( int i = 0 ; i < 5 ; i ++ )
21 {
22 p = new Property() { Name = " P " + i.ToString() };
23 func = (v) => p.Converter.ConvertTo(v, typeof (Int64));
24 converters[i] = func;
25 }
26
27 return converters;
28 }
29 }
30
31 class Property
32 {
33 public Property()
34 {
35 // test
36   this .Converter = new Int64Converter();
37 }
38 public string Name;
39
40 public virtual TypeConverter Converter { get ; private set ; }
41 }
42 }

在第25行设置断点，会发现，当i = 0时，其委托的目标对象的Name = "P0"，但当i=1时，你会发现数组中，位置0的对象其目标属性Name 变更为Name = "P1"，未达到我们预想的，每个委托挂接不同的实例。

分析：

通过反编译工具查看，（调整Reflector的选项，设置优化为 none）。

1 public static unsafe Func < object , object > [] GetConverter()
2 {
3 Func < object , object > [] converters;
4 Func < object , object > func;
5 int i;
6 Property <> g__initLocal0;
7 Func < object , object > CS$ <> 9__CachedAnonymousMethodDelegate2;
8 <> c__DisplayClass3 CS$ <> 8__locals4;
9 CS$ <> 9__CachedAnonymousMethodDelegate2 = null ;
10 CS$ <> 8__locals4 = new <> c__DisplayClass3();
11 converters = new Func < object , object > [ 5 ];
12 i = 0 ;
13 goto Label_0058;
14 Label_0015:
15 <> g__initLocal0 = new Property();
16 <> g__initLocal0.Name = " P " + & i.ToString();
17 CS$ <> 8__locals4.p = <> g__initLocal0;
18 if (CS$ <> 9__CachedAnonymousMethodDelegate2 != null )
19 {
20 goto Label_004D;
21 }
22 CS$ <> 9__CachedAnonymousMethodDelegate2 = new Func < object , object > (CS$ <> 8__locals4. < GetConverter > b__1);
23 Label_004D:
24 func = CS$ <> 9__CachedAnonymousMethodDelegate2;
25 converters[i] = func;
26 i += 1 ;
27 Label_0058:
28 if (i < 5 )
29 {
30 goto Label_0015;
31 }
32 return converters;
33 }

我发现编译器错误的进行了优化，仅在第一次创建委托实例（第18行），而此委托持有的实例p（第17行），在循环中不断改变。

我记忆中，C#的编译器在处理静态方法时，有时候的确会作此优化，之前也看过其他的反编译，当时还觉得编译器真聪明。根据此观点，我将函数改为实例级的，还是不行。

继续，通过将程序23行修改，改为调用一个方法获取委托：

func = GetFunc(p)

其GetFunc(p)定义如下：

1 public static Func < object , object > GetFunc(Property p)
2 {
3 return (v) => p.Converter.ConvertTo(v, typeof (Int64));
4 }

通过此改动，编译器编译的结果正确。