PHP-преобразование миллисекунд в часы: минуты: секунды.дробный

у меня есть скрипт, который принимает значение в секундах (до 2 десятичных точек дробных секунд):

$seconds_input = 23.75

затем я преобразую его в миллисекунды:

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

и затем я хочу отформатировать его так:

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

где " x " - это доля секунды (сколько бы мест после десятичного знака ни было).

помочь? Я не могу сосредоточиться на этом. Я попытался использовать gmdate (), но он продолжал отсекать дробный считанные секунды.

спасибо.

10
milliseconds php seconds

4 ответов

мое мнение

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
17

Edit: Ну, я немного поторопился. Вот один из способов сделать то, что вы просите:

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

мой гораздо менее читаем, поэтому он должен быть лучше. : p

в основном та же идея, что и версия @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);
3

Если вы действительно хотите сделать это с помощью функции даты, вы правы, вам нужно иметь дело с миллисекундами извне, только на основе вторых временных меток.

вы можете сделать что-то вроде этого:

<?
$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);

?> и так далее..

1