共享一个类的离散匿名方法？

我在玩埃里克·利珀特的Ref<T>班级来自here https://stackoverflow.com/questions/2980463/how-do-i-assign-by-reference-to-a-class-field-in-c/2982037#2982037。我在 IL 中注意到，两个匿名方法看起来都在使用相同的生成类，尽管这意味着该类有一个额外的变量。

虽然只使用一个新的类定义似乎有些合理，但令我感到非常奇怪的是，只有一个实例<>c__DisplayClass2被建造。这似乎意味着这两个实例Ref<T>引用相同的<>c__DisplayClass2这是不是意味着y无法收集，直到vart1被收集，这可能发生得晚得多joik回报？毕竟，不能保证某些白痴不会编写直接访问的函数（直接在 IL 中）y通过vart1 aftrer joik返回。也许这甚至可以通过反射来完成，而不是通过疯狂的 IL。

sealed class Ref<T>
{
    public delegate T Func<T>();
    private readonly Func<T> getter;
    public Ref(Func<T> getter)
    {
        this.getter = getter;
    }
    public T Value { get { return getter(); } }
}

static Ref<int> joik()
{
    int[] y = new int[50000];
    int x = 5;
    Ref<int> vart1 = new Ref<int>(delegate() { return x; });
    Ref<int[]> vart2 = new Ref<int[]>(delegate() { return y; });
    return vart1;
}

运行 IL DASM 确认vart1 and vart2都用过<>__DisplayClass2，其中包含 x 和 y 的公共字段。 joik的IL：

.method private hidebysig static class Program/Ref`1<int32> 
        joik() cil managed
{
  // Code size       72 (0x48)
  .maxstack  3
  .locals init ([0] class Program/Ref`1<int32> vart1,
           [1] class Program/Ref`1<int32[]> vart2,
           [2] class Program/'<>c__DisplayClass2' '<>8__locals3',
           [3] class Program/Ref`1<int32> CS$1$0000)
  IL_0000:  newobj     instance void Program/'<>c__DisplayClass2'::.ctor()
  IL_0005:  stloc.2
  IL_0006:  nop
  IL_0007:  ldloc.2
  IL_0008:  ldc.i4     0xc350
  IL_000d:  newarr     [mscorlib]System.Int32
  IL_0012:  stfld      int32[] Program/'<>c__DisplayClass2'::y
  IL_0017:  ldloc.2
  IL_0018:  ldc.i4.5
  IL_0019:  stfld      int32 Program/'<>c__DisplayClass2'::x
  IL_001e:  ldloc.2
  IL_001f:  ldftn      instance int32 Program/'<>c__DisplayClass2'::'<joik>b__0'()
  IL_0025:  newobj     instance void class Program/Ref`1/Func`1<int32,int32>::.ctor(object,
                                                                                    native int)
  IL_002a:  newobj     instance void class Program/Ref`1<int32>::.ctor(class Program/Ref`1/Func`1<!0,!0>)
  IL_002f:  stloc.0
  IL_0030:  ldloc.2
  IL_0031:  ldftn      instance int32[] Program/'<>c__DisplayClass2'::'<joik>b__1'()
  IL_0037:  newobj     instance void class Program/Ref`1/Func`1<int32[],int32[]>::.ctor(object,
                                                                                        native int)
  IL_003c:  newobj     instance void class Program/Ref`1<int32[]>::.ctor(class Program/Ref`1/Func`1<!0,!0>)
  IL_0041:  stloc.1
  IL_0042:  ldloc.0
  IL_0043:  stloc.3
  IL_0044:  br.s       IL_0046
  IL_0046:  ldloc.3
  IL_0047:  ret
} // end of method Program::joik

是的，匿名方法的 MS 实现有效地在需要从中捕获变量的每一级范围创建一个隐藏类，并捕获all该范围内的相关变量。我相信这样做是为了简单起见，但它确实会不必要地增加某些对象的寿命。

每个匿名方法都会更优雅only捕获它真正感兴趣的变量。然而，这可能会使生命相当更复杂......如果捕获一个匿名方法x and y, 捕获一个x和一个被俘获的y，你需要三个类：一个用于捕获x, 一个用于捕获y，以及一个用于组合两者的（但是not只是有两个变量）。棘手的一点是，对于任何单个变量实例化，该变量都需要恰好存在于一个位置，以便引用它的所有内容都看到相同的值，无论它发生什么变化。

这并没有以任何方式违反规范，但它可能被认为是不幸的——我不知道它是否真的在现实生活中咬过人，但这当然是可能的。

好消息是，如果 C# 团队决定改进这一点，他们应该能够以完全向后兼容的方式做到这一点，除非某些布偶relying生命周期被不必要地延长。