Kunt u uitleggen wat een controleerbare uitzondering is in programmeertalen?

Geverifieerde uitzondering (checked exception) is een type uitzondering in Java die de compiler vereist dat deze wordt afgehandeld (try-catch) of wordt gedeclareerd in de handtekening van de methode met behulp van het sleutelwoord throws. Ze zijn bedoeld voor situaties die tijdens de uitvoering kunnen optreden, maar die de programmeur moet voorzien en afhandelen, zoals invoer-/uitvoerfouten (IOException).

Voorbeeld:

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

Als een methode een andere methode aanroept die een gecontroleerde uitzondering gooit, moet deze ofwel worden afgehandeld of worden doorgegeven. Dit helpt om de code betrouwbaarder en duidelijker te maken met betrekking tot mogelijke fouten.