コトの発端
IoTとか、センサーとかを使用する場合とかだと、ミリ秒を扱いたいよね。
やり方
DateTimeクラスのmodifyにて、millisecondsを指定するとミリ秒単位の加算ができるよ。
サンプルコード
<?php
//インスタンスの作成と時刻の表示
$dt = new DateTime();
print $dt->format('Y-m-d H:i:s.v')."\n";
//321ミリ秒を加算
$dt->modify("321 milliseconds");
print $dt->format("Y-m-d H:i:s.v")."\n";
?>出力結果
2022-09-04 19:42:26.660
2022-09-04 19:42:26.981減算の場合は数値の前にマイナスをつけてね。
いつもの
記事の正確性については無保証です。
