在Java异常处理机制中，finally块常被当作资源释放的保险手段。但JVM的指令执行逻辑表明，finally并非绝对执行，其触发依赖于线程控制流正常离开try或catch区域。理解失效边界，对编写健壮的清理代码至关重要。
一、finally的正常执行模型
在绝大多数业务代码中，无论try块是正常结束、抛出被catch捕获的异常，还是抛出未被捕获的异常，finally都会被执行。从编译层面看，Java编译器会将finally中的语句复制到try和catch的所有正常及异常退出路径之前，形成所谓的“退出前织入”。
下面是一段基础示例，展示异常被捕获时finally依然运行：
public class FinallyDemo {
public static void main(String[] args) {
try {
System.out.println("try 执行");
int x = 1 / 0;
} catch (ArithmeticException e) {
System.out.println("catch 执行");
} finally {
System.out.println("finally 执行");
}
}
}
上述代码输出顺序为try、catch、finally。这种结构让开发者误以为finally是“铁律”，但接下来几种场景会打破这一认知。
二、System.exit导致的finally失效
最典型的失效场景是try或catch中调用了System.exit(int)。该方法会通知JVM立即终止当前进程，不会执行任何未完成的finally块。从JVM角度，exit触发了Shutdown序列，而非普通的方法返回或异常抛出。
观察以下代码，finally永远不会打印：
public class ExitDemo {
public static void main(String[] args) {
try {
System.out.println("try 执行");
System.exit(0);
} finally {
System.out.println("finally 执行");
}
}
}
实际运行中，控制台仅输出“try 执行”后进程退出。因此在涉及日志记录、锁释放的关键路径上，若依赖finally做清理，而上游误用exit，就会产生资源泄漏。替代方案是使用钩子Runtime.getRuntime().addShutdownHook，但它也不保证在强制kill -9下运行。
三、线程被中断或致命错误场景
当try块所在线程被其他线程调用stop()（已废弃）或遭遇OutOfMemoryError等致命错误，且错误未被catch住时，若错误发生在try内并直接终止线程，finally可能不执行。此外，若try中有无限循环，控制流永远无法退出，finally自然不会被触发。
示例展示死循环导致finally不可达：
public class LoopDemo {
public static void main(String[] args) {
try {
while (true) {
// 模拟阻塞或死循环，永远出不去
}
} finally {
System.out.println("finally 执行");
}
}
}
该程序永远不会打印finally。在真实系统中，类似问题常出现在网络读取未设超时的场景。建议将资源操作包裹在带超时的结构中，或显式使用try-with-resources，并结合外部看门狗线程。
四、return与finally的微妙关系
有一种常见误解：若在try中return，finally不会执行。实际上finally仍会执行，且若finally中也return，会覆盖try的返回值。但这不属于失效，而是覆盖。我们通过表来对比：
| 场景 | finally是否执行 | 返回值来源 |
|---|---|---|
| try return，finally无return | 是 | try中的值暂存后由finally前返回 |
| try return，finally也return | 是 | finally的return |
| try调用System.exit | 否 | 进程退出无返回 |
理解该表能避免误把“返回值被改”当作“finally失效”。在代码评审中，应禁止finally写return或抛异常，以防止遮蔽原始错误。
五、工程实践中的规避策略
为确保资源释放，Java 7引入的try-with-resources在编译期同样依赖finally机制，因此前述exit等场景对它同样无效。最佳实践是：不要在库代码中使用System.exit；对必须退出的程序，将清理逻辑放入shutdown hook；对线程任务，使用Executor的关闭策略代替强制stop。
示例展示安全的资源用法：
public class SafeDemo {
public static void main(String[] args) {
try (java.io.FileInputStream in = new java.io.FileInputStream("test.txt")) {
int data = in.read();
System.out.println(data);
} catch (Exception e) {
e.printStackTrace();
}
}
}
该写法在常规异常下能关闭流，但无法对抗进程级终止。系统设计中应明确区分“逻辑异常”与“进程终止”，对后者采用操作系统级监控补位。只有这样，才能构建真正可靠的清理体系。