الاستثناءات وضمانات الحالة

#include <iostream>
#include <stdexcept>
int units(int batches) {
    if (batches < 0 || batches > 1000) {
        throw std::invalid_argument("batches out of range");
    }
    return batches * 5;
}
int main() {
    try { std::cout << units(-1) << "\n"; }
    catch (const std::invalid_argument& error) {
        std::cout << error.what() << "\n";
    }
}

batches out of range

يرمي الطلب غير الصالح قبل إنتاج عدد، ويطبع المعالج المطابق الرسالة المخصّصة نفسها.

#include <iostream>
#include <stdexcept>
#include <string>
void replace_title(std::string& current, std::string candidate) {
    if (candidate.empty()) { throw std::invalid_argument("empty title"); }
    current.swap(candidate);
}
int main() {
    std::string title{"Draft"};
    try { replace_title(title, ""); }
    catch (const std::invalid_argument&) { std::cout << "rejected\n"; }
    std::cout << title << "\n";
    replace_title(title, "Final");
    std::cout << title << "\n";
}

rejected
Draft
Final

يترك المرشح الفارغ Draft كما هو، ويلتزم المقبول بالقيمة Final ثم تُنظّف القيمة القديمة محليًا.