Môžete vysvetliť, čo je kontrolovaná výnimka v programovacích jazykoch?

Kontrolovaná výnimka (checked exception) je typ výnimky v Jave, ktorú kompilátor vyžaduje buď spracovať (try-catch), alebo deklarovať v podpisu metódy pomocou kľúčového slova throws. Sú určené na situácie, ktoré sa môžu vyskytnúť počas behu, ale ktoré musí programátor predvídať a riešiť, napríklad chyby vstupu/výstupu (IOException).

Príklad:

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

Ak metóda volá inú metódu, ktorá vyvoláva kontrolovanú výnimku, je potrebné ju buď spracovať, alebo ju ďalej deklarovať. To pomáha urobiť kód spoľahlivejší a jasnejší vo vzťahu k možným chybám.