PHP filter_var 错误？

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]+.

由于页面从未提及八进制，我们需要假设前导零对解释没有影响。

我假定完全相同的规则适用于FILTER_VALIDATE_FLOAT。