异常的 “隐藏传递”：finally 中的 return 会吞噬异常？

一、Bug 场景

在一个 Java 程序中，开发人员在 try - catch - finally 块中编写了业务逻辑。原本期望 try 块中抛出的异常能够被正确捕获并处理，但在实际运行时，发现 finally 块中的 return 语句导致异常似乎被 “吞噬”，程序没有按照预期处理异常，这使得排查和解决问题变得困难，也影响了程序的稳定性和可靠性。

二、代码示例

异常处理类（有缺陷）

public class ExceptionHidingExample {
    public static int divide(int a, int b) {
        try {
            return a / b;
        } catch (ArithmeticException e) {
            System.out.println("捕获到算术异常: " + e.getMessage());
            throw new RuntimeException("处理算术异常时抛出新异常", e);
        } finally {
            // 这里的return语句会隐藏try或catch块中抛出的异常
            return -1; 
        }
    }
}

测试代码

public class ExceptionHidingBugExample {
    public static void main(String[] args) {
        try {
            int result = ExceptionHidingExample.divide(10, 0);
            System.out.println("结果: " + result);
        } catch (Exception e) {
            System.out.println("外部捕获到异常: " + e.getMessage());
        }
    }
}

三、问题描述

1. 预期行为：当 divide 方法执行 a / b 出现 ArithmeticException 时，catch 块捕获并处理该异常，然后抛出一个新的 RuntimeException，这个新异常应该被外部的 try - catch 块捕获并处理，输出相应的错误信息。
2. 实际行为：finally 块中的 return 语句使得 try 或 catch 块中抛出的异常被 “隐藏”。尽管 catch 块捕获了 ArithmeticException 并抛出了新的 RuntimeException，但由于 finally 块中的 return -1 语句，这个新的 RuntimeException 没有被传递到外部的 try - catch 块，导致外部捕获不到异常，程序输出的结果是 结果: -1。这是因为在执行 finally 块中的 return 语句时，try 或 catch 块中抛出的异常信息会被丢弃，最终返回的是 finally 块中的 return 值，从而隐藏了异常。

四、解决方案

1. 避免在 finally 中使用 return：将 return 语句放在 try 或 catch 块中合适的位置，确保异常能够正常传递。

public class ExceptionHidingExample {
    public static int divide(int a, int b) {
        try {
            return a / b;
        } catch (ArithmeticException e) {
            System.out.println("捕获到算术异常: " + e.getMessage());
            throw new RuntimeException("处理算术异常时抛出新异常", e);
        }
    }
}

修改后的测试代码

public class ExceptionHidingBugExample {
    public static void main(String[] args) {
        try {
            int result = ExceptionHidingExample.divide(10, 0);
            System.out.println("结果: " + result);
        } catch (Exception e) {
            System.out.println("外部捕获到异常: " + e.getMessage());
        }
    }
}

2. 使用辅助变量：在 try 或 catch 块中设置一个辅助变量来存储结果，finally 块中不使用 return，而是对辅助变量进行操作，这样可以保证异常的正常传递。

public class ExceptionHidingExample {
    public static int divide(int a, int b) {
        int result = 0;
        try {
            result = a / b;
        } catch (ArithmeticException e) {
            System.out.println("捕获到算术异常: " + e.getMessage());
            throw new RuntimeException("处理算术异常时抛出新异常", e);
        } finally {
            // 这里可以对result进行其他非return的操作
        }
        return result;
    }
}