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

测试环境：

Windows 7 中文版

Visual Studio 2010 英文版 10.0.31118.1 SPRel

.net 4.0.30319 sp1Rel 英文版

BUG描述：

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

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

论证：

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

using System; 
 using System.ComponentModel; 

 namespace LambdaTest 
{ 
    class Program 
    { 
        static void Main(string[] args) 
        { 
            var temp = GetConverter(); 

        } 

        public static Func<object, object>[] GetConverter() 
        { 
            Func<object, object>[] converters = new Func<object, object>[5]; 
            Property p; 
            Func<object, object> func; 

            for (int i = 0; i < 5; i++) 
            { 
                p = new Property() { Name = "P" + i.ToString() }; 
                func = (v) => p.Converter.ConvertTo(v, typeof(Int64)); 
                converters[i] = func; 
            } 

            return converters; 
        } 
    } 

    class Property 
    { 
        public Property() 
        { 
            //test 
             this.Converter = new Int64Converter(); 
        } 
        public string Name; 

        public virtual TypeConverter Converter { get; private set; } 
    } 
}

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

分析：

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

public static unsafe Func<object, object>[] GetConverter() 
{ 
    Func<object, object>[] converters; 
    Func<object, object> func; 
    int i; 
    Property <>g__initLocal0; 
    Func<object, object> CS$<>9__CachedAnonymousMethodDelegate2; 
    <>c__DisplayClass3 CS$<>8__locals4; 
    CS$<>9__CachedAnonymousMethodDelegate2 = null; 
    CS$<>8__locals4 = new <>c__DisplayClass3(); 
    converters = new Func<object, object>[5]; 
    i = 0; 
    goto Label_0058; 
Label_0015: 
    <>g__initLocal0 = new Property(); 
    <>g__initLocal0.Name = "P" + &i.ToString(); 
    CS$<>8__locals4.p = <>g__initLocal0; 
    if (CS$<>9__CachedAnonymousMethodDelegate2 != null) 
    { 
        goto Label_004D; 
    } 
    CS$<>9__CachedAnonymousMethodDelegate2 = new Func<object, object>(CS$<>8__locals4.<GetConverter>b__1); 
Label_004D: 
    func = CS$<>9__CachedAnonymousMethodDelegate2; 
    converters[i] = func; 
    i += 1; 
Label_0058: 
    if (i < 5) 
    { 
        goto Label_0015; 
    } 
    return converters; 
} 

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

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

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

func = GetFunc(p)

其GetFunc(p)定义如下：

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

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