შეგიძლიათ ახსნათ, რა არის შემოწმებადი გამონაკლისი პროგრამირების ენებში?

მოწმენდილი გამონაკლისი (checked exception) არის ტიპი გამონაკლისის Java-ში, რომელსაც კომპილატორი ან მოითხოვს ან უნდა იყოს გამკლავებული (try-catch), ან უნდა იყოს გამოცხადებული მეთოდის სიგნატურაში სიტყვა throws-ის გამოყენებით. ისინი განკუთვნილია სიტუაციებისთვის, რომლებიც შეიძლება მოხდეს შესრულების დროს, მაგრამ რომელთა წინასწარ გათვლა და მართვა უნდა შეძლოს პროგრამისტმა, მაგალითად, შეყვანა-გამოტანა შეცდომები (IOException).

მაგალითი:

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

თუ მეთოდი იძახის სხვა მეთოდს, რომელიც აყენებს კონტროლირებად გამონაკლისს, მაშინ ან უნდა მართოს ეს გამონაკლისი, ან უნდა გამოაცხადოს ის გადაცემის მიზნით. ეს ეხმარება კოდის უფრო საიმედო და ნათლად გახადოს შესაძლო შეცდომების შესახებ.