1

对于以下 Java 类:

public class ArtClass {
   public boolean foo(int x) {
      if(x == 3956681)
        return true;
      else if(x == 9855021)
        return true;
      else if(x == 63085561)
          return true;
      else
        return false;
   }
}

它的JVM指令是:

I4 Branch 1 IF_ICMPNE L3
I13 Branch 2 IF_ICMPNE L5
I22 Branch 3 IF_ICMPNE L7

我知道第一个分支在第三行,第二个和第三个分支也一样,但是是什么意思,还有IF_ICMPNE什么意思?I4I13I22

4

2 回答 2

7

这是javap -c为您的类生成的输出(javap是每个标准 JDK 附带的工具):

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

  public boolean foo(int);
    Code:
       0: iload_1
       1: ldc           #2                  // int 3956681
       3: if_icmpne     8
       6: iconst_1
       7: ireturn
       8: iload_1
       9: ldc           #3                  // int 9855021
      11: if_icmpne     16
      14: iconst_1
      15: ireturn
      16: iload_1
      17: ldc           #4                  // int 63085561
      19: if_icmpne     24
      22: iconst_1
      23: ireturn
      24: iconst_0
      25: ireturn
}

所有指令的含义已在Java® 虚拟机规范的“指令集”一章中指定。if_icmpne指令弹出两个int值,c o mp是它们,如果相等则跳转到指定的目标。

的输出javap非常清楚,分支指令指定了哪些目标,因为它们与每条指令之前打印的数字相匹配。

如果您使用不同的工具产生不同的输出,您必须参考该工具的文档,了解如何破译输出。与javap's 的输出相比,这些前缀I4也表示字节码偏移量,但没有进一步的上下文,例如查看该方法的其他指令,这是毫无意义的。

于 2019-01-29T16:30:02.627 回答
2

这里有一个文档:http ://homepages.inf.ed.ac.uk/kwxm/JVM/if_icmpne.html

if_icmpne

Description: 

jump to label if the two integer refs are not equal
于 2019-01-29T16:05:55.007 回答