助记符(字节码指令)表

字节码 助记符 指令含义
0x00 nop None
0x01 aconst_null 将null推送至栈顶
0x02 iconst_m1 将int型-1推送至栈顶
0x03 iconst_0 将int型0推送至栈顶
0x04 iconst_1 将int型1推送至栈顶
0x05 iconst_2 将int型2推送至栈顶
0x06 iconst_3 将int型3推送至栈顶
0x07 iconst_4 将int型4推送至栈顶
0x08 iconst_5 将int型5推送至栈顶
0x09 lconst_0 将long型0推送至栈顶
0x0a lconst_1 将long型1推送至栈顶
0x0b fconst_0 将float型0推送至栈顶
0x0c fconst_1 将float型1推送至栈顶
0x0d fconst_2 将float型2推送至栈顶
0x0e dconst_0 将double型0推送至栈顶
0x0f dconst_1 将double型1推送至栈顶
0x10 bipush 将单字节的常量值(-128~127)推送至栈顶
0x11 sipush 将一个短整型常量(-32768~32767)推送至栈顶
0x12 ldc 将int,float或String型常量值从常量池中推送至栈顶
0x13 ldc_w 将int,float或String型常量值从常量池中推送至栈顶(宽索引)
0x14 ldc2_w 将long或double型常量值从常量池中推送至栈顶(宽索引)
0x15 iload 将指定的int型本地变量推送至栈顶
0x16 lload 将指定的long型本地变量推送至栈顶
0x17 fload 将指定的float型本地变量推送至栈顶
0x18 dload 将指定的double型本地变量推送至栈顶
0x19 aload 将指定的引用类型本地变量推送至栈顶
0x1a iload_0 将第一个int型本地变量推送至栈顶
0x1b iload_1 将第二个int型本地变量推送至栈顶
0x1c iload_2 将第三个int型本地变量推送至栈顶
0x1d iload_3 将第四个int型本地变量推送至栈顶
0x1e lload_0 将第一个long型本地变量推送至栈顶
0x1f lload_1 将第二个long型本地变量推送至栈顶
0x20 lload_2 将第三个long型本地变量推送至栈顶
0x21 lload_3 将第四个long型本地变量推送至栈顶
0x22 fload_0 将第一个float型本地变量推送至栈顶
0x23 fload_1 将第二个float型本地变量推送至栈顶
0x24 fload_2 将第三个float型本地变量推送至栈顶
0x25 fload_3 将第四个float型本地变量推送至栈顶
0x26 dload_0 将第一个double型本地变量推送至栈顶
0x27 dload_1 将第二个double型本地变量推送至栈顶
0x28 dload_2 将第三个double型本地变量推送至栈顶
0x29 dload_3 将第四个double型本地变量推送至栈顶
0x2a aload_0 将第一个引用型本地变量推送至栈顶
0x2b aload_1 将第二个引用型本地变量推送至栈顶
0x2c aload_2 将第三个引用型本地变量推送至栈顶
0x2d aload_3 将第四个引用型本地变量推送至栈顶
0x2e iaload 将int型数组指定索引的值推送至栈顶
0x2f laload 将long型数组指定索引的值推送至栈顶
0x30 faload 将float型数组指定索引的值推送至栈顶
0x31 daload 将double型数组指定索引的值推送至栈顶
0x32 aaload 将引用型数组指定索引的值推送至栈顶
0x33 baload 将boolean或byte型数组指定索引的值推送至栈顶
0x34 caload 将char型数组指定索引的值推送至栈顶
0x35 saload 将short型数组指定索引的值推送至栈顶
0x36 istore 将栈顶int型数值存入指定本地变量
0x37 lstore 将栈顶long型数值存入指定本地变量
0x38 fstore 将栈顶float型数值存入指定本地变量
0x39 dstore 将栈顶double型数值存入指定本地变量
0x3a astore 将栈顶引用型数值存入指定本地变量
0x3b istore_0 将栈顶int型数值存入第一个本地变量
0x3c istore_1 将栈顶int型数值存入第二个本地变量
0x3d istore_2 将栈顶int型数值存入第三个本地变量
0x3e istore_3 将栈顶int型数值存入第四个本地变量
0x3f lstore_0 将栈顶long型数值存入第一个本地变量
0x40 lstore_1 将栈顶long型数值存入第二个本地变量
0x41 lstore_2 将栈顶long型数值存入第三个本地变量
0x42 lstore_3 将栈顶long型数值存入第四个本地变量
0x43 fstore_0 将栈顶float型数值存入第一个本地变量
0x44 fstore_1 将栈顶float型数值存入第二个本地变量
0x45 fstore_2 将栈顶float型数值存入第三个本地变量
0x46 fstore_3 将栈顶float型数值存入第四个本地变量
0x47 dstore_0 将栈顶double型数值存入第一个本地变量
0x48 dstore_1 将栈顶double型数值存入第二个本地变量
0x49 dstore_2 将栈顶double型数值存入第三个本地变量
0x4a dstore_3 将栈顶double型数值存入第四个本地变量
0x4b astore_0 将栈顶引用型数值存入第一个本地变量
0x4c astore_1 将栈顶引用型数值存入第二个本地变量
0x4d astore_2 将栈顶引用型数值存入第三个本地变量
0x4e astore_3 将栈顶引用型数值存入第一个本地变四
0x4f iastore 将栈顶int型数值存入指定数组的指定索引位置
0x50 lastore 将栈顶long型数值存入指定数组的指定索引位置
0x51 fastore 将栈顶float型数值存入指定数组的指定索引位置
0x52 dastore 将栈顶double型数值存入指定数组的指定索引位置
0x53 aastore 将栈顶引用型数值存入指定数组的指定索引位置
0x54 bastore 将栈顶boolean或byte型数值存入指定数组的指定索引位置
0x55 castore 将栈顶char型数值存入指定数组的指定索引位置
0x56 sastore 将栈顶short型数值存入指定数组的指定索引位置
0x57 pop 将栈顶数值弹出(数值不能是long或double类型的)
0x58 pop2 将栈顶的一个(对于非long或double类型)或两个数值(对于非long或double的其他类型)弹出
0x59 dup 复制栈顶数值并将复制值压入栈顶
0x5a dup_x1 复制栈顶数值并将两个复制值压入栈顶
0x5b dup_x2 复制栈顶数值并将三个(或两个)复制值压入栈顶
0x5c dup2 复制栈顶一个(对于long或double类型)或两个(对于非long或double的其他类型)数值并将复制值压入栈顶
0x5d dup2_x1 dup_x1指令的双倍版本
0x5e dup2_x2 dup_x2指令的双倍版本
0x5f swap 将栈顶最顶端的两个数值互换(数值不能是long或double类型)
0x60 iadd 将栈顶两int型数值相加并将结果压入栈顶
0x61 ladd 将栈顶两long型数值相加并将结果压入栈顶
0x62 fadd 将栈顶两float型数值相加并将结果压入栈顶
0x63 dadd 将栈顶两double型数值相加并将结果压入栈顶
0x64 isub 将栈顶两int型数值相减并将结果压入栈顶
0x65 lsub 将栈顶两long型数值相减并将结果压入栈顶
0x66 fsub 将栈顶两float型数值相减并将结果压入栈顶
0x67 dsub 将栈顶两double型数值相减并将结果压入栈顶
0x68 imul 将栈顶两int型数值相乘并将结果压入栈顶
0x69 lmul 将栈顶两long型数值相乘并将结果压入栈顶
0x6a fmul 将栈顶两float型数值相乘并将结果压入栈顶
0x6b dmul 将栈顶两double型数值相乘并将结果压入栈顶
0x6c idiv 将栈顶两int型数值相除并将结果压入栈顶
0x6d ldiv 将栈顶两long型数值相除并将结果压入栈顶
0x6e fdiv 将栈顶两float型数值相除并将结果压入栈顶
0x6f ddiv 将栈顶两double型数值相除并将结果压入栈顶
0x70 irem 将栈顶两int型数值作取模运算并将结果压入栈顶
0x71 lrem 将栈顶两long型数值作取模运算并将结果压入栈顶
0x72 frem 将栈顶两float型数值作取模运算并将结果压入栈顶
0x73 drem 将栈顶两double型数值作取模运算并将结果压入栈顶
0x74 ineg 将栈顶int型数值取负并将结果压入栈顶
0x75 lneg 将栈顶long型数值取负并将结果压入栈顶
0x76 fneg 将栈顶flaot型数值取负并将结果压入栈顶
0x77 dneg 将栈顶double型数值取负并将结果压入栈顶
0x78 ishl 将int型数值左移指定位数并将结果压入栈顶
0x79 lshl 将long型数值左移指定位数并将结果压入栈顶
0x7a ishr 将int型数值右(带符号)移指定位数并将结果压入栈顶
0x7b lshr 将long型数值右(带符号)移指定位数并将结果压入栈顶
0x7c iushr 将int型数值右(无符号)移指定位数并将结果压入栈顶
0x7d lushr 将long型数值右(无符号)移指定位数并将结果压入栈顶
0x7e iand 将int型数值右(无符号)移指定位数并将结果压入栈顶
0x7f land 将long型数值右(无符号)移指定位数并将结果压入栈顶
0x80 ior 将栈顶两int型数值”按位或”并将结果压入栈顶
0x81 lor 将栈顶两long型数值”按位或”并将结果压入栈顶
0x82 ixor 将栈顶两int型数值”按位异或”并将结果压入栈顶
0x83 lxor 将栈顶两long型数值”按位异或”并将结果压入栈顶
0x84 iinc 将指定int型变量增加指定值(如i++, i—, i+=2等)
0x85 i2l 将栈顶int型数值强制转换为long型数值并将结果压入栈顶
0x86 i2f 将栈顶int型数值强制转换为float型数值并将结果压入栈顶
0x87 i2d 将栈顶int型数值强制转换为double型数值并将结果压入栈顶
0x88 l2i 将栈顶long型数值强制转换为int型数值并将结果压入栈顶
0x89 l2f 将栈顶long型数值强制转换为float型数值并将结果压入栈顶
0x8a l2d 将栈顶long型数值强制转换为double型数值并将结果压入栈顶
0x8b f2i 将栈顶float型数值强制转换为int型数值并将结果压入栈顶
0x8c f2l 将栈顶float型数值强制转换为long型数值并将结果压入栈顶
0x8d f2d 将栈顶float型数值强制转换为double型数值并将结果压入栈顶
0x8e d2i 将栈顶double型数值强制转换为int型数值并将结果压入栈顶
0x8f d2l 将栈顶double型数值强制转换为long型数值并将结果压入栈顶
0x90 d2f 将栈顶double型数值强制转换为float型数值并将结果压入栈顶
0x91 i2b 将栈顶int型数值强制转换为byte型数值并将结果压入栈顶
0x92 i2c 将栈顶int型数值强制转换为char型数值并将结果压入栈顶
0x93 i2s 将栈顶int型数值强制转换为short型数值并将结果压入栈顶
0x94 lcmp 比较栈顶两long型数值大小, 并将结果(1, 0或-1)压入栈顶
0x95 fcmpl 比较栈顶两float型数值大小, 并将结果(1, 0或-1)压入栈顶; 当其中一个数值为NaN时, 将-1压入栈顶
0x96 fcmpg 比较栈顶两float型数值大小, 并将结果(1, 0或-1)压入栈顶; 当其中一个数值为NaN时, 将1压入栈顶
0x97 dcmpl 比较栈顶两double型数值大小, 并将结果(1, 0或-1)压入栈顶; 当其中一个数值为NaN时, 将-1压入栈顶
0x98 dcmpg 比较栈顶两double型数值大小, 并将结果(1, 0或-1)压入栈顶; 当其中一个数值为NaN时, 将1压入栈顶
0x99 ifeq 当栈顶int型数值等于0时跳转
0x9a ifne 当栈顶int型数值不等于0时跳转
0x9b iflt 当栈顶int型数值小于0时跳转
0x9c ifge 当栈顶int型数值大于等于0时跳转
0x9d ifgt 当栈顶int型数值大于0时跳转
0x9e ifle 当栈顶int型数值小于等于0时跳转
0x9f if_icmpeq 比较栈顶两int型数值大小, 当结果等于0时跳转
0xa0 if_icmpne 比较栈顶两int型数值大小, 当结果不等于0时跳转
0xa1 if_icmplt 比较栈顶两int型数值大小, 当结果小于0时跳转
0xa2 if_icmpge 比较栈顶两int型数值大小, 当结果大于等于0时跳转
0xa3 if_icmpgt 比较栈顶两int型数值大小, 当结果大于0时跳转
0xa4 if_icmple 比较栈顶两int型数值大小, 当结果小于等于0时跳转
0xa5 if_acmpeq 比较栈顶两引用型数值, 当结果相等时跳转
0xa6 if_acmpne 比较栈顶两引用型数值, 当结果不相等时跳转
0xa7 goto 无条件跳转
0xa8 jsr 跳转至指定的16位offset位置, 并将jsr的下一条指令地址压入栈顶
0xa9 ret 返回至本地变量指定的index的指令位置(一般与jsr或jsr_w联合使用)
0xaa tableswitch 用于switch条件跳转, case值连续(可变长度指令)
0xab lookupswitch 用于switch条件跳转, case值不连续(可变长度指令)
0xac ireturn 从当前方法返回int
0xad lreturn 从当前方法返回long
0xae freturn 从当前方法返回float
0xaf dreturn 从当前方法返回double
0xb0 areturn 从当前方法返回对象引用
0xb1 return 从当前方法返回void
0xb2 getstatic 获取指定类的静态域, 并将其压入栈顶
0xb3 putstatic 为指定类的静态域赋值
0xb4 getfield 获取指定类的实例域, 并将其压入栈顶
0xb5 putfield 为指定类的实例域赋值
0xb6 invokevirtual 调用实例方法
0xb7 invokespecial 调用超类构建方法, 实例初始化方法, 私有方法
0xb8 invokestatic 调用静态方法
0xb9 invokeinterface 调用接口方法
0xba invokedynamic 调用动态方法
0xbb new 创建一个对象, 并将其引用引用值压入栈顶
0xbc newarray 创建一个指定的原始类型(如int, float, char等)的数组, 并将其引用值压入栈顶
0xbd anewarray 创建一个引用型(如类, 接口, 数组)的数组, 并将其引用值压入栈顶
0xbe arraylength 获取数组的长度值并压入栈顶
0xbf athrow 将栈顶的异常抛出
0xc0 checkcast 检验类型转换, 检验未通过将抛出 ClassCastException
0xc1 instanceof 检验对象是否是指定类的实际, 如果是将1压入栈顶, 否则将0压入栈顶
0xc2 monitorenter 获得对象的锁, 用于同步方法或同步块
0xc3 monitorexit 释放对象的锁, 用于同步方法或同步块
0xc4 wide 扩展本地变量的宽度
0xc5 multianewarray 创建指定类型和指定维度的多维数组(执行该指令时, 操作栈中必须包含各维度的长度值), 并将其引用压入栈顶
0xc6 ifnull 不为null时跳转
0xc7 ifnonnull 不为null时跳转
0xc8 goto_w 无条件跳转(宽索引)
0xc9 jsr_w 跳转至指定的32位offset位置, 并将jsr_w的下一条指令地址压入栈顶

