一次try-catch-finally的探究
这几天同学问了一个问题，这个的代码输出是什么
// 记作case1
public class Main {
public static void main(String[] args) {
int i = m_1();
System.out.println(i);
}
public static int m_1() {
int i = 10;
try {
System.out.println("start:");
return i += 10;
} catch (Exception e) {
System.out.println("error" + e);
} finally {
if(i>0) {
System.out.println(i);
}
System.out.println("finally");
i += 30;
}
return i;
}
}抱着刨根问底的态度，做了以下探究
初步判断
思考这个问题之前，得了解清楚try-catch-finally的执行顺序：
try-catch-finally 根据异常的情况可能出现的几种情况
- try 没有异常，正常进入finally
- try 中出错，进入catch后进入finally
- try 中出错，没有相应的catch，进入finally
那有return的话的执行顺序呢？
按直觉来说，先执行
try的话，直接return掉了还会执行finally的东西吗？
但结果却是：
所以finally里的 System.out.println() 是先执行的，然后会回到 return 掉
这也是为什么，如果 finally 里面有 return 的话，会比 try 的 return 先返回掉
// case2
public static int m_2() {
int i = 10;
try {
return i += 10;
} catch (Exception e) {
} finally {
i += 30;
return i;
}
}
//得到的结果是50但是这样的话case1为什么 i+=30 没有执行呢
再次搜寻
因为懒，所以直接百度了一下为什么
得到的结果如下：
try 和 catch 里有 return 时，finally 会在 return之前先被调用，执行完之后 finally 之后再 return ，此时finally里值的改变不会影响 return 的值
那为什么值没有变呢？
为了节省时间，我们把代码简化
// case1
public static int m_1() {
int i = 10;
try {
return i += 10;
} catch (Exception e) {
} finally {
i += 30;
}
return i;
}先看一下编译的.class文件（不同版本的jdk生成的文件可能不一样）
public static int m_1() {
int var0 = 10;
try {
var0 += 10;
int var1 = var0;
return var1;
} catch (Exception var5) {
} finally {
var0 += 30;
}
return var0;
}.class文件可以看出，finally里变化的是 var0，但是return的却是 var1，这样的话确实加30给 var0 是不会影响返回 var1 的
这个机制还是挺有意思的。为了彻底搞清楚try-finally的执行顺序，反汇编一下代码看看
javap -c Main
public static int m_1();
descriptor: ()I
flags: ACC_PUBLIC, ACC_STATIC
Code:
stack=1, locals=3, args_size=0
0: bipush 10 // 把常量10压入操作数栈顶
2: istore_0 // 把栈顶int元素pop存到局部变量表的第一个变量
3: iinc 0, 10 // 第一个int型变量自增10
6: iload_0 // 把第一个int变量的值丢到栈顶
7: istore_1 // 把栈顶int元素pop存给局部变量表的第二个变量
8: iinc 0, 30 // 第一个元素自增30
11: iload_1 // 第二个int变量的值丢到栈顶
12: ireturn // return栈顶int元素
13: astore_1
14: iinc 0, 30
17: goto 26
20: astore_2
21: iinc 0, 30
24: aload_2
25: athrow
26: iload_0
27: ireturn
Exception table:
from to target type
3 8 13 Class java/lang/Exception
3 8 20 any
}JVM虚拟机栈中是这样的结构
字节码不是很熟，但查了一下部分指令的含义，还是可以读出意思的。文末会提供部分字节指令的意义
0: bipush 10 // 把常量10压入操作数栈顶
2: istore_0 // 把栈顶int元素pop存到局部变量表的第一个变量
3: iinc 0, 10 // 第一个int型变量自增10
6: iload_0 // 把第一个int变量的值丢到栈顶
7: istore_1 // 把栈顶int元素pop存给局部变量表的第二个变量
8: iinc 0, 30 // 第一个元素自增30
11: iload_1 // 第二个int变量的值丢到栈顶
12: ireturn // return栈顶int元素与.class文件不同的是，class文件里用了var0，var1，var7三个变量，但是实际字节码中只有 0 和 1 两个变量
但是这个不影响我们理解 finally 的执行在 try 的 return 之前执行
不过不理解的几个点：
- 偏移量12的时候就 ireturn 了，为什么后面还会有其他的指令
- iinc 0, 30 为什么有三次
- 为什么会有 astore_1， astore_2 这种引用类型变量？
感觉需要更深层次地了解一下字节码
深入探究
研究了一下反汇编时的Exception table（异常表）：
from to和target的数字代表的都是偏移量，也就是字节码前面的序号
| from | to | target | type |
|---|---|---|---|
| 指令开始偏移量 | 指令结束偏移量 | 出现异常跳转偏移量 | 异常类型 |
// case1的字节码异常表
stack=1, locals=3, args_size=0
0: bipush 10
2: istore_0
3: iinc 0, 10
6: iload_0
7: istore_1
8: iinc 0, 30
11: iload_1
12: ireturn
13: astore_1
14: iinc 0, 30
17: goto 26
20: astore_2
21: iinc 0, 30
24: aload_2
25: athrow
26: iload_0
27: ireturn
Exception table:
from to target type
3 8 13 Class java/lang/Exception
3 8 20 any第一行表示从 偏移量为3的地方开始，到偏移量为8的地方为止，如果出现了异常，并且异常类型是Class java/lang/Exception 那就跳转到偏移量为13的地方继续执行
同理，第二行表示从偏移量为3的地方开始，到偏移量为8的地方位置，如果出现了异常，不论是任何类型的异常，就跳转到偏移量为20的地方继续执行
第一行很好理解，其实就是进入了catch之中，相比于第二行，我们可以知道catch的指令范围应该是13-19，可以看到 iinc 也出现在了这里面，catch中出现了 finally的语句
那就可以猜想：同样的finally复制了两份，一份放到了try的指令之后，一份放到了catch的指令之后，这样就可以确保，不论异常与否，都会执行finally的指令
Q1：复制两份分别放在try和catch之后，那为什么需要第三份呢？
我们也可以看出来，astore_1 和 astore_2 其实就是异常的引用变量。局部变量表中的0应该是try中出错的异常引用，astore_1是catch到的异常引用
Q2：那astore_2的是什么。也就是说，这个异常表第二行，any是什么呢，是新的异常吗？
发散思维
Q1
这里我们大胆提问，try里出错了。catch没catch到。finally的执行情况是如何的呢？
写一个简单的测试看一下，这里直接做绝，什么也不catch
// case3
public static int m_1() {
int i = 10;
try {
i+=10;
i/=0;
}
finally {
i += 20;
return i;
}
}//运行结果：
40// 反汇编结果
public static int m_3();
Code:
0: bipush 10
2: istore_0
3: iinc 0, 10
6: iload_0
7: iconst_0
8: idiv
9: istore_0
10: iinc 0, 20
13: iload_0
14: ireturn
15: astore_1
16: iinc 0, 20
19: iload_0
20: ireturn
Exception table:
from to target type
3 10 15 any通过case3的结果可以看到return出的40应该就是原本的 int i=10; ，执行了try中的 i+=10; 后又执行了 finally 里的 i+=20;
所以即便没有catch到，出现了异常也会进入 finally
这就解释了Q1：因为即便复制了finally的代码到try中，但是try出现异常的话，异常及之后的指令都不会执行，这样无法确保finally会一定被执行到
补充一下如果有多个catch，也会复制多份吗
public static int m_1() {
int i = 10;
try {
return i += 10;
} catch (NullPointerException e1) {
} catch (ArithmeticException e2){
}finally {
i = 50;
}
return i;
}public static int m_1();
descriptor: ()I
flags: ACC_PUBLIC, ACC_STATIC
Code:
stack=1, locals=3, args_size=0
0: bipush 10
2: istore_0
3: iinc 0, 10
6: iload_0
7: istore_1
8: bipush 50
10: istore_0
11: iload_1
12: ireturn
13: astore_1
14: bipush 50
16: istore_0
17: goto 33
20: astore_1
21: bipush 50
23: istore_0
24: goto 33
27: astore_2
28: bipush 50
30: istore_0
31: aload_2
32: athrow
33: iload_0
34: ireturn
Exception table:
from to target type
3 8 13 Class java/lang/NullPointerException
3 8 20 Class java/lang/ArithmeticException
3 8 27 any可以看到 i=50;通过 bipush 50和 istore_0 一共出现了四次，验证猜想
Q2
同样的，类似于case3，我们稍微改动，继续探究
// case4
public static int m_1() {
int i = 10;
try {
i+=10;
i/=0;
}
finally {
i += 20;
}
return i;
}
这里运行异常了。
我给同学看了之后，他觉得运行顺序应该是
try 中的指令 -> try异常语句 -> finally语句 -> try异常语句之后
他觉得case3之所以不报错其实是因为在没回到try异常语句之前就已经return了
（因为后面证实是错的就直接删除线了）
public static int m_1();
descriptor: ()I
flags: ACC_PUBLIC, ACC_STATIC
Code:
stack=2, locals=2, args_size=0
0: bipush 10
2: istore_0
3: iinc 0, 10
6: iload_0
7: iconst_0
8: idiv
9: istore_0
10: iinc 0, 20
13: goto 22
16: astore_1
17: iinc 0, 20
20: aload_1
21: athrow
22: iload_0
23: ireturn
Exception table:
from to target type
3 10 16 any好嘛，还是要从字节码入手，可以看到3-10出错了去16，这里的16 是 astore_1，也就是说，在没有任何catch的情况下依旧用了引用类型变量，这个代码里可能的引用类型变量就只有异常引用了。也就是没有捕获到任何异常的情况下，会把异常传到finally里。然后执行finally的代码之后在ireturn之前进行了athrow
所以这种情况算是：这个函数没有捕获到这个异常，就不处理这个异常了。所以finally执行完。就把这个异常给抛出来了。
总结
通过一系列的尝试，得到以下结论：
- finally是一定会执行的，其执行原理是通过把finally的指令复制到所有的分支里（try，catch）
- try和catch在return之前都会执行一遍finally，并且finally不会修改原本要return的值，如果在finally中有return，那就会覆盖掉try和catch中的return先return出去（catch里的return就不测试了）
- try有异常没有对应catch而进入finally后，如果finally有return，那就提前return，异常消失，如果没有return，那就会把这个异常抛给外层来解决
附表：字节码使用
| 字节码 | 助记符 | 指令含义 |
|---|---|---|
| 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 | 将栈顶float型数值取负并将结果压入栈顶 |
| 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的下一条指令地址压入栈顶 |
本博客所有文章除特别声明外，均采用 CC BY-SA 4.0 协议 ，转载请注明出处！