（编译器） else if（true） vs else scenario

if-statement java language-lawyer compiler-construction

2022-09-02 00:52:09

采用以下 Java 代码片段：

....
    else if (true){ //hard-coded as true
     ///launch methodA
    }
    else {
     ///launch methodA (same code as in the ` else if ` statement)
    }
....

我想知道的是编译器如何处理这个问题。编译器完全删除该语句以不必执行检查，即使它被硬编码为true，这难道不是合乎逻辑的吗？特别是在Eclipse中，如何解释上面的代码？else if(true)

或者在以下情况下呢：

....
    else if (true){ //hard-coded as true
     ///launch methodA
    }
    else {
     ///launch methodBB
    }
....

在这种情况下，编译器删除该语句难道不是合乎逻辑的吗？因为在运行时，该语句是无法访问的。elseelse

答案 1

无法访问的语句在 Java 中是被禁止的，并且必须触发编译错误。JLS 定义了什么是无法访问的语句：https://docs.oracle.com/javase/specs/jls/se7/html/jls-14.html#jls-14.21

它太长了，不能在这里完全引用，但这里有一个摘录（强调我的）：

if (false) { x=3; }
不会导致编译时错误。优化编译器可能会意识到语句 x=3;将永远不会被执行，并且可能会选择从生成的类文件中省略该语句的代码，但语句 x=3;不被视为此处指定的技术意义上的“无法访问”。

这种不同处理的基本原理是允许程序员定义“标志变量”，例如：
static final boolean DEBUG = false;
然后编写代码，例如：
if (DEBUG) { x=3; }
这个想法是，应该可以将DEBUG的值从false更改为true或从true更改为false，然后正确编译代码，而无需对程序文本进行其他更改。

因此，答案将取决于您使用的编译器及其优化选项。

答案 2

编译器在编译时将其优化：

public class Test {
    public static void main(String[] args) {
    if(true) {
        System.out.println("Hello");
    } else {
        System.out.println("Boom");
    }
}

给我（用我的）：Java 1.8.0_45

Compiled from "Test.java"
public class Test {
  publicTest();
    Code:
       0: aload_0
       1: invokespecial #1        // Method java/lang/Object."<init>":()V
       4: return

  public static void main(java.lang.String[]);
    Code:
       0: getstatic     #2        // Field java/lang/System.out:Ljava/io/PrintStream;
       3: ldc           #3        // String Hello
       5: invokevirtual #4        // Method java/io/PrintStream.println:(Ljava/lang/String;)V
       8: return
}

代码只是打印。甚至没有考虑。HelloBoom

所有最近的Java编译器在编译时都消除了死代码。