一条Java虚拟机指令由一个指令要完成的操作的操作码和表示待操作值得零或多个操作数构成。

  • 操作码
  • 操作数(零或多个)

字节码指令简介

Java虚拟机的指令由一个字节长度的、代表某种特定操作含义的数字(称为操作码,Opcode)以及跟随其后的零至多个代表此操作所需参数(称为操作数,Operands)而构成。由于JVM采用面向操作数栈而不是寄存器的架构,所以大多数指令只有操作码,不包含操作数。

基于栈的指令集主要优点:

  • 可移植。寄存器由硬件直接提供,程序直接依赖这些硬件寄存器则不可避免地受到硬件的约束。比如不同的CPU架构上提供的寄存器可能是不一样的;
  • 代码相对更加紧凑。每个字节对应一条指令,多地址指令中还需要存放参数;
  • 编译器实现更加简单。不需要考录空间分配问题,所需空间都在栈上操作

基于栈的指令集主要缺点:

  • 完成相应功能的指令数量远远大于基于寄存器的指令集,因为频繁的进栈出栈操作就会产生不少的指令;
  • 访问速度相对较慢。访问指令便相当于内存访问,内存的访问速度始终是不及寄存器的访问速度的

字节码与数据类型

在Java虚拟机的指令集中,大多数指令都包含了其操作对应的类型信息。例如:iload,fload分别表示从局部变量表中加载int、float类型数据到栈顶。

