C# 这个编译器生成的枚举数是什么意思？

我编写了一个相当复杂的方法，可以返回

IEnumerable

，但当我在Reflector中检查编译器输出时，我不理解编译器生成的

IEnumerator

实现的特定部分：

void IDisposable.Dispose()
{
    switch (this.<>1__state)
    {
        case 1:
        case 2:
        case 3:
            switch (this.<>1__state) // empty switch! why?!
            {
            }
            break;

        default:
            return;
            try   // What?! AFTER return?!
            {
            }
            finally // is the try-finally block anyhow relevant?
            {
                this.<>m__Finallya();
            }
            break;
    }
    this.<>m__Finally7();
}

我可以说C#编译器很愚蠢（可能有点愚蠢）。在运行时进行JIT时，这段代码也很可能看起来非常不同（所有讨厌的垃圾都被忽略）

---

不管怎样，你可能熟悉状态机？当您用C#（yield stuff）编写生成器时，您告诉编译器发出一个匿名类型，该类型将该生成器实现为一个状态机。这是一种很好的形式化方法，可以验证。这可能就是它看起来如此的原因。

这只是为了跟上已生成的IL（因为迭代器块不必与“正常”C相关，只要它们是有效的IL）。特别是，

ret

位于

finally

块之后。

您还没有显示原始迭代器块的外观，但我对反射程序和编译器生成的代码的经验是，它并不总是能够完全准确地反编译，因为编译器使用了一些在C#中没有等价物的IL

---

我有一个可能对您有所帮助的示例，但是我不会太担心编译后的代码是什么样子的。在某些情况下，C#编译器几乎肯定会生成不必要的代码，因为这样可以使编译器更简单。迭代器块必须非常棘手才能正确使用（使用finally块和迭代器处理可能会变得非常复杂）因此，我认为相信JIT可以优化掉不必要的位，比如生成代码中的开关/大小写，这是合理的。

您可以相当肯定编译器/是/愚蠢的，因为所有程序都相当愚蠢。（这是哥德尔不完全性定理的推论）

.method private hidebysig newslot virtual final 
        instance void  System.IDisposable.Dispose() cil managed
{
  .override [mscorlib]System.IDisposable::Dispose
  // Code size       69 (0x45)
  .maxstack  2
  .locals init ([0] int32 CS$0$0000,
           [1] int32 CS$0$0001)
  IL_0000:  ldarg.0
  IL_0001:  ldfld      int32 FBD.TIP.Reader.MissingMessagesReader/'<GetMissingMessages>d__0'::'<>1__state'
  IL_0006:  stloc.0
  IL_0007:  ldloc.0
  IL_0008:  ldc.i4.1
  IL_0009:  sub
  IL_000a:  switch     ( 
                        IL_001c,
                        IL_001c,
                        IL_001c)
  IL_001b:  ret
  IL_001c:  ldarg.0
  IL_001d:  ldfld      int32 FBD.TIP.Reader.MissingMessagesReader/'<GetMissingMessages>d__0'::'<>1__state'
  IL_0022:  stloc.1
  IL_0023:  ldloc.1
  IL_0024:  ldc.i4.2
  IL_0025:  sub
  IL_0026:  switch     ( 
                        IL_0035,
                        IL_0035)
  IL_0033:  br.s       IL_003e
  .try
  {
    IL_0035:  leave.s    IL_003e
  }  // end .try
  finally
  {
    IL_0037:  ldarg.0
    IL_0038:  call       instance void FBD.TIP.Reader.MissingMessagesReader/'<GetMissingMessages>d__0'::'<>m__Finallya'()
    IL_003d:  endfinally
  }  // end handler
  IL_003e:  ldarg.0
  IL_003f:  call       instance void FBD.TIP.Reader.MissingMessagesReader/'<GetMissingMessages>d__0'::'<>m__Finally7'()
  IL_0044:  ret
} // end of method '<GetMissingMessages>d__0'::System.IDisposable.Dispose