Question

我正在测量一些卷曲请求，我使用了microtime(true)。示例输出为3.1745569706

这是3.1745569706秒。我想将其转换为更易读的格式，比方说00:00:03:17455（HOURS：MINUTES：SECONDS：MILLISECONDS）

$maxWaitTime = '3.1745569706';
echo gmdate("H:i:s.u", $maxWaitTime);

// which returns
00:00:01.000000

echo date("H:i:s.u" , $maxWaitTime)
// which returns
18:00:01.000000

看起来不对劲。我不太清楚我在这里缺少什么。

如何将microtime（）转换为HH：MM：SS：UU？

Answer 1

PHP.net article on date()与gmdate()类似，但在GMT中返回时间除外：

由于此函数只接受u格式的整数时间戳 character仅在使用date_format（）函数时才有用使用date_create（）创建的基于用户的时间戳。

使用类似的东西：

list($usec, $sec) = explode(' ', microtime()); //split the microtime on space
                                               //with two tokens $usec and $sec

$usec = str_replace("0.", ".", $usec);     //remove the leading '0.' from usec

print date('H:i:s', $sec) . $usec;       //appends the decimal portion of seconds

打印：00:00:03.1745569706

如果您愿意，可以使用round()对$usec var进行更多处理。

如果您使用microtime(true)，请改用：

list($sec, $usec) = explode('.', microtime(true)); //split the microtime on .

Answer 2

<?php

function format_period($seconds_input)
{
  $hours = (int)($minutes = (int)($seconds = (int)($milliseconds = (int)($seconds_input * 1000)) / 1000) / 60) / 60;
  return $hours.':'.($minutes%60).':'.($seconds%60).(($milliseconds===0)?'':'.'.rtrim($milliseconds%1000, '0'));
}

echo format_period(3.1745569706);

<强>输出

0:0:3.174

Answer 3

假设一个人真的关心微秒，这是罕见的，那么就不应该使用任何涉及花车的表示。

而是使用gettimeofday（），它将返回一个包含秒和微秒为整数的关联数组。

$g1 = gettimeofday();
# execute your process here
$g2 = gettimeofday();

$borrow  = $g2['usec'] < $g1['usec'] ;
$seconds = $g2['sec'] - $g1['sec'] - $borrow ;
$micros  = $borrow*1000000 + $g2['usec'] - $g1['usec'] ;
$delta   = gmdate( 'H:i:s.', $seconds ).sprintf( '%06d', $micros );

如何将microtime（）转换为HH：MM：SS：UU

3 个答案: