php - PHP microtime - 微秒格式

Question

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

会是这个样子吗？

0.00 1467926279?

或这个？

0 1467926279

该手册不提供数字格式，仅提供英文格式：

默认情况下，microtime() 返回格式为“msec sec”的字符串

Answer 1

手册没有具体说明，但我刚刚在 PHP 5.6.11 和 7.0.6 中进行了测试，并在两者中得到了相同的结果：

0.00000000 1467927441

Answer 2

此处设置为显示八位小数。

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

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