在.NET中強(qiáng)制浮點(diǎn)是確定性的嗎？我一直在閱讀很多關(guān)于.NET中浮點(diǎn)確定性的內(nèi)容，即確保具有相同輸入的相同代碼將在不同的機(jī)器上提供相同的結(jié)果。由于.NET缺少Java的fpstrict和MSVC的fp：strict等選項(xiàng)，因此似乎一致認(rèn)為使用純托管代碼無法繞過這個(gè)問題。C＃游戲AI Wars已經(jīng)決定使用定點(diǎn)數(shù)學(xué)，但這是一個(gè)麻煩的解決方案。主要問題似乎是CLR允許中間結(jié)果存在于FPU寄存器中，這些寄存器具有比類型的原始精度更高的精度，從而導(dǎo)致不可預(yù)測(cè)的更高精度結(jié)果。CLR工程師David Notario撰寫的MSDN文章解釋了以下內(nèi)容：請(qǐng)注意，對(duì)于當(dāng)前規(guī)范，它仍然是提供“可預(yù)測(cè)性”的語言選擇。在每次FP操作之后，該語言可以插入conv.r4或conv.r8指令以獲得“可預(yù)測(cè)的”行為。 顯然，這非常昂貴，不同的語言有不同的妥協(xié)。例如，C＃什么都不做，如果你想縮小范圍，你必須手動(dòng)插入（浮點(diǎn)）和（雙）強(qiáng)制轉(zhuǎn)換。這表明，只需為每個(gè)表達(dá)式和計(jì)算浮點(diǎn)數(shù)的子表達(dá)式插入顯式強(qiáng)制轉(zhuǎn)換，就可以實(shí)現(xiàn)浮點(diǎn)確定性。有人可能會(huì)在float周圍編寫一個(gè)包裝器類型來自動(dòng)執(zhí)行此任務(wù)。這將是一個(gè)簡單而理想的解決方案！然而，其他評(píng)論表明它并非如此簡單。Eric Lippert最近表示（強(qiáng)調(diào)我的）：在某些版本的運(yùn)行時(shí)中，顯式轉(zhuǎn)換為float會(huì)產(chǎn)生與不這樣做不同的結(jié)果。當(dāng)你明確地轉(zhuǎn)換為float時(shí)，C＃編譯器會(huì)給運(yùn)行時(shí)提供一個(gè)提示，說“如果碰巧使用這個(gè)優(yōu)化，就把這個(gè)東西從超高精度模式中取出”。這對(duì)運(yùn)行時(shí)的“提示”是什么？C＃規(guī)范是否規(guī)定顯式轉(zhuǎn)換為float會(huì)導(dǎo)致在IL中插入conv.r4？CLR規(guī)范是否規(guī)定conv.r4指令會(huì)使值縮小到其原始大??？只有當(dāng)這兩者都成立時(shí)，我們才能依靠顯式轉(zhuǎn)換來提供浮點(diǎn)“可預(yù)測(cè)性”，如David Notario所解釋的那樣。最后，即使我們確實(shí)能夠?qū)⑺兄虚g結(jié)果強(qiáng)制轉(zhuǎn)換為類型的原生大小，這是否足以保證跨機(jī)器的可重復(fù)性，還是有其他因素如FPU / SSE運(yùn)行時(shí)設(shè)置？