Dans le développement de PHP, l'obtention du dernier temps de modification d'un fichier est une exigence commune. La fonction fileMtime () est l'outil utilisé pour accomplir cette tâche. Il peut obtenir l'horodatage UNIX du fichier spécifié, ce qui facilite la surveillance des fichiers, le traitement du cache et d'autres opérations.
<span class="fun">int filemtime (String $ nom de fichier)</span>
Cette fonction reçoit un paramètre: le chemin du fichier, qui peut être un chemin relatif ou un chemin absolu. La valeur de retour est le dernier horodatage modifié du fichier et renvoie false si le fichier n'existe pas ou ne peut pas être lu.
<?php
$file = './test.txt'; // Définissez le chemin du fichier pour détecter
if (file_exists($file)) {
$lastModifiedTime = filemtime($file); // Obtenez le dernier temps de modification du fichier
echo "Fichier la dernière heure modifiée:" . date("Y-m-d H:i:s", $lastModifiedTime);
} else {
echo "Le fichier n'existe pas!";
}
?>
Dans l'exemple ci-dessus, nous définissons d'abord un Path./test.txt . Afin d'éviter d'appeler FileMtime () lorsque le fichier n'existe pas, utilisez d'abord File_exists () pour vérifier si le fichier existe.
Si le fichier existe, filemtime () renvoie l'horodatage Unix qui a été modifié pour la dernière fois par le fichier. Utilisez la fonction date () pour le formater au format de temps plus lisible, et la sortie finale est sortie.
FileMtime () est l'une des fonctions pratiques utilisées en PHP pour les opérations de fichiers, et convient particulièrement aux scénarios tels que le temps de mise à jour des fichiers et la génération de mécanismes de cache. En combinant file_exists () et date (), vous pouvez obtenir et afficher la dernière heure de modification du fichier plus sûr et intuitivement.
La maîtrise de l'utilisation de filemtime () peut fournir une grande commodité pour la gestion et le traitement des fichiers PHP quotidiens.