В чем заключается необходимость использования ключевого слова 'effectively final' в Java?

В Java термин "effectively final" означает, что переменная не объявлена с ключевым словом final, но после инициализации её значение не изменяется.

Это важно, например, при использовании локальных переменных внутри лямбда-выражений или анонимных классов. Такие конструкции могут использовать только переменные, которые являются final или effectively final.

Пример:

int x = 10; // effectively final, если не изменять дальше
Runnable r = () -> System.out.println(x);

Если попытаться изменить x после этого, компилятор выдаст ошибку, так как переменная перестанет быть effectively final.

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