js 中的 number 為何很怪異

聲明：需要讀者對(duì)二進(jìn)制有一定的了解

對(duì)于 JavaScript 開(kāi)發(fā)者來(lái)說(shuō)，或多或少都遇到過(guò) js 在處理數(shù)字上的奇怪現(xiàn)象，比如：

> 0.1 + 0.2 0.30000000000000004> 0.1 + 1 - 1 0.10000000000000009> 0.1 * 0.2 0.020000000000000004> Math.pow(2, 53) 9007199254740992> Math.pow(2, 53) + 1 9007199254740992> Math.pow(2, 53) + 3 9007199254740996

如果想要弄明白為什么會(huì)出現(xiàn)這些奇怪現(xiàn)象，首先要弄清楚 JavaScript 是怎樣編碼數(shù)字的。

1. JavaScript 是怎樣編碼數(shù)字的

JavaScript 中的數(shù)字，不管是整數(shù)、小數(shù)、分?jǐn)?shù)，還是正數(shù)、負(fù)數(shù)，全部是浮點(diǎn)數(shù)，都是用 4 個(gè)字節(jié)（64 位）來(lái)存儲(chǔ)的。

一個(gè)數(shù)字（如 12、0.12、-999）在內(nèi)存中占用 4 個(gè)字節(jié)（64 位），存儲(chǔ)方式如下：

0 - 51：分?jǐn)?shù)部分（52 位）

52 - 62：指數(shù)部分（11 位）

63：符號(hào)位（1 位：0 表示這個(gè)數(shù)是正數(shù)，1 表示這個(gè)數(shù)是負(fù)數(shù)）

符號(hào)位很好理解，用于指明是正數(shù)還是負(fù)數(shù)，且只有 1 位、兩種情況（0 表示正數(shù)，1 表示負(fù)數(shù)）。

其他兩部分是分?jǐn)?shù)部分和指數(shù)部分，用于計(jì)算一個(gè)數(shù)的絕對(duì)值。

1.1 絕對(duì)值計(jì)算公式

1: abs = 1.f * 2 ^ (e - 1023) 0 < e < 2047 2: abs = 0.f * 2 ^ (e - 1022) e = 0, f > 0 3: abs = 0 e = 0, f = 0 4: abs = NaN e = 2047, f > 0 5: abs = ∞ (infinity, 無(wú)窮大) e = 2047, f = 0

說(shuō)明：

• 這個(gè)公式是二進(jìn)制的算法公式，結(jié)果用 abs 表示，分?jǐn)?shù)部分用 f 表示，指數(shù)部分用 e 表示
• 2 ^ (e - 1023) 表示 2 的 e - 1023 次方
• 因?yàn)榉謹(jǐn)?shù)部分占 52 位，所以 f 的取值范圍為 00...00（中間省略 48 個(gè) 0） 到 11...11（中間省略 48 個(gè) 1）
• 因?yàn)橹笖?shù)部分占 11 位，所以 e 的取值范圍為 0（00000000000） 到 2047（11111111111）

從上面的公式可以看出：

• 1 的存儲(chǔ)方式：1.00 * 2 ^ (1023 - 1023)（f = 0000..., e = 1023，... 表示 48 個(gè) 0）
• 2 的存儲(chǔ)方式：1.00 * 2 ^ (1024 - 1023)（f = 0000..., e = 1024，... 表示 48 個(gè) 0）
• 9 的存儲(chǔ)方式：1.01 * 2 ^ (1025 - 1023)（f = 0100..., e = 1025，... 表示 48 個(gè) 0）
• 0.5 的存儲(chǔ)方式：1.00 * 2 ^ (1022 - 1023)（f = 0000..., e = 1022，... 表示 48 個(gè) 0）
• 0.625 的存儲(chǔ)方式：1.01 * 2 ^ (1021 - 1023)（f = 0100..., e = 1021，... 表示 48 個(gè) 0）

1.2 絕對(duì)值的取值范圍與邊界

從上面的公式可以看出：

1.2.1 0 < e < 2047

當(dāng) 0 < e < 2047 時(shí)，取值范圍為：f = 0, e = 1 到 f = 11...11, e = 2046（中間省略 48 個(gè) 1）

即：Math.pow(2, -1022) 到 ~= Math.pow(2, 1024) - 1（～= 表示約等于）

這當(dāng)中，~= Math.pow(2, 1024) - 1 就是 Number.MAX_VALUE 的值，js 所能表示的最大數(shù)值。

1.2.2 e = 0, f > 0

