如何让Scala或Java的JVM在运行时移除恒值条件分支？

这个问题问得很实际，刚好我之前也研究过类似的优化场景，咱们一步步说清楚~

首先得区分编译期优化和JIT运行时优化，前者是更彻底的方案，后者是JVM自动做的补充优化：

一、最可靠的方案：用编译期常量直接砍掉分支 #

不管是Java还是Scala，只要把DEBUG定义成编译期常量，编译器会直接在编译阶段就把无效分支从字节码里删掉，根本轮不到运行时JIT来处理。

Java 实现方式 #

把DEBUG声明为static final boolean：

public class DebugDemo {
    // 编译期常量，值固定后不会再变
    private static final boolean DEBUG = false;

    public static void main(String[] args) {
        if (DEBUG) {
            log.debug("hello");
        }
    }
}

编译后你反编译字节码会发现，if (DEBUG)这个分支完全消失了——编译器直接把这段代码当成不存在，连判断逻辑都不会生成。

Scala 实现方式 #

对应Scala里的final val（如果是在伴生对象中，就等价于Java的static final）：

object DebugDemo {
  private final val DEBUG = false

  def main(args: Array[String]): Unit = {
    if (DEBUG) {
      log.debug("hello")
    }
  }
}

同样，Scala编译器会在编译阶段直接移除无效分支，生成的字节码里不会有任何多余的判断逻辑。

二、关于JIT运行时优化的疑问 #

你猜测JIT会移除分支，这个是对的，但有前提：

• 如果DEBUG不是编译期常量（比如只是普通的static boolean或者Scala的var），JVM的JIT编译器（尤其是在-server模式、开启O2优化的情况下）会通过常量折叠、逃逸分析等手段，发现这个变量的值在运行时从未改变，进而把无效分支优化掉。
• 但这种优化不是100%可靠的：如果JIT无法确定变量值是否会被修改（比如变量有被其他线程修改的可能），就不会做这个优化；而且优化需要JVM运行一段时间、收集足够的性能数据后才会触发。

三、要不要给JIT“提示”？ #

其实如果用了编译期常量的方案，完全不需要额外提示——编译器已经帮你把分支删掉了。

如果是用运行时变量的场景，JVM在默认的优化级别（比如-server模式下的O2）会自动处理这类简单的恒值分支，不需要手动加特殊参数。硬要说的话，确保开启了JIT优化（比如不要用-Xint强制解释执行）就够了。

最后补充个小实践：日常用日志框架的时候，比如SLF4J，如果你用if (DEBUG) log.debug("hello")结合编译期常量，比直接调用log.debug("hello")更高效——后者即使日志级别不够，参数的字符串拼接（比如log.debug("hello " + name)）还是会执行，而前者连拼接逻辑都被删掉了。

备注：内容来源于stack exchange，提问作者Егор Лебедев