Můžete vysvětlit, co je to kontrolovaná výjimka v programovacích jazycích?

Kontrolovaná výjimka (checked exception) je typ výjimky v Javě, kterou kompilátor vyžaduje buď zpracovat (try-catch), nebo deklarovat v podpisu metody pomocí klíčového slova throws. Jsou určeny pro situace, které se mohou během běhu programu vyskytnout, ale které musí programátor předvídat a řešit, například chyby vstupu/výstupu (IOException).

Příklad:

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

Pokud metoda volá jinou metodu, která vyvolává kontrolovanou výjimku, je třeba ji buď zpracovat, nebo ji dále deklarovat. To pomáhá udělat kód spolehlivější a jasnější ohledně možných chyb.