Java 8中使用多捕获异常时m2()方法为何编译失败？

这个问题的核心在于Java编译器对三元表达式的类型推断规则，以及多捕获异常的匹配要求。我们来一步步拆解：

先看能正常编译的m1()方法 #

在m1()里，我们通过if-else分支明确抛出Excep1或Excep2。编译器能清晰分析出try块内只会抛出这两种具体的异常类型，所以catch (Excep1 | Excep2 e)完全能覆盖所有可能的异常，自然可以正常编译。

再看编译失败的m2()方法 #

而在m2()中，我们用了三元表达式throw b ? new Excep1() : new Excep2();。这里编译器需要推断这个三元表达式的类型，它会找两个操作数（Excep1和Excep2）的最小公共超类型。

这两个类的共同超类型有：

• 类：Exception、Throwable、Object
• 接口：I

根据Java的类型推断规则，当类和接口同时作为候选时，编译器会优先选择最具体的类类型，也就是Exception。所以这个三元表达式的编译时类型会被推断为Exception，而不是I或者某个具体的异常子类。

这就导致编译器认为try块内可能抛出Exception类型的异常，但你的catch块只声明了捕获Excep1和Excep2——这两个都是Exception的子类，无法覆盖父类型Exception。根据Java异常处理的规则，catch块必须能够处理try块中所有可能抛出的检查型异常，因此编译器会报错。

解决办法 #

如果你想保留类似的简洁写法，可以参考这些方案：

1. 回到m1()的if-else写法，让编译器明确知道抛出的具体异常类型；
2. 定义一个共同的异常父类，让Excep1和Excep2继承它，比如：

   private static class BaseException extends Exception {}
   private static class Excep1 extends BaseException implements I {}
   private static class Excep2 extends BaseException implements I {}
   

   此时三元表达式的类型会被推断为BaseException，你可以把catch块改成catch (BaseException e)，也能满足需求；
3. 若坚持使用原有的多捕获写法，可通过显式转型强制指定三元表达式的类型为具体异常的父类，比如：

   throw (BaseException)(b ? new Excep1() : new Excep2());
   

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