web-dev-qa-db-fra.com

Temps d'arrondi en Python

Quel serait un moyen élégant, efficace et pythonique d’effectuer une opération d’arrondi h/m/s sur des types liés à l’heure en Python avec un contrôle sur la résolution d’arrondi?

Je suppose que cela nécessiterait une opération de modulo temporel. Exemples illustratifs:

  • 20:11:13% (10 secondes) => (3 secondes)
  • 20:11:13% (10 minutes) => (1 minutes et 13 secondes)

Types de temps pertinents auxquels je peux penser:

  • datetime.datetime\datetime.time
  • struct_time
pythondatetimetimemodulorounding
25
Jonathan

Pour un arrondi datetime.datetime, voir cette fonction: https://stackoverflow.com/a/10854034/1431079

Échantillon d'utilisation:

print roundTime(datetime.datetime(2012,12,31,23,44,59,1234),roundTo=60*60)
2013-01-01 00:00:00
14
Le Droid

Que diriez-vous d'utiliser datetime.timedeltas:

import time
import datetime as dt

hms=dt.timedelta(hours=20,minutes=11,seconds=13)

resolution=dt.timedelta(seconds=10)
print(dt.timedelta(seconds=hms.seconds%resolution.seconds))
# 0:00:03

resolution=dt.timedelta(minutes=10)
print(dt.timedelta(seconds=hms.seconds%resolution.seconds))
# 0:01:13
14
unutbu

Vous pouvez convertir les deux fois en secondes, faites le modulo operati

from datetime import time

def time2seconds(t):
    return t.hour*60*60+t.minute*60+t.second

def seconds2time(t):
    n, seconds = divmod(t, 60)
    hours, minutes = divmod(n, 60)
    return time(hours, minutes, seconds)

def timemod(a, k):
    a = time2seconds(a)
    k = time2seconds(k)
    res = a % k
    return seconds2time(res)

print(timemod(time(20, 11, 13), time(0,0,10)))
print(timemod(time(20, 11, 13), time(0,10,0)))

Les sorties:

00:00:03
00:01:13
2
utdemir

Ceci arrondira les données de temps à une résolution comme demandé dans la question

import datetime as dt
current = dt.datetime.now()
current_td = dt.timedelta(hours=current.hour, minutes=current.minute, seconds=current.second, microseconds=current.microsecond)

# to seconds resolution
to_sec = dt.timedelta(seconds=round(current_td.total_seconds()))
print dt.datetime.combine(current,dt.time(0))+to_sec

# to minute resolution
to_min = dt.timedelta(minutes=round(current_td.total_seconds()/60))
print dt.datetime.combine(current,dt.time(0))+to_min

# to hour resolution
to_hour = dt.timedelta(hours=round(current_td.total_seconds()/3600))
print dt.datetime.combine(current,dt.time(0))+to_hour
2
caiohamamura

J'utilise l'extrait de code suivant pour arrondir à l'heure suivante:

import datetime as dt

tNow  = dt.datetime.now()
# round to the next full hour
tNow -= dt.timedelta(minutes = tNow.minute, seconds = tNow.second, microseconds =  tNow.microsecond)
tNow += dt.timedelta(hours = 1)
1
PTH

Voici une version avec perte * de l'arrondissement horaire:

dt = datetime.datetime
now = dt.utcnow()
rounded = dt.utcfromtimestamp(round(now.timestamp() / 3600, 0) * 3600)

Le même principe peut être appliqué à différentes durées.

* La méthode ci-dessus suppose que le temps UTC est utilisé, car toutes les informations de fuseau horaire seront détruites lors de la conversion en horodatage.

0
if __name__ is None