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