Étant donné une datetime.time
valeur en Python, existe-t-il un moyen standard d'y ajouter un nombre entier de secondes, de sorte que 11:34:59
+ 3 = 11:35:02
, par exemple?
Ces idées évidentes ne fonctionnent pas:
>>> 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'
Au final, j'ai écrit des fonctions comme celle-ci:
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)
Je ne peux pas m'empêcher de penser que je manque un moyen plus facile de le faire.