關於PHP浮點數的問題
PHP是一種弱類型語言, 這樣的特性, 必然要求有無縫透明的隱式類型轉換, PHP內部使用zval來保存任意類型的數值, zval的結構如下(5.2為例):
struct_zval_struct{
/* Variable information */
zvalue_valuevalue;/* value */
zend_uintrefcount;
zend_uchartype;/* active type */
zend_ucharis_ref;
};
上面的結構中, 實際保存數值本身的是zvalue_value聯合體:
typedefunion_zvalue_value{
longlval;/* long value */
doubledval;/* double value */
struct{
char*val;
intlen;
}str;
HashTable*ht;/* hash table value */
zend_object_valueobj;
}zvalue_value;
今天的話題, 我們只關注其中的倆個成員, lval和dval, 我們要意識到, long lval是隨著編譯器, OS的字長不同而不定長的, 它有可能是32bits或者64bits, 而double dval(雙精度)由IEEE 754規定, 是定長的, 一定是64bits.
請記住這一點, 造就了PHP的一些代碼的」非平台無關性」.我們接下來的討論, 除了特別指明, 都是假設long為64bits
IEEE 754的浮點計數法, 我這裡就不引用了, 大家有興趣的可以自己查看, 關鍵的一點是, double的尾數採用52位bit來保存, 算上隱藏的1位有效位, 一共是53bits.
在這裡, 引出一個很有意思的問題, 我們用c代碼舉例(假設long為64bits):
longa=x;
assert(a==(long)(double)a);
請問, a的取值在什麼範圍內的時候, 上面的代碼可以斷言成功?(留在文章最後解答)
現在我們回歸正題, PHP在執行一個腳本之前, 首先需要讀入腳本, 分析腳本, 這個過程中也包含著, 對腳本中的字面量進行zval化, 比如對於如下腳本:
輸出:
也就說, PHP在詞法分析階段, 對於一個字面量的數值, 會去判斷, 是否超出了當前系統的long的表值範圍, 如果不是, 則用lval來保存, zval為IS_LONG, 否則就用dval表示, zval IS_FLOAT.
凡是大於最大的整數值的數值, 我們都要小心, 因為它可能會有精度損失:
輸出是false.
現在接上開頭的討論, 之前說過, PHP的整數, 可能是32位, 也可能是64位, 那麼就決定了, 一些在64位上可以運行正常的代碼, 可能會因為隱形的類型轉換, 發生精度丟失, 從而造成代碼不能正常的運行在32位系統上.
所以, 我們一定要警惕這個臨界值, 好在PHP中已經定義了這個臨界值:
echoPHP_INT_MAX;
?>
當然, 為了保險起見, 我們應該使用字元串來保存大整數, 並且採用比如bcmath這樣的數學函數庫來進行計算.
另外, 還有一個關鍵的配置, 會讓我們產生迷惑, 這個配置就是php.precision, 這配置決定了PHP再輸出一個float值的時候, 輸出多少有效位.
最後, 我們再來回頭看上面提出的問題, 也就是一個long的整數, 最大的值是多少, 才能保證轉到float以後再轉回long不會發生精度丟失?
比如, 對於整數, 我們知道它的二進位表示是, 101, 現在, 讓我們右移倆位, 變成1.01, 捨去高位的隱含有效位1, 我們得到在double中存儲5的二進位數值為:
5的二進位表示, 絲毫未損的保存在了尾數部分, 這個情況下, 從double轉會回long, 不會發生精度丟失.
我們知道double用52位表示尾數, 算上隱含的首位1, 一共是53位精度.. 那麼也就可以得出, 如果一個long的整數, 值小於:
那麼, 這個整數, 在發生long->double->long的數值轉換時, 不會發生精度丟失.
點擊展開全文
![](https://pic.pimg.tw/zzuyanan/1488615166-1259157397.png)
![](https://pic.pimg.tw/zzuyanan/1482887990-2595557020.jpg)
※如何解決中文亂碼問題?
※PHP浮點數的一個常見問題的解答
※openVPN免流搭建流程 openVPN的搭建與使用
※Redis持久化存儲
※這真的是我見過的最全的全套視頻資源共2000G
TAG:PHP技術大全 |
※基於INTEL FPGA硬浮點DSP實現卷積運算
※IBM:AI晶元採用8位浮點計算的突破性成果
※Python modbus 浮點型數據處理
※有問有答:CPU浮點運算和整點運算分別決定其什麼性能?
※IBM透露AI晶元採用8位浮點計算的突破性研究成果
※數——萬物之始:整數int、浮點數float與複數complex
※Facebook新研究優化硬體浮點運算,強化AI模型運行速率
※浮點性能最多提升19% 英偉達新一代RTX顯卡參數公布
※谷歌Stadia硬體配置公布:10.7萬億次浮點HBM2顯存
※Intel 7nm獨顯曝光:最高512個EU單元、浮點性能看齊RX 5700 XT
※python如何生成一系列浮點數(含例子)
※Kotaku信息源確認下一代Xbox主機浮點運算能力優於Google Stadia
※小米以無國標回應手機殼有毒太傲慢,應學英特爾處理浮點錯誤的經驗
※整數與浮點、順序與隨機:解讀影響電腦性能的若干因素
※每秒5萬兆次浮點運算!獨一無二的光子計算機誕生,已取得專利