跳过Java初始化字节码

Question

在类文件的字节码中，根据javap -c ...，有一段代码负责初始化类中的静态字段。但是，有两个if语句ifne和ifeq，它们相互放置：

27: ifne 120
30: ifeq 119

初始化块位于偏移量37和115之间，并且是初始化类中包含的静态变量所必需的。我的理解是，如果堆栈上的值不为0，ifne将分支，如果堆栈上的值为0，则ifeq将分支，这意味着它将分支，无论如何。

我的问题是：如果这些分支简单地跳过初始化块，为什么稍后会初始化变量？我找不到任何分支到块，所以如果代码在其他地方分支，它怎么能运行？

编辑：更多字节码

0: getstatic      #602  // static integer field
3: istore         25
...
25: iload         25
27: ifne          120
30: ifeq          119
33: goto          37
36: athrow
37: new           #6    // class java/io/File
40: dup
41: getstatic     #615  // static string containing filename
...
56: invokespecial #9    // Method java/io/File."<init>":(Ljava/lang/String;)V
...
112: putstatic    #14   // static File referenced later on

Answer 1

Java不是我最强大的虚拟机，但我通常理解操作码。

27: ifne 120
30: ifeq 119

条件分支从堆栈中弹出最高值。所以这不是无条件分支，它是基于2个不同（连续）堆栈值的2个分支指令。简而言之，它消耗了2个不同的值。

因此，如果堆栈上有0和1，那么它将没有分支。

此外，静态字段初始化不能保证立即执行，我所拥有的JVM规范（旧的）说它将在第一次非常规访问类时延迟执行。这可能与您的问题无关，但值得一提。

最后但并非最不重要的是，并非所有字节码都有效。根据定义，混淆器将插入无法访问，冗余或“混淆”的无效/死代码。