Есть ли собственный способ делать "HH:MM:SS" to seconds
с PHP 5.3, а не делать разделение на двоеточие и размножать в каждом разделе соответствующее число для вычисления секунд?
Например, в Python вы можете:
string time = "00:01:05"; double seconds = TimeSpan.Parse(time).TotalSeconds;
Быстрый способ:
echo strtotime('01:00:00') - strtotime('TODAY'); // 3600
Это должно сделать трюк:
list($hours,$mins,$secs) = explode(':',$time); $seconds = mktime($hours,$mins,$secs) - mktime(0,0,0);
Я думаю, что самым простым способом было бы использовать strtotime()
:
$time = '21:30:10'; $seconds = strtotime("1970-01-01 $time UTC"); echo $seconds;
демонстрация
Функция date_parse()
также может использоваться для синтаксического анализа даты и времени:
$time = '21:30:10'; $parsed = date_parse($time); $seconds = $parsed['hour'] * 3600 + $parsed['minute'] * 60 + $parsed['second'];
демонстрация
К сожалению, нет – поскольку PHP не сильно типизирован, нет понятия типа времени и, следовательно, нет средств для преобразования между такой строкой и значением «секунд».
Таким образом, на практике люди часто разделяют строку и размножают каждую секцию, как вы упомянули.