¿He liberado todos los apuntadores?

[AlbertoBSD]

Fuente: ¿He liberado todos los apuntadores?


Para aquellos que les guste programar con memoria dinamica en C, frecuentemente se encontraran en ocasiones tener la sensacion de no haber liberado un apuntador, esto puede ser cuando tambien trabajamos con arreglos (longitud variable) de apuntadores.

Para facilitar esta tarea se pueden programa sus propias implementaciones que lleven un conteo de cuantos apuntadores se han creado y de cuantos se han liberado.

Si al final del programa el resultado es 0, entonces pueden estar tranquilos de que todo se libero correctamente.

Esta sencilla implementacion, solo lleva dicho conteo, NO lleva conteo de memoria utilizada y/o control de cuales apuntadores ya fueron liberados, eso ya es harina de otro costal.

Código (c) [Seleccionar] Expandir


#include<stdlib.h>

unsigned int N_ptr = 0;

unsigned int test_result() {
return N_ptr;
}

void *test_realloc(void *ptr,size_t size) {
void *ptr_new = NULL;
ptr_new = realloc(ptr,size);
if(ptr == NULL && ptr_new != NULL){
N_ptr++;
}
return ptr_new;
}

void *test_calloc(size_t nmemb,size_t size) {
void *ptr = NULL;
ptr = calloc(nmemb,size);
if(ptr != NULL) {
N_ptr++;
}
return ptr;
}

void *test_malloc(size_t size) {
void *ptr = NULL;
ptr = malloc(size);
if(ptr != NULL) {
N_ptr++;
}
return ptr;
}

int test_free(void *ptr) {
N_ptr--;
free(ptr);
}


Se podrian sustituir las funciones malloc, calloc, realloc y free en nuestro programa hacia estas funciones para testear y exclusivamente para prueba. posteriormente volver a dejarlas llamadas originales.

Al final del main despues de liberar todo podremos colocar esta linea

Código [Seleccionar] Expandir

printf("Valor %i",test_result());
Si en nuestra salida del progrma el resultado es 0, significa que todo esta bien.

En caso contrareo, deberemos depurar en nuestras subfunciones el antes y el despues de cada llamada para validar en que función esta el problema.

Saludos

[CalgaryCorpus]

Hay, al menos, 3 cosas extrañas:

- realloc no modifica los punteros, si' libera la memoria, pero no modifica el puntero que se le pasa como primer parametro, este sigue apuntando a la zona de memoria anterior, por lo que en la linea 12, comparar ptr contra NULL no tiene sentido.

- realloc libera la memoria por uno, llamando a free(), puesto que la memoria ha sido liberada, hay que descontar 1 de tu contador, pero no lo haces. Usar realloc va a generar problemas en el contador, o bien problemas en la memoria, si es que uno decide invocar free() sobre memoria ya liberada.

- test_calloc incrementa 2 veces N_ptr, por que?

[AlbertoBSD]

- test_calloc incrementa 2 veces N_ptr, por que?

Si se me paso ese detalle, muchas gracias. Ya lo he editado

Lo que comentas de la linea 12, es para el caso donde Realloc fuera llamado con un apuntador a NULL, en este caso realloc funciona como malloc.

If ptr is NULL, the behavior is the same as calling malloc(new_size).

Que en la unica ocacion donde se tiene que incrementar el contador de apuntadores.

Para ese ejemplo el siguiente codigo:

Código (c) [Seleccionar] Expandir


#include<stdlib.h>
#include<stdio.h>

int main() {
int *lista = NULL;
int i = 0;
printf("Lista apunta a %p\n",lista);
do {
lista = realloc(lista,(i+1)*sizeof(int));//Lista solo es NULL en la primera llamada de Realloc
printf("Lista apunta a %p\n",lista);
lista[i] = rand();
i++;
}while( i < 10);
free(lista);//Aqui liberamos el apuntador --
}


En caso constrario donde el ptr de parametro es distinto de NULL, no hacemos nada, ya que el apuntador ya esta contabilizado.