Как преобразовать строку «HH: MM: SS» в секундах с помощью PHP?

Есть ли собственный способ делать "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 не сильно типизирован, нет понятия типа времени и, следовательно, нет средств для преобразования между такой строкой и значением «секунд».

Таким образом, на практике люди часто разделяют строку и размножают каждую секцию, как вы упомянули.