c# - 为什么编译器在从方法返回字符串时会创建一条似乎什么都不做的指令？

Question

我正在查看为一个非常简单的方法生成的 IL，因为我想自己做一些反射，我遇到了这个问题的评论中提到的一些东西(但不是问题) : Using Br_S OpCode to point to next instruction using Reflection.Emit.Label没有人回答，我对此感到疑惑。所以...

如果我有这样的方法:

    public string Test()
    {            
        return "hello";
    }

然后我在上面运行 ILDASM 我看到 IL 是这样的:

.method public hidebysig instance string 
        Test() cil managed
{
  // Code size       11 (0xb)
  .maxstack  1
  .locals init ([0] string CS$1$0000)
  IL_0000:  nop
  IL_0001:  ldstr      "hello"
  IL_0006:  stloc.0
  IL_0007:  br.s       IL_0009
  IL_0009:  ldloc.0
  IL_000a:  ret
}

我觉得好奇的部分是:

  IL_0007:  br.s       IL_0009
  IL_0009:  ldloc.0

第一行是做 Unconditional Transfer到第二行。这个操作是什么原因，不是什么都没做吗？

编辑

我的问题似乎措辞不当，因为我想知道的内容有些困惑。最后一句话应该是这样的:

为什么编译器输出这条无条件转移语句，看起来毫无用处？

更新

关于断点的建议让我想到尝试在 Release模式下编译它，果然我感兴趣的部分消失了，IL 变成了这个(这就是为什么我跳枪并认为断点答案是原因):

.method public hidebysig instance string 
        Test() cil managed
{
  // Code size       6 (0x6)
  .maxstack  8
  IL_0000:  ldstr      "hello"
  IL_0005:  ret
} 

“为什么它在那里”的问题仍然在我脑海中浮现——如果它不是编译器始终工作的方式并且它不是出于某些有用的调试原因(比如在某个地方放置断点)为什么要它有没有？

我想答案很可能是:“就是这样，没有充分的理由，这并不重要，因为 JIT 最终会很好地解决所有问题。”

我希望我现在没有问这个，这会毁了我的接受率!! :-)

Answer 1

两条指令中的第一条是 return 语句的标准代码的一部分，第二条指令是该方法的样板代码的一部分。

return 语句将返回值放在局部变量中，然后跳转到方法的退出点:

IL_0001:  ldstr      "hello"
IL_0006:  stloc.0
IL_0007:  br.s       IL_0009

方法的样板代码从局部变量获取返回值，然后退出方法:

IL_0009:  ldloc.0
IL_000a:  ret

在编译器创建的 IL 代码中，一个方法总是有一个导出点。这就是 return 语句跳转到那个位置而不是直接退出函数的原因。 return 语句的代码总是相同的，所以即使跳转到下一条指令，也总是有一个分支。

编译器经常生成看起来效率低下的 IL 代码，因为 JIT 编译器优化了代码。编译器生成未经优化、简单且可预测的代码，这些代码更易于 JIT 编译器优化。