为什么final实例变量没有被赋予默认值？

Question

我正在准备JavaOCA认证，遇到了一个类似的问题，如下所示：

public class TestClass {
    final int i;

    public static void main(String[] args) {
        TestClass t = new TestClass();
        System.out.println(t.i);
    }
}

按照Java，实例和静态变量被赋予默认值。令人惊讶的是，我的控制台上显示的错误是:

error: variable i not initialized in the default constructor final int i;

为什么i没有在上面分配默认值？

Answer 1

并不是最终字段没有初始化为默认值——事实上它们是这样的，尽管你只有在做一些愚蠢的事情时才会观察到这个事实——而是你需要明确地初始化它们一次（作为声明的一部分，或者在初始化程序块中，或者在每个构造函数中）。

要理解这样做的动机，请考虑下面的代码:

public class Foo {
    private final int mValue;

    public Foo(final boolean shouldSet) {
        if (shouldSet) {
            mValue = 1;
        }
    }

    // ...
}

如果该字段不是final，那么编译器会在其声明的末尾推断出一个隐式的< code > = 0 ；但是最后一个字段并不总是有效。。。而在上面的例子中，编译器甚至无法事先判断它是否会有效。因此，编译器通过从不推断隐式< code>= 0并要求显式初始化来回避这个问题。

Answer 2

在Java语言规范中是这样定义的：

每个局部变量（§14.4）和每个空白最终字段（§4.12.4，§8.3.1.2）在访问其值时必须有明确的赋值。

[...]

对于局部变量或空白最终字段x的每次访问，必须在访问之前明确指定x，否则会发生编译时错误。

其中术语“blankfinalfield”指的是没有值或初始值设定项的final字段，“明确分配”表示无论发生什么情况，都将分配该字段：

确定赋值背后的想法是，对局部变量或空白最终字段的赋值必须发生在访问的每个可能的执行路径上。类似地，确定取消分配背后的想法是，在任何可能的执行路径上都不允许对空白最终变量进行任何其他赋值。

除了通过规范抛出错误之外，决策背后还有逻辑推理。空的< code>final字段没有任何意义。在您的例子中，空白的< code>final是一个整数，它将被赋予0，您不能更改它。变量的用途是什么？

此外，如果＜code＞final

Answer 3

为＜code＞finalfinal表示一旦赋值，就不能更改值。如果为最终变量指定了默认值，则永远无法将变量的值设置为其他值（即使是第一次）。