Java 消除空值检查会导致错误代码吗？

Question

最近，我读了here关于 JVM 优化，非常棒，
但我有一个优化问题，即空检查消除(或不常见陷阱)

总而言之，空检查消除删除了if (obj == null) ...并希望得到最好的结果，而if遇到了段错误 它重新编译代码，这次包括被忽略的 if (obj == null) ...。

我的问题是，鉴于:

bool foo(MyClass obj)
{
   if(obj == null)
      return false;
   m_someVar++;
   obj.doSomething(m_someVar);
}

因为 Null-Check 已被消除，并且仅在 m_someVar++ 之后才需要。
当 c 为空时 foo 会额外执行 m_someVar++ 一次吗？

编辑:

是否有一些来源可以更深入地解释此优化的实现，从而解释此优化如何使代码在语义上保持相同？

谢谢

Answer 1

有很多可能性可以避免这个问题:延迟或撤消增量已经在评论中提到了。 JVM 有一大堆技巧，其中一些技巧适用:

• 何时 obj.doSomething(m_someVar)是非虚拟方法调用( private 或 final 方法，或从未重写的方法)，那么它可能需要显式 null 检查(*)，因为不会有 SEGV，但必须在之前抛出 NPE的电话。我假设该方法未内联，否则应在内联后应用此分析。
• 何时 obj.doSomething(m_someVar)是一个虚拟方法调用，那么你必须执行“方法调度”，即类似obj.getClass().getPointerToMethod("doSomething(int)")的东西以确定调用什么具体方法。我写了“类似的东西”，因为这样做实际上非常耗时，并且会尽可能地进行优化。这个调度可以移动到增量之上，它本身会抛出一个 NPE，如果 obj恰好是null .
• 如果幸运的话，调度可能看起来像 if (obj.getClass() != MyClass.class) uncommon_trap(); ，这是最简单的情况(称为“单态调用站点”)，但即使这也涉及取消引用 obj然后您再次获得 null 的 NPE .

<小时/>

(*) 空检查可能类似于 obj.getClass()在汇编程序中，它是从相对于 obj 的固定偏移量加载的单个指令。指针。当obj == null然后就会出现一个未映射的页面。