if(a&&b) 是否应该比 if(a) if(b) 花费更多的时间？

Question

我使用以下简单的逻辑来回答这样一个question：

1:   if(a)        // 1 operation
2:   if (b)       // 1 operation

和

1:  if(a && b) // 1, 1(&&), 1 => 3 operations. 

因此，2 个操作对 3 个，但在第一个示例中，编译器需要调用另一条指令来执行。

这个逻辑是真的吗？ 它取决于编译器吗？ 调用像 ; 这样的空指令会花费编译器一些显着的时间吗？

This 也讨论了同样的问题，但没有考虑这个逻辑。 请帮助我们澄清这个问题。

Answer 1

有两种方法可以准确地回答这样的问题：

1.) 查看 IL 代码（和/或）汇编代码生成并计算执行此代码所需的 CPU 周期（提示：这不适合初学者）

2.) 构建一个小测试程序，它会大量执行这两种变体，使用 StopWatch() 创建一个有用且可读的计时输出，运行几次。

3.) 推测一下你认为编译器的优化步骤能做什么，这个软件会做什么，和别人争论几个小时

Answer 2

我假设编译器会为您的两种情况生成相同的字节码。所以我用两个不同的源文件对此进行了测试：

public class Test1 {    
  public static void main(String[] args) {
    if (args[0].equals("a"))
      if (args[1].equals("b"))
        System.out.println("Foo");
  }    
}

还有……

public class Test2 {    
  public static void main(String[] args) {
    if (args[0].equals("a") && args[1].equals("b"))
      System.out.println("Foo");
  }    
}

用javap -c Test1等检查它们的字节码，结果是一样的：

公共静态无效主（java.lang.String[]）； 代码： 0：aload_0 1：iconst_0 2：加载 3: ldc #2 // 字符串 a 5: invokevirtual #3 // 方法 java/lang/String.equals:(Ljava/lang/Object;)Z 8：如果当量 30 11：加载_0 12：iconst_1 13：加载 14: ldc #4 // 字符串 b 16: invokevirtual #3 // 方法 java/lang/String.equals:(Ljava/lang/Object;)Z 19：如果当量 30 22: getstatic #5 // 字段 java/lang/System.out:Ljava/io/PrintStream; 25: ldc #6 // 字符串 Foo 27: invokevirtual #7 // 方法 java/io/PrintStream.println:(Ljava/lang/String;)V 30：返回

因此，性能将是相同的。虽然如果有人能想到一个产生不同字节码的例子，我欢迎 cmets。

我的结果是使用 Java 1.7 中的 Oracle 的 javac。其他编译器的结果可能会有所不同，尽管我怀疑它们不会适用于这种情况。

Answer 3

有两种方法可以考虑您的问题：

1. Java 语言定义

   • 语言定义第二个示例将使用短路执行，这意味着如果if 语句包含任何代码，第二个示例可能会执行得更快

2. JVM 优化

   • JVM 运行时将删除死代码块，如果它可以证明它们没有任何副作用