捕获异常并重新抛出它，但这不是异常

Question

我偶然发现了如下代码：

void run() {
    try {
        doSomething();
    } catch (Exception ex) {
        System.out.println("Error: " + ex);
        throw ex;
    }
}

void doSomething() {
    throw new RuntimeException();
}

这段代码让我吃惊，因为它看起来run()-方法能够抛出Exception，因为它捕获Exception然后重新抛出它，但该方法没有声明抛出Exception，显然不需要。这段代码编译得很好（至少在 Java 11 中）。

我的期望是我必须在run()-方法中声明throws Exception。

额外信息

以类似的方式，如果doSomething 被声明为抛出IOException，那么即使Exception 被捕获并重新抛出，也只需要在run() 方法中声明IOException。

void run() throws IOException {
    try {
        doSomething();
    } catch (Exception ex) {
        System.out.println("Error: " + ex);
        throw ex;
    }
}

void doSomething() throws IOException {
    // ... whatever code you may want ...
}

问题

Java 通常喜欢清晰，这种行为背后的原因是什么？一直都是这样吗？ Java语言规范中的什么允许run()方法不需要在上面的代码sn-ps中声明throws Exception？ （如果我要添加它，IntelliJ 会警告我 Exception 永远不会被抛出）。

Answer 1

我没有像您在问题中提出的那样扫描JLS，所以请对这个答案持保留态度。我想发表评论，但它太大了。

---

我有时觉得很有趣，javac 在某些情况下是多么“聪明”（比如在你的情况下），但还有很多其他事情需要稍后由JIT 处理。在这种情况下，只是编译器“可以告诉”只有RuntimeException 会被捕获。这很明显，这是您在doSomething 中唯一输入的内容。如果您将代码稍微更改为：

void run() {
    try {
        doSomething();
    } catch (Exception ex) {
        Exception ex2 = new Exception();
        System.out.println("Error: " + ex);
        throw ex2;
    }
}

你会看到不同的行为，因为现在javac 可以告诉你有一个新的Exception 你正在扔，与你抓到的那个无关。

但事情远非理想，您可以通过以下方式再次“欺骗”编译器：

void run() {
    try {
        doSomething();
    } catch (Exception ex) {
        Exception ex2 = new Exception();
        ex2 = ex;
        System.out.println("Error: " + ex);
        throw ex2;
    }
}

IMO，因为ex2 = ex;，它不应该再次失败，但确实如此。

以防万一这是用javac 13+33编译的