是否有任何用于 JVM 的编译器使用“宽”转到?
我想你们大多数人都知道这是Java语言中的保留关键字,但实际上并没有使用。您可能还知道这是一个Java虚拟机(JVM)操作码。我认为Java,Scala和Kotlin的所有复杂的控制流结构都是在JVM级别使用和,,等的某种组合来实现的。goto
goto
goto
ifeq
ifle
iflt
看看JVM规范 https://docs.oracle.com/javase/specs/jvms/se7/html/jvms-6.html#jvms-6.5.goto_w 我看到还有一个操作码。而采用 2 字节的分支偏移量,而采用 4 字节的分支偏移量。规范指出goto_w
goto
goto_w
尽管goto_w指令采用 4 字节的分支偏移,但其他因素将方法的大小限制为 65535 字节 (§4.11)。此限制可能会在 Java 虚拟机的未来版本中提高。
在我看来,这听起来像是面向未来的,就像其他一些操作码一样。但是我也想到,也许可以与两个更重要的字节清零和两个不太重要的字节一起使用,与 for 相同,并根据需要进行调整。goto_w
*_w
goto_w
goto
例如,给定这个Java Switch-Case(或Scala Match-Case):
12: lookupswitch {
112785: 48 // case "red"
3027034: 76 // case "green"
98619139: 62 // case "blue"
default: 87
}
48: aload_2
49: ldc #17 // String red
51: invokevirtual #18
// Method java/lang/String.equals:(Ljava/lang/Object;)Z
54: ifeq 87
57: iconst_0
58: istore_3
59: goto 87
62: aload_2
63: ldc #19 // String green
65: invokevirtual #18
// Method java/lang/String.equals:(Ljava/lang/Object;)Z
68: ifeq 87
71: iconst_1
72: istore_3
73: goto 87
76: aload_2
77: ldc #20 // String blue
79: invokevirtual #18
// etc.
我们可以将其重写为
12: lookupswitch {
112785: 48
3027034: 78
98619139: 64
default: 91
}
48: aload_2
49: ldc #17 // String red
51: invokevirtual #18
// Method java/lang/String.equals:(Ljava/lang/Object;)Z
54: ifeq 91 // 00 5B
57: iconst_0
58: istore_3
59: goto_w 91 // 00 00 00 5B
64: aload_2
65: ldc #19 // String green
67: invokevirtual #18
// Method java/lang/String.equals:(Ljava/lang/Object;)Z
70: ifeq 91
73: iconst_1
74: istore_3
75: goto_w 91
79: aload_2
81: ldc #20 // String blue
83: invokevirtual #18
// etc.
我实际上还没有尝试过这个,因为我可能犯了一个错误,更改了“行号”以适应s。但是由于它在规范中,因此应该可以做到这一点。goto_w
我的问题是,编译器或其他字节码生成器是否可能使用当前的65535限制,而不是表明它可以完成?goto_w