Pourriez-vous expliquer ce que signifie le modificateur final dans les langages de programmation, par exemple en Java?

En Java, le modificateur final est utilisé pour restreindre les modifications:

• Pour les variables : la valeur d'une variable déclarée comme final ne peut pas être modifiée après l'initialisation. Cela fait de la variable une constante.
• Pour les méthodes : une méthode déclarée comme final ne peut pas être redéfinie dans les sous-classes.
• Pour les classes : une classe déclarée comme final ne peut pas être héritée.

Exemple :

public final class Constants {
    public static final double PI = 3.1415;
}

class Base {
    public final void show() {
        System.out.println("Méthode finale");
    }
}

class Derived extends Base {
    // Erreur : impossible de redéfinir une méthode finale
    // public void show() { }
}