Назначение значения по умолчанию для конечной переменной в случае исключения в Java

Question

Почему Java не позволяет мне присваивать значение конечной переменной в блоке catch после установки значения в блоке try, даже если оно не является возможно, чтобы окончательное значение было записано в случае исключения.

Вот пример, который демонстрирует проблему:

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 
} 

Причина в том, что компилятор не может сделать вывод о том, что исключение может быть брошено только перед foo можно инициализировать. Этот пример является частным случаем, когда очевидно, что это верно, но считает:

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?

Answer 3

Чтобы стать педантом, Thread.stop(Throwable) может вызвать исключение сразу после назначения блока try.

Однако правила с определенным назначением и смежными терминами достаточно сложны. Проверьте JLS. Попытка добавить больше правил усложнила бы язык и не обеспечила бы значительную выгоду.