Java异常为已检查的异常，但不需要在trycatch中引发

Question

我有这个片段。

public final class StackOverflow{
   class MyException extends Throwable{
   }
   private void a(){
       try{
       }catch(MyException | Exception e){
       }
   }
}
exception StackOverflow.MyException is never thrown in body of corresponding try statement

我知道Exception也在扩展Throwable，这也是一个检查异常，而MyException也在扩展Throwable，这也使得一个Checked异常！

我的问题是，为什么不要求在try catch中抛出异常，而MyException是异常？我认为两者都是检查异常，所以有什么区别？

很抱歉，问题很简单。

Answer 1

Java语言规范中对此进行了解释（粗体强调）：

如果catch子句 可以捕获已 检查的异常类E1，并且不是try与catch子句相对应的块 可以抛出
作为E1的子类或超类的已检查的异常类，则不是编译时错误， 除非E1是Exception或父类。的Exception。

我想这背后的理由是：MyException确实是一个检查异常。但是，未经检查的异常也会扩展Exception（从继承继承RuntimeException），因此在编译器进行的异常html" target="_blank">分析中排除了catch包含Exception类。