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

static java final static-initialization qualified-name

2022-08-31 19:58:47

案例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 会导致编译错误？

答案 1

JLS持有答案（注意粗体语句）：

类似地，每个空白的最终变量最多必须分配一次;当对它进行赋值时，它必须是绝对未赋值的。当且仅当变量的简单名称（或者，对于字段，其简单名称由此限定）出现在赋值运算符的左侧时，才会发生此类赋值。[§16]

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

答案 2

显然，这是一个廉价的句法技巧，用于限制类本身内的确定（非）赋值分析。

如果字段在语法上使用类名进行限定，则代码通常位于分析无法到达的另一个类中。

此技巧在您的示例中失败。其他奇怪的例子：

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

如果他们有更多的资源，他们可能会制定一个更好的规则。但是我们现在无法更改规范。