Tại sao try..finally chặn không đăng ký ngoại lệ ban đầu là bị chặn?

Question

Với đoạn mã sau:

try { 
    throw new RuntimeException ("main"); 
} 
finally { 
    throw new RuntimeException ("finally"); 
} 

tôi nhận được kết quả này:

Exception in thread "main" java.lang.RuntimeException: finally 
     at test.main(test.java:12) 

Tuy nhiên, với việc bổ sung các trường hợp ngoại lệ ức chế trong Java 7, nó sẽ không được hợp lý cho các ngôn ngữ để đăng ký ban đầu ngoại lệ "chính" bị chặn khi không có mã số finally không có ngoại lệ? Hiện nay tôi phải tự thi đua này:

try { 
    throw new RuntimeException ("main"); 
} 
catch (RuntimeException exception) { 
    try { 
     throw new RuntimeException ("finally"); 
    } 
    catch (RuntimeException exception2) { 
     exception2.addSuppressed (exception); 
     throw exception2; 
    } 
} 

nhận hữu ích hơn (để hiểu những gì đang xảy ra) Kết quả:

Exception in thread "main" java.lang.RuntimeException: finally 
     at test.main(test.java:13) 
     Suppressed: java.lang.RuntimeException: main 
       at test.main(test.java:9) 

EDIT: Để làm rõ những gì tôi đang tự hỏi. Phiên bản Java hiện tại là 8, các ngoại lệ bị chặn không phải là một tính năng hoàn toàn mới. Nhưng try..finally vẫn không kết hợp chúng. Có điều gì ngăn cản điều này xảy ra không?

Answer 1

Bởi vì try-with-resources là cú pháp đường và trình biên dịch Java không mở rộng các khối cố gắng cuối cùng cố gắng theo cùng một cách.

Hãy nhìn vào đoạn mã sau:

try(FileInputStream fstream = new FileInputStream("test")) { 
    fstream.read(); 
} 

Khi biên soạn và sau đó dịch ngược (dùng IntelliJ IDEA) nó trông như thế này:

FileInputStream fstream = new FileInputStream("test"); 
Throwable var2 = null; 

try { 
    fstream.read(); 
} catch (Throwable var19) { 
    var2 = var19; 
    throw var19; 
} finally { 
    if(fstream != null) { 
     if(var2 != null) { 
      try { 
       fstream.close(); 
      } catch (Throwable var17) { 
       var2.addSuppressed(var17); 
      } 
     } else { 
      fstream.close(); 
     } 
    } 
} 

Trong khi mã này:

FileInputStream fstream = new FileInputStream("test"); 
try { 
    fstream.read(); 
} finally { 
    fstream.close(); 
} 

Trông giống hệt nhau khi được biên dịch và biên dịch.

Bây giờ, trường hợp chắc chắn có thể được thực hiện là tất cả các khối finally sẽ được mở rộng theo cách tương tự như được thực hiện ở trên, nhưng vì một số lý do bị bỏ qua hoặc quyết định.

Tôi đề nghị bạn open a feature request vì điều này vì tôi nghĩ đó là một tính năng hợp lý.

Answer 2

Đây không phải là câu trả lời có thẩm quyền nhưng có vẻ như thay đổi đó sẽ phá vỡ tính tương thích hoặc try-with-resources và try-finally sẽ không nhất quán với nhau.

Ngữ nghĩa trong try-with-resources là ngoại lệ được ném từ khối try được truyền đi, với ngoại lệ được ném trong finally được đăng ký là bị chặn. Điều này có ý nghĩa từ một quan điểm thực tế, bạn muốn bắt ngoại lệ "thực sự" của bạn và sau đó có thể cũng đối phó với các nguồn lực không đóng cửa nếu bạn muốn.

Nhưng trong try-finally nó là ngoại lệ ném vào finally được tuyên truyền (trong khi một từ try là "nuốt") và do đó chúng tôi có một lựa chọn ba giải pháp xấu:

1. Đảo ngược logic của try-finally để căn chỉnh nó với try-with-resources và mã hủy hoại (hoặc đúng hơn là lỗi) tương thích với tất cả các mã trước đó.
2. Tiếp tục tuyên truyền finally ngoại lệ với try ngoại lệ được đăng ký là bị chặn, làm cho hai cấu trúc không phù hợp với nhau.
3. Cứ để mọi thứ như vậy.

Chủ quan tôi thấy 3 kém hơn 1 hoặc 2, mặc dù khá dễ dàng để tranh luận khác. Tuy nhiên, tôi nghi ngờ rằng đây là một tình thế tiến thoái lưỡng nan mà các nhà phát triển ngôn ngữ phải đối mặt và họ tình cờ lựa chọn phương án 3.