Java 虚拟机的操作码只有一个字节长度

字节码操作按用途分类

加载与存储指令

  • iload、iload、lload、lload、fload、fload、dload、dload、aload、aload_

表示将一个局部变量加载到栈顶

  • istore、istore、lstore、llstore、fstore、fstore、dstore、dstore、astore、astore_

表示将一个数值从操作数栈存储到局部变量表

  • bipush、sipush、idc、ldcw、ldc2_w、aconst_null、iconst_m1、iconst、lconst、fconst、dconst_

表示将一个常量加载到栈顶

  • wide

扩充局部变量表的访问索引的指令

运算指令

用于操作数栈上的两个值进行某种特定运算,并把结果重新存入到操作数栈顶。

大体分类:

  1. 对整型数据进行运算
  2. 对浮点型数据进行运算

所有算术指令如下:

  • iadd、ladd、fadd、dadd

加法指令

  • isub、lsub、fsub、dsub

减法指令

  • imul、lmul、fmul、dmul

乘法指令

  • idiv、ldiv、fdiv、ddiv

除法指令

  • irem、lrem、frem、drem

求余指令

  • ineg、lneg、fneg、dneg

取反指令

  • ishl、ishr、iushl、iushr、lshl、lshr

位移指令

  • ior、lor

按位或指令

  • iand、land

