我需要把号码转换成时间。
例如:
我需要将1230转换为12:30,或将0730转换为07:30。
在python中如何将数字转换为时间?
发布于 2017-11-25 12:34:48
我们可以创建一个接受function和returns的time。
所有这些都可以由slicing ( string )在一行中完成,直到minutes (使用[:2]完成),然后连接一个':',最后将minutes与[2:]连接起来。
def getTime(t):
return t[:2] + ':' + t[2:]还有一些测试来证明它有效:
>>> getTime("1230")
'12:30'
>>> getTime("0730")
'07:30'
>>> getTime("1512")
'15:12'注意function如何不能接受integer并将其转换为string,因为否则带有前导零的条目将失败。0730是行不通的。
是的,要回答@AbhishtaGatya,可以使用lambda函数编写,但这样做是不可取的。然而:
getTime = lambda t: t[:2] + ':' + t[2:]它的工作原理和上面一样。
发布于 2017-11-25 12:34:20
假设输入是一个字符串,您可以这样做:
number_str = '0730'
time_str = number_str[:2] + ':' + number_str[2:]
print(time_str) # Output: '07:30'发布于 2017-11-25 12:38:30
可以在索引2中插入":“。
val = 1230
new= ([str(i) for i in str(val)])
new.insert(2,":")
print(''.join(new))输出:
12:30https://stackoverflow.com/questions/47485952
复制相似问题