C＃JIT编译器是否优化空检查？

Question

在线上有许多文章列出了在执行一段代码之前C＃JIT所做的优化。 例如，有关MSDN的这篇文章讨论了：

常量折叠，常量和副本传播，公共子表达式消除，循环不变量的代码运动，死存储和死代码消除，寄存器分配，方法内联，循环展开（带有小主体的小循环）。

我的问题是：JIT编译器还会处理无用的null检查吗？ 我找不到任何来源来处理这个问题。

在同一篇文章中，我读到：

由于C＃语言规范确保对null对象引用的任何调用均引发NullReferenceException，因此每个调用站点都必须确保实例不为null。 这是通过取消引用实例引用来完成的。 如果为null，则将生成一个错误，该错误将变为此异常。

因此，假设我写了一段这样的代码：

if (person != null)
{
    Console.WriteLine(person.Name);
}

person.Name再次调用第二个空检查，这显然是无用的，编译器可以将其删除。 或不？

我读到在Java中这已经完成了（ 这里 ， 这里和这里的许多之间的一些资源）。

如果C＃也这样做，您是否知道一些有关此的源代码或文档？

相反，如果C＃不这样做，您知道为什么吗？ 在Java JIT不会遇到的.NET环境中实现这种功能是否存在固有的困难？

Answer 1

在几种情况下 ，由编译器（Roslyn，而不是Jitter）完成Null检查优化，然后将其完全保存即可。

例如，当您使用? （猫王操作员）。

IL_0006: stloc.0              // Pop a value from stack into local variable 0
IL_0007: ldloc.0              // Load local variable 0 onto stack
IL_0008: brtrue.s IL_000c     // Branch to target if value is non-zero (true), short form
IL_000a: br.s IL_0013         // Branch to target, short form
IL_000c: ldloc.0              // Load local variable 0 onto stack
IL_000d: call instance void Foo::Bar() // Call method indicated on the stack with arguments

另一个示例是这样的代码：

new Bar().Foo();

编译器为该call指令而不是callvirt （这意味着this没有null检查）

在其他情况下，您不能确保this不会为null。

无论如何，空检查确实非常快。