Java 中 finally 块的不可替代性：确保关键清理逻辑始终执行

finally 块的核心价值在于无论 try 是否抛出异常、catch 是否匹配、甚至 catch 中再次抛出异常或执行 return，finally 中的代码都保证执行——这是普通代码块（位于 catch 之后）完全无法做到的。

在 Java 异常处理中，finally 并非语法装饰，而是保障资源安全与逻辑健壮性的关键机制。表面上看，将清理代码 C 放在 catch 后面似乎等价于 finally：

// ❌ 表面等价，但存在严重缺陷
try {
    // A：可能抛出异常
} catch (IOException e) {
    // B：仅捕获 IOException
}
// C：资源释放？日志记录？状态重置？

然而，这种写法在以下三种典型场景中会彻底失效，而 finally 始终可靠：

✅ 场景 1：try 抛出未被捕获的异常
若 A 抛出 NullPointerException，而 catch 仅声明捕获 IOException，则异常向上抛出，C 完全不会执行；但 finally 仍会运行：

try {
    String s = null;
    s.length(); // 抛出 NPE
} catch (IOException e) { // 不匹配，跳过
    System.out.println("IO error");
} finally {
    System.out.println("✔ finally executed"); // ✅ 
输出
}
// System.out.println("C"); // ❌ 永远不会到达

✅ 场景 2：catch 块自身抛出异常或返回
即使 A 被成功捕获，若 B 中抛出新异常或执行 return，后续代码 C 将被跳过：

public static String example() {
    try {
        throw new IOException();
    } catch (IOException e) {
        System.out.println("Handling IO...");
        return "handled"; // ⚠️ 提前返回 → 后续代码不执行
    }
    System.out.println("This never prints"); // ❌ 不可达
    return "done";
}

而 finally 在 return 之前执行（且不影响返回值）：

public static String withFinally() {
    try {
        throw new IOException();
    } catch (IOException e) {
        System.out.println("Handling...");
        return "handled";
    } finally {
        System.out.println("✔ cleanup in finally"); // ✅ 先输出
        // 即使此处 return，也仅覆盖原返回值（需谨慎）
    }
}
// 输出：
// Handling...
// ✔ cleanup in finally
// 返回 "handled"

✅ 场景 3：多层嵌套或复杂控制流
包括 break/continue 跳出 try 块、JVM 异常（如 OutOfMemoryError）等极端情况，finally 仍具最高执行优先级（除 System.exit() 或线程被强制终止等极少数例外）。

? 最佳实践建议：

• 将资源释放（如关闭文件、数据库连接）、锁释放、监控埋点、状态重置等关键清理逻辑统一放入 finally；
• 避免在 finally 中 return 或抛出未处理异常（可能掩盖原始异常）；
• Java 7+ 推荐优先使用 try-with-resources（自动管理 AutoCloseable），它本质是编译器生成的隐式 finally，更简洁安全。

总之，finally 是 Java 异常模型中实现“确定性终结”（deterministic finalization）的基石——它不是“可选的优雅补充”，而是编写健壮、可维护系统代码的必备保障。