如何在Python中将时间格式转换为毫秒并返回？
问题内容：
原因是因为我正在制作一个可与ffmpeg一起使用的脚本，并且我需要能够以00:00:00 [.000]的格式添加/减去时间。
最后3位数字是可选的，它们表示毫秒。时间字符串可能类似于以下任何内容
4:34.234
5.000
2:99:34
4:14
如果很多数字不是可选的，这会更容易。但是既然如此，我想我必须使用某种正则表达式来解析它吗？
问题答案：
从字符串到毫秒：
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)
从毫厘到字符串：
hours, milliseconds = divmod(miliseconds, 3600000)
minutes, milliseconds = divmod(miliseconds, 60000)
seconds = float(milliseconds) / 1000
s = "%i:%02i:%06.3f" % (hours, minutes, seconds)
