例外をキャッチして再スローするが、例外ではない

私は次のようなコードに遭遇しました：

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

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

このコードは私を驚かせます。- methodはそれをキャッチしてから再スローするため、をスローrun()できるように見えますが、メソッドがスローするように宣言されておらず、明らかにそうである必要はないからです。このコードは問題なくコンパイルされます（少なくともJava 11では）。ExceptionExceptionException

私の予想ではthrows Exception、- run()メソッドで宣言する必要があるでしょう。

追加情報

同様に、if doSomethingがスローするように宣言されている場合、キャッチされて再スローされても、-methodで宣言するIOExceptionだけで済みIOExceptionます。run()Exception

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()メソッドが宣言する必要のないものは何throws Exceptionですか？（追加すると、IntelliJ Exceptionはスローされないことを警告します）。

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