在类文件的字节码中,根据javap -c ...
,有一段代码负责初始化类中的静态字段。但是,有两个 if 语句,ifne
和 ifeq
,它们放在一起:
27: ifne 120
30: ifeq 119
初始化 block 位于偏移量 37 和 115 之间,需要它来初始化类中包含的静态变量。我的理解是ifne
如果栈上的值不为0就会分支,ifeq
如果栈上的值为0就会分支,也就是说它会分支不管。
我的问题是:如果这些分支只是简单地跳过了初始化 block ,为什么稍后才初始化变量?我找不到 block 的任何分支,那么如果代码在其他地方分支,它怎么能运行呢?
编辑:更多字节码
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
最佳答案
Java 不是我最强的 VM,但我大致了解操作码。
27: ifne 120
30: ifeq 119
条件分支从堆栈弹出顶部值。所以这不是无条件分支,它是基于 2 个不同(连续)堆栈值的 2 条分支指令。简而言之,它消耗 2 个不同的值。
因此,如果堆栈中有 0 和 1,它会在没有分支的情况下落空。
此外,静态字段初始化不能保证立即执行,我的 JVM 规范(旧规范)表示它将延迟执行,在第一次非常量访问该类时。这可能与您的问题无关,但值得一提。
最后但同样重要的是,并非所有字节码都是有效的。混淆器将插入无法访问、冗余或定义为“混淆”的无效/死代码。
关于跳过 Java 初始化字节码,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/25251529/