finally语句块

finally语句块与return

运行下面的代码，想想在程序正常运行时输出什么，出现异常时输出什么？

public class Test {
    public static void main(String[] args) {
        System.out.println("return value of test() : " + test());
    }

     public static int test() {
         int x;
        try {
            x = 1;
            return x;
        } catch (Exception e) {
            x = 2;
            return x;
        } finally {
            x = 3;
        }
    }
}

运行上面的代码，在test()方法正常运行时返回1，出现异常时返回2；可能和你想的不太一样。在下面，使用javap -v 查看java在字节码层面对test()方法的实现：

public static int test();
    descriptor: ()I
    flags: ACC_PUBLIC, ACC_STATIC
    Code:
      stack=1, locals=4, args_size=0
         0: iconst_1
         1: istore_0
         2: iload_0
         3: istore_1
         4: iconst_3
         5: istore_0
         6: iload_1
         7: ireturn
         8: astore_1
         9: iconst_2
        10: istore_0
        11: iload_0
        12: istore_2
        13: iconst_3
        14: istore_0
        15: iload_2
        16: ireturn
        17: astore_3
        18: iconst_3
        19: istore_0
        20: aload_3
        21: athrow
      Exception table:
         from    to  target type
             0     4     8   Class java/lang/Exception
             0     4    17   any
             8    13    17   any

如果test方法执行中没有发生异常：

0：1 入栈
1：1 出栈存入Slot0 中
2：装载slot0 中的 1 入栈
3：1 出栈存入Slot1 中
4: 3 入栈
5： 3 出栈存入Slot0中
6： 装载slot1中 1 入栈
7： 返回栈顶元素 1 ， 方法结束

如果test方法在执行0 ~ 4（不包含第4条） 条字节码指令时发生Exception异常,跳转到第8条指令开始执行：

8： 把栈顶异常存入Slot1
9： 2 入栈
10：2 出栈存入 Slot0
11： 装载Slot0中的 2 入栈
12：2 出栈存入 Slot2
13：3 入栈
14：3 出栈存入Slot0
15：装载Slot2中 2 入栈
16：返回栈顶元素2 ，返回结束

如果发生Exception以外的异常跳到第17条指令执行，方法非正常退出，无返回值。

无论程序在运行中，发生不发生Exception异常，在执行i = 3 前，总会复制 i 的值到最后一个本地变量表的Slot 中（暂时把这个Slot称为returnValue），在执行ireturn前，总会把returnValue压入栈顶，作为方法返回值使用。

finally语句块什么时候执行？

由上面问题中的字节码指令可以看出：无论有无异常发生，finally语句块在try 和 catch 语句 return之前执行。

 public class Test { 
 public static void main(String[] args) { 
        System.out.println("return value of getValue(): " + getValue()); 
     } 

 public static int getValue() { 
        try { 
                 return 0; 
        } finally { 
                 return 1; 
            } 
     } 
 }

所以下面代码的执行结果为： return value of getValue(): 1

finally 块中的 return 返回后方法结束执行，不会再执行 try 块中的 return 语句。《阿里巴巴Java开发手册》中【强制】不能在 finally 块中使用 return。

---

• 参考《深入理解 Java 虚拟机 第2版》 第三章
• 参考[ 关于 Java 中 finally 语句块的深度辨析 ]
• 参考《阿里巴巴Java开发手册》