printf函數%f輸出int

在《程式員面試寶典》上看到printf的一道題，挺有意思，記錄一下。

float value = 1.0; printf("value_int = %d\n", value); printf("value_float = %f\n", value);

應該輸出什嗎？乍看這個題，很簡單，浮點數1.0在記憶體中的儲存形式是0x3f800000。float型在記憶體中佔4Byte, int型也佔4位元組，按說就直接輸出0x3f800000的十進位形式就可以唄。
誰知道一運行大跌眼鏡，列印資訊：
value_int = 0
value_float = 1.0
怎麼回事？
使用gcc -S的參數把.c程式變成.s的組合語言程式。我們可以看到：

flds    -8(%ebp) fstpl    4(%esp) movl    $.LC1, (%esp) call    printf

其中value的值被存在-8(%ebp)處，.LC1處儲存"value = %d\n"字串。
flds 指令意為把單精確度value的值放入FPU的st7寄存器(64bit)中,此時st7中的值為0x3f80000000000000
接著fstpl 指令把FPU的寄存器中的值以雙精確度的形式出棧，並儲存在4(%esp)處。即(%esp+4)中的值為0x00000000, (%esp+8)值為0x3f800000. 
調用printf時，由於指定列印方式是%d，故printf唯讀取(%esp+4)的四個位元組並把它們解釋為十進位整形--0，而不會顧及到(%esp+8)的正確值0x3f800000。
你可能還會納悶，float同樣在記憶體中只佔4個位元組，為什麼指定%f時不會出錯？答案就是如果你指定printf輸出參數為%f，那麼printf在記憶體中讀取8位元組，而不是僅僅是低地址的4 Byte. 寫一段程式測試一下便知：

int main() {     int    a=1, b=2, c=3;     printf("%f, %d\n", a,b,c);     return 0; }

輸出結果：
0.00000, 3
故可知，%f其實讀取的是8 byte, 只不過a, b在轉化成float型的時候，都因為值太小而被當作0.00000輸出。

轉自：http://blog.chinaunix.net/space.php?uid=22516719&do=blog&id=263225