Является ли окончательный нечетким?

очень интересная находка. Чтобы понять это, нам нужно углубиться в спецификацию языка Java (JLS).

причина в том, что final только один задание. Однако значение по умолчанию-no задание. На самом деле, каждый такую переменную (переменная класса, переменная экземпляра, компонент массива) указывает на его значение по умолчанию С самого начала, перед задания. Этот первое назначение затем изменяет ссылку.

---

переменные класса и значение по умолчанию

взгляните на следующий пример:

private static Object x;

public static void main(String[] args) {
    System.out.println(x); // Prints 'null'
}

мы явно не присвоили значение x, хотя это указывает на null, это значение по умолчанию. Сравните это с §4.12.5:

начальные значения переменных

каждого переменной класс, переменной или элемента массива инициализируется с помощью значение по умолчанию, когда он создано (§15.9,§15.10.2)

отметим, что это справедливо только для таких переменных, как в нашем примере. Оно не выполняется для локальных переменных, рассмотрим следующий пример:

public static void main(String[] args) {
    Object x;
    System.out.println(x);
    // Compile-time error:
    // variable x might not have been initialized
}

из того же пункта JLS:

A локальная переменная (§14.4,§14.14) должны быть явно задано значение перед его использованием, либо инициализацией (§14.4) или назначения (§15.26), таким образом, что можно проверить, используя правила для определенного назначения (§16 (Определенного Назначения)).

---

Final переменные

теперь посмотрим на final С §4.12.4:

финал переменные

переменная может быть объявлена финал. А финал переменной может быть только назначено на один раз. Это-ошибка времени компиляции, если финал переменная присваивается, если это не определенно не назначен непосредственно перед назначением (§16 (Определенного Назначения)).

---

объяснение

теперь возвращаясь к вашему примеру, слегка изменено:

public static void main(String[] args) {
    System.out.println("After: " + X);
}

private static final long X = assign();

private static long assign() {
    // Access the value before first assignment
    System.out.println("Before: " + X);

    return X + 1;
}

выводит

Before: 0
After: 1

вспомните, что мы узнали. Внутри метода assign переменная X был не назначен значение до сих пор. Поэтому он указывает на его значение по умолчанию, так как это переменной класс и в соответствии с JLS эти переменные всегда сразу указывают на их значения по умолчанию (в отличие от локальных переменных). После assign метод переменной X присваивается значение 1 и из-за final мы не можем изменить его. Поэтому следующее не будет работать из-за final:

private static long assign() {
    // Assign X
    X = 1;

    // Second assign after method will crash
    return X + 1;
}

---

пример в JLS

благодаря @Andrew я нашел абзац JLS, который охватывает именно этот сценарий, он также демонстрирует его.

но сначала давайте посмотрим на

private static final long X = X + 1;
// Compile-time error:
// self-reference in initializer

почему это не разрешено, тогда как доступ из метода есть? Взгляните на §8.3.3 что говорит о том, когда доступ к полям ограничен, если поле еще не было инициализировано.

в нем перечислены некоторые правила, относящиеся к переменным класса:

для ссылки простым именем на переменную класса f объявленный в классе или интерфейсе C, это Ошибка времени компиляции, если:

• ссылка появляется либо в инициализаторе переменной класса C или в статическом инициализаторе C (§8.7); и

• ссылка появляется либо в инициализаторе fсобственный Декларатор или в точке слева от ; и

• ссылка не находится в левой части выражения присваивания (§15.26); и

• самым внутренним классом или интерфейсом, содержащим ссылку, является C.

это просто,X = X + 1 пойман этими правилами, метод доступа нет. Они даже перечисляют этот сценарий и приводят пример:

доступы по методам не проверяются таким образом, поэтому:

class Z {
    static int peek() { return j; }
    static int i = peek();
    static int j = 1;
}
class Test {
    public static void main(String[] args) {
        System.out.println(Z.i);
    }
}

производит вывод:

0

потому что инициализатор переменной для i использует метод класса Peek для доступа к значению переменной j до j был инициализирован его инициализатор переменной, в этот момент он по-прежнему имеет значение по умолчанию (§4.12.5).