python秒数转化为时间格式,如何在Python中将时间格式转换成毫秒？

The reason is because I'm making a script to work with ffmpeg and I need to be able to add/subtract time in the format 00:00:00[.000]

The last 3 digits are optional and they mean milliseconds. A time string could look like any of the following

4:34.234

5.000

2:99:34

4:14

This would be easier if a lot of the digits weren't optional. But since they are, I'm thinking I have to use some sort of regex to parse it?

解决方案

From string to milliseconds:

s = "4:34.234"

hours, minutes, seconds = (["0", "0"] + s.split(":"))[-3:]

hours = int(hours)

minutes = int(minutes)

seconds = float(seconds)

miliseconds = int(3600000 * hours + 60000 * minutes + 1000 * seconds)

From milliseonds to string:

hours, milliseconds = divmod(miliseconds, 3600000)

minutes, milliseconds = divmod(miliseconds, 60000)

seconds = float(milliseconds) / 1000

s = "%i:%02i:%06.3f" % (hours, minutes, seconds)