Mi az alapvető biztonsági garancia a C++ szabványkönyvtár kontextusában, és hogyan befolyásolja az erőforrások kezelését?

Az alapvető biztonsági garancia (alapvető kivételbiztonság) azt jelenti, hogy kivétel esetén a program helyes, bár nem feltétlenül előre jelezhető állapotban van. Az erőforrásokat, például a dinamikus memóriát vagy fájlleírókat, amelyeket a függvény a kivétel előtt szerzett meg, helyesen szabadítják fel.

Ez RAII (Resource Acquisition Is Initialization) használatával érhető el — egy idiom, ahol az erőforrás birtoklása összekapcsolódik az objektum életciklusával. Az objektum konstruktorában az erőforrást megszerzi, a destruktor pedig felszabadítja. Amikor a verem kivétel miatt lecsúszik, a jelenlegi blokkban létrehozott objektumok destruktorai automatikusan meghívódnak, biztosítva az erőforrások felszabadítását.

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

void process_data(const std::string& filename) {
    std::vector<int> data; // Vektor (dinamikus memória)
    std::ifstream file(filename); // Erőforrás: fájl

    if (!file.is_open()) {
        throw std::runtime_error("Nem lehet megnyitni a fájlt"); // Kivétel - a fájl nem nyitható meg
    }

    int value;
    while (file >> value) { // Adatok olvasása - kivételt dobhat
        data.push_back(value); // Kivételt dobhat memóriahiány esetén
    }

    // Ha kivétel keletkezik ezen a ponton (pl. fájl megnyitásakor, olvasásakor vagy vektorhoz adásakor),
    // a file (amely bezárja a fájlt) és a data (amely felszabadítja a memóriát) destruktorai automatikusan meghívódnak,
    // biztosítva az alapvető biztonsági garanciát: a fájl zárva van, a memória felszabadult,
    // de a data állapota meghatározhatatlan lehet (részben feltöltött).

    // További adatfeldolgozás...
    // ...
} // A file és a data destruktorai itt hívódnak meg, ha nem történt kivétel

Az alapvető garanciával:

• Minden osztály invariánsa megsérülhet.
• Az adatok részben módosulhatnak.
• Az erőforrások nem szivárognak.

Ez gyengébb, mint a erős garancia (az állapot nem változik kivétel esetén), és nincs garancia (az állapot meghatározhatatlan, szivárgások fordulhatnak elő). A standard könyvtárban sok művelet biztosítja az alapvető garanciát, ami a minimális követelmény a kivételekkel való helyes munkához.