java finally块执行时机全面分析
java里 finally 关键字通常与try catch块一起使用。用来在方法结束前或发生异常时做一些资源释放的操作。最近也看到网上有一些讨论try catch finally关键词执行的顺序的文章，并给出了finally块是在方法最后执行的。
这些观点普遍认为：
1) finally关键词是在程序return语句后返回上一级方法前执行的，其中返回值会保存在一个临时区域，待执行完finally块的部分后，在将临时区域的值返回。
2) 若finally块里有返回值会替换掉程序中前面的try 或catch块中return语句存放在临时区域的值。
但是问题真的是这样的吗，我们仔细的想想，jvm是在运行时对字节码指令进行解释执行的，当他在执行到return语句后，他哪知道后面有没有finally块，如果没有finally块怎么办，不管是字节码指令还是计算机的指令应该是明确的，jvm没有那么智能，同一个指令必须是明确的，不会包含两层含义。所以对于return语句在运行时不管什么情况，统一会弹出栈的内容并返回到调用方法。
与此同时，我们可以看到《深入java虚拟机》这一本书中给出了另外一种解释。在java编译器编译finally子句时会生成jsr指令，它使jvm调转到微型子例程进行执行，也就是finally块处，同时将程序中的return 0语句编译为在调用jsr指令前栈中的返回变量到局部变量，调用jsr指令，执行finally块，finally块返回，在将局部变量中的返回值压入栈，执行ireturn指令，从栈中弹出返回值，返回到调用方法，这里在执行jsr指令前将返回值保存在局部变量中，是因为finally块执行的过程中可能发生异常或者说是也有返回值，只有这样做才能保证最后程序执行的一致性。由于《深入java虚拟机》写的已经也一些年代了，同时作者使用的jvm编译器的实现及版本与本文讨论的也有差别。所以经过测试，对于同一程序不同的编译器实现或版本不同的字节码的生成稍微有些差别。有兴趣可以看看这本书中finally子句生成的字节码。
本文的字节码生成使用的是Oracle的jdk8u-25版本的编译器编译生成的。
下面我们来看一个实例。
1.try catch finally 示例：
public class FinallyTest {
public static void main(String[] args) {
int r = test();
System.out.println(r);
}
public static int test()
{
try {
System.out.println("try");
//return 1/0;
return 0;
} catch (Exception e) {
System.out.println("exception");
return 100;
}finally{
System.out.println("finally");
}
}
}
try块中使用return 0语句，程序的运行结果是：
try
finally
0
try块中使用 return 1/0 语句，程序运行的结果是：
exception
finally
100
其实通过运行结果我们可以看出的是finally块是在try或catch块中的return语句前其他语句后执行的。也就是说程序的书写顺序与我们执行顺序不符，因为jvm是对字节码进行解释执行的，那么我们需要看看java编译器是如何编译这段代码的，看看其生成的字节码究竟是什么样的。
2.程序生成的部分字节码：（java字节码指令请参考）
public static int test();
descriptor: ()I
flags: ACC_PUBLIC, ACC_STATIC
Code:
stack=2, locals=2, args_size=0
0: getstatic #20 // Field java/lang/System.out:Ljava/io/PrintStream;
3: ldc #36 // String try
5: invokevirtual #38 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
8: getstatic #20 // Field java/lang/System.out:Ljava/io/PrintStream;
11: ldc #41 // String finally
13: invokevirtual #38 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
16: iconst_0
17: ireturn
18: astore_0
19: getstatic #20 // Field java/lang/System.out:Ljava/io/PrintStream;
22: ldc #43 // String exception
24: invokevirtual #38 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
27: getstatic #20 // Field java/lang/System.out:Ljava/io/PrintStream;
30: ldc #41 // String finally
32: invokevirtual #38 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
35: bipush 100
37: ireturn
38: astore_1
39: getstatic #20 // Field java/lang/System.out:Ljava/io/PrintStream;
42: ldc #41 // String finally
44: invokevirtual #38 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
47: aload_1
48: athrow
Exception table:
from to target type
0 8 18 Class java/lang/Exception
0 8 38 any
18 27 38 any
从红色的部分我们可以看出：10,11行对应的是finally块语句指令，16,17对应的是return 0指令，在try块其他语句之后，return之前。而19,20对应的是finally块指令，21,22对应的是return 100语句的指令，在catch其他语句之后，return之前，由此我们可以看出这些背后发生的一切是java编译器为我们做了这一切，至于程序中发生的异常，jvm会从异常表找到对应处理异常的地址位置执行。
因此我们可以得出结论finally块中的语句会由java编译器插入到try块和catch块return语句之前，其他语句之后。在这里也没有生成jsr调用的子例程。所以才发生不管是执行try块还是执行catch块，最终在方法返回前都会执行finally块。
以上这篇java finally块执行时机全面分析就是小编分享给大家的全部内容了，希望能给大家一个参考，也希望大家多多支持脚本之家。
相关文章
这篇文章主要为大家详细介绍了java绘制五子棋棋盘，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2021-01-01
这篇文章介绍了eclipse启动tomcat无法访问的解决方法，有需要的朋友可以参考一下2013-10-10
这篇文章主要给大家介绍了关于mybatis中使用oracle关键字出错的解决方法，文中通过示例代码将解决的方法介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面来一起看看吧。2017-08-08
在现代Web应用中,用户个性化体验尤为重要,其中头像上传与回显是一个常见的功能需求,本文将详细介绍如何使用Spring Boot和Vue.js构建一个前后端协同工作的头像上传系统,并实现图片的即时回显,需要的朋友可以参考下2024-08-08
这篇文章主要介绍了如何解决IDEA.properties文件中文乱码问题,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教2023-12-12
这篇文章主要介绍了Java 判断数组是否相等的方法示例,文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧2019-09-09
下面小编就为大家带来一篇Java中BigDecimal的基本运算(详解)。小编觉得挺不错的，现在就分享给大家，也给大家做个参考。一起跟随小编过来看看吧2017-10-10
本篇文章主要介绍了Struts2 文件上传进度条的实现实例代码，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2017-05-05
下面小编就为大家带来一篇JAVA按字节读取文件的简单实例。小编觉得挺不错的，现在就分享给大家，也给大家做个参考。一起跟随小编过来看看吧2016-08-08
这篇文章主要介绍了Java使用策略模式解决商场促销商品问题,简单描述了策略模式的概念、原理,并结合实例形式分析了Java基于策略模式解决商品促销问题的相关操作技巧,需要的朋友可以参考下2018-05-05
最新评论