finally代码块的执行规则深度解析

一、核心结论

finally代码块几乎总是会执行，即使在try或catch块中存在return语句。但存在以下极少数例外情况：

二、详细执行场景分析

1. 典型情况（finally正常执行）

try {
    System.out.println("try block");
    return 1;  // 注意：return语句会先计算返回值并暂存
} finally {
    System.out.println("finally block");  // 一定会执行
}
// 输出顺序：
// try block
// finally block
// 实际返回1

2. 执行时序说明

1. 执行try块代码

2. 遇到return时先计算返回值并暂存（此时未真正返回）

3. 跳转执行finally块

4. 最后返回之前暂存的值

3. 返回值修改示例

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

三、finally不执行的极端情况

1. JVM退出（唯一真正不执行的情况）

try {
    System.out.println("try");
    System.exit(0);  // 强制终止JVM
} finally {
    System.out.println("never reached");  // 不会执行
}

2. 无限循环/阻塞

try {
    System.out.println("try");
    while(true);  // 无限循环
} finally {
    System.out.println("never reached");  // 不会执行
}

3. 线程被杀死

try {
    System.out.println("try");
    Thread.currentThread().stop();  // 已废弃方法
} finally {
    System.out.println("可能不会执行");
}

四、深度问题

Q1：try和finally都有return时，返回哪个？
A：finally中的return会覆盖try中的return：

int test() {
    try {
        return 1;
    } finally {
        return 2;  // 实际返回2
    }
}

Q2：finally中抛出异常会怎样？
A：会覆盖try块的异常：

try {
    throw new RuntimeException("try exception");
} finally {
    throw new RuntimeException("finally exception");  // 最终抛出这个
}

Q3：System.gc()会导致finally不执行吗？
A：不会！gc()只是建议JVM回收，不保证立即执行，更不会跳过finally。

Q4：try-with-resources中的finally何时执行？
A：在资源关闭之后执行：

try (InputStream is = new FileInputStream("file")) {
    return is.read();
} finally {
    System.out.println("在is.close()之后执行");
}

五、字节码层面解析

// 源代码
int test() {
    try {
        return 1;
    } finally {
        System.out.println("finally");
    }
}

// 关键字节码
Code:
 0: iconst_1          // 准备返回值1
 1: istore_1         // 存储到局部变量表槽位1（暂存返回值）
 2: getstatic System.out
 5: ldc "finally"
 7: invokevirtual PrintStream.println
10: iload_1          // 加载暂存的返回值1
11: ireturn          // 返回

六、最佳实践建议

1. 避免在finally中使用return：会屏蔽try/catch中的异常

2. 避免finally中抛异常：会掩盖原始异常

3. 清理资源优先用try-with-resources：比finally更可靠

4. 重要操作不要只依赖finally：考虑极端情况需额外保护

理解这些规则可以帮助您编写更健壮的异常处理代码，特别是在资源管理和事务控制等关键场景中。