¿Qué es la garantía básica de seguridad en el contexto de la biblioteca estándar de C++ y cómo afecta la gestión de recursos?

La garantía básica de seguridad (seguridad básica ante excepciones) significa que, en caso de una excepción, el programa se encuentra en un estado correcto, aunque no necesariamente predecible. Los recursos, como la memoria dinámica o los descriptores de archivos, que fueron adquiridos por la función antes de que ocurriera la excepción, serán liberados correctamente.

Esto se logra mediante el uso de RAII (Resource Acquisition Is Initialization), una idiomática en la que la posesión de un recurso está asociada con el ciclo de vida del objeto. El constructor del objeto adquiere el recurso, y el destructor lo libera. Cuando la pila se desenrolla debido a una excepción, los destructores de los objetos creados en el bloque actual se llaman automáticamente, garantizando la liberación de recursos.

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

void process_data(const std::string& filename) {
    std::vector<int> data; // Vector (memoria dinámica)
    std::ifstream file(filename); // Recurso: archivo

    if (!file.is_open()) {
        throw std::runtime_error("No se puede abrir el archivo"); // Excepción: no se puede abrir el archivo
    }

    int value;
    while (file >> value) { // Lectura de datos - puede lanzar una excepción
        data.push_back(value); // Puede lanzar una excepción por falta de memoria
    }

    // Si se lanza una excepción antes de este punto (por ejemplo, al abrir el archivo, leer o agregar al vector),
    // los destructores de file (que cierra el archivo) y data (que libera la memoria) serán llamados,
    // garantizando la garantía básica de seguridad: el archivo está cerrado, la memoria está liberada,
    // pero el estado de data puede ser indefinido (parcialmente lleno).

    // Procesamiento adicional de data...
    // ...
} // Los destructores de file y data se llaman aquí si no se ha lanzado ninguna excepción

Con la garantía básica:

• Todos los invariantes de las clases pueden ser violados.
• Los datos pueden ser modificados parcialmente.
• Los recursos no se pierden.

Esto es más débil que la garantía fuerte (el estado del programa no cambia ante una excepción) y no hay garantía (el estado del programa es indefinido, posibles fugas). En la biblioteca estándar, muchas operaciones ofrecen la garantía básica, que es el requisito mínimo para trabajar correctamente con excepciones.