ノンビリ暮らそう

電脳硬化症気味な日記です。まとまった情報は wiki にあります。

2013.3.28 (Thursday)

at 16:39  

PHPでミリ秒を取得   [ICTメモ]

 Zend_Logで時刻を出力する際に、(log4jとformatを揃えたくなって)"ミリ秒"が欲しくなったんだけど、PHPの場合、素では得られない。実行頻度が非常に高いため、処理性能を気にする。ってことで、

function() {
$t = microtime(true);
$micro = sprintf(’%06d’, ($t - floor($t)) * 1000000);
return date_create_from_format(’Y-m-d H:i:s.u’, date(’Y-m-d H:i:s’, $t) . ‘.’ . $micro);
},

のようなコードが良いらしい。。。

[参考]
PHP で DateTime オブジェクトをミリ秒つきで取得する各方法のベンチマーク - Pastebin.com [2012/05/27]


« mediaから暴力とsexを無くせ… Clip to Evernote
吉野家、牛丼並を280円に… »
  trackback:    



Go back.