Skip to main content
se añadieron 2 caracteres en el cuerpo
Origen Enlace
eferion
  • 52.6k
  • 5
  • 35
  • 75

Pues bien, ahora llega tu programa y lo que hace es reservar 4 bytes pero modificarmodifica 5:

| nombre | ... 00 01 02 03 04 05 H o l a \0 ..

|   nombre  | ...
 00 01 02 03 04 05
  H  o  l  a \0 ..

Dado que el compilador es libre de organizar el heapla pila a su gusto, supongamos que la distribución elegida es la siguiente:

Pues bien, ahora llega tu programa y lo que hace es reservar 4 bytes pero modificar 5:

| nombre | ... 00 01 02 03 04 05 H o l a \0 ..

Dado que el compilador es libre de organizar el heap a su gusto, supongamos que la distribución elegida es la siguiente:

Pues bien, ahora llega tu programa y lo que hace es reservar 4 bytes pero modifica 5:

|   nombre  | ...
 00 01 02 03 04 05
  H  o  l  a \0 ..

Dado que el compilador es libre de organizar la pila a su gusto, supongamos que la distribución elegida es la siguiente:

Origen Enlace
eferion
  • 52.6k
  • 5
  • 35
  • 75

Lo primero es entender cómo funciona la memoria de un ordenador.

La memoria del ordenador se divide típicamente en bloques. Esto se hace así porque gestionar la memoria a nivel de byte consumiría demasiados recursos del equipo.

Pues bien, cuando en tu programa declaras una variable, el programa tiene que solicitarle espacio al Sistema Operativo para poder ubicar esa variable en algún lugar de la memoria. Lo que sucede entonces es que el Sistema Operativo le asigna un bloque de memoria a tu programa. A partir de ese momento tu programa tendrá acceso exclusivo a esa región de memoria y ningúna otra aplicación podrá acceder.

Resumiendo, si tu necesitas 4 bytes, el Sistema Operativo te dará un bloque de memoria de... supongamos 1KB. A partir de ese momento es tu programa el responsable de gestionar esa memoria correctamente.

Pues bien, ahora llega tu programa y lo que hace es reservar 4 bytes pero modificar 5:

| nombre | ... 00 01 02 03 04 05 H o l a \0 ..

Aparentemente no pasa nada... pero es muy raro que un programa tenga únicamente una variable. Lo normal es que tenga varias variables, por ejemplo:

unsigned int a = 0xFFFFFFFF;
unsigned int b = 0xFFFFFFFF;
char nombre[4];

Dado que el compilador es libre de organizar el heap a su gusto, supongamos que la distribución elegida es la siguiente:

|     a     |   nombre  |     b     | ...
 00 01 02 03 04 05 06 07 08 09 0A 0B 0C 0D 0E 0F
 FF FF FF FF             FF FF FF FF

Si ahora escribimos 5 caracteres en nombre:

|     a     |   nombre  |     b     | ...
 00 01 02 03 04 05 06 07 08 09 0A 0B 0C 0D 0E 0F
 FF FF FF FF  H  o  l  a \0 FF FF FF
                         ^^ 

Resulta que hemos modificado el valor de b!!!! A partir de este punto el programa puede volverse errático. Si por ejemplo resulta que b es un puntero, habrás perdido la referencia a la dirección de memoria a la que estaba apuntando!!!

Pero es que además los efectos luego se pueden multiplicar, si por ejemplo ahora modificamos la variable b:

b = 0x12345678

Nuestro mapa de memoria ahora quedaría así:

|     a     |   nombre  |     b     | ...
 00 01 02 03 04 05 06 07 08 09 0A 0B 0C 0D 0E 0F
 FF FF FF FF  H  o  l  a 12 34 56 78

Con lo que al imprimir nombre, como hemos perdido el terminador de cadena (que estaba sobre b), lo que sucederá es que obtendremos un bonito churro de caracteres totalmente ilegible y sin sentido.

El programa solo dejará de escupir caracteres cuando suceda una de las siguientes condiciones:

  • se encuentre un \0 en la memoria... que vete tu a saber cuándo sucede eso
  • Intente acceder a una región de memoria que no pertenece al programa... el Sistema Operativo se enterará y matará el proceso para evitar que corrompa memoria de otras aplicaciones.

Así que ya ves, nada te impide escribir más valores de los que legalmente entran en un array... pero si lo haces atente a las consecuencias.