从 microtime 中删除所有字符串并向其添加分钟

remove all strings from microtime and add minutes to it

我使用此代码获取 php microtime

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

我得到的回显结果是这样的

1.42020381242E+12

如何确保微时间只是数字而不是像这样的特殊字符或字符串

1420209804538

在本地主机上一切正常,只得到数字但在服务器上它得到数字和字符串和一个点 (.)

问题二

还有我如何在当前微时间上增加 15 分钟

您可以使用filter_var to sanitize the variable to only hold numerical values, using FILTER_SANITIZE_NUMBER_INT

例如;

echo filter_var($date, FILTER_SANITIZE_NUMBER_INT); 

使用 Mark Ba​​kers 的评论,要增加 15 分钟,您只需执行以下操作;

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

https://eval.in/238951

编辑

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

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

编辑 2

您可以使用以下正则表达式捕获字符串的最后一部分

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

https://eval.in/238955