java - 需要Java的 "more precise rethrow in exceptions"

Question

我无法理解 Java 7 及更高版本中精确重新抛出的工作原理。正如 https://www.theserverside.com/tutorial/OCPJP-Use-more-precise-rethrow-in-exceptions-Objective-Java-7 中指出的，在 Java 7 及更高版本中，我们可以在方法声明中使用 throws 子句，其中包含该方法可能抛出的特定异常的逗号分隔列表。如果所有这些异常都是一般异常 java.lang.Exception 的子类型，我们将能够在捕获此父类(super class)型的 catch block 中捕获它们中的任何一个，同时让客户端代码(例如调用者方法)来了解实际发生了哪些可能的子类型异常。

最初，我认为为了让客户端代码知道实际发生了哪个异常，我们需要在 throws 子句中指定特定异常的列表。然而，在下面的示例中，客户端代码(main() 方法)似乎能够检索该信息，即使我们仅在中指定异常 java.lang.Exception被调用方法的 throws 子句。因此，我的问题是:

为什么下面的代码输出相同，无论方法runException()的throws子句是throws ExceptionA、ExceptionB还是抛出异常？

我在 Eclipse 中使用 Oracle JVM-12。提前致谢!

class ExceptionA extends Exception{}
class ExceptionB extends Exception{}

public class RethrowingAndTypeChecking{
    public static void runException(char what) throws Exception{
    //public static void runException(char what) throws ExceptionA, ExceptionB{
        try{
            if(what == 'A') 
                throw new ExceptionA();
            else if (what == 'B')
                throw new ExceptionB();
        }
        catch(Exception e){
            throw e;
        }
    }

    public static void main (String args[]){
        char ch;
        for (int i=0;i<2;i++) {
            if(i==0) ch='A';
            else ch = 'B';

            try{
                runException(ch);
            }
            catch(ExceptionA e){
                System.out.print("In main(), 'catch(ExceptionA e){}', caught exception: " + e.getClass());
            }
            catch(ExceptionB e){
                System.out.print("In main(), 'catch(ExceptionB e){}', caught exception: " + e.getClass());
            }
            catch(Exception e){
                System.out.print("In main(), 'catch(Exception e){}', caught exception: " + e.getClass());
            }               
            System.out.println();
        }
    }
}

输出:

In main(), 'catch(ExceptionA e){}', caught exception: class ExceptionA
In main(), 'catch(ExceptionB e){}', caught exception: class ExceptionB

Answer 1

您缺少的是需要以不同方式处理这些可能的异常的情况。您的代码正在捕获单独的异常，但粗略地说，它正在执行相同的操作。

如果您处理ExceptionA的方式与处理ExceptionB的方式有很大不同，那么捕获广泛的Exception将不允许您具体来说:

catch(Exception e){
    // something unexpected happened
    // e could be an ExceptionA problem
    // e could be an ExceptionB problem
    // e could be any other unchecked exception
}

当输入 catch(Exception e){} block 时，异常几乎可以是任何内容，但您只有一个通用代码块来处理它。

除此之外，如果您调用的方法声明了特定的检查异常，那么编译器可以帮助您仅处理这些异常，从而增加代码的可预测性

try{
    runException(ch);
} catch(ExceptionA e){
    // code specific to handling ExceptionA problems
} catch(ExceptionB e){
    // code specific to handling ExceptionB problems

} catch(ExceptionC e){ //will not compile, because not declared by runException
    // code specific to handling ExceptionB problems
}