Java與C浮點：「x * x」與「pow（x，2）」不同？

Question

爲什麼這是真的？ Java似乎產生了一個小的差異，當乘以兩個浮點數與C相比，甚至是Java Math.pow方法的結果。

的Java：

float a = 0.88276923; 

double b = a * a; // b becomes 0.779281497001648 <---- what??? 
b = Math.pow(a,2); // b becomes 0.7792815081874238 

C：

float a = 0.88276923; 

double b = a * a; // b becomes 0.7792815081874238 
pow(a,2);   // b becomes 0.7792815081874238 

更新：每埃德S.的評論，我還發現了C的行爲取決於編譯器的變化。使用gcc它看起來與Java行爲相匹配。使用visual studio（取決於你的目標平臺），它可以產生上面看到的結果或Java中看到的結果。啊。

Answer 1

由於PST和trutheality已經明智地指出，C是促進float到double乘法之前。實際上，當它們被推入堆棧時，它們被提升爲80位的擴展精度值。下面是彙編程序的輸出（VS2005 86 C89）

double b = a * a; 
00411397 fld   dword ptr [a] 
0041139A fmul  dword ptr [a] 
0041139D fstp  qword ptr [b] 

的FLD指令

的FLD指令加載一個32位，64位，或80位浮點值壓入堆棧。 在將值壓入浮點堆棧之前，該指令將32位和64位操作數轉換爲80位擴展精度值。

---

有趣的是，如果我建立目標64時，movss指令使用，你會得到的0.779281497001648值作爲結果，即你看到在你的java例子。試一試。

Answer 2

爪哇以什麼

double b = a * a; 

是乘法a * a作爲（32位）float第一個，並且將結果分配給b當轉換爲一個（64位）double。

b = Math.pow(a,2); 

將轉換a到一個（64位）double第一（由於用於Math.pow的參數是double, double），然後正方形它。

更令人不解的（對我來說）就是Ç似乎在a的轉換爲double先在

double b = a * a; 

的是，在標準？

編輯：我依稀記得關於C不需要特定的實現（在多少位被用於計算）的數字是......這是怎麼回事呢？你的float是64位嗎？ （在Java中，float總是32位，並且double總是64位）。

編輯： Ed S.的答案和標記評論說，不同的編譯器給出不同的結果表明C結果是實現和架構特定的。