Comment convertir un horodatage à 13 chiffres en PHP

En PHP, l'horodatage est un concept très couramment utilisé. Un horodatage peut être utilisé pour enregistrer l'heure précise à laquelle un événement se produit. Il se compose généralement de l'année, du mois et du jour représentant la date, ainsi que de l'heure, de la minute, de la seconde, de la milliseconde, etc. En PHP, nous pouvons utiliser des horodatages pour fonctionner et calculer le temps. Cependant, selon la norme POSIX, la longueur de l'horodatage n'est que de 10 chiffres. Si vous devez enregistrer des heures au niveau de la milliseconde, vous devez utiliser un horodatage de 13 bits. Alors, si vous avez besoin de convertir un horodatage à 13 chiffres en PHP, comment faire ?

Tout d'abord, nous devons comprendre le format de l'horodatage à 13 chiffres. L'horodatage à 13 chiffres fait référence au nombre de millisecondes écoulées entre 00:00:00 UTC le 1er janvier 1970 et aujourd'hui, sa longueur est donc de 13. Par exemple, l'horodatage à 13 chiffres de l'heure actuelle peut être obtenu en utilisant le code suivant :

<?php
echo round(microtime(true) * 1000);
?>

Ensuite, si vous devez convertir l'horodatage à 13 chiffres au format date et heure, vous pouvez également utiliser les fonctions intégrées de PHP pour le traitement. Nous pouvons utiliser la fonction date() pour formater l'horodatage à 13 chiffres, par exemple :

<?php
$timestamp = 1570022405000; // 假设13位时间戳
$date_time = date(&#39;Y-m-d H:i:s&#39;, $timestamp/1000); // 转换为日期时间格式
echo $date_time;
?>

Dans le code ci-dessus, nous divisons l'horodatage à 13 chiffres par 1000 pour obtenir un horodatage à 10 chiffres. Ajoutez cet horodatage à 10 chiffres. Transmettez-le comme deuxième paramètre de la fonction date() pour le convertir au format de date et d'heure requis.

Cependant, si vous devez convertir le format de date et d'heure en un horodatage à 13 chiffres, vous pouvez également utiliser les fonctions intégrées de PHP pour le traitement. Nous pouvons utiliser la fonction strtotime() pour convertir le format de date et d'heure en un horodatage à 10 chiffres, puis multiplier par 1000 pour obtenir un horodatage à 13 chiffres, par exemple :

<?php
$date_time = &#39;2019-10-02 12:00:05&#39;; // 假设日期时间格式
$timestamp = strtotime($date_time) * 1000; // 转换为13位时间戳
echo $timestamp;
?>

Dans le code ci-dessus, nous utilisons la date et le format de l'heure en tant que paramètre de la fonction strtotime(). Transmettez-le, convertissez-le en un horodatage à 10 chiffres, puis multipliez-le par 1 000 pour obtenir un horodatage à 13 chiffres.

En résumé, nous pouvons utiliser les fonctions intégrées de PHP pour convertir les horodatages à 13 chiffres et les formats de date et d'heure les uns vers les autres, avec précision et facilité. Cela nous offre beaucoup de commodité pour traiter les problèmes liés au temps en PHP.

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!