为什么只允许通过方法访问最终变量的默认值，而简单访问不允许

Question

我已经阅读了许多关于堆栈溢出的文章，试图找出为什么下面的代码1不起作用，但代码2起作用。我发现在6版和7版的不同版本中，行为或编译器存在不一致性https://stackoverflow.com/questions/13864464/use-of-uninitialized-final-field-with-without-this-qualifier.这更多地涉及访问默认的最终变量，无论是否有“This”。然而，在jls 8规范中，根据我的理解，这一点在这里的前两行中非常清楚

我还了解到，访问一个还没有明确初始化的final变量(通过简单的名字)是不允许的(代码1)。但是在一个方法中访问时(代码2)，情况完全相同。我使用JDK 1.8.0.141来编译这些代码片段，运行后我得到了代码2的输出，如图所示。

我想知道通过方法访问最终变量是如何产生这种差异的。这是因为在这种情况下，变量是使用此方法访问的（隐式地由于方法调用）。如果是，为什么要用这个。代码1中的“x”而不是“x”不起作用。

代码 1：

class Test {
    final int x;
    {
        System.out.println("Here is x " + x);  // x replaced with this.x also does not work
        x = 7;
        printX();
    }
    Test() {
        System.out.println("const called");
    }
    void printX() {
        System.out.println("Here x is " + x);
    }
    public static void main(String[] args) {
        Test t = new Test();
    }
}

不编译:变量x可能尚未初始化。(这个也一样. x)

代码 2：

class Test {
    final int x;
    {
        printX();
        x = 7;
        printX();
    }
    Test() {
        System.out.println("const called");
    }
    void printX() {
        System.out.println("Here x is " + x);
    }
    public static void main(String[] args) {
        Test t = new Test();
    }
}

这符合并给出（在不同的行上）

这里x是0，这里x是7

PS ： 代码最初是从这里获取的

Answer 1

在与我的一些朋友分享了这个问题后，我得到了这个堆栈溢出帖子的链接

虽然公认的答案似乎是在谈论一个完全不同的前瞻性参考概念。这是@Tunaki的第二个答案，根据我的理解，这是正确的答案。它也在jls 8中给出了16.2.2节的正确参考。