※ 引述《ac01965159 (leeleo)》之銘言： : 標題: 關於c++的輸出問題 : 時間: Thu Jun 27 10:49:32 2019 : : https://i.imgur.com/Qmnd7YW.jpg : 上圖是我的測試，上網查過資料後，我的認知是編譯器在即將把float格式輸出前，會先 : 轉成double的格式，而%d會取低32bit的值轉10進制再拿去輸出，我把我的輸出值0.5手 : 動轉成double後，發現取低32bit的輸出應是0才對，但是結果如圖卻不是，所以想請教 : 各位是我哪裡理解錯了嗎? : 謝謝。 : : : -- :

※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 124.9.128.30 (臺灣) : ※ 文章網址: https://webptt.com/m.aspx?n=bbs/C_and_CPP/M.1561603774.A.126.html : 推 LPH66: 我猜它拿到垃圾值了 06/27 11:25 : → LPH66: 我是指 printf; 不過為什麼會有垃圾值一下子想不到可能原因 06/27 11:26 : → djshen: %d不是int? 06/27 11:59 : → james732: 我在MSVC是得到0，但gcc每次結果都不同 XD 06/27 12:12 : → james732: https://i.imgur.com/3FwFQ4A.png 06/27 12:14 : → james732: https://i.imgur.com/wPx5YdM.png 06/27 12:14 : 推 Fenikso: 因為x64的parameter是先放進register不是stack 06/27 12:36 : 推 LPH66: vararg 也會進 reg 嗎? 06/27 12:37 : 推 LPH66: 查了一下資料, 看起來原因應該是浮點數是放在浮點數暫存器 06/27 12:46 : → LPH66: 但 %d 要抓整數所以 printf 嘗試從整數暫存器找資料 06/27 12:46 : → LPH66: 就找到垃圾值了 06/27 12:47 : → LPH66: 然後就找到的東西看起來 vararg 的呼叫端處理沒什麼不同 06/27 12:47 : → LPH66: 所以該 (照 ABI) 進暫存器的就會進去的樣子 06/27 12:48 : → LPH66: 至於 MSVC 都會是 0 就不確定是不是編譯選項的問題了... 06/27 12:49 MSVC的情況 https://godbolt.org/z/CkJrN7 從asm的結果來看 float 0x3FFFFFFF 會先轉成 double 0x3FFFFFFF E0000000 到asm line 10的時候 stack應該會長這樣 __________ addr+0 push %ebp (line 31) __________ addr-4 push %ecx (line 33) __________ addr-8 a.y converted to double addr-12 (line 37) __________ addr-16 push 1 (line 38) __________ addr-20 push %ebp (line 5) __________ addr-24 <- %ebp addr-12 這裡大概是因為實際存到 stack 的是 一個 double 和一個 int 造成參數開始的位置算錯 __________ addr-28 __________ addr-32 <- %esp 接著 line 14 從 -4(addr-12) 讀一個 32-bit integer little endian 所以會讀到 0xE0000000 float 0.5 會轉成 double 0x3FE00000 00000000 剛好最後會讀到 0 --

※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 36.226.15.37 (臺灣) ※ 文章網址: https://webptt.com/m.aspx?n=bbs/C_and_CPP/M.1561736243.A.C6D.html