Java异常处理：finally块中锁与资源保护指南

Java的异常处理机制中，finally块一直是一个存在感极强的话题。它被设计为无论是否发生异常、是否提前return、甚至在catch块中抛出新异常时，都能保证某些逻辑得到执行——说白了，这就是一把锁死、一张安全网。尤其是面对Lock锁或I/O资源这类手动管理型选手，finally的存在几乎是天经地义的。

有些开发者甚至会说：“synchronized做不到这一点，但finally可以。”这话虽然直白，但确实点出了核心。

为什么必须把unlock()放在finally里

Lock对象不像synchronized那样自带自动释放，它必须由你手动调用unlock()。如果你天真地把unlock()写在try块末尾——比如先执行业务代码，再调用unlock——一旦业务代码中间抛出了一个未捕获的异常，程序就会直接跳转到catch块或直接向外抛出，unlock()就这样被无情跳过了。结果就是锁被一个线程长期持有，其他所有试图获取该锁的线程直接陷入阻塞，死锁或线程饥饿随之而来。

• lock.lock()必须在try外部调用：加锁本身可能失败（例如被中断），但释放逻辑不能因为加锁失败就绕过了。如果加锁发生在try内部，一旦加锁成功但业务代码抛异常，unlock仍会被finally捕捉到——但加锁若因为异常没成功，finally中的unlock反而会抛出IllegalMonitorStateException。所以，lock必须在try之外调用。
• 不能把unlock放进catch块：catch块只负责处理特定类型的异常，如果catch块自己也return或抛出新异常，unlock同样会被漏掉。
• 尽量避免在多个return路径中分散unlock()：这种做法极易遗漏，且代码维护起来像踩地雷。

标准写法：Lock + try-finally

最稳妥、最通用的写法其实非常直接：

Lock lock = new ReentrantLock();
lock.lock(); // 加锁不在try内
try {
    // 临界区：可能抛异常、return、continue等
    doSomething();
} finally {
    lock.unlock(); // 这里一定会执行
}

• 无需调用isHeldByCurrentThread()来判断当前线程是否持有锁：ReentrantLock允许非持有线程调用unlock（虽然不推荐），且这种判断不是原子性操作，反而可能引入竞态条件风险。
• 不要在finally里throw或return：这可能会覆盖原始异常或改变方法的返回值，导致调试时摸不着头脑。
• 若lock对象为null，需要在lock.lock()前做空检查：否则NPE发生在加锁阶段，就不是释放阶段的问题了。

资源类（如流、连接）的finally处理要点

面对FileInputStream、Connection之类的需要close()的资源，finally中的释放操作要更加谨慎一些。

• 变量必须在try外部声明并初始化为null，否则finally无法访问到该变量。
• 每个资源单独判空，并单独用一个try-catch包裹关闭操作：防止一个close()抛出异常，导致后续资源无法释放。
• close()的异常应捕获并忽略（或记录日志），避免它掩盖try块中的主异常。

一个典型的示例：

InputStream in = null;
try {
    in = new FileInputStream("data.txt");
    // 读取操作
} catch (IOException e) {
    // 处理业务异常
} finally {
    if (in != null) {
        try { in.close(); } catch (IOException ignored) {}
    }
}

更优替代：优先用try-with-resources

对于实现了AutoCloseable接口的资源（如InputStream、Scanner、ResultSet等），try-with-resources是首选方案。它比手写finally更安全、更简洁：

• JVM会按照“后声明先关闭”的顺序自动调用close()。
• 即使try块抛出了异常，close()抛出的异常会被压制（suppressed），主异常仍然完整可见。
• 资源的作用域清晰明确，不存在变量泄漏或访问不到的问题。
• 需要注意的是，Lock本身并未实现AutoCloseable接口。如果需要类似的效果，可以自行封装一个实现了AutoCloseable的工具类。

示例：

try (FileInputStream fis = new FileInputStream("data.txt")) {
    int data = fis.read();
    // 使用资源
} catch (IOException e) {
    // 异常处理
} // fis在此自动关闭

说到底，无论是Lock锁还是I/O资源，使用finally来确保清理操作的执行，就是Java异常处理体系中一个不可或缺的“活命牌”。掌握好它，才能让你的代码在不可控的异常面前依然保持稳健和可维护性。