He verificado que a mi me sale lo mismo. Voy a intentar explicar lo que yo creo que debería salir, y una posible conjetura de por qué no sale eso.
float x=1, *y, z=3;
y= &x;
x=z+5;
y++;
La variable x
está clara. Toma el valor 1 inicialmente, pero luego le cambias el valor cuando haces x=z+5
, por lo que termina con el valor 8.0. No hay sorpresas en esa.
La variable y
es de tipo puntero. Al hacerle y=&x
le estás asignando la dirección de memoria de la variable x
. Las direcciones de memoria son en el fondo números, de 32 bits o de 64 bits, según la arquitectura de la CPU y del operativo.
Digamos que son de 64 bits. Entonces la variable x
podría estar almacenada por ejemplo en la dirección de memoria 00007ffffa19b704
, y al hacer y=&x
, estás asignándole a y
el valor 00007ffffa19b704
. Estos números no son inventados. Son los que me han salido al ejecutarlo en Linux.
Cuando imprimes y
en el segundo printf()
el compilador debería darte un warning ya que estás especificando %f
como cadena de formato, por lo que espera una variable de tipo float, pero encuentra en cambio y
, que es de tipo float*
. Aún así "traga". Cuando llega el momento de ejecutar esa llamada, printf()
recibirá el número 00007ffffa19b704
en binario, e intentará decodificarlo según el estándar IEEE754 de punto flotante de simple precisión.
Para empezar tenemos un problema, porque según ese estándar lo que espera son 32 bits, y está recibiendo 64. Posiblemente interpretará sólo la parte baja de ese dato, es decir fa19b704
. Pero es que decodificando ese número (por ejemplo usando esto sale que el número representado es -1.9953335E35
y no 8.00000. Primer WTF?
A continuación imprimes z
. Aquí tampoco hay sorpresas, puesto que z
es un float
al que asignaste al principio el valor 3.0
, y eso es justamente lo que sale.
Finalmente imprimes &y
. De nuevo estamos haciendo algo mal, ya que &y
no es un float
sino la dirección de un puntero a float, es decir, un float**
. Pero poco importa que sea un float*
o un float**
. Lo importante es que es (otra vez) una dirección de memoria. En este caso una dirección diferente, ya que es la dirección donde está guardada la variable y
. Digamos que es 00007ffffa19b708
.
Cabe decir lo mismo de antes. Al intentar imprimir ese dato como si fuera float, posiblemente se quede sólo con su parte baja (fa19b708
) y lo decodifique como un flotante IEEE754. Pero debería dar -1.9953343E35
y no 3.0
. Segundo WTF?
Mi conjetura
Opino que, puesto que lo que le estamos dando a printf()
en el segundo y cuarto caso son datos "rotos" (direcciones de memoria en lugar de flotantes), si esas direcciones dan como resultado al decodificarse un error de punto flotante (un número no válido, fuera de rango, infinito, o NaN), posiblemente printf()
"rompa" e imprima cualquier cosa. (Ya no opino esto, ver actualización)
Mi hipótesis es que devuelve lo que tenía en una variable local sobre la que va construyendo el string resultante. Y que esa variable es estática y por tanto contiene el resultado de la ejecución anterior. Y que por tanto imprime lo mismo que había impreso el printf()
anterior.
Mi prueba de concepto
Para verificar si mi conjetura es correcta, ejecuté el siguiente programa:
#include<stdio.h>
#include<math.h>
main(){
float x=1, *y;
y= &x;
printf("%f\n",M_PI);
printf("%f\n",y);
}
Resultado:
3.141593
3.141593
Lo que corrobora mi hipótesis. Ahora sólo queda por dilucidar por qué la dirección de x
no es un número IEEE754 válido :-)
Actualización
Aunque la "prueba de concepto" sigue apuntando en la dirección de que printf()
está mostrando el buffer de una conversión previa, las razones de que haga esto están menos claras. Inicialmente pensé que podía deberse a un bug en la implementación de printf_fp
(la función de la libc que se ocupa de dar formato a números de punto flotante), que se comportaba mal ante ciertos números. Pero no es esta la causa.
El siguiente programa copia esos mismos números que causaban problemas (es decir, una copia del valor del puntero) a otra variable, esta vez de tipo double
, y printf()
la muestra sin problemas.
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
main(){
double x=8.0, *y;
double zz;
y= &x;
printf("%g\n", 3.14);
printf("%g\n", y);
memcpy(&zz, &y, sizeof(y));
printf("%g\n", zz);
}
Salida:
3.14
3.14
6.95285e-310
Por tanto la causa del misterio no está en los bytes que printf()
recibe en la variable, sino en el tipo de esta variable. De algún modo el que sea un puntero en lugar de un float
marca una diferencia en lo que printf_fp()
recibe. A partir de ahi tenemos comportamiento indefinido (aunque muy consistente).
y
. En todo caso, el hecho de que al imprimiry
salga8.0000
es una casualidad asombrosa... (y que&y
salga3.00000
). Intentaré investigar por qué ocurre eso, si es que esa era tu pregunta...printf("%f\n",y);
es imposible que muestre8
, porquey
es un puntero ¿querías decirprintf("%f\n",*y);
?