我有一个关于格式化字符串或浮点数的问题.
所以基本上我有这些数字需要输出如图所示:
9.8333333333333 -> 09:50
5.5555555555556 -> 05:33
10.545454545455 -> 10:33
1.3333333333333 -> 01:20
20.923076923077 -> 20:55
Run Code Online (Sandbox Code Playgroud)
这是我写的函数,它在我需要的东西上做得很糟糕.
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);
}
Run Code Online (Sandbox Code Playgroud)
因此,如果任何人有任何想法ID欣赏它,我已经尝试了DateTime类,但无法正确格式化数字以供它使用.
谢谢.
php ×1