使用三元运算符抛出已检查或未检查的异常

Question

我最初的问题使用了FileNotFoundException 和IllegalStateException，因此它们包含在答案中。为了简单起见，我已将它们分别更改为它们的超类 IOException 和 RuntimeException。

---

这样编译（不使用三元，1 个选中，1 个未选中）：

private void test() throws IOException { // throws is required
    if (new Random().nextInt(2)==0) throw new IOException();
    throw new RuntimeException();
}

这也可以编译（使用三元，2 个未经检查的异常）：

private void test3() { // throws not required
    throw new Random().nextInt(2)==0 ? new UncheckedIOException(null) : new RuntimeException();
}

但是为什么这不能编译（使用三元，1 个选中，1 个未选中）？

private void test2() throws IOException {
    throw new Random().nextInt(2)==0 ? new IOException() : new RuntimeException();
}

来自 Eclipse：

未处理的异常类型Exception

提供 2 个快速修复：

J! 添加 throws 声明

J! 用 try/catch 包围

---

另外一对例子

这样编译：

private void test4() { // throws not required
    if (new Random().nextInt(2)==0) throw new Error();
    throw new RuntimeException();
}

这不是：

private void test5() {
    throw new Random().nextInt(2)==0 ? new Error() : new RuntimeException();
}

来自 Eclipse：

未处理的异常类型 Throwable

提供 2 个快速修复：

J! 添加 throws 声明

J! 用 try/catch 包围

Answer 1

为什么不编译？

因为在这种情况下，条件 ?: 运算符的推断类型是Exception，遵循JLS 15.25.3 的规则。虽然 JLS 很快变得复杂，但规则试图找到“最具体的类型，其中有两种操作数类型的隐式转换”。一种“最近的共同祖先”。

本例中的继承层次为：

                      Exception
                   /              \
           IOException           RuntimeException
               /                         \
      FileNotFoundException           IllegalStateException

...所以最近的共同祖先是Exception。您的代码有点相当于：

private void test() throws FileNotFoundException {
    Exception exception = 1==0 ? new FileNotFoundException() : new IllegalStateException();
    throw exception;
}

希望你已经明白为什么 会编译失败...在这种情况下，如果运气好的话，现在一切都清楚了 :)