码迷,mamicode.com
首页 > 编程语言 > 详细

java finally块执行时机分析

时间:2014-11-02 00:33:56      阅读:271      评论:0      收藏:0      [点我收藏+]

标签:des   style   blog   http   io   color   ar   使用   java   

java里 finally 关键字通常与try catch块一起使用。用来在方法结束前或发生异常时做一些资源释放的操作。最近也看到网上有一些讨论try catch finally关键词执行的顺序的文章,并给出了finally块是在方法最后执行的。

这些观点普遍认为:

1)finally关键词是在程序return语句后返回上一级方法前执行的,其中返回值会保存在一个临时区域,待执行完finally块的部分后,在将临时区域的值返回。

2)若finally块里有返回值会替换掉程序中前面的try 或catch块中return语句存放在临时区域的值。

但是问题真的是这样的吗,我们仔细的想想,jvm是在运行时对字节码指令进行解释执行的,当他在执行到return语句后,他哪知道后面有没有finally块,如果没有finally块怎么办,不管是字节码指令还是计算机的指令应该是明确的,jvm没有那么智能,同一个指令必须是明确的,不会包含两层含义。所以对于return语句在运行时不管什么情况,统一会弹出栈的内容并返回到调用方法。

finally语句在方法返回前执行的是没错,但是在try 或 catch 块之后执行,是不能成立的。下面我们来看一个实例。

 

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是对字节码进行解释执行的,那么我们需要看看c#编译器是如何编译这段代码的,看看其生成的字节码究竟是什么样的。

2.程序生成的部分字节码:(java字节码指令请参考

 1  public static int test();
 2     descriptor: ()I
 3     flags: ACC_PUBLIC, ACC_STATIC
 4     Code:
 5       stack=2, locals=2, args_size=0
 6          0: getstatic     #20                 // Field java/lang/System.out:Ljava/io/PrintStream;
 7          3: ldc           #36                 // String try
 8          5: invokevirtual #38                 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
 9          8: getstatic     #20                 // Field java/lang/System.out:Ljava/io/PrintStream;
10         11: ldc           #41                // String finally
11         13: invokevirtual #38                 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
12         16: iconst_0
13         17: ireturn
14         18: astore_0
15         19: getstatic     #20                 // Field java/lang/System.out:Ljava/io/PrintStream;
16         22: ldc           #43                 // String exception
17         24: invokevirtual #38                 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
18         27: getstatic     #20                 // Field java/lang/System.out:Ljava/io/PrintStream;
19         30: ldc           #41                 // String finally
20         32: invokevirtual #38                 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
21         35: bipush        100
22         37: ireturn
23         38: astore_1
24         39: getstatic     #20                 // Field java/lang/System.out:Ljava/io/PrintStream;
25         42: ldc           #41                 // String finally
26         44: invokevirtual #38                 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
27         47: aload_1
28         48: athrow
29       Exception table:
30          from    to  target type
31              0     8    18   Class java/lang/Exception
32              0     8    38   any
33             18    27    38   any

从红色的部分我们可以看出:10,11行对应的是finally块语句指令,16,17对应的是return 0指令,在try块其他语句之后,return之前。而19,20对应的是finally块指令,21,22对应的是return 100语句的指令,在catch其他语句之后,return之前,由此我们可以看出这些背后发生的一切是c#编译器为我们做了这一切,至于程序中发生的异常,jvm会从异常表找到对应处理异常的地址位置执行。

因此我们可以得出结论finally块中的语句会有c#编译器插入到try块和catch块return语句之前,其他语句之后。所以才发生不管是执行try块还是执行catch块,最终在方法返回前都会执行finally块。

 

 

java finally块执行时机分析

标签:des   style   blog   http   io   color   ar   使用   java   

原文地址:http://www.cnblogs.com/justinli/p/4067998.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!