Gán giá trị mặc định cho biến cuối cùng trong trường hợp ngoại lệ trong Java

Question

Tại sao Java không cho phép gán giá trị cho biến cuối cùng trong khối catch sau khi đặt giá trị trong khối thử, ngay cả khi nó không có thể cho giá trị cuối cùng được viết trong trường hợp ngoại lệ.

Dưới đây là một ví dụ mà chứng tỏ vấn đề:

public class FooBar { 

    private final int foo; 

    private FooBar() { 
     try { 
      int x = bla(); 
      foo = x; // In case of an exception this line is never reached 
     } catch (Exception ex) { 
      foo = 0; // But the compiler complains 
        // that foo might have been initialized 
     } 
    } 

    private int bla() { // You can use any of the lines below, neither works 
     // throw new RuntimeException(); 
     return 0; 
    } 
} 

Vấn đề là không khó để làm việc xung quanh, nhưng tôi muốn hiểu lý do tại sao các trình biên dịch không chấp nhận điều này.

Cảm ơn trước về mọi thông tin đầu vào!

Answer 1

try { 
    int x = bla(); 
    foo = x; // In case of an exception this line is never reached 
} catch (Exception ex) { 
    foo = 0; // But the compiler complains 
      // that foo might have been initialized 
} 

Lý do là vì trình biên dịch không thể suy ra rằng ngoại lệ chỉ có thể được ném trước khi foo được initalized. Ví dụ này là một trường hợp đặc biệt, nếu nó là rõ ràng rằng đó là sự thật, nhưng hãy cân nhắc:

try { 
    int x = bla(); 
    foo = x; // In case of an exception this line is never reached...or is it? 
    callAnotherFunctionThatThrowsAnException(); // Now what? 
} catch (Exception ex) { 
    foo = 0; // But the compiler complains 
      // that foo might have been initialized, 
      // and now it is correct. 
} 

Để viết một trình biên dịch để xử lý những trường hợp rất cụ thể như thế này sẽ là một nhiệm vụ to lớn - có khả năng rất nhiều trong số họ.

Answer 2

Làm thế nào về một ném Error?

Answer 3

Để là người đi bộ, Thread.stop(Throwable) có thể ném ngoại lệ ngay sau khi chuyển nhượng khối thử.

Tuy nhiên, các quy tắc có nhiệm vụ nhất định và các thuật ngữ đồng minh đủ phức tạp. Kiểm tra JLS. Cố gắng thêm nhiều quy tắc sẽ làm phức tạp ngôn ngữ và không mang lại lợi ích đáng kể.