PHP 浮點數精度陷阱與 BCMath 高精度運算完整指南

PHP 浮點數精度陷阱與 BCMath 高精度運算完整指南

PHP 浮點數遵循 IEEE 754 標準，二進制無法精確表示許多十進制小數（如 0.1、0.7），導致經典的 0.1 + 0.7 != 0.8 問題。本文深度解析精度丟失根因，並系統講解 BCMath 擴展提供的高精度運算函數族，附帶金融級計算最佳實踐。

經典陷阱複現

<?php
$a = 0.1;
$b = 0.7;
var_dump(($a + $b) == 0.8); // bool(false) ！
// 實際內部值：0.7999999999999999...
?>

根因：二進制無限循環小數

• 十進制 0.1 = 二進制 0.0001100110011... (無限循環)
• 浮點數以有限位數（雙精度 52 位尾數）近似存儲，必然丟失精度。
• 運算過程誤差累積，比較時直接 == 幾必失敗。

官方警告

永遠不要相信浮點數結果精確到最後一位，也永遠不要直接比較兩個浮點數是否相等。若需高精度，請使用 BCMath 或 GMP 擴展。

BCMath 解決方案

BCMath (Binary Calculator) 以字符串形式表示任意精度數字，所有運算精確無誤差。

核心函數速查

修正經典案例

<?php
$a = '0.1'; $b = '0.7'; // 必須用字符串
var_dump(bcadd($a, $b, 2) == '0.8'); // bool(true) ✅

// 金融計算範例：價格 * 數量 + 稅
$price = '19.99';
$qty = '3';
$tax_rate = '0.06';

$subtotal = bcmul($price, $qty, 4);       // 59.97
$tax = bcmul($subtotal, $tax_rate, 4);    // 3.5982
$total = bcadd($subtotal, $tax, 2);       // 63.57 (保留2位小數)
echo "Total: $total";
?>

最佳實踐原則

1. 所有輸入輸出用字符串：避免 PHP 隱式轉換為 float。
2. 統一 scale 策略：業務層定義常量 PRICE_SCALE=4、DISPLAY_SCALE=2，內部高精度計算，展示時四捨五入。
3. 封裝工具類：隱藏 BCMath 細節，提供 Money::add()、Money::mul() 等語義化方法。
4. 資料庫存儲：MySQL 用 DECIMAL(19,4)，讀取後直接作為字符串參與 BCMath 運算。

對比：BCMath vs GMP

金融、電商、計費等對精度零容忍場景，BCMath 是標準選擇；密碼學、大整數運算則首選 GMP。