Bắt một ngoại lệ và suy nghĩ lại, nhưng đó không phải là một ngoại lệ

Tôi tình cờ thấy mã trông giống như thế này:

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

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

Mã này làm tôi ngạc nhiên vì có vẻ như run()-method có khả năng ném Exception, vì nó bắt Exceptionvà sau đó lấy lại, nhưng phương thức này không được tuyên bố là ném Exceptionvà dường như không cần phải như vậy. Mã này biên dịch tốt (ít nhất là trong Java 11).

Kỳ vọng của tôi sẽ là tôi sẽ phải tuyên bố throws Exceptiontrong run()-method.

Thông tin bổ sung

Theo cách tương tự, nếu doSomethingđược tuyên bố ném IOExceptionthì chỉ IOExceptioncần khai báo theo phương run()pháp -method, ngay cả khi Exceptionbị bắt và rút lại.

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

Câu hỏi

Java thường thích sự rõ ràng, lý do đằng sau hành vi này là gì? Có phải nó luôn như thế này? Điều gì trong Đặc tả ngôn ngữ Java cho phép run()phương thức không cần khai báo throws Exceptiontrong đoạn mã ở trên? (Nếu tôi thêm nó, IntelliJ cảnh báo tôi rằng Exceptionkhông bao giờ được ném).

Tôi không quét qua JLSnhư bạn đã hỏi trong câu hỏi của bạn, vì vậy hãy lấy câu trả lời này bằng một hạt muối. Tôi muốn làm cho nó một bình luận, nhưng nó sẽ quá lớn.

Đôi khi tôi thấy buồn cười, làm thế nào javaclà khá "thông minh" trong một số trường hợp (như trong trường hợp của bạn), nhưng để lại rất nhiều điều khác sẽ được xử lý sau đó JIT. Trong trường hợp này, chỉ có trình biên dịch "có thể nói" rằng chỉ một cái RuntimeExceptionsẽ bị bắt. Điều này là hiển nhiên, đó là điều duy nhất bạn ném vào doSomething. Nếu bạn thay đổi một chút mã của bạn thành:

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

bạn sẽ thấy một hành vi khác, bởi vì bây giờ javaccó thể nói rằng có một cái mới Exceptionmà bạn đang ném, không liên quan đến cái bạn bắt được.

Nhưng mọi thứ còn xa lý tưởng, bạn có thể "lừa" trình biên dịch một lần nữa thông qua:

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

IMO, vì ex2 = ex;nó không nên thất bại một lần nữa, nhưng nó không.

Chỉ trong trường hợp này được biên dịch với javac 13+33