mot-clé final dans les paramètres de la méthode

Question

Je rencontre souvent des méthodes qui ressemblent à ce qui suit :

public void foo(final String a, final int[] b, final Object1 c){
}

Que se passe-t-il si cette méthode est appelée sans lui passer de paramètres finaux ? Par exemple, un objet 1 qui est modifié ultérieurement (et qui n'est donc pas déclaré comme final) peut être passé à cette méthode sans problème.

Answer 1

Java fait toujours une copie des paramètres avant de les envoyer aux méthodes. Cela signifie que le caractère final ne fait aucune différence pour le code appelant. Cela signifie seulement qu'à l'intérieur de la méthode, les variables ne peuvent pas être réaffectées.

Notez que si vous avez un objet final, vous pouvez toujours modifier les attributs de l'objet. En effet, les objets en Java sont en réalité des pointeurs vers des objets. Et seul le pointeur est copié (et sera final dans votre méthode), pas l'objet réel.

Answer 2

Il y a une circonstance où vous êtes requis de le déclarer final --sinon cela entraînera une erreur de compilation--, à savoir les faire passer dans des classes anonymes. Exemple de base :

public FileFilter createFileExtensionFilter(final String extension) {
    FileFilter fileFilter = new FileFilter() {
        public boolean accept(File pathname) {
            return pathname.getName().endsWith(extension);
        }
    };

    // What would happen when it's allowed to change extension here?
    // extension = "foo";

    return fileFilter;
}

Retirer le final entraînerait une erreur de compilation, car il n'est plus garanti que la valeur soit une constante d'exécution. La modification de la valeur depuis l'extérieur de la classe anonyme entraînerait notamment un comportement différent de l'instance de la classe anonyme après le moment de sa création.

Answer 3

Java n'est que pass-by-value. (ou mieux - pass-reference-by-value)

Donc l'argument passé et l'argument dans la méthode sont deux différents handlers pointant vers le même objet (valeur).

Par conséquent, si vous changez l'état de l'objet, elle est répercutée sur toutes les autres variables qui y font référence. Mais si vous réaffectez un nouvel objet (valeur) à l'argument, les autres variables qui pointent vers cet objet (valeur) ne sont pas réaffectées.

Answer 4

Le site final sur un paramètre de méthode ne signifie absolument rien pour l'appelant. Il ne signifie absolument rien non plus pour le programme en cours d'exécution, puisque sa présence ou son absence ne modifie pas le bytecode. Il garantit seulement que le compilateur se plaindra si la variable du paramètre est réaffectée au sein de la méthode. C'est tout. Mais c'est suffisant.

Certains programmateurs (comme moi) pensent que c'est une très bonne chose et utilisent final sur presque tous les paramètres. Cela facilite la compréhension d'une méthode longue ou complexe (bien que l'on puisse dire que les méthodes longues et complexes devraient être remaniées). ne sont pas marqué avec final .

Answer 5

Considérez cette implémentation de foo() :

public void foo(final String a) {
    SwingUtilities.invokeLater(new Runnable() {
        public void run() {
            System.out.print(a);
        }
    }); 
}

Parce que le Runnable survivrait à la méthode, cela ne pourrait pas être compilé sans l'attribut final mot-clé -- final indique au compilateur qu'il est possible de prendre une copie de la référence (pour s'y référer plus tard). Ainsi, c'est le référence qui est considéré comme définitif, et non pas le valeur . En d'autres termes : En tant qu'appelant, vous ne pouvez rien gâcher...