Potresti spiegare cosa significa il modificatore final nei linguaggi di programmazione, ad esempio in Java?

In Java, il modificatore final viene utilizzato per limitare le modifiche:

• Per le variabili: il valore di una variabile dichiarata come final non può essere modificato dopo l'inizializzazione. Questo rende la variabile una costante.
• Per i metodi: un metodo dichiarato come final non può essere sovrascritto nelle sottoclassi.
• Per le classi: una classe dichiarata come final non può essere ereditata.

Esempio:

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

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

class Derived extends Base {
    // Errore: impossibile sovrascrivere un metodo finale
    // public void show() { }
}