多捕获异常处理与多态：合并捕获时process方法调用为何报错？

这事儿本质是Java编译器对多异常捕获变量的类型推断规则在起作用，我给你掰碎了说：

当你用catch (MyExceptionType1 | MyExceptionType2 e)这种合并捕获的语法时，编译器会把变量e的编译时类型推断为这两个异常类的最小公共超类型。举个例子，如果MyExceptionType1和MyExceptionType2都是直接继承自Exception，没有更近的共同子类，那e就会被当成Exception类型处理。

而你的process方法只定义了接受MyExceptionType1和MyExceptionType2这两个具体子类的重载版本，根本没有接受Exception类型的方法，所以编译器就会报错说找不到合适的process方法——它只知道e是个Exception，没法确定它到底是哪一个子类的实例，自然没法匹配到你写的重载。

但分开写两个catch块就不一样了：每个catch块里的e，编译时类型就是对应的具体异常类（第一个块里是MyExceptionType1，第二个是MyExceptionType2），编译器能精准匹配到对应的重载方法，所以编译完全顺畅。

如果非要用合并捕获的写法让代码工作，有两种选择：

• 给process新增一个接受它们公共超类型的重载方法，但这可能不符合你的业务逻辑；
• 对e做显式类型判断和转换，比如：

catch (MyExceptionType1 | MyExceptionType2 e) {
    if (e instanceof MyExceptionType1) {
        process((MyExceptionType1) e);
    } else {
        process((MyExceptionType2) e);
    }
}

不过这种写法其实和分开捕获没什么本质区别，还多了类型判断的代码，所以一般更推荐保持分开捕获的写法，既清晰又能避免这种类型推断的坑。

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