眾所周知操灿,JavaScript 浮點數(shù)運算時經(jīng)常遇到會 0.000000001
和 0.999999999
這樣奇怪的結(jié)果搀庶,如 0.1+0.2=0.30000000000000004
拐纱、1-0.9=0.09999999999999998
,很多人知道這是浮點數(shù)誤差問題哥倔,但具體就說不清楚了秸架。本文幫你理清這背后的原理以及解決方案,還會向你解釋JS中的大數(shù)危機和四則運算中會遇到的坑咆蒿。
浮點數(shù)的存儲
首先要搞清楚 JavaScript 如何存儲小數(shù)东抹。和其它語言如 Java 和 Python 不同,JavaScript 中所有數(shù)字包括整數(shù)和小數(shù)都只有一種類型 — Number
沃测。它的實現(xiàn)遵循 IEEE 754 標準缭黔,使用 64 位固定長度來表示,也就是標準的 double 雙精度浮點數(shù)(相關(guān)的還有float 32位單精度)蒂破。計算機組成原理中有過詳細介紹馏谨,如果你不記得也沒關(guān)系。
這樣的存儲結(jié)構(gòu)優(yōu)點是可以歸一化處理整數(shù)和小數(shù)附迷,節(jié)省存儲空間惧互。
64位比特又可分為三個部分:
- 符號位S:第 1 位是正負數(shù)符號位(sign),0代表正數(shù)喇伯,1代表負數(shù)
- 指數(shù)位E:中間的 11 位存儲指數(shù)(exponent)喊儡,用來表示次方數(shù)
- 尾數(shù)位M:最后的 52 位是尾數(shù)(mantissa),超出的部分自動進一舍零
實際數(shù)字就可以用以下公式來計算:
注意以上的公式遵循科學計數(shù)法的規(guī)范稻据,在十進制是為0<M<10艾猜,到二進行就是0<M<2。也就是說整數(shù)部分只能是1,所以可以被舍去匆赃,只保留后面的小數(shù)部分淤毛。如 4.5 轉(zhuǎn)換成二進制就是 100.1,科學計數(shù)法表示是 1.001*2^2炸庞,舍去1后 M = 001
钱床。E是一個無符號整數(shù),因為長度是11位埠居,取值范圍是 0~2047查牌。但是科學計數(shù)法中的指數(shù)是可以為負數(shù)的,所以再減去一個中間數(shù) 1023滥壕,[0,1022]表示為負纸颜,[1024,2047] 表示為正。如4.5 的指數(shù)E = 1025
绎橘,尾數(shù)M為 001胁孙。
最終的公式變成:
(圖片由此生成 www.binaryconvert.com/convert_dou…)
下面再以 0.1
例解釋浮點誤差的原因称鳞, 0.1
轉(zhuǎn)成二進制表示為 0.0001100110011001100
(1100循環(huán))涮较,1.100110011001100x2^-4
,所以 E=-4+1023=1019
冈止;M 舍去首位的1狂票,得到 100110011...
。最終就是:
轉(zhuǎn)化成十進制后為
0.100000000000000005551115123126
熙暴,因此就出現(xiàn)了浮點誤差闺属。
為什么 0.1+0.2=0.30000000000000004
?
計算步驟為:
// 0.1 和 0.2 都轉(zhuǎn)化成二進制后再進行運算
0.00011001100110011001100110011001100110011001100110011010 +
0.0011001100110011001100110011001100110011001100110011010 =
0.0100110011001100110011001100110011001100110011001100111
// 轉(zhuǎn)成十進制正好是 0.30000000000000004
為什么 x=0.1
能得到 0.1
周霉?
恭喜你到了看山不是山的境界掂器。因為 mantissa 固定長度是 52 位,再加上省略的一位俱箱,最多可以表示的數(shù)是 2^53=9007199254740992
国瓮,對應(yīng)科學計數(shù)尾數(shù)是 9.007199254740992
,這也是 JS 最多能表示的精度狞谱。它的長度是 16巍膘,所以可以使用 toPrecision(16)
來做精度運算,超過的精度會自動做湊整處理芋簿。于是就有:
0.10000000000000000555.toPrecision(16)
// 返回 0.1000000000000000,去掉末尾的零后正好為 0.1
// 但你看到的 `0.1` 實際上并不是 `0.1`璃饱。不信你可用更高的精度試試:
0.1.toPrecision(21) = 0.100000000000000005551
大數(shù)危機
可能你已經(jīng)隱約感覺到了与斤,如果整數(shù)大于 9007199254740992 會出現(xiàn)什么情況呢?
由于 E 最大值是 1023,所以最大可以表示的整數(shù)是 2^1024 - 1
撩穿,這就是能表示的最大整數(shù)磷支。但你并不能這樣計算這個數(shù)字,因為從 2^1024
開始就變成了 Infinity
> Math.pow(2, 1023)
8.98846567431158e+307
> Math.pow(2, 1024)
Infinity
那么對于 (2^53, 2^63)
之間的數(shù)會出現(xiàn)什么情況呢食寡?
-
(2^53, 2^54)
之間的數(shù)會兩個選一個雾狈,只能精確表示偶數(shù) -
(2^54, 2^55)
之間的數(shù)會四個選一個,只能精確表示4個倍數(shù) - ... 依次跳過更多2的倍數(shù)
下面這張圖能很好的表示 JavaScript 中浮點數(shù)和實數(shù)(Real Number)之間的對應(yīng)關(guān)系抵皱。我們常用的 (-2^53, 2^53)
只是最中間非常小的一部分善榛,越往兩邊越稀疏越不精確。
在淘寶早期的訂單系統(tǒng)中把訂單號當作數(shù)字處理呻畸,后來隨意訂單號暴增移盆,已經(jīng)超過了
9007199254740992
,最終的解法是把訂單號改成字符串處理伤为。
要想解決大數(shù)的問題你可以引用第三方庫 bignumber.js咒循,原理是把所有數(shù)字當作字符串,重新實現(xiàn)了計算邏輯绞愚,缺點是性能比原生的差很多叙甸。所以原生支持大數(shù)就很有必要了,現(xiàn)在 TC39 已經(jīng)有一個 Stage 3 的提案 proposal bigint位衩,大數(shù)問題有問徹底解決裆蒸。
toPrecision
vs toFixed
數(shù)據(jù)處理時,這兩個函數(shù)很容易混淆蚂四。它們的共同點是把數(shù)字轉(zhuǎn)成字符串供展示使用光戈。注意在計算的中間過程不要使用,只用于最終結(jié)果遂赠。
不同點就需要注意一下:
-
toPrecision
是處理精度久妆,精度是從左至右第一個不為0的數(shù)開始數(shù)起。 -
toFixed
是小數(shù)點后指定位數(shù)取整跷睦,從小數(shù)點開始數(shù)起筷弦。
兩者都能對多余數(shù)字做湊整處理,也有些人用 toFixed
來做四舍五入抑诸,但一定要知道它是有 Bug 的烂琴。
如:1.005.toFixed(2)
返回的是 1.00
而不是 1.01
。
原因: 1.005
實際對應(yīng)的數(shù)字是 1.00499999999999989
蜕乡,在四舍五入時全部被舍去奸绷!
解法:使用專業(yè)的四舍五入函數(shù) Math.round()
來處理。但 Math.round(1.005 * 100) / 100
還是不行层玲,因為 1.005 * 100 = 100.49999999999999
号醉。還需要把乘法和除法精度誤差都解決后再使用 Math.round
反症。可以使用后面介紹的 number-precision#round
方法來解決畔派。
解決方案
回到最關(guān)心的問題:如何解決浮點誤差铅碍。首先,理論上用有限的空間來存儲無限的小數(shù)是不可能保證精確的线椰,但我們可以處理一下得到我們期望的結(jié)果胞谈。
數(shù)據(jù)展示類
當你拿到 1.4000000000000001
這樣的數(shù)據(jù)要展示時,建議使用 toPrecision
湊整并 parseFloat
轉(zhuǎn)成數(shù)字后再顯示憨愉,如下:
parseFloat(1.4000000000000001.toPrecision(12)) === 1.4 // True
封裝成方法就是:
function strip(num, precision = 12) {
return +parseFloat(num.toPrecision(precision));
}
為什么選擇 12
做為默認精度烦绳?這是一個經(jīng)驗的選擇,一般選12就能解決掉大部分0001和0009問題莱衩,而且大部分情況下也夠用了爵嗅,如果你需要更精確可以調(diào)高。
數(shù)據(jù)運算類
對于運算類操作笨蚁,如 +-*/
睹晒,就不能使用 toPrecision
了。正確的做法是把小數(shù)轉(zhuǎn)成整數(shù)后再運算括细。以加法為例:
/**
* 精確加法
*/
function add(num1, num2) {
const num1Digits = (num1.toString().split('.')[1] || '').length;
const num2Digits = (num2.toString().split('.')[1] || '').length;
const baseNum = Math.pow(10, Math.max(num1Digits, num2Digits));
return (num1 * baseNum + num2 * baseNum) / baseNum;
}
以上方法能適用于大部分場景伪很。遇到科學計數(shù)法如 2.3e+1
(當數(shù)字精度大于21時,數(shù)字會強制轉(zhuǎn)為科學計數(shù)法形式顯示)時還需要特別處理一下奋单。
能讀到這里锉试,說明你非常有耐心,那我就放個福利吧览濒。遇到浮點數(shù)誤差問題時可以直接使用