Bir İstisna Yakalamak ve Yeniden Geri Almak, ancak Bu bir İstisna Değil

Ben böyle bir şey bakarak kod tökezledi:

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

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

Bu kod beni şaşırtıyor çünkü run()-method bir fırlatma yeteneğine sahip gibi görünüyor Exception, çünkü onu yakalayıp Exceptiondaha sonra tekrar atıyor , ancak yöntemin atılacağı bildirilmedi Exceptionve görünüşe göre olması gerekmiyor. Bu kod iyi derlenir (en azından Java 11'de).

Benim beklentim -tode ilan etmek throws Exceptionzorunda run()kalacaktı.

Ek bilgi

Benzer şekilde, eğer doSomethingatmak ilan edilir IOExceptiondaha sonra sadece IOExceptionbeyan edilmesi gerekmektedir run()rağmen, kullanılan yöntem Exceptionyakalandı ve rethrown edilir.

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

Soru

Java genellikle netliği sever, bu davranışın arkasındaki neden nedir? Hep böyle miydi? Java Dil Spesifikasyonu'ndaki nedir, run()yöntemin throws Exceptionyukarıdaki kod snippet'lerinde bildirilmesine gerek yoktur ? (Eğer eklersem, IntelliJ beni Exceptionasla atılmadığı konusunda uyarır ).

Sorunuzda JLSsorduğunuz gibi tarama yapmadım, bu yüzden lütfen bu cevabı bir tuz tanesi ile alın. Bir yorum yapmak istedim, ama çok büyük olurdu.

Bazen komik buluyorum javac, bazı durumlarda ("sizin durumunuzda olduğu gibi" ne kadar "akıllı"), ama daha sonra uğraşmak için başka birçok şey bırakıyor JIT. Bu durumda, derleyici sadece bir RuntimeExceptionyakalanacağını "söyleyebilir" . Bu açık, attığın tek şey bu doSomething. Kodunuzu biraz değiştirirseniz:

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

farklı bir davranış göreceksiniz, çünkü şimdi yakaladığınızla ilişkili olmayan, attığınız javacyeni bir şey olduğunu söyleyebilirsiniz Exception.

Ancak işler ideal olmaktan uzaktır, derleyiciyi tekrar "kandırabilirsiniz":

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

IMO, çünkü ex2 = ex;tekrar başarısız olmamalı, ama öyle.

Bunun derlenmesi durumunda javac 13+33