按位与指令

  • ixor、lxor

按位异或指令

  • iinc

局部变量自增指令

  • dcmpg、dcmpl、fcmpg、fcmpl、lcmp

比较指令

类型转换指令

  1. Java虚拟机直接支持小范围向大范围的安全转换(宽化类型转换)
  2. 大范围向小范围转换时(窄化类型转换),必须指明转换指令
  • i2b、i2c、i2s、l2i、f2i、d2i、d2f、d2l

注意:窄化类型转换可能会导致转化符号产生不同的正负号、不同量级的情况以及精度丢失的情况

  • intlong类型窄化转换为整数类型T的时候,转化过程仅仅是简单的丢弃除最低位N个字节以外的内容,N时类型T的数据类型长度(例如,Tshort,则N16),这可能导致转换结果与输入之不同的正负号。因为原来符号位处于数值的最高位,高位被丢弃之后,转化结果的符号就取决于低N个字节的首位。例如: ```java int hex = 0x00008321; System.out.println(hex); // 33569 short s = (short) hex; // 相当于 0x8321,最高位为1,为负数

System.out.println(s); // 31967 System.out.println(s & 0xFFFF); // 33569

  1. 问题来了?那么为什么通过`s & 0xFFFF`之后可以得到原来的数值呢?其实很简单,Java虚拟机指令大多数不支持charshortbyte 类型的运算指令,在对这些类型的数据运算的时候,其实底层是将它们转换为`int`类型进行运算的。也就是说,计算 `s & 0xFFFF` 的时候,其实相当于计算 `0x80008321 & 0x0000FFFF = 0x00008321` ,得到的是一个最高位为 `0` `int`值,当然与原数值一样大了。
  2. - 将一个浮点数转换为整数类型数据`T``T`限于`int``long`类型之一)的时候,将遵循以下转换规则:
  3. 1. 如果浮点数是`NaN`,那么转换结果为`0`
  4. 1. 如果浮点数不是无穷大,浮点数使用 `IEEE 754` 的向零舍入模式取整,获得整数值`v`,如果`v`在目标类型`T(int 或 long)`的表示范围内,那么转换结果就为`v`;
  5. 1. 否则,根据`v`的符号,转换为`T`所能表示的为最大或最小正数
  6. ```java
  7. float f = Float.NaN;
  8. int iF = (int) f;
  9. long lf = (long) f;
  10. System.out.println(iF); // 0
  11. System.out.println(lf); // 0
  12. float f = 234343.3;
  13. int iF = (int) f;
  14. long lf = (long) f;
  15. System.out.println(iF); // 234343
  16. System.out.println(lf); // 234343
  17. double f = Double.MAX_VALUE;
  18. int iF = (int) f;
  19. long lf = (long) f;
  20. System.out.println(iF); // 2147483647
  21. System.out.println(lf); // 9223372036854775807
  22. System.out.println(Double.MAX_VALUE); // 1.7976931348623157E308
  23. System.out.println(Long.MAX_VALUE); // 9223372036854775807
  24. double f = Double.MIN_VALUE;
  25. int iF = (int) f;
  26. long lf = (long) f;
  27. System.out.println(iF); // 0
  28. System.out.println(lf); // 0
  29. System.out.println(Double.MIN_VALUE); // 4.9E-324
  30. System.out.println(Long.MIN_VALUE); // -9223372036854775808

