Try-Catch-Finally语句块执行问题

Try-Catch-Finally语句块执行问题

记录一个今天某公司的面试问题，其实我问题回答对了，但是面试官问我动手验证过没有，这还真没有，纯理论，被怼惨了，希望自己能变得更强大。

Try-Catch-Finally语句块执行问题。

一起来看下面这串代码：

public class TryCatchFinally {
    public static void main(String[] args){
        System.out.println(get());
    }
    private static int get(){
        try{
            System.out.println("Try语句块");
            return 0;
        }catch (Exception e){
            System.out.println("Catch语句块");
            return 1;
        }finally {
            System.out.println("Finally语句块");
            return 2;
        }
    }
}

程序运行结果：

再来看下面这串代码：

public class TryCatchFinally {
    public static void main(String[] args){
        System.out.println(get());
    }
    private static int get(){
        try{
            System.out.println("Try语句块");
            throw new Exception();
        }catch (Exception e){
            System.out.println("Catch语句块");
            return 1;
        }finally {
            System.out.println("Finally语句块");
            return 2;
        }
    }
}

程序运行结果：

总结：

通过上面两个例子可以看出：

• 无论是否在 try 语句块中抛出异常，finally语句块中的内容都会得到执行。
• 只有 try 语句块中抛出异常了，catch语句块中的内容才会得到执行。
• 但无论在 try 和 catch 语句块中是否有返回语句，finally 语句都会得到执行，并且当 finally 语句中有 return 语句，try 和 catch 语句中的 return 语句都无法得到执行。

当然去掉 finally 中的 return 语句，try 或 catch 中的 return 语句又可以得到执行，这个可以直接在上面那个程序进行试验。

同时 finally 语句块中包含 return 语句，编译器也会给出警告：finally block can not complete normally。

这是因为 finally 的 return 语句覆盖了前面的 return 语句，是一种不合理的做法，尽量不要在 finally 中使用 return。

补充一点：

为什么 finally 语句始终都会得到执行，这里推荐一篇博客：https://blog.csdn.net/neosmith/article/details/48093427

简单来说就是 JVM 将 finally 语句块中的东西都复制了一遍到 try 和 catch 语句块中，确保 finally语句块必定会得到执行。

补充（2019/9/22）

今天又发现一个问题，来更新一下，看下面这串代码：

public class TestMain {
    public int test(){
        int a=0;
        try{
            a++;
            throw new Exception("故意的");
        }catch (Exception e){
            a++;
            return a;
        }finally {
            a++;
            System.out.println("a1="+a);
        }
    }
    public static void main(String[] args){
        int a=new TestMain().test();
        System.out.println("a2="+a);
    }
}

可以看到这个地方在test中打印的a值为 3 ,但返回值却是 2 ，这个地方又难住了，特地查了一下资料，有这么一句话：

“Java 虚拟机会把 finally 语句块作为 subroutine直接插入到 try 语句块或者 catch 语句块的控制转移语句之前。但是，还有另外一个不可忽视的因素，那就是在执行 subroutine之前，try 或者 catch 语句块会保留其返回值到本地变量表中。待 subroutine 执行完毕之后，再恢复保留的返回值到操作数栈中，然后通过 return 或者 throw 语句将其返回给该方法的调用者。”

也就是说这里是在 a++ 和 return 之间插入了 finally语句块，但是在执行 finally 语句块之前，先对 a 的值进行了保存，而之后的 finally语句块中对 a 进行的修改只是一个值传递，并没有对变量表中的 a 的值进行修改，所以也就是为什么在 finally 中 a 值为 3，而返回值 a 却为 2。

当然这里如果将 a 改成一个对象，对对象中的某个值进行修改，也就是进行引用传递，则会对返回值进行修改。

这里推荐一篇博客：https://www.jianshu.com/p/011062aaa855

2019/9/22日更新

吾生也有涯，而知也无涯。