PHP microtime — формат микросекунд
Если PHP microtime() Функция должна была быть выполнена в момент времени, когда результирующие микросекунды нуль, в каком формате это приводит?
Будет ли это выглядеть так?
0.00 1467926279?
Или это?
0 1467926279
Руководство не предоставляет числовой формат, просто это формат на английском языке:
По умолчанию microtime () возвращает строку в форме «мсек»
Решение
Он настроен на отображение восьми десятичных знаков Вот.
snprintf(ret, 100, "%.8F %ld", tp.tv_usec / MICRO_IN_SEC, tp.tv_sec);
поэтому ноль для части микросекунды всегда должен выглядеть 0.00000000,
Другие решения
В руководстве не указано, но я только что протестировал в PHP 5.6.11 и 7.0.6 и получил одинаковый результат в обоих случаях:
0.00000000 1467927441