Можете ли објаснити шта је проверљива изузетак у програмским језицима?

Проверена изузетак (checked exception) је тип изузетка у Јави који компајлер захтева да се или обради (try-catch), или да се објави у сигнатури метода помоћу кључне речи throws. Они су намењени за ситуације које могу настати током извршавања, али које програмер мора предвидети и обрадити, као што су грешке у уносу/излогу (IOException).

Пример:

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

Ако метода позива другу методу која баца проверени изузетак, онда је или треба обрадити или прогласити да се преноси. Ово помаже да код буде поузданији и јаснији у погледу могућих грешака.