Java类文件规范语句

Question

Java类文件规范规定：

代码数组给出了实现该方法的Java虚拟机代码的实际字节。

当代码数组读入字节可寻址机器上的内存时，如果数组的第一个字节在4字节边界上对齐，那么表开关和查找开关32位偏移量将是4字节对齐的。（有关代码数组对齐结果的更多信息，请参阅这些说明的说明。）(https://docs.oracle.com/javase/specs/jvms/se7/html/jvms-4.html#jvms-4.7.3)

我该如何解释这句话？

这两条说明的维基百科页面提到：(https://en.wikipedia.org/wiki/Java_bytecode_instruction_listings)

表切换附加字节：

4:[0–3字节填充]、defaultbyte1、defaultbyte2、defaultbyte3、defaultbyte4、lowbyte1、lowbyte2、lowbyte3、lowbyte4、highbyte1、highbyte2、highbyte3、highbyte4、跳转偏移量。。。

Lookupswitch附加字节：

4：

我认为是

Answer 1

tableswitch和lookupswitch指令被定义为具有0到3字节的填充，这取决于它们在方法字节码中的偏移量。填充的实际定义见第6.5节，其中列出了每个指令的格式。

紧跟在lookupswitch操作码之后，0到3个字节之间必须充当填充，这样defaultbyte1从一个地址开始，该地址距离当前方法（其第一条指令的操作码）的开头是4个字节的倍数。

您突出显示的声明解释了这种设计选择的动机，否则这可能看起来很奇怪或毫无意义。

这允许更高效地实现Java解释器，因为如果以4字节对齐的地址加载代码，则可以通过对齐访问读取交换表中的偏移量和键。

当然，这在今天已经不那么重要了，因为我们有很好的JIT，但在Java的早期，JVM可能是作为一个幼稚的解释器实现的，这将在性能上产生巨大的差异。