Поймать исключение и выбросить его, но это не исключение

Я наткнулся на код, который выглядит примерно так:

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

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

Этот код удивляет меня, потому что он выглядит так, как будто run()-method способен генерировать Exception, так как он перехватывает Exceptionи затем перебрасывает его, но метод не объявлен как throw Exceptionи, очевидно, не нуждается в этом. Этот код прекрасно компилируется (по крайней мере, в Java 11).

Я ожидал бы, что мне придется объявить throws Exceptionв run()методе.

Дополнительная информация

Аналогичным образом, если doSomethingобъявлено, что оно выбрасывает, 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будет пойман только a . Это очевидно, это единственное, что вы добавляете 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;
    }
}

ИМО, из-за ex2 = ex; этого не должно снова подвести, но это так.

На всякий случай это было скомпилировано с javac 13+33