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