Какво е основната гаранция за сигурност в контекста на стандартната библиотека C++ и как влияе върху управлението на ресурсите?

Основната гаранция за безопасност (основно ниво на безопасност при изключения) означава, че при възникване на изключение, програмата е в правилно, макар и не непременно предсказуемо състояние. Ресурсите, като динамична памет или файлови дескриптори, които са били придобити от функцията преди възникването на изключението, ще бъдат коректно освободени.

Това се постига чрез използване на RAII (Resource Acquisition Is Initialization) — идиома, при която притежанието на ресурс е свързано с жизнения цикъл на обекта. Конструкторът на обекта придобива ресурса, а деструкторът го освобождава. Когато стекът се разгръща поради изключение, автоматично се извикват деструкторите на създадените в текущия блок обекти, гарантирайки освобождаването на ресурсите.

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

void process_data(const std::string& filename) {
    std::vector<int> data; // Вектор (динамична памет)
    std::ifstream file(filename); // Ресурс: файл

    if (!file.is_open()) {
        throw std::runtime_error("Не може да се отвори файл"); // Изключение - файлът не се отваря
    }

    int value;
    while (file >> value) { // Четене на данни - може да хвърли изключение
        data.push_back(value); // Може да хвърли изключение при липса на памет
    }

    // Ако изключение бъде хвърлено преди тази точка (например при отваряне на файла, четене или добавяне към вектора),
    // деструкторите на file (който затваря файла) и data (който освобождава паметта) ще бъдат извикани автоматично,
    // гарантирайки основната гаранция за безопасност: файлът е затворен, паметта е освободена,
    // но състоянието на data може да бъде неопределено (частично запълнено).

    // Допълнителна обработка на data...
    // ...
} // Деструкторите на file и data се извикват тук, ако изключение не е било хвърлено

При основната гаранция:

• Всички инварианти на класовете могат да бъдат нарушени.
• Данните могат да бъдат частично променени.
• Ресурсите не изтичат.

Това е по-слабо от силната гаранция (състоянието на програмата не се променя при изключение) и няма гаранция (състоянието на програмата е неопределено, възможни са течове). В стандартната библиотека много операции предоставят основната гаранция, която е минималното изискване за коректна работа с изключения.