总结一个问题：finally一定会执行，但是return的变量是不是对应的变量呢？

墨蓝 2021-10-09 09:38 192阅读 0赞

贴代码

public static class Test {
            public static int anInt() {
                int i = 0;
                try {
                    i++;
                    i = i / 0;
                    return i;
                } catch (Exception e) {
                    i++;
                } finally {
                    i++;
                    return i;
                }
            }
        }

上述结果是什么？

3吗？当然是3；

那这个呢？

public static class Test {
            public static int anInt() {
                int i = 0;
                try {
                    i++;
                    i = i / 0;
                    return i;
                } catch (Exception e) {
                    i++;
                    return i;
                } finally {
                    i++;
                }
            }
        }

结果是2？为啥是2呢？就因为我把return挪到了catch里面？

不是说finally一定执行吗？没有i++吗？

这个又是结果多少呢？

public static class Test {
            public static int anInt() {
                int i = 0;
                try {
                    i++;
                    return i;
                } catch (Exception e) {
                    i++;
                    return i;
                } finally {
                    i++;
                }
            }
        }

这个呢？

public static class Test {
            public static int anInt() {
                int i = 0;
                try {
                    i++;
                    return i;
                } catch (Exception e) {
                    i++;
                    return i;
                } finally {
                    i++;
                    return i;
                }
            }
        }

好了总结一波：

这里我不贴编译代码，直接说结论；

由于在try 代码块中，使用return关键字后，那么当前栈帧就会有一个return对象，也就是说另存一个返回变量，当我们执行finally代码块，对 i 进行自增（代码块会执行），但是return结果却早就确定好了，你对源 i 进行自增，是不会改变当前结果的，那么当前代码返回的就是 try中 打包好的 i;

那么基于上面描述，如果说我再对finally中使用return关键字呢？那么这个时候就不一样了，因为出现了return关键字，那么就会重新对返回结果进行打包，就会覆盖try中（或者catch中）的返回对象，那么就会返回最新i的值；

两者差别，finally是通常一定会执行，但是所对应的内存地址不一定是同一个变量；