Java Math 類新功能深度解析（二）：浮點數精密運算與特殊值處理

浮點數與真實數的鴻溝

Java float（32 位）與 double（64 位）為定長表示，無法精確表達所有真實數。極大值（double 最大約 1.8e308）、極小值、精度遺失（如 0.1 累加 10 次不等於 1.0）皆為常見陷阱。IEEE 754 引入 Infinity、NaN、正負零等特殊值，打破傳統數學律（如排中律在 NaN 失效）。

二進制表示解析

• float：1 符號位 + 8 指數位（偏移 126，實際 -125~+127）+ 23 尾數位（隱含首位 1，實際 24 位精度）。
• double：1 + 11 指數（偏移 1023）+ 52 尾數（隱含首位 1，53 位精度）。
• 指數全 1 表特殊值（Inf/NaN）；指數全 0 表非正規數（次正規數），指數固定 -125/-1022。

核心新方法詳解

1. getExponent()：取得無偏移指數

Math.getExponent(2.0)  // 1
Math.getExponent(0.5)  // -1

• 比 Math.log(x)/Math.log(2) 更快、更精確（避免捨入誤差）。
• 參數為 NaN/Inf 回傳 128/1024；為 0 回傳 -127/-1023；負數與其絕對值同指數。

2. nextUp() / nextAfter()：鄰近浮點數

• nextUp(x) 回傳比 x 大的最小浮點數。
• nextAfter(start, direction) 依 direction 大小決定方向。
• 應用：圖形繪製、數值採樣時避免重複計算相同點。

3. ulp(x)：最小精度單位

• 回傳 x 與其鄰近浮點數的距離（Unit in Last Place）。
• ULP 隨數值增大而增大（精度遞減）。float 約 1e7 時 ULP=1.0，超過則多個整數映射同一浮點數。
• 測試最佳實務：以 ULP 為容差單位，如 assertEquals(expected, actual, 5*Math.ulp(expected))，自動適應數量級。

4. scalb(x, n)：高效 2 的冪次縮放

Math.scalb(3, 4)  // 3 * 2^4 = 48.0

• 等價 x * Math.pow(2, n) 但極快（避開 Math.pow 通用算法開銷）。
• 可用於實作 getMantissa()：x / Math.scalb(1, getExponent(x))。

5. copySign(magnitude, sign)：符號複製（含正負零）

• 位元級操作，正確處理 -0.0：copySign(10, -0.0) → -10，copySign(10, 0.0) → 10。
• NaN 視為正號。StrictMath.copySign 保證行為，Math.copySign 實作相同。

6. expm1() / log1p()：高精度指數對數變體

• expm1(x) = e^x - 1：x 接近 0 時極準（避免減法抵銷誤差）。
• log1p(x) = ln(1+x)：同理適用 x 接近 0。
• 應用：金融計算（如日利率 0.03% 的複利天數）、雙曲函數優化實作。

結語

浮點數非真實數，精度有限且易生捨入誤差。java.lang.Math 新增方法針對 IEEE 754 特性設計，提供高效、高精度的底層運算構件。科學、工程、金融應用務必善用這些專家級算法，勿自行造輪子。