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字节码指令请参考）

 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以前，由此咱们能够看出这些背后发生的一切是java编译器为咱们作了这一切，至于程序中发生的异常，jvm会从异常表找到对应处理异常的地址位置执行。

所以咱们能够得出结论finally块中的语句会由java编译器插入到try块和catch块return语句以前，其余语句以后。在这里也没有生成jsr调用的子例程。因此才发生无论是执行try块仍是执行catch块，最终在方法返回前都会执行finally块。