return与finally执行顺序详解

Java中return与finally的执行顺序常被误解，其实质是：只要进入try或catch块，无论是否执行return，finally必定执行；return语句并非立即退出方法，而是先将返回值（基本类型存值、引用类型存地址）暂存，再执行finally——若finally中包含return或throw，则直接覆盖原返回值或异常，否则返回最初暂存的结果；尤其需警惕的是，finally中修改变量不影响已暂存的基本类型返回值，但可能改变引用对象的状态；为保障逻辑清晰与异常安全，应严格避免在finally中写return或throw，仅用于资源清理。掌握“暂存—必执行—可覆盖”这一核心机制，就能避开绝大多数隐蔽陷阱。

return语句在try-catch中执行时，finally一定会运行

Java规定：只要进入了try或catch块，无论其中是否执行了return，对应的finally块都会被执行（除非JVM提前退出，如调用System.exit()）。这意味着return不是“立刻跳出方法”，而是先“记下返回值”，再执行finally，最后才真正返回。

return值在finally执行前就已确定

如果try或catch中有return，JVM会把要返回的值**暂存**（基本类型存值，引用类型存地址），然后跳转到finally执行。若finally里没有return或throw，方法最终返回的就是这个暂存的值；但如果finally里也有return，它会**覆盖**之前暂存的返回值。

例如：

public static int test() {
    try {
        return 1;
    } finally {
        return 2; // ✅ 这个return生效，最终返回2
    }
}

finally中修改变量不影响已确定的return值

对于基本类型，即使finally中修改了相关变量，也不会改变已暂存的返回值。

例如：

public static int test() {
    int x = 1;
    try {
        return x; // 暂存x的值：1
    } finally {
        x = 2; // ✅ 修改x，但不影响已暂存的1
    }
    // 最终返回1
}

对引用类型同理：finally中修改对象属性会影响原对象（因为地址没变），但不会改变“return obj”时已确定的引用地址本身。

避免在finally中写return或throw

• finally里的return会掩盖try/catch中的异常和返回逻辑，让代码行为难以预测
• finally中抛出异常会吞掉try/catch中原本要抛出的异常（后者被丢弃）
• 推荐做法：finally只做资源清理（如close流、unlock锁），不改变控制流

基本上就这些。理解“暂存返回值 + finally必执行 + 后者return可覆盖前者”，就能避开大部分坑。

以上就是《return与finally执行顺序详解》的详细内容，更多关于的资料请关注golang学习网公众号！