Konwertuj zmiennoprzecinkowe na GG: MM format

Question

Mam pytanie dotyczące formatowania ciągu znaków lub wartości zmiennoprzecinkowej.

Więc zasadniczo mam te numery, które muszą być wyprowadzane w następujący sposób:

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

Oto funkcja pisałem, że robi straszną pracę na co muszę go.

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); 
} 

Więc jeśli ktoś ma jakieś pomysły id cenią go, próbowałem klasy DateTime, ale nie był w stanie sformatować numery prawidłowo, aby była ona używana.

Dzięki.

Answer 1

Wystarczy sprintf dla 0 obicia, fmod wyodrębnić część oraz ewentualnie round jeśli podłogi sekundy jest niedopuszczalne:

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

Answer 2

Przycinanie się część całkowitej pływaka:

$time = 9.83333333333; 
$hourFraction = $time - (int)$time; 

pomnożyć przez liczbę jednostek (w minutach) w większej jednostki (godzina)

$minutes = $hourFraction * 60; 

Echo:

$hours = (int)$time; 
echo str_pad($hours, 2, '0', STR_PAD_LEFT) . ':' . str_pad($minutes, 2, '0', STR_PAD_LEFT); 

Answer 3

Możesz zrobić coś takiego:

$example = 1.3333; 

Get element ułamkową swojego czasu, wykonując modulo 1

$remainder = $example % 1; 
$minutes = 60 * $remainder; 

Następnie można użyć (int)$example lub floor($example) uzyskać składnik godzinny czas.

$hour = floor($example); 
echo $hour." ".$minutes;