Java 數值類型擴寬轉換的精度陷阱：int→float 與 long→float/double 深度解析

核心問題：擴寬轉換真的不會丟失精度嗎？

Java 基本類型轉換規則：byte → short → int → long → float → double、char → int 為擴寬轉換（自動），逆向為窄化轉換（需強制）。教科書常說擴寬不丟失精度，但 int→float、long→float、long→double 是例外。

實戰驗證：驚人的 0 輸出

int i = 2000000000;
int num = 0;
for (float f = i; f < i + 50; f++) {
    num++;
}
System.out.println(num); // 輸出 0，而非預期的 50

為什麼迴圈一次都沒跑？進一步測試：

int i = 2000000000;
float f1 = i;
float f2 = i + 50;
System.out.println(f1 == f2); // 輸出 true！

根本原因：IEEE 754 浮點數精度限制

• int 佔 32 位，符號位 1 位，實際精度 31 位
• float 佔 32 位：1 位符號、8 位指數、23 位尾數（含隱含位共 24 位精度）
• 2000000000 需 31 位精確表示，轉 float 時只保留高 24 位，低 7 位捨棄
• 2000000000 與 2000000050 低 7 位不同，但高 24 位相同 → 轉換後數值相等

同類風險場景

複合賦值運算符的隱式轉型陷阱

i += 1 ≠ i = i + 1

byte b = 5;
b += 1;      // 編譯通過：隱式將結果轉為 byte
b = b + 1;   // 編譯失敗：int 無法自動賦值給 byte

複合賦值（+=、-=、*= 等）會自動將運算結果強制轉型為左操作數類型，這在不知不覺中發生。

溢位實例

byte b = 120;
b += 20;  // 140 超出 byte 範圍（-128~127）
System.out.println(b); // 輸出 -116（140 的補碼表示）

最佳實踐建議

1. 大整數運算避免用 float/double：需精確計算請用 int/long 或 BigDecimal
2. 比較浮點數用誤差範圍：Math.abs(a - b) < 1e-5
3. 複合賦值小心溢位：明確類型轉換意圖，必要時拆分為顯式轉型
4. 代碼審查關注點：留意 long→float/double、int→float 隱式轉換場景

結語

Java 類型系統設計精妙，但「擴寬不丟失精度」並非絕對真理。理解 IEEE 754 存儲規則、掌握隱式轉型行為，是寫出健壯數值計算代碼的關鍵。下次當你看到 float f = largeInt; 時，請三思：這真的是你想要的精度嗎？