php - 如何在 PHP 中获取系统时间？

Question

我试图得到这个输出：

2013072708410102

这是年/月/日/小时/分钟/秒/毫秒。

我试过这个：

$getDate = date("Ymd");
$getTime = time();

echo $getDate . " " . $getTime;

我得到这种输出：

201307271374885743 

年/月/日是正确的。但我不认为它给了我想要的时间格式。

我怎样才能有这种格式 2013072708410102 年/月/日/小时/分钟/秒/毫秒？

Answer 1

echo date("YmdHis").str_pad((int)((($time = microtime(1)) - (int)$time) * 1000), 3, "0", STR_PAD_LEFT);

给出：20130727024937671对我来说，你应该期待什么。

date("YmdHis")给出年/月/日/时/分/秒部分。

str_pad((int)((($time = microtime(1)) - (int)$time) * 1000), 3, "0", STR_PAD_LEFT)是毫秒。