PHP microtime - 微秒格式

Question

如果PHP的microtime()函数在结果微秒为零的时间点执行，结果是什么格式在？

会不会像这样？

0.00 1467926279?

还是这个？

0 1467926279

The manual 不提供数字格式，仅提供英文格式：

By default, microtime() returns a string in the form "msec sec"

Answer 1

手册上没有说明，我只是在PHP 5.6.11 和 7.0.6 中进行了测试，两者的结果相同：

0.00000000 1467927441

Answer 2

设置为显示八位小数here。

snprintf(ret, 100, "%.8F %ld", tp.tv_usec / MICRO_IN_SEC, tp.tv_sec);

所以微秒部分的零应该总是看起来像 0.00000000。