这些操作码是做什么用的？

Question

使用反射器我得到以下输出：

.method private hidebysig static class myModelTestarea.Foo Method() cil managed
{
  .maxstack 1
  .locals init ([0] class myModelTestarea.Foo CS$1$0000)
  L_0000: nop 
  L_0001: ldc.i4.0 
  L_0002: newarr object
  L_0007: call object myModelTestarea.Program::Resolve(object[])
  L_000c: castclass myModelTestarea.Foo
  L_0011: stloc.0 
  L_0012: br.s L_0014
  L_0014: ldloc.0 
  L_0015: ret 
}

为

private static Foo Method()
{
  return (Foo)Resolve();
}

private static object Resolve( params object[] args )
{
  return new Foo();
}

第 11-14 行有什么作用？我调用一个函数并得到一个结果（第 7 行）。我将结果转换为正确的返回类型（c 行） - 为什么不立即返回？

不知何故，转换后的结果被存储为一个局部变量——然后无条件跳转到下一行，再次加载局部变量。为什么？

在我看来第 11-14 行和局部变量可以省略...？

Answer 1

这看起来像一个 DEBUG 构建，它留下了额外的 IL 来帮助调试器。在 RELEASE 中再试一次，它应该看起来更干净，有优化等。

.method private hidebysig static class program/Foo Method() cil managed
{
    .maxstack 8
    L_0000: ldc.i4.0 
    L_0001: newarr object
    L_0006: call object program::Resolve(object[])
    L_000b: castclass program/Foo
    L_0010: ret 
}

Answer 2

这是一个调试版本吗？它可能是为了调试器而存在的。

我在其他地方也看到过类似的东西——不过它几乎总是无害的。不要忘记大部分优化是由 JIT 完成的，它可以很容易地注意到这样的事情。唯一的缺点是更多的 IL 向 JIT 提示不应该内联该方法。