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