Eine Ausnahme abfangen und erneut werfen, aber es ist keine Ausnahme

Ich bin auf Code gestoßen, der ungefähr so ​​aussieht:

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

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

Dieser Code überrascht mich, weil es so aussieht, als ob die run()-Methode in der Lage ist, ein zu werfen Exception, da es es fängt Exceptionund dann erneut wirft, aber die Methode ist nicht zum Werfen deklariert Exceptionund muss es anscheinend nicht sein. Dieser Code wird einwandfrei kompiliert (zumindest in Java 11).

Meine Erwartung wäre, dass ich throws Exceptionin der run()Methode deklarieren müsste .

Zusatzinformation

In ähnlicher Weise muss, wenn doSomethingzum Werfen deklariert wird, IOExceptionnur IOExceptionin der Methode deklariert werden run(), obwohl Exceptiones gefangen und erneut geworfen wird.

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 ...
}

Frage

Java mag normalerweise Klarheit. Was ist der Grund für dieses Verhalten? War es schon immer so? Was in der Java-Sprachspezifikation erlaubt es der run()Methode, nicht throws Exceptionin den obigen Codefragmenten zu deklarieren ? (Wenn ich es hinzufügen würde, warnt mich IntelliJ, dass Exceptiones nie geworfen wird).

Ich habe das nicht durchgesehen, JLSwie Sie in Ihrer Frage gefragt haben, also nehmen Sie diese Antwort bitte mit einem Körnchen Salz. Ich wollte einen Kommentar abgeben, aber er wäre zu groß gewesen.

Ich finde es manchmal lustig, wie javacziemlich "klug" in einigen Fällen (wie in Ihrem Fall) ist, aber viele andere Dinge müssen später erledigt werden JIT. In diesem Fall kann der Compiler nur "erkennen", dass nur a RuntimeExceptionabgefangen wird. Dies ist offensichtlich, es ist das einzige, was Sie einwerfen doSomething. Wenn Sie Ihren Code leicht ändern in:

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

Sie werden ein anderes Verhalten sehen, weil Sie jetzt erkennen javackönnen, dass es ein neues gibt Exception, das Sie werfen, das nichts mit dem zu tun hat, das Sie gefangen haben.

Aber die Dinge sind alles andere als ideal, Sie können den Compiler noch einmal "austricksen" über:

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

IMO, weil ex2 = ex;es nicht wieder scheitern sollte, aber es tut.

Nur für den Fall, dass dies mit kompiliert wurde javac 13+33