Puoi spiegare cos'è un'eccezione verificabile nei linguaggi di programmazione?

L'eccezione verificata (checked exception) è un tipo di eccezione in Java che il compilatore richiede di gestire (try-catch) o dichiarare nella firma del metodo usando la parola chiave throws. Sono destinate a situazioni che possono verificarsi durante l'esecuzione, ma che il programmatore deve prevedere e gestire, come errori di input/output (IOException).

Esempio:

public void readFile(String path) throws IOException {
    FileReader reader = new FileReader(path);
    // ...
}

Se un metodo chiama un altro metodo che genera un'eccezione verificata, è necessario gestire l'eccezione o dichiararla per farla propagare. Questo aiuta a rendere il codice più robusto e chiaro riguardo ai possibili errori.