Comment arrondir les minutes au quart d’heure le plus proche en PHP ?

Arrondir les minutes au quart d'heure le plus proche en PHP

Dans cette requête de programmation, nous explorons un problème courant rencontré par les développeurs PHP : l'arrondi fois au quart d’heure près. La tâche consiste à récupérer les données datetime d'une base de données MySQL au format "2010-03-18 10:50:00" et à les convertir en intervalles d'un quart d'heure.

Pour y parvenir, nous pouvons exploiter le concept de arrondir vers le bas. Traditionnellement, nous pourrions envisager d’utiliser la fonction floor() pour tronquer les valeurs. Cependant, pour cette exigence spécifique, nous utilisons une approche légèrement différente.

Dans notre code, nous capturons l'heure actuelle à l'aide de la fonction time() et la stockons dans la variable $seconds. Par la suite, on calcule le temps arrondi en divisant $secondes par le nombre de secondes dans un quart d'heure (15 * 60). Cela donne le temps arrondi en secondes.

Ensuite, nous appliquons une opération d'arrondi en utilisant soit round() ou floor() en fonction de nos exigences spécifiques. round() est utilisé pour l'arrondi général, tandis que floor() assure l'arrondi vers le bas. Le résultat est affecté à la variable $rounded_seconds.

Enfin, nous utilisons la fonction date() pour convertir les heures originales et arrondies dans un format lisible avec des heures et des minutes. En imprimant ces valeurs, nous pouvons visualiser l'efficacité avec laquelle notre code arrondit le temps de saisie au quart d'heure le plus proche.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!