Question

使用此代码获取php microtime

$date = round(microtime(true) * 1000);

我得到这样的回声结果

1.42020381242E+12

我如何确保microtime只是数字没有特殊字符或像这样的字符串

1420209804538

在localhost上一切正常，只获取数字但是在服务器上它获取数字和字符串和点（。）

问题2

我如何在当前的微量时间中添加15分钟

Answer 1

您可以使用filter_var清除变量以仅保存数值，FILTER_SANITIZE_NUMBER_INT

例如;

echo filter_var($date, FILTER_SANITIZE_NUMBER_INT);

使用Mark Bakers评论，添加15分钟，您只需执行以下操作;

echo filter_var( ($date + 15 * 60 * 1000), FILTER_SANITIZE_NUMBER_INT);

修改

您可以使用正则表达式删除任何非数字字符。例如

preg_replace("/[^0-9]/", "", $date);

编辑2

您可以使用以下正则表达式

捕获字符串的最后部分

$re = "~\s(\d+)~"; 
$str = "12 + 142020602353 "; 
preg_match($re, $str, $m);
echo $m[0];