Երբ է դառնում անընդունելի destructor-ի ներսում throw օպերատորի օգտագործումը?

C++-ի throw օպերատորից (throw) դեստրուկտորում օգտագործումը անընդունելի է, եթե դեստրուկտորը կանչվում է այլ արտահայտության ժամանակ։ Այդ դեպքում, նոր արտահայտություն նետելը կհանգեցնի std::terminate()-ի կանչին, ինչը կավարտի ծրագրի գործարկումը։

Այլ կերպ ասած, եթե դեստրուկտորը կանչվում է արտահայտության տարածման ժամանակ (օրինակ, try բլոկից դուրս գալու ժամանակ), ապա դեստրուկտորից արտահայտություններ նետել չի կարելի։ Դրա կանխարգելման համար սովորաբար բոլոր արտահայտությունները բռնում են դեստրուկտորում և թույլ չեն տալիս դուրս գալ։

Անվտանգ դեստրուկտորի օրինակ՝

~MyClass() {
    try {
        // կոդ, որը կարող է արտահայտություն նետել
    } catch (...) {
        // մշակումը կամ գրանցումը, բայց արտահայտություն չնետել
    }
}