是否需要抛出异常而抛出异常？

Question

考虑以下代码：

static void main(String[] args) {
  try {
  } catch (Exception e) {
    throw e;
  }
}

无需添加throws Exception方法签名即可编译该代码。（它与同样表现Throwable到位Exception，太）。

我理解为什么 可以 安全地运行它，因为Exception实际上不能将其引发在try块中，因此不能引发已检查的异常。我有兴趣知道在何处指定此行为。

并非throw e永远都不会达到目标：以下代码也会编译：

static void stillCompilesWithThrownUncheckedException() {
  try {
    throw new NullPointerException();
  } catch (Exception e) {
    throw e;
  }
}

但是，如果抛出一个检查的异常，它不会像我期望的那样编译：

static void doesNotCompileWithThrownCheckedException() {
  try {
    throw new Exception();
  } catch (Exception e) {
    throw e;  // error: unreported exception Exception; must be caught or declared to be thrown
  }
}

在JLS Sec
11.2.2中
，它说：

一throw，其抛出的表达式语句（§14.18）具有静态类型E和不是最终或有效最终异常参数可以抛出E或任何异常类，抛出的表达可以抛出。

我对此声明的解释是throw e可以抛出Exception，因为的静态类型e是Exception。然后，在JLS Sec 11.2.3：

如果方法或构造函数主体可以抛出某些异常类E（当E为检查的异常类，并且E不是方法或构造函数的throws子句中声明的某个类的子类），则这是编译时错误。

但这不是前两种情况下的编译时错误。语言规范在哪里描述了这种行为？

编辑：将其标记为欺骗后，我要问一个后续问题： 在第一个示例中 为什么不throw e;认为它不可达。

在JLS Sec
14.21中
更容易找到答案：

• 如果满足以下两个条件，则可以到达catch块C：

  * C的参数类型是未经检查的异常类型或Exception，或者是Exception的超类，或者try块中的某些表达式或throw语句是可到达的，并且可以引发其类型可以分配给C的参数类型的受检查的异常。（如果包含表达式的最里面的语句是可到达的，则该表达式是可到达的。）

有关表达式的正常和突然完成，请参见§15.6。

* 在try语句中没有较早的catch块A，以使C的参数类型与A的参数类型相同或成为其子类。

这两个都是正确的（它是type
Exception，并且没有较早的catch块），因此它是“可到达的”。我猜想try对于这种微不足道的构造，调用空块作为特殊情况的工作量太大了。

Answer 1

我相信第11.2.2节的下一段回答了这个问题：

如果一条throw语句的抛出表达式是catch子句C的最终异常参数或实际上是最终异常参数，则该语句可以引发异常类E iff：

• E是一个异常类，声明C try的try语句的块可以抛出该异常类；和
• …
  
  

因此，throw e;“只能抛出”相应try块“可以抛出”的异常，后者由try-block中的实际语句定义。

显然，空的try-block不符合任何异常类的“可以抛出”的条件。您的第二个示例“可以抛出”
NullPointerException，并且由于catch块只能抛出try块“可以抛出”的异常，因此catch块也只能抛出未经检查的NullPointerException。

第三个示例的try块“可以抛出” java.lang.Exception本身，因此catch块“可以抛出”
java.lang.Exception，因此必须捕获或声明要抛出java.lang.Exception。