Différence entre final et effectivement final

Question

Je joue avec les lambdas en Java 8 et je suis tombé sur un avertissement local variables referenced from a lambda expression must be final or effectively final . Je sais que lorsque j'utilise des variables à l'intérieur d'une classe anonyme, elles doivent être finales dans la classe externe, mais quand même - quelle est la différence entre final y effectivement final ?

Answer 1

... à partir de Java SE 8, une classe locale peut accéder aux variables locales et aux paramètres du bloc englobant qui sont finaux ou effectivement finaux. Une variable ou un paramètre dont la valeur n'est jamais modifiée après son initialisation est effectivement finale.

Par exemple, supposons que la variable numberLength n'est pas déclaré final, et vous ajoutez l'instruction d'affectation marquée dans le fichier PhoneNumber constructeur :

public class OutterClass {  

  int numberLength; // <== not *final*

  class PhoneNumber {

    PhoneNumber(String phoneNumber) {
        numberLength = 7;   // <== assignment to numberLength
        String currentNumber = phoneNumber.replaceAll(
            regularExpression, "");
        if (currentNumber.length() == numberLength)
            formattedPhoneNumber = currentNumber;
        else
            formattedPhoneNumber = null;
     }

  ...

  }

...

}

Grâce à cette instruction d'affectation, la variable numberLength n'est plus effectivement finale. En conséquence, le compilateur Java génère un message d'erreur similaire à "les variables locales référencées depuis une classe interne doivent être finales ou effectivement finales". où la classe interne PhoneNumber tente d'accéder à la variable numberLength :

http://codeinventions.blogspot.in/2014/07/difference-between-final-and.html

http://docs.oracle.com/javase/tutorial/java/javaOO/localclasses.html

Answer 2

Je trouve que la façon la plus simple d'expliquer "effectivement final" est d'imaginer ajouter le final à une déclaration de variable. Si, avec cette modification, le programme continue à se comporter de la même manière, tant à la compilation qu'à l'exécution, alors cette variable est effectivement finale.

Answer 3

Selon le docs :

Une variable ou un paramètre dont la valeur n'est jamais modifiée après son initialisation est effectivement finale.

Fondamentalement, si le compilateur constate qu'une variable n'apparaît pas dans les affectations en dehors de son initialisation, alors la variable est considérée comme effectivement final .

Par exemple, considérons une certaine classe :

public class Foo {

    public void baz(int bar) {
        // While the next line is commented, bar is effectively final
        // and while it is uncommented, the assignment means it is not
        // effectively final.

        // bar = 2;
    }
}

Answer 4

public class LambdaScopeTest {
    public int x = 0;        
    class FirstLevel {
        public int x = 1;    
        void methodInFirstLevel(int x) {

            // The following statement causes the compiler to generate
            // the error "local variables referenced from a lambda expression
            // must be final or effectively final" in statement A:
            //
            // x = 99; 

        }
    }    
}

Comme d'autres l'ont dit, une variable ou un paramètre dont la valeur n'est jamais modifiée après son initialisation est effectivement finale. Dans le code ci-dessus, si vous changez la valeur de x dans la classe intérieure FirstLevel alors le compilateur vous donnera le message d'erreur :

Les variables locales référencées à partir d'une expression lambda doivent être finales ou effectivement finales.

Answer 5

Cependant, à partir de Java SE 8, une classe locale peut accéder aux variables locales et aux paramètres du bloc >enclos qui sont finaux ou effectivement finaux.

Cela n'a pas commencé avec Java 8, je l'utilise depuis longtemps. Ce code était (avant java 8) légal :

String str = ""; //<-- not accesible from anonymous classes implementation
final String strFin = ""; //<-- accesible 
button.addActionListener(new ActionListener() {
    @Override
    public void actionPerformed(ActionEvent e) {
         String ann = str; // <---- error, must be final (IDE's gives the hint);
         String ann = strFin; // <---- legal;
         String str = "legal statement on java 7,"
                +"Java 8 doesn't allow this, it thinks that I'm trying to use the str declared before the anonymous impl."; 
         //we are forced to use another name than str
    }
);