微秒
PHP获取毫秒和微秒
这几个概念的换算关系是:
1秒(second) = 1000毫秒(millisecond) = 1000,000微秒(microsecond)
PHP的microtime()函数可以获取到微秒和毫秒数,但是和time()
函数不同,获取到的不是int类型,而是字符串,也可以设置get_as_float
参数为true
返回浮点数(单位为秒)
返回字符串
官方文档给的例子:
<?php
/**
* Simple function to replicate PHP 5 behaviour
*/
function microtime_float()
{
list($usec, $sec) = explode(" ", microtime());
return ((float)$usec + (float)$sec);
}
$time_start = microtime_float();
// Sleep for a while
usleep(100); //暂停100微秒
$time_end = microtime_float();
$time = $time_end - $time_start;
echo "Did nothing in $time seconds\n";
//输出为
//Did nothing in 0.00037193298339844 seconds
//大概用了371微秒
?>
返回浮点数
这是PHP5开始有的特性
$start = microtime(true);
echo $start."\n";
usleep(300);
$end = microtime(true);
echo $end;
/*
输出为
1516631226.7536
1516631226.7559
单位为秒
*/
相关阅读
Jquery获取select选中的文本与值 jquery获取select选择的文本与值获取select :获取select 选中的 text :$("#ddlregtype").find("
#常用参数 --prefix=/usr/local/php php 安装目录 --with-apxs2=/usr/local/apache/bin/apxs --wi
LocationManager、Geocoder获取当前位置
参考:Android获取当前位置的经纬度 示例: public class MainActivityI extends Activity { private LocationUtils locat
request.getParameter("name")获取值
这样取值会有两种情况的结果 1、" " 空字符串 当url里有name属性,但是没有值的时候后台用request.getParameter("name")获取的是
php 内置变量DIRECTORY_SEPARATOR的使用
widows下的路径分隔符为 / or \ ,linux下的路径分隔符为 /DIRECTORY_SEPARATOR是一个返回跟操作系统相关的路径分隔符的php内置