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]
