Ловити виняток і скинути його, але це не виняток

Я натрапив на код, виглядаючи приблизно так:

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

Моє сподівання було б, що мені доведеться заявити 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 дозволяє 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