上次遇到了一個奇怪的問題：JS的(2.55).toFixed(1)輸出是2.5，而不是四舍五入的2.6，這是為什么呢？

進一步觀察：

發現，并不是所有的都不正常，1.55的四舍五入還是對的，為什么2.55、3.45就不對呢？

這個需要我們在源碼里面找答案。

數字在V8里面的存儲有兩種類型，一種是小整數用Smi，另一種是除了小整數外的所有數，用HeapNumber，Smi是直接放在棧上的，而HeapNumber是需要new申請內存的，放在堆里面。我們可以簡單地畫一下堆和棧在內存的位置：

如下代碼：

let obj = {};復制代碼

這里定義了一個obj的變量，obj是一個指針，它是一個局部變量，是放在棧里面的。而大括號{}實例化了一個Object，這個Object需要占用的空間是在堆里申請的內存，obj指向了這個內存所在的位置。

棧和堆相比，棧的讀取效率要比堆的高，因為棧里變量可以通過內存偏差得到變量的位置，如用函數入口地址減掉一個變量占用的空間（向低地址增長），就能得到那個變量在內存的內置，而堆需要通過指針尋址，所以堆要比棧慢（不過棧的可用空間要比堆小很多）。因此局部變量如指針、數字等占用空間較小的，通常是保存在棧里的。

對于以下代碼：

let smi = 1;復制代碼

smi是一個Number類型的數字。如果這種簡單的數字也要放在堆里面，然后搞個指針指向它，那么是劃不來的，無論是在存儲空間或者讀取效率上。所以V8搞了一個叫Smi的類，這個類是不會被實例化的，它的指針地址就是它存儲的數字的值，而不是指向堆空間。因為指針本身就是一個整數，所以可以把它當成一個整數用，反過來，這個整數可以類型轉化為Smi的實例指針，就可以調Smi類定義的函數了，如獲取實際的整數值是多少。

如下源碼的注釋：

// Smi represents integer Numbers that can be stored in 31 bits. // Smis are immediate which means they are NOT allocated in the heap. // The this pointer has the following format: [31 bit signed int] 0 // For long smis it has the following format: // [32 bit signed int] [31 bits zero padding] 0 // Smi stands for small integer.復制代碼

在一般系統上int為32位，使用前面的31位表示整數的值（包括正負符號），而如果是64位的話，使用前32位表示整數的值。所以32位的時候有31位來表示數據，再減去一個符號位，還剩30位，所以Smi最大整數為：

2 ^ 30 - 1 = 1073741823 = 10億

大概為10億。

到這里你可能會有一個問題，為什么要搞這么麻煩，不直接用基礎類型如int整型來存就好了，還要搞一個Smi的類呢？這可能是因為V8里面對JS數據的表示都是繼承于根類Object的（注意這里的Object不是JS的Object，JS的Object對應的是V8的JSObject），這樣可以做一些通用的處理。所以小整數也要搞一個類，但是又不能實例化，所以就用了這樣的方法——使用指針存儲值。

大于21億和小數是使用HeapNumber存儲的，和JSObject一樣，數據是存在堆里面的，HeapNumber存儲的內容是一個雙精度浮點數，即8個字節 = 2 words = 64位。關于雙精度浮點數的存儲結構我已經在《為什么0.1 + 0.2不等于0.3？》做了很詳細的介紹。這里可以再簡單地提一下，如源碼的定義：

static const int kMantissaBits = 52;static const int kExponentBits = 11;復制代碼

64位里面，尾數占了52位，而指數用了11位，還有一位是符號位。當這個雙精度的空間用于表示整數的時候，是用的52位尾數的空間，因為整數是能夠用二進制精確表示的，所以52位尾數再加上隱藏的整數位的1（這個1是怎么來的可參考上一篇）能表示的最大值為2 ^ 53 - 1：

// ES6 section 20.1.2.6 Number.MAX_SAFE_INTEGER const double kMaxSafeInteger = 9007199254740991.0; // 2^53-1復制代碼

這是一個16位的整數，進而可以知道雙精度浮點數的精確位數是15位，并且有90%的概率可以認為第16位是準確的。

這樣我們就知道了，數在V8里面是怎么存儲的。對于2.55使用的是雙精度浮點數，把2.55的64位存儲打印出來是這樣的：

對于(2.55).toFixed(1)，源碼里面是這么進行的，首先把整數位2取出來，轉成字符串，然后再把小數位取出來，根據參數指定的位數進行舍入，中間再拼個小數點，就得到了四舍五入的字符串結果。

整數部分怎么取呢？2.55的的尾數部分（加上隱藏的1）為數a：

1.01000110011...

它的指數位是1，所以把這個數左移一位就得到數b：

10.1000110011...

