Կարող եք բացատրել, թե ինչ է ստուգվող արտակարգ իրավիճակը ծրագրավորման լեզուներում?

Ստուգվող արտահայտություն (checked exception) Java-ում այն տեսակ արտահայտության է, որը կոմպիլյատորը պահանջում է կամ մշակել (try-catch), կամ հայտարարել դրա մասին մեթոդի ստորագրության մեջ throws բանալի բառով։ Դրանք նախատեսված են իրավիճակների համար, որոնք կարող են առաջանալ գործարկման ժամանակ, բայց որոնք ծրագրավորողը պետք է կանխատեսի և մշակի, օրինակ՝ մուտք/ելք սխալներ (IOException):

Օրինակ՝

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

Եթե մեթոդը կանչում է այլ մեթոդ, որը նետում է ստուգվող արտահայտություն, ապա կամ պետք է այն մշակել, կամ փոխանցել։ Սա օգնում է դարձնել կոդը ավելի հուսալի և հստակ հնարավոր սխալների վերաբերյալ։