问题来源:深入理解jvm第三版

编译器为这段Java源码生成了三条异常表记录，对应三条可能出现的代码执行路径。 从Java代码的语义上讲，这三条执行路径分别为： ·如果try语句块中出现属于Exception或其子类的异常，转到catch语句块处理； ·如果try语句块中出现不属于Exception或其子类的异常，转到finally语句块处理； ·如果catch语句块中出现任何异常，转到finally语句块处理。 返回到我们上面提出的问题，这段代码的返回值应该是多少？熟悉Java语言的读者应 该很容易说出答案：如果没有出现异常，返回值是1；如果出现了Exception异常，返回值 是2；如果出现了Exception以外的异常，方法非正常退出，没有返回值。我们一起来分析 一下字节码的执行过程，从字节码的层面上看看为何会有这样的返回结果。 字节码中第0～4行所做的操作就是将整数1赋值给变量x，并且将此时x的值复制一份 副本到最后一个本地变量表的变量槽中（这个变量槽里面的值在ireturn指令执行前将会被 重新读到操作栈顶，作为方法返回值使用。为了讲解方便，笔者给这个变量槽起个名字： returnValue）。如果这时候没有出现异常，则会继续走到第5～9行，将变量x赋值为3，然
后将之前保存在returnValue中的整数1读入到操作栈顶，最后ireturn指令会以int形式返回操 作栈顶中的值，方法结束。如果出现了异常，PC寄存器指针转到第10行，第10～20行所 做的事情是将2赋值给变量x，然后将变量x此时的值赋给returnValue，最后再将变量x的值 改为3。方法返回前同样将returnValue中保留的整数2读到了操作栈顶。从第21行开始的代 码，作用是将变量x的值赋为3，并将栈顶的异常抛出，方法结束

package com.zte.lzz.leetcode.tryCatchFinally;
 
/**
 * try-catch-finally 执行顺序及finally修改属性值问题总结
 */
public class TryCatchFinallyDemo {
    public static void main(String[] args) {
        System.out.println(show01());
        System.out.println("-----------------------------------");
        System.out.println(show02());
        System.out.println("-----------------------------------");
        System.out.println(show03());
        System.out.println("-----------------------------------");
        System.out.println(show04());
        System.out.println("-----------------------------------");
        System.out.println(show05());
        System.out.println("-----------------------------------");
        TryCatchFinallyDemo demo = new TryCatchFinallyDemo();
        System.out.println(demo.m1().toString());
        System.out.println("-----------------------------------");
        System.out.println("-----------------------------------");
        System.out.println(demo.m2().toString());
        System.out.println("-----------------------------------");
        System.out.println(demo.m3().toString());
 
    }
    public static int show01() {
        try {
            return 1;
        }finally{
            System.out.println("finally模块被执行,01");
        }
    }
    public static int show02() {
        try {
            int a = 8/0;
            return 1;
        }catch (Exception e) {
            return 2;
        }finally{
            System.out.println("finally模块被执行,02");
        }
    }
    public static int show03() {
        try {
            int a = 8/0;
            return 1;
        }catch (Exception e) {
            return 2;
        }finally{
            System.out.println("finally模块被执行,03");
            return 0;
        }
    }
    public static int show04() {
        int result = 0;
        try {
            return result;
        }finally{
            System.out.println("finally模块被执行,04");
            result = 1;
        }
    }
    public static Object show05() {
        Object obj = new Object();
        try {
            return obj;
        }finally{
            System.out.println("finally模块被执行,05");
            obj = null;
        }
    }
    public LOl m1(){
        LOl lOl = new LOl();
        try {
            return lOl;
        }finally {
            System.out.println("finally模块被执行,m1");
            lOl = null;
        }
    }
    public LOl m2(){
        LOl lOl = new LOl();
        try {
            lOl.setAge(20);
            lOl.setName("jack");
            return lOl;
        }finally {
            System.out.println("finally模块被执行,m2");
            lOl.setAge(25);
            lOl.setName("rose");
        }
    }
    public LOl m3(){
        LOl lOl = new LOl();
        try {
            lOl.setAge(20);
            lOl.setName("jack");
            return lOl;
        }finally {
            System.out.println("finally模块被执行,m3");
            lOl.setAge(25);
            lOl.setName("rose");
            return lOl;
        }
    }
    class LOl{
        private String name;
        private int age;
 
        public String getName() {
            return name;
        }
 
        public void setName(String name) {
            this.name = name;
        }
 
        public int getAge() {
            return age;
        }
 
        public void setAge(int age) {
            this.age = age;
        }
 
        @Override
        public String toString() {
            return "LOl{" +
                    "name='" + name + '\'' +
                    ", age=" + age +
                    '}';
        }
    }
}

执行结果

finally模块被执行,01
1
-----------------------------------
finally模块被执行,02
2
-----------------------------------
finally模块被执行,03
0
-----------------------------------
finally模块被执行,04
0
-----------------------------------
finally模块被执行,05
java.lang.Object@18769467
-----------------------------------
finally模块被执行,m1
LOl{name='null', age=0}
-----------------------------------
-----------------------------------
finally模块被执行,m2
LOl{name='rose', age=25}
-----------------------------------
finally模块被执行,m3
LOl{name='rose', age=25}
 
Process finished with exit code 0

结果及顺序

执行顺序：

1，finally无return，执行完finally代码，再执行try或者catch里面return

2，finally有return，执行finally里面return，不再执行try或者catch里面return

finally修改值问题：

3，如果在执行finally块前出现return语句，会把在值先缓存起来，等执行完finally块后，再返回缓存起来的值。

4，如果是返回基本类型的值，那么在缓存时也是缓存值本身，所以后面在finally块中重新赋值时，方法返回的值不会受finally块中重新赋值的影响；

如果返回的是引用类型的值，那么在缓存时，缓存的是引用类型对象的引用，所以虽然后面在finally块中重新赋值时（重新指向另一个对象），方法返回的值不会受到影响，但是如果是修改对象的属性，那么会影响到返回的值。