在初始化之前通过 getter 访问 final 字段

Question

首先，这个问题与这些好问题有前向关系：

1) Use of uninitialized final field - with/without 'this.' qualifier

2) Why isn't a qualified static final variable allowed in a static initialization block?

但我会从另一个角度问它。请记住：上面提到的问题是关于使用Java 7 中的关键字this 访问final 字段的问题。

在我的问题中有类似的东西，但不一样。好吧，考虑下面的代码：

public class TestInit {
    final int a;
    {
        // System.out.println(a);   -- compile error
        System.out.println(getA());
        // a = a;                   -- compile error
        a = getA();
        System.out.println(getA());
    }
    private int getA() {
        return a;
    }
    public static void main(String[] args) {
        new TestInit();
    }
}

输出是：

0
0

正如你所看到的，这里有两个不清楚的地方：

1. 还有另一种合法的方式来访问未初始化的final 字段：使用它的getter。
2. 我们是否应该将a = getA(); 的分配视为空白最终字段的合法，并且它总是会根据JLS 为非final 字段分配其默认值？换句话说，它应该被视为预期的行为吗？

Answer 1

您真正遇到的是编译器的推理能力。 对于您的第一个编译器错误，这会失败，因为编译器肯定知道 a 未分配。与第二个 a=a 相同（您不能从 a 分配，因为此时绝对没有分配）。 工作 a=getA() 的行是 a 的第一个、单一、明确的赋值，所以这很好（不管值来自哪里；getA() 的实现无关紧要，此时不评估） .

方法 getA() 是有效的，并且可以返回 a，因为实例初始化器已经明确地为 a 赋值。

这对人类来说是有意义的，但这不是编译器内置的推断。每个独立评估的块都是有效的。