Тексерілген қателер дегеніміз не және олар бағдарламалауда қалай пайдаланылады?

Тексерілетін қателер (checked exceptions) — Java сияқты бағдарламалау тілдерінде кездесетін қателер түрі, оларды компилятор анықтап, айқын өңдеуді немесе әдістің сигнатурасында жариялауды талап етеді. Егер әдіс тексерілетін қателікті тастай алатын болса, шақыратын код оны try-catch блогында өңдеуі немесе өзінің throws-ында жариялауы керек.

Бұл кодты сенімдірек етуге көмектеседі, себебі бағдарламашы мүмкін болатын қателерді, мысалы, енгізу-шығару қателері немесе желі мәселелері сияқты, алдын ала ойластыруға мәжбүр болады.

Java-да мысал:

public void readFile(String path) throws IOException {
    FileReader file = new FileReader(path);
    // ... файлды оқу
}

public void process() {
    try {
        readFile("data.txt");
    } catch (IOException e) {
        e.printStackTrace();
    }
}

Мұнда IOException — тексерілетін қате, оны өңдеу немесе жариялау керек.