Puedes obtener el mismo error con el siguiente código:
int main()
{
int array = new int[5];
delete[] array;
delete[] array; // ¡Doble borrado!
return 0;
}
Como puedes ver, se está borrando array
dos veces, tienes una solución rápida que consiste en asignar un valor nulo al puntero después de borrar la memoria a la que apunta:
int main()
{
int array = new int[5];
delete[] array;
array = nullptr;
delete[] array; // No pasa nada.
return 0;
}
Invocar el operador de borrado sobre un puntero nulo es inocuo, tal y como especifica el estándar (traducción y resaltados míos):
7.6.2.9 Delete
- Si el valor del operando de la expresión-
delete
no es un puntero nulo, entonces:
- Si la llamada de alojamiento de la expresión-
new
para el objeto a borrar no se omitió y el alojamiento no se extendió, la expresión-delete
debe llamar a la función de desalojado [ ...… ].- En caso contrario, si el alojado se extendió o se proveyó extendiendo el alojado de otra expresión-´new´
new
, y la expresión-delete
para cualquier otro valor de puntero producido por una expresión-new
que tuviera almacenamiento proveido por la expresión-new
extendida hubiera sido evaluada, la expresión-delete
debe llamar la función de desalojado [ ...… ]- En caso contrario, la expresión-
delete
no llamará ninguna función de desalojado.
Esto evita el problema del doble borrado pero ¿Por qué se está borrando dos veces?.
Se está borrando dos veces porque el destructor de la instancia obj1
de obj
se llama dos veces, la primera manualmente y la segunda automáticamente:
int main()
{
obj obj1(5);
obj1.~obj(); // Llamada manual al destructor de 'obj1'.
return 0;
}
// ^ <--- Llamada automática al destructor de 'obj1'.
Así que: no llames manualmente el destructor.