Dado un datetime.time
valor en Python, ¿hay una forma estándar de agregarle un número entero de segundos, de modo que 11:34:59
+ 3 = 11:35:02
, por ejemplo?
Estas ideas obvias no funcionan:
>>> datetime.time(11, 34, 59) + 3
TypeError: unsupported operand type(s) for +: 'datetime.time' and 'int'
>>> datetime.time(11, 34, 59) + datetime.timedelta(0, 3)
TypeError: unsupported operand type(s) for +: 'datetime.time' and 'datetime.timedelta'
>>> datetime.time(11, 34, 59) + datetime.time(0, 0, 3)
TypeError: unsupported operand type(s) for +: 'datetime.time' and 'datetime.time'
Al final he escrito funciones como esta:
def add_secs_to_time(timeval, secs_to_add):
secs = timeval.hour * 3600 + timeval.minute * 60 + timeval.second
secs += secs_to_add
return datetime.time(secs // 3600, (secs % 3600) // 60, secs % 60)
Sin embargo, no puedo evitar pensar que me falta una forma más fácil de hacer esto.