对象创建与访问指令

java虚拟机创建、操作类实例和数组实例使用了不同的字节码指令。

  • new

创建类实例指令

  • newarray、anewarray、multianewarray

创建数组指令

  • getfield、putfield、getstatic、putstatic

访问实例字段和类字段

  • baload、caload、saload、iaload、laload、faload、daload、aaload、

把一个数组元素加载到操作数栈

  • bastore、castore、sastore、iastore、fastore、dastore、aastore、

将一个操作数栈的值存储到数组元素中

  • arraylength

获取数组长度

  • instanceof、checkcast

检查类实例类型

操作数栈管理指令

  • pop、pop2

将操作数栈栈顶1个或2个元素出栈

  • dup、dup2、dup_x1、dup2_x1、dup_x2、dup2_x2

复制栈顶1个或2个数值并将复制值或2份复制值重新压入栈顶

  • swap

将栈顶的两个数值交换

控制转移指令

  • ifeq、iflt、ifle、ifne、ifgt、ifnull、ifnonnull、if_icmpeq、if_icmpne、if_icmplt、if_icmpgt、if_icmple、if_icmpge、if_acmpeq、if_acmpne

条件分支

  • tableswitch、lookupswitch

复合条件分支

  • goto、goto_w、jsr、jsr_w、ret

