Pouvez-vous expliquer ce qu'est une exception vérifiable dans les langages de programmation?

L’exception vérifiée (checked exception) est un type d’exception en Java que le compilateur exige de gérer (try-catch) ou de déclarer dans la signature de la méthode à l’aide du mot-clé throws. Elles sont destinées à des situations qui peuvent survenir lors de l’exécution, mais que le programmeur doit prévoir et gérer, comme les erreurs d’entrée/sortie (IOException).

Exemple:

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

Si une méthode appelle une autre méthode qui lance une exception vérifiée, il faut soit gérer l’exception, soit la déclarer pour la propager. Cela aide à rendre le code plus robuste et explicite concernant les erreurs possibles.