Какво означава, че една променлива е ефективно крайна?

Ефективно окончателно означава, че никога не се променя след получаване на първоначалната стойност.

Един прост пример:

public void myMethod() {
    int a = 1;
    System.out.println("My effectively final variable has value: " + a);
}

Тук a не е обявено за окончателно, но се счита за ефективно окончателно, тъй като никога не се променя.

Започвайки с Java 8, това може да се използва по следния начин:

public void myMethod() {
    int a = 1;
    Runnable r = new Runnable() {
        @Override
        public void run() {
            System.out.println("My effectively final variable has value: " + a);
        }
    };
}

В Java 7 и по-ранните версии a трябваше да бъде деклариран като final, за да може да се използва в локален клас като този, но от Java 8 е достатъчно той да е окончателен.

Според документи:

Променлива или параметър, чиято стойност никога не се променя след инициализиране, е effectively final.