将HH:MM:SS.sss格式的字符串转换为HH:MM:SS.ssssss格式的Python方法

Question

我有一个字符串，它表示时间，格式是HH:MM:SS.sss。现在我需要把这个字符串转换成HH:MM:SS.ssssss的格式。请告诉我该怎么做？

Answer 1

你能不能直接在后面加上“000”呢？

比如说，把“13:23:12.345”变成“13:23:12.345000”。