Pourquoi les variables doivent être finales dans les méthodes anonymes et les champs de classe ne le font pas

Question

Si j'avais cette méthode anonyme, je devrais déclarer x variable comme finale.

private void testMethod (ListField<BeanModel> listField){ 

    final ListLoader<BeanModel> loader = new PagedListLoader<BeanModel>(); 
    listField.addListener(Events.Attach, new Listener<ListViewEvent<BeanModel>>() { 

      @Override 
      public void handleEvent(ListViewEvent<BeanModel> be) { 
       loader.load(); 
      } 
      }); 
} 

Cependant, si chargeur était un champ de classe, il ne serait pas nécessaire de le déclarer comme définitif:

public class testClass{ 

    private ListLoader<BeanModel> loader = new PagedListLoader<BeanModel>(); 

    private void testMethod (ListField<BeanModel> listField){ 
     listField.addListener(Events.Attach, new Listener<ListViewEvent<BeanModel>>() { 

        @Override 
        public void handleEvent(ListViewEvent<BeanModel> be) { 
         loader.load(); 
        } 
        }); 

     //Could I modify loader's reference here, before the method executes? 
     //loader = null; 
     } 
} 

Est-ce que quelqu'un sait la raison pour laquelle ils garantissent les variables locales de ne pas changer quand ils est accessible mais ne le fais pas pour les champs de classe?

Answer 1

La variable locale est allouée dans la pile, et elle sortira de la portée après testMethod(). Faire la variable finale assure qu'il est correct de simplement passer une référence à la classe anonyme. Si ce n'était pas définitif, une affectation ultérieure dans testMethod() pourrait changer la valeur plus tard avec des résultats confus. (L'utilisateur peut s'attendre à la valeur affectée plus tard, mais ce serait impossible).

Un champ de la classe parente, toutefois, est accessible via la référence parente de la classe anonyme, de sorte que toutes les affectations ultérieures peuvent être traitées sans confusion.

Answer 2

Jetez un oeil à Lambda et Conjures en java.

Une classe interne anonyme n'a aucune information autour de lui - vous devez spécifier qu'elle est finale afin que vous puissiez garantir son existence.

Cela pourrait être quelque chose à voir avec la nature d'un ListLoader, mais je suis inexpérimenté avec l'aide de cette bibliothèque.

J'espère que je vous ai indiqué la bonne direction.

Answer 3

Les classes anonymes obtiennent implicitement des variables locales via les constructeurs. C'est qu'ils obtiennent des copies des vars locales qu'ils utilisent. Donc, si nous avons changé la valeur de la variable dans le code principal, la classe anonyme ne verrait pas cette modification. La déclaration des vars locaux finaux permet d'éviter cette ambiguïté.

Answer 4

Accroding java docs

Une classe anonyme a accès aux membres de sa classe englobante.
Une classe anonyme ne peut pas accéder à des variables locales dans son enfermant champ qui ne sont pas déclarés comme définitifs ou effectivement finale (efficacement finale signifie que la variable est jamais changé après son initialisation. Paramètres méthode sont souvent efficacement finale.)

Le La raison de cette restriction devient apparente si nous mettons en lumière la façon dont les classes locales sont mises en œuvre. Une classe locale anonyme peut utiliser des variables locales car le compilateur donne automatiquement à la classe un champ d'instance privée pour contenir une copie de chaque variable locale utilisée par la classe. Le compilateur ajoute également des paramètres cachés à chaque constructeur pour initialiser ces champs privés créés automatiquement. Ainsi, une classe locale n'accède pas réellement aux variables locales, mais simplement à ses propres copies privées. La seule façon de fonctionner correctement est que les variables locales soient déclarées définitives, de sorte qu'elles soient garanties de ne pas changer. Avec cette garantie en place, la classe locale est assurée que ses copies internes des variables reflètent avec précision les variables locales réelles.