Java 11合并捕获自定义异常并抛出增强异常的实现疑问

我定义了两个异常类：

class MyException extends Exception implements ExceptionManager{
    MyException addMessage(String message){...}
}

以及

class MyRuntimeException extends RuntimeException implements ExceptionManager {
    MyRuntimeException addMessage(String message){...}
}

对应的接口定义如下：

interface ExceptionManager{
    ExceptionManager addMessage(String message);
}

我希望实现以下逻辑，但代码无法正常编译：

void foo() throws MyException {
    try {
        // 业务逻辑
    } catch (MyException | MyRuntimeException e){
        throw e.addMessage("附加信息");
    }
}

我尝试将ExceptionManager改为泛型接口ExceptionManager<T extends Exception & ExceptionManager>，并把方法定义为T addMessage(String message)，但仍无法解决问题。

我的限制条件：

• 不希望foo方法声明抛出Exception
• 不想编写两个独立的catch块
• 项目基于Java 11，无法使用密封类

想确认：编译器能否识别捕获的异常只有两种可能，其中一种是运行时异常，因此只需声明抛出MyException？如果可以，该如何实现？如果不行，也请明确说明。

首先明确：Java编译器在处理多异常捕获的统一分支时，只会将变量e的类型视为所有捕获异常类型的最小公共超类型。这里MyException和MyRuntimeException的最小公共超类型是Exception，同时它们都实现了ExceptionManager，所以e的实际类型是Exception & ExceptionManager。

而addMessage方法返回的是ExceptionManager（泛型修改后也无法让编译器在多捕获场景下正确推断具体类型），编译器无法确定返回的实例到底是MyException还是MyRuntimeException，因此会要求方法声明抛出Exception，这就违反了你的需求。

不过可以通过类型转换结合instanceof判断实现需求，无需拆分catch块，同时利用Java 11支持的instanceof类型模式匹配简化代码：

步骤1：优化泛型接口（可选，但更规范） #

先修改泛型接口，让addMessage返回具体的异常类型：

interface ExceptionManager<T extends Exception & ExceptionManager<T>> {
    T addMessage(String message);
}

步骤2：更新异常类实现 #

class MyException extends Exception implements ExceptionManager<MyException> {
    @Override
    public MyException addMessage(String message) {
        // 实现逻辑：比如追加信息后返回当前实例或新实例
        return this;
    }
}

class MyRuntimeException extends RuntimeException implements ExceptionManager<MyRuntimeException> {
    @Override
    public MyRuntimeException addMessage(String message) {
        // 实现逻辑
        return this;
    }
}

步骤3：修改foo方法的catch块 #

void foo() throws MyException {
    try {
        // 业务逻辑
    } catch (MyException | MyRuntimeException e){
        if (e instanceof MyException me) {
            throw me.addMessage("附加信息");
        } else {
            // 编译器可推断此处为MyRuntimeException，运行时异常无需声明抛出
            throw ((MyRuntimeException) e).addMessage("附加信息");
        }
    }
}

这种方式既不需要拆分catch块，也不需要声明抛出Exception，完全符合Java 11的版本要求。

为什么最初的写法不行？因为编译器在多异常捕获的统一处理分支中，不会逐个分析捕获的异常类型并做分支推断，它只会基于公共超类型做类型检查，所以无法确认addMessage返回的实例是否是MyException。必须显式通过instanceof告诉编译器具体类型，才能让它正确识别抛出的异常类型。

内容的提问来源于stack exchange，提问作者Flo Flo