Konvertierung des HH:MM:SS-Zeitformats in Sekunden in PHP

Dieser Artikel stellt vor, wie man das HH:MM:SS-Zeitformat in der Programmiersprache PHP in Sekunden konvertiert.

php > $time = '21:30:10';
php > $parsed = date_parse($time);
php > $seconds = $parsed['hour'] * 3600 + $parsed['minute'] * 60 + $parsed['second'];
php > echo $seconds ;
77410
php >

php - Convert time in HH:MM:SS format to seconds only? - Stack Overflow

Ich habe ein einfaches Bash-Dienstprogramm geschrieben.

hoursToSeconds(){

  : e.g. hoursToSeconds 2:30:00

cat - <<'EOT' | sed -Ee "s/@ARG1/${1:-"1:00:00"}/g; " > $TMPDIR/tmp.php

<?php

$time = '@ARG1';
$parsed = date_parse($time);
$seconds = $parsed['hour'] * 3600 + $parsed['minute'] * 60 + $parsed['second'];
echo $seconds ;

EOT

trim "$( php -ef $TMPDIR/tmp.php )"

}

$ hoursToSeconds 2:34
9240$ hoursToSeconds 2:34:00
9240$ hoursToSeconds 12:34:00
45240$ hoursToSeconds 1
0$ hoursToSeconds 2:00
7200$