PHPでUnixタイムスタンプをミリ秒で取得

PHP

PHPで、ミリ秒の取得する関数って無いのね。。。microtime()でやるしかないか。

  • time() 秒単位で取得
  • microtime() マイクロ秒単位で取得


これだと扱いにくい。*1

echo microtime();
0.74204900 1297317486　←　[マイクロ秒](スペース)[秒]　という形式


とりあえず、浮動小数点形式に。（使えるのはPHP5.0以降）

echo microtime(true);
1297317505.0932


1000かけて

echo microtime(true)*1000;
1297317527957.5


（切り上げて）整数形式に。

echo ceil(microtime(true)*1000);
1297317547686


おしまい。

*1:この形式で扱う方法も紹介されています。phpでミリ秒を求めるには、microtime()を利用する - くらげのChangeLog