當(dāng) e = 0, f > 0 時(shí)，取值范圍為：f = 00...01, e = 0（中間省略 48 個(gè) 0） 到 f = 11...11, e = 0（中間省略 48 個(gè) 1）

即：Math.pow(2, -1074) 到 ~= Math.pow(2, -1022)（～= 表示約等于）

這當(dāng)中，Math.pow(2, -1074) 就是 Number.MIN_VALUE 的值，js 所能表示的最小數(shù)值（絕對(duì)值）。

1.2.3 e = 0, f = 0

這只表示一個(gè)值 0，但加上符號(hào)位，所以有 +0 與 -0。

但在運(yùn)算中：

&gt; +0 === -0 true

1.2.4 e = 2047, f > 0

這只表示一種值 NaN。

但在運(yùn)算中：

&gt; NaN == NaN false&gt; NaN === NaN false

1.2.5 e = 2047, f = 0

這只表示一個(gè)值 ∞ (infinity, 無(wú)窮大)。

在運(yùn)算中：

&gt; Infinity === Infinity true&gt; -Infinity === -Infinity true

1.3 絕對(duì)值的最大安全值

從上面可以看出，4 個(gè)字節(jié)能存儲(chǔ)的最大數(shù)值是 Number.MAX_VALUE 的值，也就是 ~= Math.pow(2, 1024) - 1。

但這個(gè)數(shù)值并不安全：從 1 到 Number.MAX_VALUE 中間的數(shù)字并不連續(xù)，而是離散的。

比如：Number.MAX_VALUE - 1, Number.MAX_VALUE - 2 等數(shù)值都無(wú)法用公式得出，就存儲(chǔ)不了。

所以這里引出了最大安全值 Number.MAX_SAFE_INTEGER，也就是從 1 到 Number.MAX_SAFE_INTEGER 中間的數(shù)字都是連續(xù)的，處在這個(gè)范圍內(nèi)的數(shù)值計(jì)算都是安全的。

當(dāng) f = 11...11, e = 1075（中間省略 48 個(gè) 1）時(shí)，取得這個(gè)值 111...11（中間省略 48 個(gè) 1），即 Math.pow(2, 53) - 1。

大于 Number.MAX_SAFE_INTEGER：Math.pow(2, 53) - 1 的數(shù)值都是離散的。

比如：Math.pow(2, 53) + 1, Math.pow(2, 53) + 3 不能用公式得出，無(wú)法存儲(chǔ)在內(nèi)存中。

所以才會(huì)有文章開(kāi)頭的現(xiàn)象：

&gt; Math.pow(2, 53) 9007199254740992&gt; Math.pow(2, 53) + 1 9007199254740992&gt; Math.pow(2, 53) + 3 9007199254740996

因?yàn)?Math.pow(2, 53) + 1 不能用公式得出，就無(wú)法存儲(chǔ)在內(nèi)存中，所以只有取最靠近這個(gè)數(shù)的、能夠用公式得出的其他數(shù)，Math.pow(2, 53)，然后存儲(chǔ)在內(nèi)存中，這就是失真，即不安全。

1.4 小數(shù)的存儲(chǔ)方式與計(jì)算

小數(shù)中，除了滿足 m / (2 ^ n)（m, n 都是整數(shù)）的小數(shù)可以用完整的 2 進(jìn)制表示之外，其他的都不能用完整的 2 進(jìn)制表示，只能無(wú)限的逼近一個(gè) 2 進(jìn)制小數(shù)。

（注：[2] 表示二進(jìn)制，^ 表示 N 次方）

0.5 = 1 / 2 = [2]0.1 0.875 = 7 / 8 = 1 / 2 + 1 / 4 + 1 / 8 = [2]0.111 # 0.3 的逼近0.25 ([2]0.01) &lt; 0.3 &lt; 0.5 ([2]0.10)0.296875 ([2]0.0100110) &lt; 0.3 &lt; 0.3046875 ([2]0.0100111)0.2998046875 ([2]0.01001100110) &lt; 0.3 &lt; 0.30029296875 ([2]0.01001100111)... 根據(jù)公式計(jì)算，直到把分?jǐn)?shù)部分的 52 位填滿，然后取最靠近的數(shù)0.3 的存儲(chǔ)方式：[2]0.010011001100110011001100110011001100110011001100110011(f = 0011001100110011001100110011001100110011001100110011, e = 1021)

從上面可以看出，小數(shù)中大部分都只是近似值，只有少部分是真實(shí)值，所以只有這少部分的值（滿足 m / (2 ^ n) 的小數(shù)）可以直接比較大小，其他的都不能直接比較。

