Złapanie wyjątku i ponowne jego przepisanie, ale nie jest to wyjątek

Natknąłem się na kod wyglądający mniej więcej tak:

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

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

Ten kod mnie zaskakuje, ponieważ wygląda na to, że run()-metoda jest w stanie wyrzucić Exception, ponieważ łapie, Exceptiona następnie ponownie rzuca, ale metoda nie jest zadeklarowana do rzucenia Exceptioni najwyraźniej nie musi być. Ten kod dobrze się kompiluje (przynajmniej w Javie 11).

Oczekuję , że będę musiał zadeklarować throws Exceptionw run()metodzie.

Dodatkowe informacje

W podobny sposób, jeśli doSomethingzostanie zadeklarowany jako rzut, IOExceptionto IOExceptionmusi być zadeklarowany tylko w run()metodzie, nawet jeśli Exceptionzostanie złapany i ponownie rzucony.

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

Pytanie

Java zazwyczaj lubi jasność, jaki jest powód tego zachowania? Czy zawsze tak było? Co w specyfikacji języka Java pozwala run()metodzie nie musieć deklarować throws Exceptionw powyższych fragmentach kodu? (Gdybym dodał, IntelliJ ostrzega mnie, że Exceptionnigdy nie zostanie wyrzucony).

Nie skanowałem tego, JLSco zadałeś w swoim pytaniu, więc proszę, odpowiedz na to z odrobiną soli. Chciałem napisać komentarz, ale byłby zbyt duży.

Czasami javacwydaje mi się zabawne, jak to jest całkiem „inteligentne” w niektórych przypadkach (jak w twoim przypadku), ale pozostawia wiele innych rzeczy do załatwienia później JIT. W tym przypadku kompilator „może powiedzieć”, RuntimeExceptionże zostanie złapany tylko a . To oczywiste, że to jedyna rzecz, do której wrzucasz doSomething. Jeśli nieznacznie zmienisz kod na:

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

zobaczysz inne zachowanie, ponieważ teraz javacmożesz stwierdzić, Exceptionże rzucasz nowe, niezwiązane z tym, które złapałeś.

Ale rzeczy są dalekie od ideału, możesz ponownie „oszukać” kompilator poprzez:

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

IMO z ex2 = ex;tego powodu nie powinno ponownie zawieść, ale tak się dzieje.

Na wypadek gdyby zostało to skompilowane javac 13+33