为什么代码生成MSIL类名为<> c__DisplayClass1

Question

我有这样的代码，

private bool MatchingBreak(IEnumerable<CarriagewaySummary> breaks, int startMetres, int divisionPosition) 
    { 
     CarriagewaySummary matchingBreak = breaks.Where(x => 
     { 
      return x.StartMetres == startMetres && x.EndMetres == divisionPosition; 
     }).SingleOrDefault(); 
     return matchingBreak != null; 
    } 

为什么产生在MSIL称为<嵌套类> c__DisplayClass1？

.class nested private auto ansi sealed beforefieldinit <>c__DisplayClass1 
extends object 
{ 
.custom instance void [mscorlib]System.Runtime.CompilerServices.CompilerGeneratedAttribute::.ctor() = (
    01 00 00 00 
) 
// Fields 
.field public int32 startMetres 
.field public int32 divisionPosition 

// Methods 
.method public hidebysig specialname rtspecialname 
    instance void .ctor() cil managed 
{ 
    // Method begins at RVA 0x56fb 
    // Code size 7 (0x7) 
    .maxstack 8 

    IL_0000: ldarg.0 
    IL_0001: call instance void object::.ctor() 
    IL_0006: ret 
} // End of method <>c__DisplayClass1..ctor 

.method public hidebysig 
    instance bool <MatchingBreak>b__0 (
     class TreatmentLengthDynamicSegmentation.Domain.CarriagewaySummary x 
    ) cil managed 
{ 
    // Method begins at RVA 0x5704 
    // Code size 37 (0x25) 
    .maxstack 2 
    .locals init (
     [0] bool 
    ) 

    IL_0000: nop 
    IL_0001: ldarg.1 
    IL_0002: callvirt instance int32 TreatmentLengthDynamicSegmentation.Domain.CarriagewaySummary::get_StartMetres() 
    IL_0007: ldarg.0 
    IL_0008: ldfld int32 class TreatmentLengthDynamicSegmentation.ScriptHelpers.DivisionManager/<>c__DisplayClass1::startMetres 
    IL_000d: bne.un.s IL_001f 
    IL_000f: ldarg.1 
    IL_0010: callvirt instance int32 TreatmentLengthDynamicSegmentation.Domain.CarriagewaySummary::get_EndMetres() 
    IL_0015: ldarg.0 
    IL_0016: ldfld int32 class TreatmentLengthDynamicSegmentation.ScriptHelpers.DivisionManager/<>c__DisplayClass1::divisionPosition 
    IL_001b: ceq 
    IL_001d: br.s IL_0020 
    IL_001f: ldc.i4.0 
    IL_0020: stloc.0 
    IL_0021: br.s IL_0023 
    IL_0023: ldloc.0 
    IL_0024: ret 
} // End of method <>c__DisplayClass1.<MatchingBreak>b__0 

} // End of class TreatmentLengthDynamicSegmentation.ScriptHelpers.DivisionManager/<>c__DisplayClass1 

生成的代码干扰Nitriq代码分析，所以我想明白为什么它存在。

Answer 1

如果你在lambda中使用局部变量，它需要在堆上。 lambda可能在创建它的函数退出后使用。当函数退出时，正常的局部变量（位于堆栈/寄存器上）变为无效，因此它们不能在此处使用。

所以C＃编译器创建一个类来保存捕获的本地变量。那是你看到的那个。

请注意，C＃捕获实际变量，而不是其当前值。所以从概念上讲，它是通过参考获取的。捕获的语义意味着编译器需要为每个作用域创建一个容器对象。

http://csharpindepth.com/Articles/Chapter5/Closures.aspx

---

在你的代码

x => 
    { 
     return x.StartMetres == startMetres && x.EndMetres == divisionPosition; 
    } 

拉姆达使用startMetres和divisionPosition，所以他们都得到捕获，并把该嵌套类。

Answer 2

您正在使用Where扩展方法的lambda表达式，这需要编译器在lambda捕获外部变量时生成类。在这种情况下，捕获参数startMetres和divisionPosition。

你正在看到编译器生成的类来保存捕获的变量。