Skip to main content
se añadió 1 carácter en el cuerpo
Origen Enlace
abulafia
  • 58.7k
  • 3
  • 54
  • 89
int main()
{
   int arr[] = {40, 41, 42, 43};
   int*int ptr*ptr = &arr+1;
   int*ptr2int *ptr2 = arr + 1;

   printf("%p %p\n", &arr, arr);
   printf("%p %p\n", ptr, ptr2);

}
int main()
{
   int arr[] = {40, 41, 42, 43};
   int* ptr = &arr+1;
   int*ptr2 = arr + 1;

   printf("%p %p\n", &arr, arr);
   printf("%p %p\n", ptr, ptr2);

}
int main()
{
   int arr[] = {40, 41, 42, 43};
   int *ptr = &arr+1;
   int *ptr2 = arr + 1;

   printf("%p %p\n", &arr, arr);
   printf("%p %p\n", ptr, ptr2);

}
Origen Enlace
abulafia
  • 58.7k
  • 3
  • 54
  • 89

¿Cual es la diferencia entre &arr+1 y arr+1?

El problema es que, aunque tanto arr como &arr se refieren a la misma dirección, sin embargo no son del mismo tipo.

  • arr es de tipo "dirección de int", pues equivale a poner &arr[0] y en arr[0] hay un entero, por lo que arr es una dirección de un entero.

  • En cambio &arr es de tipo "dirección de array de 4 int", pues efectivamente lo que hay en la dirección de arr es un array de 4 enteros.

La diferencia en el tipo afecta a la aritmética de punteros que es en cuánto se incrementa realmente cuando se le suma 1.

Si tienes un puntero a un tipo cualquiera, y sumas 1 al puntero, en realidad se sumará sizeof(tipo), para así apuntar al siguiente elemento de ese mismo tipo. Por tanto:

  • arr+1, ya que como hemos visto arr apunta a un entero, sumará en realidad sizeof(int), que son habitualmente 4 bytes. Por tanto ptr2 en tu código apuntará a una posición que está 4 bytes después del comienzo del array. Así pues apuntará al siguiente entero.

  • &arr+1, ya que como hemos visto &arr apunta a un array de 4 enteros, sumará en realidad sizeof(arr), que en este caso es 4*sizeof(int), y serán por tanto 16 bytes (asumiendo que sizeof(int) es 4). Así pues quedaría apuntando a un hipotético array de cuatro enteros que iría después de arr, aunque no tienes tal cosa en el programa. El puntero ptr por tanto está mal asignado y de hecho no coinciden los tipos pues declaraste ptr como puntero a int, pero le asignas un puntero a array de 4 ints. Tendrás un warning en esa línea.

Todo lo anterior se demuestra con este programa:

int main()
{
   int arr[] = {40, 41, 42, 43};
   int* ptr = &arr+1;
   int*ptr2 = arr + 1;

   printf("%p %p\n", &arr, arr);
   printf("%p %p\n", ptr, ptr2);

}

La cadena de formato %p suele usarse para volcar valores de punteros. En realidad simplemente vuelcan en hexadecimal la dirección en cuestión. En el primer printf() volcamos la dirección de arr y la de &arr, para comprobar que ambas son iguales. En el segundo printf() volcamos los valores de los punteros para comprobar que el primero se ha incrementado en 16 y el segundo en 4, con respecto a la dirección del array.

La ejecución produce:

0x7ffeeb0ad900 0x7ffeeb0ad900
0x7ffeeb0ad910 0x7ffeeb0ad904

que coincide con lo esperado (recuerda que 10 hexadecimal es 16)

¿Por que en *(ptr-1) dio como resultado 43?

Porque debido a que has declarado ptr como de tipo puntero a int, la artimética de punteros ptr-1 le restará en realidad sizeof(int), o sea 4 bytes. Recordemos que según se explicó antes ptr apuntaba 16 bytes más allá del comienzo de arr, es decir, a la primera posición "fuera" de ese array. Al restarle 1 al puntero (4 bytes a la dirección) queda apuntando al último elemento de arr.