Почему в статическом блоке инициализации не допускается квалифицированная статическая конечная переменная?


корпус 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 вызовет ошибку компиляции?

2 52

2 ответа:

JLS содержит ответ (обратите внимание на смелое заявление):

аналогично, каждая пустая конечная переменная должна быть назначена не более одного раза; она должна быть определенно не назначен когда происходит присвоение ему. такое присвоение определяется, чтобы произойти, если и только если либо простое имя переменной (или, для поля, его простое имя, квалифицированное этим) происходит на левой стороне оператора присваивания. [§16]

Это означает, что "простое имя" должно использоваться при назначении статических конечных переменных - т. е. имя var без каких-либо квалификаторов.

по-видимому, это дешевый синтаксический трюк, чтобы ограничить определенный (un)анализ присваивания внутри самого класса.

если поле синтаксически квалифицировано с именем класса, то код обычно в другой класс, где анализ не может достичь.

этот трюк не в вашем примере. Другие примеры странности:

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

Если бы у них было больше ресурсов, они, вероятно, сделали бы более тонкое правило. Но мы не можем изменить спецификацию сейчас.