What is the basic safety guarantee in the context of the C++ standard library and how does it affect resource management?

Basic exception safety (basic exception safety) means that when an exception occurs, the program remains in a correct, though not necessarily predictable, state. Resources such as dynamic memory or file descriptors that were acquired by the function before the exception occurred will be properly released.

This is achieved through the use of RAII (Resource Acquisition Is Initialization) idiom, where resource ownership is tied to the lifetime of an object. The object's constructor acquires the resource, and the destructor releases it. When the stack unwinds due to an exception, destructors for objects created in the current block are automatically called, ensuring resource release.

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

void process_data(const std::string& filename) {
    std::vector<int> data; // Vector (dynamic memory)
    std::ifstream file(filename); // File (resource)

    if (!file.is_open()) {
        throw std::runtime_error("Cannot open file"); // Exception - file will not open
    }

    int value;
    while (file >> value) { // Reading data - may throw an exception
        data.push_back(value); // May throw an exception due to lack of memory
    }

    // If an exception is thrown before this point (e.g., during file opening, reading, or adding to vector),
    // destructors for file (closes the file) and data (frees memory) will be called,
    // guaranteeing basic safety: the file is closed, memory is freed,
    // but the state of data may be indeterminate (partially filled).

    // Further processing of data...
    // ...
} // Destructors for file and data are called here if no exception was thrown

With basic exception safety:

• All class invariants may be violated.
• Data may be partially modified.
• Resources do not leak.

This is weaker than the strong guarantee (the program state does not change when an exception occurs) and there is no guarantee (the program state is undefined, leaks are possible). Many operations in the standard library provide basic guarantee, which is the minimum requirement for correct exception handling.