Java Portal | Программирование on Telegram: “В Java можно столкнуться с ситуацией, когда поле…”

В Java можно столкнуться с ситуацией, когда поле final кажется имеющим два разных значения. Рассмотрим такой пример:

void main() {
    var after = new Final(this::before);

    IO.println("After value=" + after.value);
}

private void before(Final before){
    IO.println("Before value=" + before.value);
}

class Final {
    final int value;

    Final(Consumer<? super Final> listener) {
        listener.accept(this);
        value = 123;
    }
}

Результат выполнения будет таким:

Before value=0  
After value=123

Это пример утечки this.

JEP 401 называет это larval object leakage — ситуация, когда объект, ещё не до конца инициализированный, "просачивается" из конструктора и используется раньше времени.

В JDK 24 в рамках JEP о гибких телах конструкторов (Flexible Constructor Bodies) эта проблема решается следующим образом:

Код в начале конструктора не должен использовать this, кроме как для инициализации полей, у которых нет своих инициализаторов.

Иначе говоря, в начальной части конструктора теперь нельзя "утечь" наружу с this, пока объект не готов

👉 Java Portal