在使用之前,您需要聲明fark
。
如果表示所調用的函數的表達有一個類型不包括一個原型,整數提升上每個參數進行和參數具有類型:如在章節6.5.2.2,第6段指定float
被提升爲double
。這些被稱爲默認參數促銷。
(大膽強調加我)。
請注意,定義fark
的類型與隱式假定類型不兼容會違反約束條件,並且如果調用和定義位於同一個翻譯單元中,則需要編譯器發出診斷消息。 gcc只會發出警告,但是clang拒絕代碼[error: conflicting types for 'fark'
]。如果調用和定義處於不同的翻譯單元中,編譯器當然不能診斷錯誤,但通過不兼容類型的表達式調用函數在任何情況下都會調用未定義的行爲。
當值0.7f
轉換爲double
(我使用的IEEE754 32位表示假定float
,和double
的IEEE754 64位的一個),將得到的
0.699999988079071
一個值,其位-pattern(以十六進制表示)是
0x3FE6666660000000
(偏置指數是1022,對應於-1
有效指數,有效數字是1.6666660000000
)。
通過 - 在堆棧或寄存器 - 到fark
。
當fark
從該表示中讀取32位 - 因爲它根據其定義預計float
- 取決於double
是如何通過的,它可以讀取高階32位或低階32。
它沒有在這種情況下讀出的低階32位,導致了float
值與位模式
0x60000000
其具有0xC0 = 192
一個偏置指數,對應於偏指數192 - 127 = 65
和有效數1.000000
。換言之,即是
2^65 = 36893488147419103232
的float
表示其上打印的值。
這不是C問題。它在我的筆記本電腦上工作正常。也許'fark()'的聲明有點不同麼? – Elazar
謝謝我會研究它 – Jackie
我錯了:在我的機器中發現它也不起作用 - 我修正了定義的順序。 – Elazar