Menangkap Pengecualian dan menyusun kembali, tapi itu bukan Pengecualian

Saya menemukan kode yang terlihat seperti ini:

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

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

Kode ini mengejutkan saya karena kelihatannya run()-metode ini mampu melempar Exception, karena menangkap Exceptiondan kemudian memunculkannya kembali, tetapi metode ini tidak dinyatakan untuk melempar Exceptiondan tampaknya tidak perlu. Kode ini mengkompilasi dengan baik (setidaknya dalam Java 11).

Harapan saya adalah bahwa saya harus mendeklarasikan throws Exceptiondalam run()-metode.

Informasi tambahan

Dengan cara yang sama, jika doSomethingdideklarasikan untuk melempar IOExceptionmaka hanya IOExceptionperlu dideklarasikan dalam run()-metode, meskipun Exceptionditangkap dan dipulihkan.

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

Pertanyaan

Java biasanya suka kejelasan, apa alasan di balik perilaku ini? Apakah selalu seperti ini? Apa dalam Spesifikasi Bahasa Jawa yang memungkinkan run()metode tidak perlu mendeklarasikan throws Exceptiondalam cuplikan kode di atas? (Jika saya ingin menambahkannya, IntelliJ memperingatkan saya bahwa Exceptiontidak pernah dibuang).

Saya belum memindai melalui JLSseperti yang Anda tanyakan dalam pertanyaan Anda, jadi silakan ambil jawaban ini dengan sebutir garam. Saya ingin berkomentar, tapi itu terlalu besar.

Saya menemukan lucu kadang-kadang, betapa javaccantik "pintar" dalam beberapa kasus (seperti dalam kasus Anda), tetapi meninggalkan banyak hal lain untuk ditangani nanti JIT. Dalam hal ini, hanya saja kompiler "dapat mengatakan" bahwa hanya yang RuntimeExceptionakan ditangkap. Ini jelas, itu satu-satunya hal yang Anda lemparkan doSomething. Jika Anda sedikit mengubah kode Anda menjadi:

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

Anda akan melihat perilaku yang berbeda, karena sekarang javacdapat mengatakan bahwa ada yang baru ExceptionAnda lempar, tidak terkait dengan yang Anda tangkap.

Tetapi hal-hal yang jauh dari ideal, Anda dapat "menipu" kompiler lagi melalui:

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

IMO, karena ex2 = ex;itu seharusnya tidak gagal lagi, tetapi ternyata gagal.

Kalau-kalau ini dikompilasi dengan javac 13+33