python - 如何在Python中将数字转换为时间？

Question

我需要将数字转换为时间。

例如:

我需要将 1230 转换为 12:30 或将 0730 转换为 07:30。

如何在Python中将数字转换为时间？

Answer 1

我们可以创建一个函数，它接受一个字符串并返回时间。

这一切都可以通过将字符串切片到分钟(使用[:2]完成)在一行中完成)，然后连接 ':'，最后将 分钟 与 [2:] 连接。

def getTime(t):
    return t[:2] + ':' + t[2:]

以及一些测试来证明它有效:

>>> getTime("1230")
'12:30'
>>> getTime("0730")
'07:30'
>>> getTime("1512")
'15:12'

<小时/>

请注意函数不能采用整数并将其转换为字符串，否则条目前导零将会失败。例如。 0730 不起作用。

<小时/>

是的，要回答@AbhishtaGatya，这可以使用lambda函数编写，但这样做是不可取的。但是:

getTime = lambda t: t[:2] + ':' + t[2:]

工作原理与上面相同。