La vida útil de un objeto está determinada por su alcance. Sin embargo, a veces necesitamos, o es útil, crear un objeto que viva independientemente del alcance donde fue creado. En C ++, el operador newse utiliza para crear dicho objeto. Y para destruir el objeto, deletese puede usar el operador . Los objetos creados por el operador newse asignan dinámicamente, es decir, se asignan en memoria dinámica (también llamada almacenamiento dinámico o almacenamiento gratuito ). Por lo tanto, un objeto creado por newcontinuará existiendo hasta que se destruya explícitamente usando delete.
Algunos errores que pueden ocurrir al usar newy deleteson:
- Objeto filtrado (o memoria): se usa
newpara asignar un objeto y olvidarlo delete.
- Eliminación prematura (o referencia colgante ): mantener otro puntero sobre un objeto,
deleteel objeto, y luego usar el otro puntero.
- Doble eliminación : intentando
deleteun objeto dos veces.
En general, se prefieren las variables de ámbito. Sin embargo, RAII puede usarse como una alternativa newy deletehacer que un objeto viva independientemente de su alcance. Dicha técnica consiste en llevar el puntero al objeto que se asignó en el montón y colocarlo en un objeto controlador / administrador . Este último tiene un destructor que se encargará de destruir el objeto. Esto garantizará que el objeto esté disponible para cualquier función que desee acceder a él, y que el objeto se destruya cuando la vida útil del objeto de manejo finalice , sin la necesidad de una limpieza explícita.
Ejemplos de la biblioteca estándar de C ++ que usan RAII son std::stringy std::vector.
Considere esta pieza de código:
void fn(const std::string& str)
{
std::vector<char> vec;
for (auto c : str)
vec.push_back(c);
// do something
}
cuando creas un vector y empujas elementos a él, no te importa asignar y desasignar dichos elementos. El vector utiliza newpara asignar espacio para sus elementos en el montón y deletepara liberar ese espacio. Como usuario del vector, no le importan los detalles de implementación y confiará en que el vector no se filtre. En este caso, el vector es el objeto manipulador de de sus elementos.
Otros ejemplos de la biblioteca estándar que RAII uso son std::shared_ptr, std::unique_ptry std::lock_guard.
Otro nombre para esta técnica es SBRM , abreviatura de Scope-Bound Resource Management .