php - 将 float 转换为 HH :MM format

Question

我有一个关于格式化字符串或 float 的问题。

所以基本上我有这些数字需要如图所示输出:

9.8333333333333 -> 09:50
5.5555555555556 -> 05:33
10.545454545455 -> 10:33
1.3333333333333 -> 01:20
20.923076923077 -> 20:55

这是我编写的函数，它在我需要的方面做得很糟糕。

function getTime($dist, $road) {
    $roads = array('I' => 65, 'H' => 60, 'M' => 55, 'S' => 45);
    $time = $dist / $roads[$road];
    return round($time -1) . ':' . substr((float)explode('.', $time)[1] * 60, 0, 2);
}

因此，如果有人有任何想法，我将不胜感激，我已经尝试了 DateTime 类，但无法正确格式化数字以供使用。

谢谢。

Answer 1

你只需要 sprintf对于 0 填充，fmod提取分数，并可选择 round如果地板秒是 Not Acceptable :

$time = 15.33;
echo sprintf('%02d:%02d', (int) $time, fmod($time, 1) * 60);