PHP filter_var bug？

Question

以下代碼成功驗證字符串「0123.250」是否爲有效的float，如果不是。這是一個PHP錯誤還是我做錯了什麼？

filter_var('0123.250', FILTER_VALIDATE_FLOAT); 

Answer 1

從PHP documentation on float literals：

LNUM   [0-9]+ 
DNUM   ([0-9]*[\.]{LNUM}) | ({LNUM}[\.][0-9]*) 
EXPONENT_DNUM [+-]?(({LNUM} | {DNUM}) [eE][+-]? {LNUM}) 

正如你所看到的，是前導零沒有限制，通過這些位指示：[0-9]*[\.]和[0-9]+。

由於頁面從來沒有提到過八進制，所以我們需要假設前導零在解釋上沒有差別。

I 假設確切的規則適用於FILTER_VALIDATE_FLOAT。

Answer 2

前導0只是說明了千位的值爲零的事實，這通常是由於該位置值沒有數字而暗示的事實。

如果您擔心前導零是非重要數字這一事實，我不認爲PHP嚴格遵循這個定義。