浮點型(也叫浮點數(shù) float,雙精度數(shù) double 或?qū)崝?shù) real)可以用以下任一語法定義:
<?php
$a = 1.234;
$b = 1.2e3;
$c = 7E-10;
$d = 1_234.567; // 從 PHP 7.4.0 開始支持
?>
浮點數(shù)的形式表示(PHP 7.4.0 之前不支持下劃線):
LNUM [0-9]+(_[0-9]+)* DNUM ([0-9]*(_[0-9]+)*[\.]{LNUM}) | ({LNUM}[\.][0-9]*(_[0-9]+)*) EXPONENT_DNUM (({LNUM} | {DNUM}) [eE][+-]? {LNUM})
浮點數(shù)的字長和平臺相關(guān),盡管通常最大值是 1.8e308 并具有 14 位十進制數(shù)字的精度(64 位 IEEE 格式)。
浮點數(shù)的精度有限。盡管取決于系統(tǒng),PHP 通常使用 IEEE 754 雙精度格式,則由于取整而導致的最大相對誤差為 1.11e-16。非基本數(shù)學運算可能會給出更大誤差,并且要考慮到進行復(fù)合運算時的誤差傳遞。
此外,以十進制能夠精確表示的有理數(shù)如 0.1
或
0.7
,無論有多少尾數(shù)都不能被內(nèi)部所使用的二進制精確表示,因此不能在不丟失一點點精度的情況下轉(zhuǎn)換為二進制的格式。這就會造成混亂的結(jié)果:例如,floor((0.1+0.7)*10)
通常會返回 7
而不是預(yù)期中的
8
,因為該結(jié)果內(nèi)部的表示其實是類似
7.9999999999999991118...
。
所以永遠不要相信浮點數(shù)結(jié)果精確到了最后一位,也永遠不要比較兩個浮點數(shù)是否相等。如果確實需要更高的精度,應(yīng)該使用任意精度數(shù)學函數(shù)或者 gmp 函數(shù)。
參見? 浮點數(shù)指南網(wǎng)頁的簡單解釋。
如果 string 是 numeric 或者前導數(shù)字,
則將它解析為相應(yīng)的 float 值,否則將轉(zhuǎn)換為零(0
)。
對于其它類型的值,其情況類似于先將值轉(zhuǎn)換成 int,然后再轉(zhuǎn)換成 float。 請參閱“轉(zhuǎn)換為整型”一節(jié)以獲取更多信息。
注意:
某些類型在轉(zhuǎn)換成 int 時有未定義行為,轉(zhuǎn)換為 float 時也會如此。
如上述警告信息所言,由于內(nèi)部表達方式的原因,比較兩個浮點數(shù)是否相等是有問題的。不過還是有迂回的方法來比較浮點數(shù)值的。
要測試浮點數(shù)是否相等,要使用一個僅比該數(shù)值大一丁點的最小誤差值。該值也被稱為機器極小值(epsilon)或最小單元取整數(shù),是計算中所能接受的最小的差別值。
$a 和 $b 在小數(shù)點后五位精度內(nèi)都是相等的。
<?php
$a = 1.23456789;
$b = 1.23456780;
$epsilon = 0.00001;
if(abs($a-$b) < $epsilon) {
echo "true";
}
?>
某些數(shù)學運算會產(chǎn)生一個由常量 NAN
所代表的結(jié)果。此結(jié)果代表著一個在浮點數(shù)運算中未定義或不可表述的值。任何拿此值與其它任何值(除了 true
)進行的松散或嚴格比較的結(jié)果都是
false
。
由于 NAN
代表著任何不同值,不應(yīng)拿
NAN
去和其它值進行比較,包括其自身,應(yīng)該用
is_nan() 來檢查。