a原本是52位，左移1位就變成了53位的數，再把b右移52 - 1 = 51位就得到整數部分為二進制的10即十進制的2。再用b減掉10左移51位的值，就得到了小數部分。這個實際的計算過程是這樣的：

// 尾數右移51位得到整數部分 uint64_t integrals = significand >> -exponent; // exponent = 1 - 52 // 尾數減掉整數部分得到小數部分 uint64_t fractionals = significand - (integrals << -exponent);復制代碼

接下來的問題——整數怎么轉成字符串呢？源代碼如下所示：

static void FillDigits32(uint32_t number, Vector<char> buffer, int* length) {int number_length = 0;// We fill the digits in reverse order and exchange them afterwards.while (number != 0) {char digit = number % 10;number /= 10;buffer[(*length) + number_length] = '0' + digit;number_length++;}// Exchange the digits.int i = *length;int j = *length + number_length - 1;while (i < j) {char tmp = buffer[i];buffer[i] = buffer[j];buffer[j] = tmp;i++;j--;}*length += number_length; }復制代碼

就是把這個數不斷地模以10，就得到個位數digit，digit加上數字0的ascii編碼就得到個位數的ascii碼，它是一個char型的。在C/C++/Java/Mysql里面char是使用單引號表示的一種變量，用一個字節表示ascii符號，存儲的實際值是它的ascii編碼，所以可以和整數相互轉換，如'0' + 1就得到'1'。每得到一個個位數，就除以10，相當十進制里面右移一位，然后繼續處理下一個個位數，不斷地把它放到char數組里面（注意C++里面的整型相除是會把小數舍去的，不會像JS那樣）。

最后再把這個數組反轉一下，因為上面處理后，個位數跑到前面去了。

小數部分是怎么轉的呢？如下代碼所示：

int point = -exponent; // exponent = -51 // fractional_count表示需要保留的小數位，toFixed(1)的話就為1 for (int i = 0; i < fractional_count; ++i) {if (fractionals == 0)break;fractionals *= 5; // fractionals = fractionals * 10 / 2;point--;char digit = static_cast<char>(fractionals >> point);buffer[*length] = '0' + digit;(*length)++;fractionals -= static_cast<uint64_t>(digit) << point; } // If the first bit after the point is set we have to round up. if (((fractionals >> (point - 1)) & 1) == 1) {RoundUp(buffer, length, decimal_point); }復制代碼

如果是toFixed(n)的話，那么會先把前n位小數轉成字符串，然后再看n + 1位的值是需要進一位。

在把前n位小數轉成字符串的時候，是先把小數位乘以10，然后再右移50 + 1 = 51位，就得到第1位小數（代碼里面是乘以5，主要是為了避免溢出）。小數位乘以10之后，第1位小數就跑到整數位了，然后再右移原本的尾數的51位就把小數位給丟掉了，因為剩下的51位肯定是小數部分了，所以就得到了第一位小數。然后再減掉整數部分就得到去掉1位小數后剩下的小數部分，由于這里只循環了一次所以就跳出循環了。

接著判斷是否需要四舍五入，它判斷的條件是剩下的尾數的第1位是否為1，如果是的話就進1，否則就不處理。上面減掉第1位小數后還剩下0.05：

實際上存儲的值并不是0.05，而是比0.05要小一點：

由于2.55不是精確表示的，而2.5是可以精確表示的，所以2.55 - 2.5就可以得到0.05存儲的值。可以看到確實是比0.05小。

按照源碼的判斷，如果剩下的尾數第1位不是1就不進位，由于剩下的尾數第1位是0，所以不進位，因此就導致了(2.55).toFixed(1)輸入結果是2.5.

根本原因在于2.55的存儲要比實際存儲小一點，導致0.05的第1位尾數不是1，所以就被舍掉了。

那怎么辦呢？難道不能用toFixed了么？

知道原因后，我們可以做一個修正：

if (!Number.prototype._toFixed) {Number.prototype._toFixed = Number.prototype.toFixed; } Number.prototype.toFixed = function(n) {return (this + 1e-14)._toFixed(n); };復制代碼

就是把toFixed加一個很小的小數，這個小數經實驗，1e-14就行了。這個可能會造成什么影響呢，會不會導致原本不該進位的進位了？加上一個14位的小數可能會導致13位進1。但是如果兩個數相差1e-14的話，其實幾乎可以認為這兩個數是相等的，所以加上這個造成的影響幾乎是可以忽略不計的，除非你要求的精度特別高。這個數和Number.EPSILON就差了一點點：

這樣處理之后，toFixed就正常了：

本文通過V8源碼，解釋了數在內存里面是怎么存儲的，并且對內存棧、堆存儲做了一個普及，討論了源碼里面toFixed是怎么進行的，導致沒有進位的原因是什么，怎么做一個修正。

總結

以上是生活随笔為你收集整理的为什么(2.55).toFixed(1)等于2.5？的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。