Hoy estaba adelantando uno de mis primeros programas en C, y en medio de tal labor, utilicé un array bidimensional. Esta vez, tras meditar acerca de la sintaxis que muchas veces se aprende sin realmente comprender la lógica de ejecución, en este caso de la asignación de memoria en tiempo de ejecución. Me encuentro con una idea que parece algo confusa y que comparto con la intención de comprobar si lo que pienso es errado y de este modo puede haber alguna corrección que me de "luces" sobre este asunto.
Entiendo en lo que he aprendido, que un puntero es una variable que contiene una dirección de memoria y permite acceder a ella. Dicha dirección, puede contener valores constantes u otras variables. Llegado a este punto, un puntero puede apuntar a otro puntero porque este también es una variable, cuya variabilidad está determinada por la posición de memoria a la que apunta.
Ahora bien, de aquí en adelante me siento menos seguro de lo que digo y es sobre lo que tengo dudas.
Cuando un puntero apunta a un array, realmente lo hace al primer valor, de lo cual se supone que los sucesivos elementos del array, al estar almacenados en posiciones contiguas, son modificables al acceder con
puntero[n]
teniendo en cuenta quen
es la magnitud del desplazamiento desde la variable a la que realmente apunta el puntero.
Sobre que esto que digo me pregunto:
- ¿Es esto correcto?
- ¿Todos los arrays terminan con \0 o es algo único de los arrays de caracteres?
Continuando con las dudas, al asignar memoria dinámica a un puntero.
- ¿Que pasa en realidad?
Por lo que se, un puntero con memoria dinámica es una manera de crear un array y, con la lógica del párrafo anterior, el puntero sigue apuntando a una posición de memoria única que en este caso, es el primer elemento del array, con lo que llego a la conclusión de que lo que realmente pasa con la función realloc()
. Es que se le dice al compilador
"Esta memoria de la zona libre puede usarse"
Pero en realidad no está cambiando la naturaleza del puntero, pues este sigue apuntando al primer elemento y, nos desplazamos a la memoria contigua del mismo modo que se decía antes, con la diferencia de que sin asignar la memoria esto no sería posible porque no está disponible para usarse.
- ¿Nuevamente, es esto correcto?
Con todo, llego a lo que me hizo pensar en todo esto. Podría decirse que al declarar un array bidimensional, si lo vemos como una matriz, el primer array, de la misma naturaleza del descrito antes, que determina las "filas" de la matriz, contiene a su vez punteros que apuntan al primer elemento de otros arrays. Con lo cual pienso que la memoria asignada a un array bidimensional solo es contigua en dos casos:
- El primero, cuando nos referimos al array que determina las "filas" de nuestra matriz.
- Segundo, cuando nos referimos a cada array al que apuntan los punteros contenidos en el primer array.
Por lo tanto, todo el array bidimensional no sería contiguo en el heap, sino que habría un montón de fragmentos contiguos distribuidos aleatoriamente en el heap relacionados entre si gracias a los punteros. Me resulta muy fascinante y curioso este detalle, para terminar debo preguntar:
- ¿Lo que digo nuevamente, es acertado?
Seria interesante saber qu pueden corregirme o añadir algo a lo que digo.