C zmiennoprzecinkowej zmienia wartość% d za każdym razem wykonywany

Question

Próbowałem wydrukować przy użyciu pacy %d (wiem, że to nie powinno być zrobione. Ale za każdym razem ponownie uruchomić wykonywalny daje się inną wartość)
Moje pytanie to: Dlaczego drukowana wartość zmienia się za każdym razem? mój system: Ubuntu 14.04 (64 bit) Compiler: 4.8.4 Oto kod:

#include<stdio.h> 

int main(){ 
    float b = 12.3456; 

    printf("%d\n",b); 

} 

Przykładowe wyjście:

4bh1@mybox:~/C-fi$ ./test 
-1629995944 
4bh1@mybox:~/C-fi$ ./test 
1147348376 
4bh1@mybox:~/C-fi$ ./test 
-1746005432 
4bh1@mybox:~/C-fi$ ./test 
510102216 
4bh1@mybox:~/C-fi$ 

Answer 1

Prawdopodobnie wartość zmiennoprzecinkowa jest przekazywana poprzez rejestr FPU, ale printf() próbuje odczytać liczbę całkowitą z innego miejsca, gdzie spodziewa się zobaczyć liczbę całkowitą (stos lub inny rejestr). Treść tego miejsca jest nieokreślona. Ściśle mówiąc (jak wspomniał @dbush) twój kod powoduje niezdefiniowane zachowanie.

Answer 2

Używanie niewłaściwego specyfikatora formatu dla printf jest klasycznym przykładem undefined behavior. Oznacza to, że zachowanie jest nieprzewidywalne i nie można na nim polegać, aby być konsekwentnym od jednego uruchomienia do drugiego. Może się zawiesić, może wydrukować losowe wartości lub może działać.

To, co się dzieje, to szczegół implementacji danego kompilatora i architektury. Ale chyba, że ​​faktycznie piszesz kompilator, nie ma większego pożytku z wkopywania się w niego.

Jeśli znasz asembler, możesz spojrzeć na skompilowany kod, aby zobaczyć, jakie instrukcje wygenerował. Należy jednak pamiętać, że różne kompilatory (nawet ten sam kompilator z różnymi ustawieniami optymalizacji) najprawdopodobniej wygenerują inny zestaw.

Answer 3

Jak wskazano w komentarzach, brzmi to jak niezdefiniowane zachowanie , które wyjaśnia (no, w pewnym sensie), co się dzieje.

W przypadku, gdy chcesz przeczytać wewnętrznej reprezentacji pływaka, lub chcesz zrobić kilka hacków niskopoziomowe od liczby, nie ma prostych sposobów, aby to zrobić, na przykład:

union { 
    float f; 
    int i; 
} n; 

n.f = 12.3456; 
printf("%d\n", n.i); // should be the same number each time 

Należy pamiętać, że działa to tylko wtedy, gdy float imają ten sam rozmiar w systemie, ale to powinno być w przypadku większości ludzi. Jeśli chcesz się upewnić, możesz dodać assert(sizeof(float) == sizeof(int)).