Kas yra bazinė saugumo garantija C++ standartinės bibliotekos kontekste ir kaip ji veikia išteklių valdymą?

Pagrindinė saugumo garantija (pagrindinis išimtis saugumas) reiškia, kad iškilus išimčiai, programa yra teisingoje, nors ir ne būtinai numatomoje, būsenoje. Ištekliai, tokie kaip dinaminė atmintis ar failų deskriptoriai, kurie buvo paimti funkcijos iki išimties iškilimo, bus teisingai atlaisvinti:

Tai pasiekiama naudojant RAII (Resource Acquisition Is Initialization) idiomą, kurioje išteklių valdymas yra susijęs su objekto gyvavimo ciklu. Objekto konstruktorius įgyja išteklių, o destruktorius juos atlaisvina. Kai iškeliama išimtis, automatiškai kviečiami to bloko sukurtų objektų destruktoriai, užtikrinant išteklių atlaisvinimą:

#include <vector>
#include <fstream>
#include <stdexcept>

void process_data(const std::string& filename) {
    std::vector<int> data; // Vektorius (dinaminė atmintis)
    std::ifstream file(filename); // Failas (išteklius)

    if (!file.is_open()) {
        throw std::runtime_error("Cannot open file"); // Išimtis - failas neatsidarys
    }

    int value;
    while (file >> value) { // Duomenų skaitymas - gali išmesti išimtį
        data.push_back(value); // Gali išmesti išimtį dėl trūkstamos atminties
    }

    // Jei išimtis iškiltų iki šios vietos (pvz., atidarant failą, skaitant ar pridedant į vector),
    // failo (uždaromas failas) ir duomenų (atlaisvinama atmintis) destruktoriai bus iškviesti,
    // užtikrinant pagrindinę garantiją: failas uždaromas, atmintis atlaisvinta,
    // bet duomenų būsena gali būti nenustatyta (dalinai užpildyta).

    // Tolimesnė duomenų apdorojimas...
    // ...
} // Failo ir duomenų destruktoriai iškviečiami čia, jei išimtis nebuvo iškeltą

Pagrindinė garantija:

• Visos klasių invariantai gali būti pažeisti.
• Duomenys gali būti pakeisti iš dalies.
• Ištekliai nebus prarasti.

Tai silpnesnė nei stipri garantija (programos būsena nesikeičia išimtis metu) ir neturi garantijos (programos būsena yra nenustatyta, gali būti nutekėjimų). Standartinėje bibliotekoje daugelis operacijų teikia pagrindinę garantiją, kuri yra minimalus reikalavimas tinkamam darbui su išimtimis.