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

Arrondir la minute au quart d'heure le plus proche en PHP

Arrondir les temps au quart d'heure le plus proche en PHP est une tâche courante. Cet article explore une solution utilisant la fonction floor(), répondant à la requête spécifique :

$time = '10:50:00'; // Example time in datetime format
$rounded_time = roundMinuteDownToNearestQuarter($time);

Solution

Pour arrondir une minute au quart d'heure inférieur, nous devons :

1. Convertir la chaîne d'heure en horodatage à l'aide de strtotime() ou DateTime().
2. Divisez l'horodatage par 15 minutes (900 secondes) et arrondissez-le à l'aide de floor().
3. Multipliez la valeur arrondie par 15 minutes pour obtenir l'horodatage du quart d'heure le plus proche.
4. Convertissez l'horodatage en une chaîne d'heure à l'aide de date().

Voici le code :

function roundMinuteDownToNearestQuarter($time) {
    // Convert the time string to a timestamp
    $timestamp = strtotime($time);

    // Divide by 15 minutes (900 seconds) and round down
    $rounded_timestamp = floor($timestamp / 900) * 900;

    // Convert the rounded timestamp back to a time string
    return date('H:i', $rounded_timestamp);
}

Exemple

$time = '10:50:00';
$rounded_time = roundMinuteDownToNearestQuarter($time);
echo "Original: " . $time . "\n";
echo "Rounded down: " . $rounded_time . "\n";

Sortie :

Original: 10:50:00
Rounded down: 10:45:00

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!