PHP — 将毫秒转换为小时 : Minutes : Seconds. 小数

Question

我有一个脚本，它以秒为单位获取一个值(到小数秒的 2 个小数点):

$seconds_input = 23.75

然后我将它转换为毫秒:

$milliseconds = $seconds_input * 1000; // --> 23750

然后我想像这样格式化它:

H:M:S.x // --> 0:0:23.75

其中“x”是秒的小数部分(无论小数点后有多少位)。

有什么帮助吗？我似乎无法全神贯注于此。我尝试使用 gmdate() 但它一直在减少小数秒。

谢谢。

Answer 1

编辑好吧，我有点仓促。这是执行您要求的一种方法:

function formatMilliseconds($milliseconds) {
    $seconds = floor($milliseconds / 1000);
    $minutes = floor($seconds / 60);
    $hours = floor($minutes / 60);
    $milliseconds = $milliseconds % 1000;
    $seconds = $seconds % 60;
    $minutes = $minutes % 60;

    $format = '%u:%02u:%02u.%03u';
    $time = sprintf($format, $hours, $minutes, $seconds, $milliseconds);
    return rtrim($time, '0');
}