NOTA: El código en la respuesta ha sido escrito sobre la marcha y puede no compilar o contener errores.
No existe motivo aparente para que la función tPila **AsignarMemoria(void);
retorne un doble puntero.
Existen casos en los que sí se debe tratar con un doble puntero y el ejemplo más sencillo que se me ocurre es la liberación de la memoria:
// Liberar memoria toma un doble puntero para poder asignar un valor al puntero original
void LiberarMemoria(tPila **pp) {
// Liberamos la memoria previamente alojada
free(*pp);
// Ahora podemos modificar el valor de 'p' en main porque hemos pasado un puntero a p.
*pp = NULL;
}
// Esta función no podría modificar el argumento que se le pasa
void LiberarMemoriaErronea(tPila *p) {
// La siguiente llamada liberaría la memoria a la que apunta 'p' en el main
free(p);
// Pero no podríamos modificar la dirección a la que apunta 'p' en el main porque el valor no se retornaría
p = NULL;
}
int main(void) {
// Alojamos memoria para una instancia de tPila con una función que devuelve un puntero simple...
tPila *p = AsignarMemoria2();
// Utilizamos la pila
...
// Liberamos la pila
LiberarMemoria(&p);
}
En caso de los requerimientos manden que AsignarMemoria
retorne un doble puntero has de recordar que toda variable que crees de manera local desaparecerá al destruirse el entorno donde se ha creado por lo que tendrías que realizar un alojamiento de memoria para apuntar al segundo puntero:
// En la siguiente función hay un error...
tPila **AsignarMemoriaMal(void) {
// Este puntero apuntará a la zona de memoria que devuelva malloc donde nosotros vamos a almacenar una estructura de tipo tPila.
// Hay que saber que un puntero es un trozo de memoria donde en lugar de guardar un valor, guardamos una dirección.
// Con la siguiente instrucción lo que hemos hecho ha sido reservar un trozo de memoria que será destruido al salir de esta función.
// En ese trozo de memoria vamos a almacenar la dirección a la que queremos apuntar.
tPila *p;
// Ahora vamos a crear un puntero que apunte a otro puntero que apuntará a una pila.
// De nuevo lo que está pasando, es que el compilador reservará otro trocito de memoria para guardar una dirección.
// Este trocito de memoria también sera destruido al salir de esta función.
tPila **pp
// En la siguiente linea hacemos que malloc reserve memoria que no se destruirá.
// Malloc devolverá la dirección de la memoria reservada y se asignará a p.
// p ahora apunta a la memoria reservada.
// p (no seguro) -> memoria_de_malloc (seguro)
// Si hiciesemos un 'return p;' se copiaría lo que hay dentro de p, por lo que la nueva variable apuntaría a la dirección de la memoria segura.
p = malloc(...);
// El error reside en la siguiente linea, donde ahora hacemos que el puntero siga a memoria no segura.
// pp (no seguro) -> p (no seguro) -> memoria_de_malloc (seguro)
// Si hiciesemos un 'return pp;' se copiaría lo que hay dentro de pp, por lo que la nueva variable apuntaría a la dirección de p, que se destruirá en cuanto salgamos de la función.
tPila **pp = &p;
// Por lo que el siguiente return devolverá una posición de memoria que podría ser sobreescrita...
return pp;
}
struct tPila
. La razón por la que se suele usar el**
es para pasar un puntero por referencia (por ejemplo porque la función tiene que cambiar el valor de ese puntero).AsignarMemoria()
habría de retornar un puntero a puntero ¿Seguro que es así ese caso? ¿Qué se supone que hace la función?tPila
.