Java에서 예외가 발생할 경우 최종 변수에 할당

Question

Java가 try 블록에서 값을 설정 한 후 catch 블록의 최종 변수에 값을 할당하지 못하게하는 이유는 무엇이든지 예외의 경우 최종 값을 기록 할 수 있습니다. 여기

문제를 보여줍니다 예입니다

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

문제는 해결하려면하지 어렵습니다,하지만 난 컴파일러는이 동의하지 않는 이유를 이해하고 싶습니다.

미리 감사드립니다.

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 
} 

이유입니다. 그것이 사실이 분명하지만, 고려 곳이 예는 특별한 경우이다 :

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

이 엄청난 작업을 것 같은 아주 특별한 경우를 처리하기 위해 컴파일러를 작성하려면 - 그들 중 아주 많은 가능성이있다.

Answer 2

던져지는 방법에 대해 Error? 컴파일러는 foo이 initalized되기 전에 예외는 발생 될 수 있음을 추론 할 수 없기 때문에

Answer 3

팬트가 되려면 Thread.stop(Throwable)은 try 블록 할당 직후 예외를 throw 할 수 있습니다.

그러나 명확한 지정 및 관련 용어가있는 규칙은 충분히 복잡합니다. JLS를 확인하십시오. 규칙을 더 추가하려고하면 언어가 복잡해지며 큰 이익을 얻지 못합니다.