&gt; 0.5 + 0.125 === 0.625 true&gt; 0.1 + 0.2 === 0.3 false

為了安全的比較兩個(gè)小數(shù)，引入 Number.EPSILON [Math.pow(2, -52)] 來(lái)比較浮點(diǎn)數(shù)。

&gt; Math.abs(0.1 + 0.2 - 0.3) &lt; Number.EPSILON true

1.5 小數(shù)最大保留位數(shù)

js 從內(nèi)存中讀取一個(gè)數(shù)時(shí)，最大保留 17 位有效數(shù)字。

&gt; 0.010011001100110011001100110011001100110011001100110011 0.30000000000000000 0.3 &gt; 0.010011001100110011001100110011001100110011001100110010 0.29999999999999993 &gt; 0.010011001100110011001100110011001100110011001100110100 0.30000000000000004 &gt; 0.0000010100011110101110000101000111101011100001010001111100 0.020000000000000004

2. Number 對(duì)象中的常量

2.1 Number.EPSILON

表示 1 與 Number 可表示的大于 1 的最小的浮點(diǎn)數(shù)之間的差值。

Math.pow(2, -52)

用于浮點(diǎn)數(shù)之間安全的比較大小。

2.2 Number.MAX_SAFE_INTEGER

絕對(duì)值的最大安全值。

Math.pow(2, 53) - 1

2.3 Number.MAX_VALUE

js 所能表示的最大數(shù)值（4 個(gè)字節(jié)能存儲(chǔ)的最大數(shù)值）。

~= Math.pow(2, 1024) - 1

2.4 Number.MIN_SAFE_INTEGER

最小安全值（包括符號(hào)）。

-(Math.pow(2, 53) - 1)

2.5 Number.MIN_VALUE

js 所能表示的最小數(shù)值（絕對(duì)值）。

Math.pow(2, -1074)

2.6 Number.NEGATIVE_INFINITY

負(fù)無(wú)窮大。

-Infinity

2.7 Number.POSITIVE_INFINITY

正無(wú)窮大。

+Infinity

2.8 Number.NaN

非數(shù)字。

3. 尋找奇怪現(xiàn)象的原因

3.1 為什么 0.1 + 0.2 結(jié)果是 0.30000000000000004

與 0.3 的逼近算法類似。

0.1 的存儲(chǔ)方式：[2]0.00011001100110011001100110011001100110011001100110011010(f = 1001100110011001100110011001100110011001100110011010, e = 1019)0.2 的存儲(chǔ)方式：[2]0.0011001100110011001100110011001100110011001100110011010(f = 1001100110011001100110011001100110011001100110011010, e = 1020) 0.1 + 0.2: 0.0100110011001100110011001100110011001100110011001100111(f = 00110011001100110011001100110011001100110011001100111, e = 1021)

但 f = 00110011001100110011001100110011001100110011001100111 有 53 位，超過(guò)了正常的 52 位，無(wú)法存儲(chǔ)，所以取最近的數(shù)：

0.1 + 0.2: 0.010011001100110011001100110011001100110011001100110100(f = 0011001100110011001100110011001100110011001100110100, e = 1021)

js 讀取這個(gè)數(shù)字為 0.30000000000000004

3.2 為什么 Math.pow(2, 53) + 1 結(jié)果是 Math.pow(2, 53)

因?yàn)?Math.pow(2, 53) + 1 不能用公式得出，無(wú)法存儲(chǔ)在內(nèi)存中，所以只有取最靠近這個(gè)數(shù)的、能夠用公式得出的其他數(shù)。

比這個(gè)數(shù)小的、最靠近的數(shù)：

Math.pow(2, 53)(f = 0000000000000000000000000000000000000000000000000000, e = 1076)

比這個(gè)數(shù)大的、最靠近的數(shù)：

Math.pow(2, 53) + 2(f = 0000000000000000000000000000000000000000000000000001, e = 1076)

取第一個(gè)數(shù)：Math.pow(2, 53)。

所以：

&gt; Math.pow(2, 53) + 1 === Math.pow(2, 53) true

參考文章

• How numbers are encoded in JavaScript
• JavaScript是怎樣編碼數(shù)字的

后續(xù)

更多博客，查看 https://github.com/senntyou/blogs

作者：深予之 (@senntyou)

版權(quán)聲明：自由轉(zhuǎn)載-非商用-非衍生-保持署名（創(chuàng)意共享3.0許可證）

轉(zhuǎn)載于:https://www.cnblogs.com/lovellll/p/10188952.html

總結(jié)

以上是生活随笔為你收集整理的js 中的 number 为何很怪异的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。