/**
* 获取当前时间戳,精确到毫秒
*
* @return float
*/
function microtime_float()
{
list($usec, $sec) = explode(" ", microtime());
return ((float)$usec + (float)$sec);
}
/**
* 获取当前时间输出,精确到毫秒
*
* @param [type] $format 时间格式化字符串,如 'Y年m月d日 H时i分s秒 x毫秒'
* @param [float] $time 通过 microtime_float() 获得
* @return void
*/
function microtime_format($format, $time = 0)
{
if(!$time) $time = microtime_float();
list($usec, $sec) = explode(".", $time);
$date = date($format,$usec);
return str_replace('x', $sec, $date);
}