У меня есть скрипт, который принимает значение в секундах (до 2 знаков после запятой доли секунды):
$seconds_input = 23.75
Затем я конвертирую его в миллисекунды:
$milliseconds = $seconds_input * 1000; // --> 23750
И затем я хочу отформатировать его так:
H:M:S.x // --> 0:0:23.75
Где «x» - доля секунды (сколько бы знаков после запятой ни было).
Любая помощь? Кажется, я не могу уложить это в голове. Я пытался использовать gmdate(), но он продолжал обрезать доли секунды.
Спасибо.
Мой взгляд
function formatSeconds( $seconds )
{
$hours = 0;
$milliseconds = str_replace( "0.", '', $seconds - floor( $seconds ) );
if ( $seconds > 3600 )
{
$hours = floor( $seconds / 3600 );
}
$seconds = $seconds % 3600;
return str_pad( $hours, 2, '0', STR_PAD_LEFT )
. gmdate( ':i:s', $seconds )
. ($milliseconds ? ".$milliseconds" : '')
;
}
А потом тест
$testData = array(
23, // Seconds, w/o millis
23.75, // Seconds, w/millis
23.75123456789, // Lots of millis
123456789.75 // Lots of seconds
);
foreach ( $testData as $seconds )
{
echo formatSeconds( $seconds ), PHP_EOL;
}
который дает
00:00:23
00:00:23.75
00:00:23.75123456789
34293:33:09.75
if ( $seconds >= 3600 ) - т.е. если $seconds больше или равно 3600. Это гарантирует, что ровно 1 час, т.е. 3600 секунд, выводится как 01:00:00, а не 00:00:00 без этой настройки. Спасибо за функцию - я использую ее для наблюдения за производительностью сайта Drupal.
- person therobyouknow; 10.01.2020
Редактировать: Ну, я немного поторопился. Вот один из способов сделать то, что вы просите:
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');
}
Мой гораздо менее читабелен, так что он должен быть лучше. :п
В основном та же идея, что и в версии @ircmaxell. Он обрезает конечные «0» и даже пропускает последние «.». разделитель, если миллисекунды равны 0.
<?
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(23.75);
если вы действительно хотите сделать это с помощью функции даты, вы правы, вам нужно иметь дело с миллисекундами извне, основано только на секундных метках времени.
вы можете сделать что-то вроде этого:
<?
$input = "23.75";
$seconds = floor($input);
$date = DateTime::createFromFormat('s', floor($seconds));
$ms = ($input-$seconds);
if($ms == 0) {
$ms = "";
} else {
$ms = ltrim($ms,"0,");
}
echo $date->format('H:i:s').$ms;
но помните о переполнении часов, если ваши часы превышают 24, вы, вероятно, в конечном итоге отбросите дни.
в вашем случае я бы сказал, что ваш подход к полу для получения секунд правильный, и тогда вам, вероятно, следует просто использовать арифметику по модулю следующим образом:
<?
$totalsecs = 86400*10;
$secs = $totalsecs%60;
echo "secs: $secs \n";
$minutes = ($totalsecs - $secs) % (60*60);
?>
и так далее..