无条件分支

方法调用与返回指令

  • invokevirtual

调用对象的实例方法,根据对象的实际类型进行分配(虚方法分配)

  • invokeinterface

调用接口方法,运行时找到实现该接口的对象,并调用合适的方法调用

  • invokespecial

调用一些需要特殊处理的实例方法,包括实例初始化方法、私有方法和父类方法

  • invokestatic

调用类方法

  • invokedynamic

在运行时动态地解析出调用点限定符所引用的方法,并执行该方法。前面4条调用指令的分派逻辑都固化在java虚拟机内部,而invokedynamic 指令的分派逻辑是由用户所设定的引导方法决定的。

  • return、ireturn、freturn、dreturn、lreturn、areturn

返回指令

异常处理指令

  • athrow

处理代码中显示抛出异常的操作(throw语句)

同步指令

java虚拟机可以支持方法级的同步和方法内部一段指令序列的同步,这两种同步都是使用管程来支持的。

方法级的同步是使用 ACC_SYNCHRONIZED 访问标志来实现的。执行线程要求先要获得管程,然后才能执行方法,执行完成之后释放管程。假设执行期间发生了异常,管程也会被释放。

方法内部指令序列的同步是使用java语言中的synchronized 语句块来实现的,Java虚拟机的指令集中 monitorenter 和 monitorexit 指令来支持synchronized 关键字的语义。

指令描述格式

助记符

操作 该指令功能的简要描述
格式 助记符
操作数1
操作数2
……
结构 助记符 = 操作码
操作数栈 …,value1,value2 ——> …,values
描述 详述了该指令对操作数栈的内容和常量池项所施加的限制,该指令所执行的操作,以及执行结果的类型等
链接时异常 如果执行该指令可以抛出任何链接时异常,那么每一个抛出的异常都需要按他们可能抛出的顺序在这里进行描述,每一个异常占一行内容
运行时异常 如果执行该指令可以抛出任何运行时异常,那么每一个抛出的异常都需要按他们可能抛出的顺序在这里进行描述,每一个异常占一行内容。

