PHP: microtime() で現在時刻を取得

特定のユーザがアップロードしたファイルを保存する時、
他のファイルと名前が被らない名前を付けたい場合があります。

１つの方法はファイルがアップロードされた時刻をファイル名として使用することです。
PHP の microtime() は実行した時点での UNIX タイムをマイクロ秒単位で返してくれるため、アップロードされたファイルを別名にする用途でも使用できます。

PHP 5.0 以降では引数に false を渡すと float で返してくれるので、
小数点 . を外して string にして使用してみます。

// 引数を渡さない(または false を渡す)と string が２つ返る
php > echo microtime(true) . "\n";
1397745520.9725

// true を渡すと float が返る
php > echo microtime() . "\n";
0.70625400 1397745541

// . を外してファイル名として使用できる
echo str_replace('.', '', microtime(true));
13977460373602