Java finally 关键字用法

Java finally 关键字使用

代码

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
public class FinallyTest {

public static void main(String[] args) {
int t = testFinally();
System.out.println(t);
}

public static int testFinally() {
int i = 0;
try {
i = i + 10;
return i;
} finally {
i = i + 10;
}
}
}

问题

  • finally 块会执行吗?
  • 返回结果是多少? 为什么?

执行结果

1
10

finally 块执行了

Eclipse 断点调试,发现 finally 确实执行,查看 Oracle 的官方文档,解释了 finally 只有在 JVM 退出了或进程被 kill 掉了才不会执行。

返回结果是 10,为什么?

Eclipse 断点调试,发现 finally 确实执行了 i = i + 10, i 的值被修改为 20.但是最后栈顶的值设置为10,返回的还是 10.

查看虚拟机指令

javap -c

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
public class FinallyTest {
public FinallyTest();
Code:
0: aload_0
1: invokespecial #1 // Method java/lang/Object."<init>":()V
4: return

public static void main(java.lang.String[]);
Code:
0: invokestatic #2 // Method testFinally:()I
3: istore_1
4: getstatic #3 // Field java/lang/System.out:Ljava/io/PrintStream;
7: iload_1
8: invokevirtual #4 // Method java/io/PrintStream.println:(I)V
11: return

public static int testFinally();
Code:
0: iconst_0 // int型常量0进栈
1: istore_0 // 栈顶int数值存入第1局部变量
2: iload_0 // 第1个int型变量进栈
3: bipush 10 // byte型常量 10 进栈
5: iadd // 执行 0 + 10 放到栈顶
6: istore_0 // 栈顶int数值存入第1局部变量
7: iload_0 // 第1个int型变量进栈
8: istore_1 // 栈顶int数值存入第2局部变量
9: iload_0 // 第1个int型变量进栈
10: bipush 10 // byte型常量 10 进栈
12: iadd // 执行 10 + 10 放到栈顶
13: istore_0 // 栈顶int数值存入第1局部变量
14: iload_1 // 第2个int型变量进栈
15: ireturn // 返回结果
16: astore_2
17: iload_0
18: bipush 10
20: iadd
21: istore_0
22: aload_2
23: athrow
Exception table:
from to target type
2 9 16 any
}

堆栈执行图

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
0: 0

1: 0 0

2: 0 0
0

3: 10 0
0
0

5: 10 0
0
0

6: 10 10
0
0

7: 10 10
10
0
0

8: 10 10
10 10
0
0
9: 10 10
10 10
10
0
0

10: 10 10
10 10
10
10
0
0

12: 20 10
10 10
10
10
0
0

13: 20 20
10 10
10
10
0
0

14: 10 20
20 10
10
10
10
0
0

15: ireturn // 弹出栈顶到调用处

jdb 调试

1
2
3
4
5
6
7
8
9
10
11
已完成的步骤: "线程=main", FinallyTest.testFinally(), 行=12 bci=15
12 return i;

main[1] locals
方法参数:
本地变量:
i = 20
main[1] stepi
>
已完成的步骤: "线程=main", FinallyTest.main(), 行=4 bci=3
4 int t = testFinally();

javac 编译时 把 finally 块的代码编译到 ireturn 之前了

此处还有疑问,ireturn 后的代码是干嘛的

参考