除了在此已列出的链接时异常、运行时异常以及VirtualMachineError或其子类之外,指令不得再抛出任何异常
注意 某些注释不是JVM规范对此指令所施加的强制约束,这些注释将会放在指令描述信息的最后
  1. 【格式】:每一行表示一个字节,表格名称就是这个指令的助记符
  2. 操作码等于助记符,表格中将同时使用十进制和十六进制表示
  3. 操作数表示Java虚拟机指令执行时所需要的参数值。操作数隐式地从操作数栈中获取,会比显式地通过额外的操作数字节及寄存器编号等形式生成到编译后的代码中更利于保持字节码的紧凑型。

在字节码解析过程中,应该根据每条指令对应的 指令描述格式表 进行处理。举例:

invokespecial

操作 调用实例方法,专门用来调用父类方法,私有方法和实例初始化方法
格式 invokespecial
indexbyte1
indexbyte2
结构 invokespecial = 183(0xb7)
操作数栈 …,objectref,[arg1,[arg2…]] ——> …
描述 无符号数indexbyte1 和 indexbyte2 用于构建一个指向当前类的运行时常量池的索引。构建方法为(indexbyte1 << 8)| indexbyte2,该索引所指向的运行时常量池的项应该是对某个方法或接口方法的符号索引。其中包含了方法名称及描述符,以及指向该方法所在类或接口的符号引用。

如果调用的方法时protected 的,并且这个方法是当前类的父类成员,而这个方法又没有在同一个运行时包中声明过,那么objectref所指向的就是当前类或当前类的子类。

在下列条件都成立的情况下,将当前类的直接父类标记为C:
- 解析出来的方法不是实例初始化方法
- 如果符号引用指向的是类而不是接口,那么所指向的类应该是当前类的父类
- class文件的ACC_SUPER标志位true

如果这3个条件都为真,则符号引用所指向的类是当前类的父类;否则指向的就是当前类或接口。

JVM会根据下面的规则查找具体执行的方法:
- 如果C中包含了名字与描述符都与要调用的方法一致的方法,那么这个方法就会被调用,查找终止;
- 如果C是类,并且有父类,那么查找过程将按顺序递归搜索C的父类,以及父类的父类,直至搜索到名称与描述符都与要调用的实例方法一致的方法,如果找到,则该方法就会被调用;
- 如果C是接口切Object中声明了一个与解析出来的方法具有相同名称及描述符的public方法,那么该方法会被调用;
- 如果C的超接口中有且仅有一个与解析出来的方法具有相同名称及描述符,而又不是abstract 的方法,那么该方法就是待调用方法


objectref是一个reference类型数据,在操作数栈中,objectref之后还跟随着多个参数值,这些参数值的数量、数据类型以及顺序都必须遵循实例方法的描述符。

如果要调用的时同步方法,那么与objectref相关的管程同步锁将进入或者重入,就如同当前线程执行了 monitorenter 一样

如果要调用的不是本地方法,那么那个参数值和objectref将从操作数栈中出栈。方法调用的时候,将在Java虚拟机中创建中一个新的栈帧,objectref和那个参数值将存储到新的栈帧的局部变量表中,objectref存为局部变量0,arg1 存为局部变量1(如果arg1时long或double类型,那么将占用局部变量表1和2两个位置),以此类推。参数中的浮点类型数据存储到局部变量表之前将进行数值集合转换,新栈帧创建后将成为当前栈帧,Java虚拟机的PC寄存器指向待调用方法的首条指令,程序就从这里开始执行。

如果要调用的是本地方法,并且这些平台相关的代码并未绑定到虚拟机中,那么要先完成绑定动作。指令执行时,n个参数值和objectref对象将从操作数栈中出栈作为参数传递给实现此方法的代码。参数中的浮点类型数据在传递给调用具体方法之前会进行数值集合转换。参数传递与代码执行都会以和具体虚拟机实现相关的方法进行。当这些平台相关的代码返回时:
- 如果这个本地方法是同步方法,那么将更新于objectref相关的同步锁状态,也可能退出同步锁,就如同当前线程执行了 monitorexit 指令一般
- 如果这个本地方法有返回值,那么与平台相关的代码所返回的数据必须通过某种事项相关的方式装换成本地方法所定义的Java数据类型,并入栈到操作数栈中
| | 链接时异常 | | | 运行时异常 | | | 注意 | |