예외를 잡아서 다시 던지지 만 예외는 아닙니다.

나는 다음과 같은 코드를 발견했다.

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

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

등이 보이기 때문에이 코드는 나를 놀라게 run()-method가 던지는 능력 Exception이 잡는다 이후, Exception다음을 rethrows하지만 방법은 던져 선언되지 Exception분명히 할 필요가 없습니다. 이 코드는 Java 11 이상에서 정상적으로 컴파일됩니다.

내 기대 는 -method throws Exception에서 선언해야한다는 것입니다 run().

추가 정보

비슷한 방식 doSomething으로 던지기 로 선언되면 잡히고 다시 던져도 -method IOException에만 선언하면 됩니다 .IOExceptionrun()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. 이 경우, 컴파일러는 단지 a만이 RuntimeException잡힐 것이라고 "알 수있다" . 이것은 당신이 던지는 유일한 것입니다 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;
    }
}

IMO ex2 = ex;는 다시 실패하지 않아야하지만 실패합니다.

이 경우에 컴파일 된 경우 javac 13+33