Meg tudná magyarázni, mi az a ellenőrizhető kivétel a programozási nyelvekben?

A ellenőrzött kivétel (checked exception) egy olyan típusú kivétel Java-ban, amelyet a fordító vagy kezelni kell (try-catch), vagy a metódus aláírásában be kell jelenteni a throws kulcsszóval. Ezek olyan helyzetekre vonatkoznak, amelyek futás közben fordulhatnak elő, de a programozónak előre kell látni és kezelni kell őket, például bemeneti/kimeneti hibák (IOException).

Példa:

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

Ha egy metódus egy másik metódust hív, amely ellenőrzött kivételt dob, akkor vagy kezelni kell a kivételt, vagy tovább kell adni. Ez segít abban, hogy a kód megbízhatóbb és világosabb legyen a lehetséges hibákról.