Почему переменные внутри лямбда-выражений должны быть final или фактически final?

Переменные внутри лямбда-выражений в Java должны быть либо final, либо фактически final (effectively final) из-за требований безопасности потоков и читаемости кода. github.com

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

Читаемость кода. github.com Правило делает код более читаемым и предсказуемым, так как гарантирует, что переменные, используемые в лямбда-выражении, не будут изменены извне. github.com

Final в Java означает, что значение переменной не может быть изменено после того, как оно было инициализировано. sky.pro Если переменная объявлена как final, любые попытки изменить её значение приведут к ошибке компиляции. sky.pro

Effectively final — это понятие, которое означает, что значение переменной не изменяется после инициализации, даже если она не объявлена как final. sky.pro Такая переменная может быть использована в лямбда-выражениях и анонимных классах, так как Java гарантирует, что её значение не будет изменено. sky.pro