Bir programlama dilinde kontrol edilen istisnaların ne olduğunu açıklayabilir misiniz?

Java'da kontrol edilen istisnalar (checked exceptions), derleyici tarafından derleme sırasında kontrol edilen istisnalardır. Bir yöntem kontrol edilen bir istisna atabiliyorsa, bunu ya içerde (try-catch) ele almalı ya da throws anahtar kelimesiyle yöntem imzasında belirtmelidir. Bu, programcıyı bu tür hataların oluşma olasılığını açıkça dikkate almaya zorlar, örneğin dosya veya ağ işlemleriyle çalışırken.

Örnek:

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

Burada IOException kontrol edilen bir istisnadır ve yöntem bunun atılabileceğini belirtir.