为什么静态初始化块中不允许使用合格的静态最终变量？

Question

情况1

class Program {
    static final int var;

    static {
        Program.var = 8;  // Compilation error
    }

    public static void main(String[] args) {
        int i;
        i = Program.var;
        System.out.println(Program.var);
    }
}

案例2

class Program {
    static final int var;

    static {
        var = 8;  //OK
    }

    public static void main(String[] args) {
        System.out.println(Program.var);
    }
}

为什么案例1会导致编译错误？

Answer 1

JLS持有答案(注意粗体陈述):

同样,每个空白的最终变量最多只能分配一次; 当它的赋值发生时,它必须是绝对未分配的.当且仅当变量的简单名称(或者,对于字段,其由此限定的简单名称)出现在赋值运算符的左侧时,才会定义此类赋值.[ §16 ]

这意味着在分配静态最终变量时必须使用"简单名称" - 即没有任何限定符的var名称.

Answer 2

显然,这是一种廉价的句法技巧,可以限制类本身内的明确(非)赋值分析.

如果字段在语法上使用类名限定,则代码通常位于另一个类中,而分析无法到达.

这个技巧在你的例子中失败了.奇怪的其他例子:

static class A
{
    static final int a;
    static
    {
        // System.out.println(a); // illegal
        System.out.println(A.a);  // compiles!
        a = 1;
    }
}

如果他们有更多的资源,他们可能会做出更好的规则.但我们现在无法改变规格.