Puteți explica ce este o excepție verificabilă în limbajele de programare?

Excepția verificată (checked exception) este un tip de excepție în Java pe care compilatorul o solicită fie să fie tratată (try-catch), fie să fie declarată în semnătura metodei folosind cuvântul cheie throws. Acestea sunt destinate situațiilor care pot apărea în timpul execuției, dar pe care programatorul trebuie să le prevadă și să le gestioneze, cum ar fi erorile de intrare/ieșire (IOException).

Exemplu:

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

Dacă o metodă apelează o altă metodă care aruncă o excepție verificată, trebuie fie să gestioneze excepția, fie să o declare pentru a fi propagată. Acest lucru ajută la crearea unui cod mai fiabil și mai clar în ceea ce privește posibilele erori.