Mi profesor mostró el siguiente código:
void *p1=malloc(1024); free(p1); void *p2=malloc(1024); if (p1==p2) { printf("Now What?") }y dijo que no es seguro, pero ¿por qué?
Sé que no deberíamos intentar acceder a la memoria que se liberó. Sin embargo, está bien saber hacia dónde apunta el puntero, ya que es solo un puntero normal, siempre que no intentemos leer desde dónde apunta.
De hecho, esto no es seguro porque un puntero a la memoria liberada es indeterminado.
El Anexo J.2 del estándar C , que da ejemplos de comportamiento indefinido , incluye lo siguiente:
- Se utiliza el valor de un puntero a un objeto cuya vida ha terminado (6.2.4).
...
- Se utiliza el valor de un puntero que hace referencia al espacio desasignado por una llamada a la función
freeorealloc(7.22.3).
Donde la sección 7.22.3p1 con respecto a las funciones de administración de memoria establece:
... El tiempo de vida de un objeto asignado se extiende desde la asignación hasta la desasignación ...
Y la sección 6.2.4p2 que define la vida útil de un objeto establece:
La vida útil de un objeto es la parte de la ejecución del programa durante la cual se garantiza que se le reservará almacenamiento. Un objeto existe, tiene una dirección constante y conserva su último valor almacenado durante su vida útil. Si se hace referencia a un objeto fuera de su vida útil, el comportamiento no está definido. El valor de un puntero se vuelve indeterminado cuando el objeto al que apunta (o simplemente pasado) llega al final de su vida útil.